Trace number 4116801

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.07 1798.04

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-1.opb
MD5SUM0d9d4801edbabf445359520c12961408
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4116801-1466970848.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.67/0.44	c ... done. Wall clock time 0.32s.
0.67/0.44	c declared #vars     4288
0.67/0.44	c #constraints  10752
0.67/0.44	c constraints type 
0.67/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.67/0.44	c org.sat4j.specs.Constr$1 => 872
0.67/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.67/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.67/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.67/0.44	c 10752 constraints processed.
1.80/1.13	c cleaning 2490 clauses out of 4998 with flag 15873/5000
2.47/1.77	c cleaning 4227 clauses out of 8508 with flag 37666/11000
3.27/2.56	c cleaning 5622 clauses out of 11281 with flag 66704/18000
4.19/3.43	c cleaning 6809 clauses out of 13660 with flag 101404/26001
5.20/4.50	c cleaning 7908 clauses out of 15850 with flag 140818/35000
6.49/5.73	c cleaning 8933 clauses out of 17942 with flag 184456/45000
7.79/7.06	c cleaning 9996 clauses out of 20009 with flag 236730/56000
9.39/8.61	c cleaning 11001 clauses out of 22014 with flag 293900/68001
10.89/10.17	c cleaning 11996 clauses out of 24012 with flag 359556/81000
12.69/11.96	c cleaning 12990 clauses out of 26017 with flag 430675/95001
14.70/13.96	c cleaning 13951 clauses out of 28026 with flag 508444/110000
16.81/16.07	c cleaning 15002 clauses out of 30076 with flag 594761/126001
19.11/18.37	c cleaning 16003 clauses out of 32073 with flag 686072/143000
21.72/20.91	c cleaning 17024 clauses out of 34070 with flag 788389/161000
24.41/23.64	c cleaning 17976 clauses out of 36046 with flag 892017/180000
27.21/26.42	c cleaning 19009 clauses out of 38070 with flag 1003469/200000
30.11/29.31	c cleaning 20016 clauses out of 40063 with flag 1122707/221002
33.20/32.43	c cleaning 20974 clauses out of 42045 with flag 1253436/243000
36.51/35.78	c cleaning 22026 clauses out of 44073 with flag 1386035/266002
40.21/39.43	c cleaning 22995 clauses out of 46045 with flag 1522157/290000
44.11/43.35	c cleaning 23992 clauses out of 48050 with flag 1663547/315000
48.11/47.33	c cleaning 25002 clauses out of 50058 with flag 1815338/341000
52.41/51.65	c cleaning 25996 clauses out of 52056 with flag 1973765/368000
56.81/56.05	c cleaning 26977 clauses out of 54060 with flag 2137297/396000
61.32/60.60	c cleaning 28016 clauses out of 56083 with flag 2305935/425000
66.12/65.34	c cleaning 29008 clauses out of 58067 with flag 2486964/455000
71.23/70.41	c cleaning 29994 clauses out of 60060 with flag 2671472/486001
76.62/75.80	c cleaning 31020 clauses out of 62065 with flag 2855830/518000
82.11/81.37	c cleaning 31970 clauses out of 64045 with flag 3053745/551000
87.91/87.12	c cleaning 33001 clauses out of 66075 with flag 3260726/585000
94.01/93.26	c cleaning 34009 clauses out of 68074 with flag 3468454/620000
100.41/99.69	c cleaning 35002 clauses out of 70066 with flag 3691716/656001
107.11/106.39	c cleaning 36020 clauses out of 72063 with flag 3916141/693000
114.11/113.36	c cleaning 37015 clauses out of 74043 with flag 4146710/731000
121.40/120.66	c cleaning 37962 clauses out of 76029 with flag 4385092/770001
129.00/128.27	c cleaning 39004 clauses out of 78066 with flag 4628582/810000
136.90/136.19	c cleaning 39994 clauses out of 80062 with flag 4877304/851000
145.16/144.31	c cleaning 41021 clauses out of 82069 with flag 5129470/893001
152.87/152.04	c cleaning 42011 clauses out of 84049 with flag 5391594/936002
160.77/159.94	c cleaning 43002 clauses out of 86036 with flag 5664213/980000
168.87/168.00	c cleaning 43944 clauses out of 88034 with flag 5944552/1025000
177.47/176.64	c cleaning 45009 clauses out of 90091 with flag 6220365/1071001
186.27/185.42	c cleaning 45990 clauses out of 92081 with flag 6511485/1118000
195.27/194.49	c cleaning 47021 clauses out of 94091 with flag 6811188/1166000
204.57/203.72	c cleaning 48033 clauses out of 96070 with flag 7110833/1215000
214.39/213.51	c cleaning 49003 clauses out of 98037 with flag 7417203/1265000
224.58/223.79	c cleaning 49966 clauses out of 100034 with flag 7732668/1316000
235.08/234.27	c cleaning 51003 clauses out of 102068 with flag 8053870/1368000
245.83/244.95	c cleaning 52023 clauses out of 104065 with flag 8383476/1421000
256.65/255.70	c cleaning 53001 clauses out of 106042 with flag 8713119/1475000
267.55/266.64	c cleaning 53997 clauses out of 108041 with flag 9051262/1530000
279.04/278.17	c cleaning 54995 clauses out of 110044 with flag 9398391/1586000
290.94/290.05	c cleaning 55988 clauses out of 112049 with flag 9748800/1643000
303.34/302.50	c cleaning 57026 clauses out of 114061 with flag 10111840/1701000
316.15/315.22	c cleaning 58004 clauses out of 116037 with flag 10478853/1760002
329.36/328.40	c cleaning 59006 clauses out of 118031 with flag 10851192/1820000
343.16/342.21	c cleaning 59979 clauses out of 120025 with flag 11231983/1881000
357.29/356.38	c cleaning 61008 clauses out of 122047 with flag 11611922/1943001
371.29/370.34	c cleaning 62009 clauses out of 124040 with flag 12002944/2006002
385.49/384.58	c cleaning 63002 clauses out of 126029 with flag 12399460/2070000
400.41/399.45	c cleaning 63981 clauses out of 128027 with flag 12801546/2135000
416.40/415.48	c cleaning 64995 clauses out of 130046 with flag 13208788/2201000
433.12/432.18	c cleaning 65987 clauses out of 132051 with flag 13625232/2268000
450.72/449.77	c cleaning 66987 clauses out of 134066 with flag 14048060/2336002
468.21/467.26	c cleaning 68018 clauses out of 136079 with flag 14471515/2405002
484.84/483.84	c cleaning 69009 clauses out of 138059 with flag 14904308/2475000
501.65/500.65	c cleaning 70002 clauses out of 140050 with flag 15345518/2546000
519.04/518.02	c cleaning 71007 clauses out of 142048 with flag 15790124/2618000
536.75/535.77	c cleaning 72007 clauses out of 144041 with flag 16240414/2691000
554.64/553.69	c cleaning 73007 clauses out of 146034 with flag 16702412/2765000
573.25/572.20	c cleaning 74006 clauses out of 148027 with flag 17160182/2840000
592.25/591.11	c cleaning 74969 clauses out of 150022 with flag 17630701/2916001
611.45/610.34	c cleaning 75994 clauses out of 152052 with flag 18101023/2993000
631.25/630.17	c cleaning 77030 clauses out of 154059 with flag 18581797/3071001
651.86/650.73	c cleaning 78005 clauses out of 156028 with flag 19071048/3150000
672.86/671.72	c cleaning 78951 clauses out of 158024 with flag 19562183/3230001
694.18/693.05	c cleaning 80012 clauses out of 160072 with flag 20061751/3311000
716.63/715.43	c cleaning 81020 clauses out of 162060 with flag 20563679/3393000
739.63/738.46	c cleaning 81998 clauses out of 164040 with flag 21067770/3476000
762.63/761.43	c cleaning 82962 clauses out of 166042 with flag 21580387/3560000
786.03/784.86	c cleaning 83996 clauses out of 168080 with flag 22094648/3645000
810.23/809.00	c cleaning 85009 clauses out of 170086 with flag 22625690/3731002
835.04/833.89	c cleaning 86012 clauses out of 172075 with flag 23162189/3818000
860.00/858.75	c cleaning 86974 clauses out of 174064 with flag 23700447/3906001
885.50/884.22	c cleaning 88030 clauses out of 176090 with flag 24241638/3995001
911.40/910.11	c cleaning 89024 clauses out of 178059 with flag 24789187/4085000
938.10/936.80	c cleaning 89999 clauses out of 180035 with flag 25344121/4176000
965.52/964.18	c cleaning 90997 clauses out of 182036 with flag 25898507/4268000
993.23/991.85	c cleaning 91988 clauses out of 184039 with flag 26461755/4361000
1021.83/1020.44	c cleaning 92996 clauses out of 186051 with flag 27031859/4455000
1050.64/1049.24	c cleaning 93986 clauses out of 188056 with flag 27612865/4550001
1081.44/1080.06	c cleaning 95007 clauses out of 190069 with flag 28194745/4646000
1111.95/1110.48	c cleaning 95995 clauses out of 192062 with flag 28783239/4743000
1142.95/1141.40	c cleaning 97022 clauses out of 194069 with flag 29379602/4841002
1175.56/1174.07	c cleaning 97986 clauses out of 196045 with flag 29979743/4940000
1207.47/1205.94	c cleaning 98992 clauses out of 198059 with flag 30588071/5040000
1240.30/1238.63	c cleaning 100004 clauses out of 200067 with flag 31196543/5141000
1272.90/1271.29	c cleaning 101006 clauses out of 202064 with flag 31817699/5243001
1307.90/1306.23	c cleaning 102004 clauses out of 204060 with flag 32446518/5346003
1342.80/1341.14	c cleaning 102979 clauses out of 206053 with flag 33078841/5450000
1378.72/1376.90	c cleaning 104006 clauses out of 208075 with flag 33716182/5555001
1416.40/1414.68	c cleaning 104971 clauses out of 210068 with flag 34364024/5661000
1453.70/1451.92	c cleaning 106027 clauses out of 212097 with flag 35016481/5768000
1491.31/1489.55	c cleaning 107036 clauses out of 214071 with flag 35667697/5876001
1529.57/1527.79	c cleaning 107989 clauses out of 216034 with flag 36329677/5985000
1568.57/1566.77	c cleaning 109003 clauses out of 218046 with flag 36998182/6095001
1608.39/1606.50	c cleaning 110018 clauses out of 220043 with flag 37673511/6206001
1648.49/1646.56	c cleaning 110992 clauses out of 222024 with flag 38347606/6318000
1689.79/1687.89	c cleaning 112010 clauses out of 224032 with flag 39032036/6431000
1732.50/1730.60	c cleaning 112971 clauses out of 226022 with flag 39724737/6545000
1776.00/1774.06	c cleaning 114008 clauses out of 228051 with flag 40420568/6660000
1800.07/1798.00	c starts		: 46854
1800.07/1798.00	c conflicts		: 6733026
1800.07/1798.00	c decisions		: 62205762
1800.07/1798.00	c propagations		: 901295902
1800.07/1798.00	c inspects		: 24221782308
1800.07/1798.00	c shortcuts		: 0
1800.07/1798.00	c learnt literals	: 2
1800.07/1798.00	c learnt binary clauses	: 33
1800.07/1798.00	c learnt ternary clauses	: 601
1800.07/1798.00	c learnt constraints	: 6733024
1800.07/1798.00	c ignored constraints	: 0
1800.07/1798.00	c root simplifications	: 0
1800.07/1798.00	c removed literals (reason simplification)	: 0
1800.07/1798.00	c reason swapping (by a shorter reason)	: 0
1800.07/1798.00	c Calls to reduceDB	: 111
1800.07/1798.00	c Number of update (reduction) of LBD	: 1429217
1800.07/1798.00	c Imported unit clauses	: 0
1800.07/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.07/1798.00	c number of learned constraints concerned by reduction	: 0
1800.07/1798.00	c number of learning phase by resolution	: 0
1800.07/1798.00	c number of learning phase by cutting planes	: 0
1800.07/1798.00	c speed (assignments/second)	: 501401.5731385945
1800.07/1798.00	c non guided choices	36871
1800.07/1798.00	c timeout
1800.07/1798.03	c learnt constraints type 
1800.07/1798.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 33
1800.07/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 187036
1800.07/1798.03	s UNKNOWN
1800.07/1798.03	c Total wall clock time (in seconds): 1797.909

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-4116801-1466970848/watcher-4116801-1466970848 -o /tmp/evaluation-result-4116801-1466970848/solver-4116801-1466970848 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466945036-19726 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116801-1466970848.opb 

pid=23506
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.30 2.28 2.25 4/196 23509
/proc/meminfo: memFree=30158720/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/23509/stat : 23509 (java) R 23506 23509 19710 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 30123110 9515008 182 33554432000 1073741824 1073778376 140737410139776 140737410130808 273905696437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23509/statm: 2323 182 140 9 0 71 0

[startup+0.10012 s]
/proc/loadavg: 2.30 2.28 2.25 4/196 23509
/proc/meminfo: memFree=30158720/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 4374 0 1 0 8 1 0 0 20 0 18 0 30123110 9787879424 5493 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2389619 5493 2124 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20028 s]
/proc/loadavg: 2.30 2.28 2.25 4/196 23509
/proc/meminfo: memFree=30158720/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 4686 0 1 0 23 2 0 0 20 0 18 0 30123110 9787879424 6763 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2389619 6763 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300276 s]
/proc/loadavg: 2.30 2.28 2.25 4/196 23509
/proc/meminfo: memFree=30158720/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 5694 0 1 0 44 2 0 0 20 0 18 0 30123110 9787879424 8429 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2389619 8429 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700244 s]
/proc/loadavg: 2.30 2.28 2.25 4/196 23509
/proc/meminfo: memFree=30158720/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 8637 0 1 0 131 3 0 0 20 0 19 0 30123110 9856040960 16107 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2406260 16107 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.30 2.28 2.25 3/215 23528
/proc/meminfo: memFree=30103232/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 9428 0 1 0 221 3 0 0 20 0 19 0 30123110 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2406260 16447 2270 9 0 2396937 0
[pid=23509/tid=23511] ppid=23506 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (java) R 23506 23509 19710 0 -1 4202560 2448 0 1 0 144 3 0 0 20 0 19 0 30123111 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673247588888 140673081231844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23512] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673209080232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23513] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23513/stat : 23513 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673208027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23514] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23514/stat : 23514 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673206974632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23509/tid=23515] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23515/stat : 23515 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673205922088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23516] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23516/stat : 23516 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673204870056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23517] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23517/stat : 23517 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673203817512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23518] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23518/stat : 23518 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673202764456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23519] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23519/stat : 23519 (java) S 23506 23509 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673201711912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23520] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23520/stat : 23520 (java) S 23506 23509 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673071143272 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23521] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23521/stat : 23521 (java) S 23506 23509 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673070089592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23522] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23522/stat : 23522 (java) S 23506 23509 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673069036424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23523] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23523/stat : 23523 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673067985168 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23524] ppid=23506 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/23509/task/23524/stat : 23524 (java) S 23506 23509 19710 0 -1 4202560 2384 0 0 0 34 0 0 0 20 0 19 0 30123117 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673066933048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23525] ppid=23506 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/23509/task/23525/stat : 23525 (java) S 23506 23509 19710 0 -1 4202560 3319 0 0 0 39 0 0 0 20 0 19 0 30123117 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140673065880504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23526] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23526/stat : 23526 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140672191425272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23527] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23527/stat : 23527 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140672190372936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23528] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23528/stat : 23528 (java) S 23506 23509 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30123156 9856040960 16447 33554432000 1073741824 1073778376 140736889388064 140672189318184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.30 2.28 2.25 3/215 23528
/proc/meminfo: memFree=30099012/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 9431 0 1 0 385 3 0 0 20 0 19 0 30123110 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2406260 17471 2270 9 0 2396937 0
[pid=23509/tid=23511] ppid=23506 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (java) R 23506 23509 19710 0 -1 4202560 2451 0 1 0 303 3 0 0 20 0 19 0 30123111 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673247579856 140673081295295 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23512] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673209080232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23513] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23513/stat : 23513 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673208027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23514] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23514/stat : 23514 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673206974632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23509/tid=23515] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23515/stat : 23515 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673205922088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23516] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23516/stat : 23516 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673204870056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23517] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23517/stat : 23517 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673203817512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23518] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23518/stat : 23518 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673202764456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23519] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23519/stat : 23519 (java) S 23506 23509 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673201711912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23520] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23520/stat : 23520 (java) S 23506 23509 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673071143272 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23521] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23521/stat : 23521 (java) S 23506 23509 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673070089592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23522] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23522/stat : 23522 (java) S 23506 23509 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673069036424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23523] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23523/stat : 23523 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673067985168 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23524] ppid=23506 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/23509/task/23524/stat : 23524 (java) S 23506 23509 19710 0 -1 4202560 2384 0 0 0 37 0 0 0 20 0 19 0 30123117 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673066933048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23525] ppid=23506 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23509/task/23525/stat : 23525 (java) S 23506 23509 19710 0 -1 4202560 3319 0 0 0 41 0 0 0 20 0 19 0 30123117 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140673065880504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23526] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23526/stat : 23526 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140672191425272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23527] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23527/stat : 23527 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140672190372936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23528] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23528/stat : 23528 (java) S 23506 23509 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30123156 9856040960 17471 33554432000 1073741824 1073778376 140736889388064 140672189318184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.35 2.29 2.26 4/215 23528
/proc/meminfo: memFree=30090576/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9625040 CPUtime=7.09 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 9436 0 1 0 706 3 0 0 20 0 19 0 30123110 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2406260 18992 2271 9 0 2396937 0
[pid=23509/tid=23511] ppid=23506 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (java) R 23506 23509 19710 0 -1 4202560 2455 0 1 0 622 3 0 0 20 0 19 0 30123111 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673247579840 140673081240733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23512] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673209080232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23513] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23513/stat : 23513 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673208027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23514] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23514/stat : 23514 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673206974632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23509/tid=23515] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23515/stat : 23515 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673205922088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23516] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23516/stat : 23516 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673204870056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23517] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23517/stat : 23517 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673203817512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23518] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23518/stat : 23518 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673202764456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23519] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23519/stat : 23519 (java) S 23506 23509 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30123113 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673201711912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23520] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23520/stat : 23520 (java) S 23506 23509 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673071143272 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23521] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23521/stat : 23521 (java) S 23506 23509 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673070089592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23522] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23522/stat : 23522 (java) S 23506 23509 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673069036424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23523] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23523/stat : 23523 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673067985168 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23524] ppid=23506 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23509/task/23524/stat : 23524 (java) S 23506 23509 19710 0 -1 4202560 2384 0 0 0 38 0 0 0 20 0 19 0 30123117 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673066933048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23525] ppid=23506 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23509/task/23525/stat : 23525 (java) S 23506 23509 19710 0 -1 4202560 3319 0 0 0 41 0 0 0 20 0 19 0 30123117 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140673065880504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23526] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23526/stat : 23526 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140672191425272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23527] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23527/stat : 23527 (java) S 23506 23509 19710 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140672190372936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23528] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23528/stat : 23528 (java) S 23506 23509 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30123156 9856040960 18992 33554432000 1073741824 1073778376 140736889388064 140672189318184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625040


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

[pid=23509/tid=23528] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23528/stat : 23528 (java) S 23506 23509 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30123156 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140672189318184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1664.29
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.23 2.23 2.19 3/215 23660
/proc/meminfo: memFree=29804780/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9625040 CPUtime=1724.3 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 10816 0 1 0 172378 52 0 0 20 0 19 0 30123110 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2406260 89728 2285 9 0 2396937 0
[pid=23509/tid=23511] ppid=23506 vsize=9625040 CPUtime=1717.36 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (java) R 23506 23509 19710 0 -1 4202560 2512 0 1 0 171704 32 0 0 20 0 19 0 30123111 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673247579936 140673081317437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23512] ppid=23506 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (java) S 23506 23509 19710 0 -1 4202560 55 0 0 0 16 3 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673209080232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23513] ppid=23506 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/23509/task/23513/stat : 23513 (java) S 23506 23509 19710 0 -1 4202560 41 0 0 0 12 3 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673208027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23514] ppid=23506 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/23509/task/23514/stat : 23514 (java) S 23506 23509 19710 0 -1 4202560 205 0 0 0 15 3 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673206974632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23509/tid=23515] ppid=23506 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/23509/task/23515/stat : 23515 (java) S 23506 23509 19710 0 -1 4202560 73 0 0 0 18 4 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673205922088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23516] ppid=23506 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23509/task/23516/stat : 23516 (java) S 23506 23509 19710 0 -1 4202560 42 0 0 0 14 2 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673204870056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23517] ppid=23506 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/23509/task/23517/stat : 23517 (java) S 23506 23509 19710 0 -1 4202560 151 0 0 0 10 2 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673203817512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23509/tid=23518] ppid=23506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/23509/task/23518/stat : 23518 (java) S 23506 23509 19710 0 -1 4202560 133 0 0 0 11 2 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673202764456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23519] ppid=23506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/23509/task/23519/stat : 23519 (java) S 23506 23509 19710 0 -1 4202560 117 0 0 0 11 2 0 0 20 0 19 0 30123113 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673201711912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23520] ppid=23506 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23509/task/23520/stat : 23520 (java) S 23506 23509 19710 0 -1 4202560 68 0 0 0 2 0 0 0 20 0 19 0 30123114 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673071143272 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23521] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23521/stat : 23521 (java) S 23506 23509 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673070089592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23522] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23522/stat : 23522 (java) S 23506 23509 19710 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673069036424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23523] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23523/stat : 23523 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673067985168 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23524] ppid=23506 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/23509/task/23524/stat : 23524 (java) S 23506 23509 19710 0 -1 4202560 2736 0 0 0 42 0 0 0 20 0 19 0 30123117 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673066933048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23525] ppid=23506 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23509/task/23525/stat : 23525 (java) S 23506 23509 19710 0 -1 4202560 3319 0 0 0 41 0 0 0 20 0 19 0 30123117 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140673065880504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23526] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23526/stat : 23526 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140672191425272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23527] ppid=23506 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/23509/task/23527/stat : 23527 (java) S 23506 23509 19710 0 -1 4202560 100 0 0 0 33 34 0 0 20 0 19 0 30123117 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140672190372936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23528] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23528/stat : 23528 (java) S 23506 23509 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30123156 9856040960 89728 33554432000 1073741824 1073778376 140736889388064 140672189318184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.3
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/215 23661
/proc/meminfo: memFree=29790776/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9625040 CPUtime=1784.38 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 10844 0 1 0 178385 53 0 0 20 0 19 0 30123110 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2406260 93049 2285 9 0 2396937 0
[pid=23509/tid=23511] ppid=23506 vsize=9625040 CPUtime=1777.17 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (java) R 23506 23509 19710 0 -1 4202560 2514 0 1 0 177684 33 0 0 20 0 19 0 30123111 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673247587648 140673081317437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23512] ppid=23506 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (java) S 23506 23509 19710 0 -1 4202560 58 0 0 0 17 3 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673209080232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23513] ppid=23506 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23509/task/23513/stat : 23513 (java) S 23506 23509 19710 0 -1 4202560 45 0 0 0 13 3 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673208027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23514] ppid=23506 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23509/task/23514/stat : 23514 (java) S 23506 23509 19710 0 -1 4202560 207 0 0 0 16 4 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673206974632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23509/tid=23515] ppid=23506 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/23509/task/23515/stat : 23515 (java) S 23506 23509 19710 0 -1 4202560 73 0 0 0 19 4 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673205922088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23516] ppid=23506 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23509/task/23516/stat : 23516 (java) S 23506 23509 19710 0 -1 4202560 45 0 0 0 15 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673204870056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23517] ppid=23506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/23509/task/23517/stat : 23517 (java) S 23506 23509 19710 0 -1 4202560 152 0 0 0 11 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673203817512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23518] ppid=23506 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/23509/task/23518/stat : 23518 (java) S 23506 23509 19710 0 -1 4202560 139 0 0 0 13 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673202764456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23519] ppid=23506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/23509/task/23519/stat : 23519 (java) S 23506 23509 19710 0 -1 4202560 118 0 0 0 11 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673201711912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23520] ppid=23506 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23509/task/23520/stat : 23520 (java) S 23506 23509 19710 0 -1 4202560 70 0 0 0 2 0 0 0 20 0 19 0 30123114 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673071143272 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23521] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23521/stat : 23521 (java) S 23506 23509 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673070089592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23522] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23522/stat : 23522 (java) S 23506 23509 19710 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673069036424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23523] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23523/stat : 23523 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673067985168 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23524] ppid=23506 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/23509/task/23524/stat : 23524 (java) S 23506 23509 19710 0 -1 4202560 2736 0 0 0 42 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673066933048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23525] ppid=23506 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23509/task/23525/stat : 23525 (java) S 23506 23509 19710 0 -1 4202560 3319 0 0 0 41 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673065880504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23526] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23526/stat : 23526 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140672191425272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23527] ppid=23506 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/23509/task/23527/stat : 23527 (java) S 23506 23509 19710 0 -1 4202560 104 0 0 0 35 35 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140672190372936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23528] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23528/stat : 23528 (java) S 23506 23509 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30123156 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140672189318184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.21 2.22 2.18 3/215 23661
/proc/meminfo: memFree=29791364/32872528 swapFree=1491540/1663236
[pid=23509] ppid=23506 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/23509/stat : 23509 (java) S 23506 23509 19710 0 -1 4202496 10844 0 1 0 179954 53 0 0 20 0 19 0 30123110 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140736889379200 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23509/statm: 2406260 93049 2285 9 0 2396937 0
[pid=23509/tid=23511] ppid=23506 vsize=9625040 CPUtime=1792.83 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (java) R 23506 23509 19710 0 -1 4202560 2514 0 1 0 179250 33 0 0 20 0 19 0 30123111 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673247587648 140673081317437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23512] ppid=23506 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (java) S 23506 23509 19710 0 -1 4202560 58 0 0 0 17 3 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673209080232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23513] ppid=23506 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23509/task/23513/stat : 23513 (java) S 23506 23509 19710 0 -1 4202560 45 0 0 0 13 3 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673208027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23514] ppid=23506 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23509/task/23514/stat : 23514 (java) S 23506 23509 19710 0 -1 4202560 207 0 0 0 16 4 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673206974632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23509/tid=23515] ppid=23506 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/23509/task/23515/stat : 23515 (java) S 23506 23509 19710 0 -1 4202560 73 0 0 0 19 4 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673205922088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23516] ppid=23506 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23509/task/23516/stat : 23516 (java) S 23506 23509 19710 0 -1 4202560 45 0 0 0 15 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673204870056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23517] ppid=23506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/23509/task/23517/stat : 23517 (java) S 23506 23509 19710 0 -1 4202560 152 0 0 0 11 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673203817512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23518] ppid=23506 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/23509/task/23518/stat : 23518 (java) S 23506 23509 19710 0 -1 4202560 139 0 0 0 13 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673202764456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23519] ppid=23506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/23509/task/23519/stat : 23519 (java) S 23506 23509 19710 0 -1 4202560 118 0 0 0 11 2 0 0 20 0 19 0 30123113 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673201711912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23520] ppid=23506 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23509/task/23520/stat : 23520 (java) S 23506 23509 19710 0 -1 4202560 70 0 0 0 2 0 0 0 20 0 19 0 30123114 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673071143272 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23521] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23521/stat : 23521 (java) S 23506 23509 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673070089592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23522] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23522/stat : 23522 (java) S 23506 23509 19710 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30123114 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673069036424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23523] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23523/stat : 23523 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673067985168 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23524] ppid=23506 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/23509/task/23524/stat : 23524 (java) S 23506 23509 19710 0 -1 4202560 2736 0 0 0 42 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673066933048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23509/tid=23525] ppid=23506 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23509/task/23525/stat : 23525 (java) S 23506 23509 19710 0 -1 4202560 3319 0 0 0 41 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140673065880504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23526] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23526/stat : 23526 (java) S 23506 23509 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140672191425272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23509/tid=23527] ppid=23506 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/23509/task/23527/stat : 23527 (java) S 23506 23509 19710 0 -1 4202560 104 0 0 0 35 35 0 0 20 0 19 0 30123117 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140672190372936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23509/tid=23528] ppid=23506 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23528/stat : 23528 (java) S 23506 23509 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30123156 9856040960 93049 33554432000 1073741824 1073778376 140736889388064 140672189318184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 23509 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23509 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=20115
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=40841
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.04
CPU time (s): 1800.07
CPU user time (s): 1799.54
CPU system time (s): 0.53
CPU usage (%): 100.113
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 1.04084
maximum resident set size= 372312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10877
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38483
involuntary context switches= 6582

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4124 second user time and 13.8039 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-26 21:54:08
IDJOB=4116801
IDBENCH=109515
IDSOLVER=2546
FILE ID=node134/4116801-1466970848
RUNJOBID= node134-1466945036-19726
PBS_JOBID= 19976362
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116801-1466970848/watcher-4116801-1466970848 -o /tmp/evaluation-result-4116801-1466970848/solver-4116801-1466970848 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466945036-19726 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116801-1466970848.opb

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

MD5SUM BENCH= 0d9d4801edbabf445359520c12961408
RANDOM SEED=811178353

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.170
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.57
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.170
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	: 5317.19
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.170
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.170
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:        30159636 kB
Buffers:           34160 kB
Cached:           115516 kB
SwapCached:         1316 kB
Active:           224760 kB
Inactive:         125860 kB
Active(anon):     200976 kB
Inactive(anon):     2488 kB
Active(file):      23784 kB
Inactive(file):   123372 kB
Unevictable:     1663236 kB
Mlocked:         1491540 kB
SwapTotal:      67108856 kB
SwapFree:       67099128 kB
Dirty:              1248 kB
Writeback:             0 kB
AnonPages:       1862848 kB
Mapped:            15316 kB
Shmem:                 0 kB
Slab:             565832 kB
SReclaimable:       9456 kB
SUnreclaim:       556376 kB
KernelStack:        1624 kB
PageTables:         7880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2358740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 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= 71692 MiB
End job on node134 at 2016-06-26 22:24:06