Trace number 4117185

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.06 1798.24

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round23-3.opb
MD5SUMb752b20925aa43c560ab8ccadf705a6b
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 constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
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.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
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@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4117185-1466973050.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.67/0.42	c ... done. Wall clock time 0.305s.
0.67/0.42	c declared #vars     4288
0.67/0.42	c #constraints  10784
0.67/0.42	c constraints type 
0.67/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.67/0.42	c org.sat4j.specs.Constr$1 => 888
0.67/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.67/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.67/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.67/0.42	c 10784 constraints processed.
1.68/1.10	c cleaning 2499 clauses out of 4998 with flag 16025/5000
2.45/1.73	c cleaning 4236 clauses out of 8499 with flag 39029/11000
3.25/2.52	c cleaning 5623 clauses out of 11263 with flag 66914/18000
4.16/3.41	c cleaning 6810 clauses out of 13641 with flag 101528/26001
5.17/4.41	c cleaning 7905 clauses out of 15833 with flag 142244/35003
6.16/5.50	c cleaning 8938 clauses out of 17927 with flag 188874/45002
7.47/6.74	c cleaning 9972 clauses out of 19987 with flag 242626/56000
8.86/8.14	c cleaning 10981 clauses out of 22015 with flag 303342/68000
10.47/9.72	c cleaning 11999 clauses out of 24034 with flag 368753/81000
12.17/11.40	c cleaning 13010 clauses out of 26035 with flag 443189/95000
13.98/13.20	c cleaning 14004 clauses out of 28026 with flag 524555/110001
15.98/15.20	c cleaning 14996 clauses out of 30022 with flag 611195/126001
18.18/17.41	c cleaning 15975 clauses out of 32026 with flag 705583/143001
20.58/19.83	c cleaning 17012 clauses out of 34050 with flag 808539/161000
23.07/22.38	c cleaning 18009 clauses out of 36038 with flag 916460/180000
25.88/25.13	c cleaning 18978 clauses out of 38029 with flag 1028667/200000
28.78/28.08	c cleaning 19997 clauses out of 40051 with flag 1152643/221000
31.98/31.26	c cleaning 21008 clauses out of 42054 with flag 1282459/243000
35.38/34.63	c cleaning 21977 clauses out of 44046 with flag 1417982/266000
38.98/38.23	c cleaning 22977 clauses out of 46070 with flag 1564454/290001
42.79/42.09	c cleaning 24031 clauses out of 48092 with flag 1711952/315000
46.89/46.10	c cleaning 25005 clauses out of 50061 with flag 1866808/341000
51.09/50.36	c cleaning 25989 clauses out of 52057 with flag 2028430/368001
55.41/54.61	c cleaning 27022 clauses out of 54067 with flag 2194065/396000
59.61/58.84	c cleaning 27972 clauses out of 56045 with flag 2367859/425000
64.12/63.38	c cleaning 28999 clauses out of 58073 with flag 2548584/455000
68.93/68.10	c cleaning 30016 clauses out of 60074 with flag 2736672/486000
73.93/73.16	c cleaning 30990 clauses out of 62058 with flag 2931432/518000
79.23/78.41	c cleaning 32025 clauses out of 64068 with flag 3129224/551000
84.63/83.86	c cleaning 32991 clauses out of 66044 with flag 3338328/585001
90.43/89.60	c cleaning 34018 clauses out of 68052 with flag 3551720/620000
96.33/95.58	c cleaning 34985 clauses out of 70034 with flag 3772893/656000
102.73/101.91	c cleaning 35985 clauses out of 72050 with flag 3996493/693001
109.23/108.45	c cleaning 37008 clauses out of 74064 with flag 4229707/731000
116.13/115.34	c cleaning 38015 clauses out of 76056 with flag 4472851/770000
123.53/122.72	c cleaning 38969 clauses out of 78041 with flag 4717544/810000
131.03/130.22	c cleaning 40005 clauses out of 80074 with flag 4968460/851002
138.89/138.07	c cleaning 41031 clauses out of 82067 with flag 5230421/893000
146.79/145.94	c cleaning 42009 clauses out of 84036 with flag 5497084/936000
154.90/154.01	c cleaning 42992 clauses out of 86027 with flag 5766812/980000
162.99/162.12	c cleaning 44009 clauses out of 88036 with flag 6046006/1025001
171.60/170.73	c cleaning 44991 clauses out of 90027 with flag 6332263/1071001
180.50/179.67	c cleaning 45985 clauses out of 92035 with flag 6623381/1118000
189.90/189.00	c cleaning 46999 clauses out of 94051 with flag 6920632/1166001
199.70/198.87	c cleaning 47975 clauses out of 96051 with flag 7221937/1215000
209.70/208.88	c cleaning 49009 clauses out of 98076 with flag 7529470/1265000
220.10/219.24	c cleaning 50011 clauses out of 100067 with flag 7847090/1316000
230.82/229.94	c cleaning 50956 clauses out of 102056 with flag 8171682/1368000
241.87/240.99	c cleaning 51994 clauses out of 104100 with flag 8503228/1421000
252.87/251.92	c cleaning 53018 clauses out of 106107 with flag 8838224/1475001
264.37/263.45	c cleaning 54037 clauses out of 108088 with flag 9178983/1530000
276.47/275.51	c cleaning 55013 clauses out of 110051 with flag 9525090/1586000
288.57/287.67	c cleaning 56000 clauses out of 112038 with flag 9877535/1643000
301.06/300.13	c cleaning 56973 clauses out of 114039 with flag 10236286/1701001
314.26/313.39	c cleaning 58013 clauses out of 116065 with flag 10603308/1760000
327.46/326.55	c cleaning 59003 clauses out of 118052 with flag 10977164/1820000
341.46/340.56	c cleaning 60018 clauses out of 120049 with flag 11353109/1881000
355.42/354.44	c cleaning 61001 clauses out of 122032 with flag 11738840/1943001
369.53/368.52	c cleaning 61981 clauses out of 124030 with flag 12135436/2006000
384.24/383.20	c cleaning 63019 clauses out of 126049 with flag 12537202/2070000
398.84/397.87	c cleaning 63989 clauses out of 128030 with flag 12938270/2135000
414.15/413.10	c cleaning 65012 clauses out of 130043 with flag 13346396/2201002
430.07/429.01	c cleaning 65992 clauses out of 132029 with flag 13755165/2268000
446.26/445.21	c cleaning 67001 clauses out of 134037 with flag 14178297/2336000
463.07/462.02	c cleaning 67995 clauses out of 136037 with flag 14604036/2405001
479.79/478.80	c cleaning 68966 clauses out of 138042 with flag 15042520/2475001
497.00/495.94	c cleaning 70001 clauses out of 140076 with flag 15481038/2546001
514.60/513.57	c cleaning 71021 clauses out of 142077 with flag 15922501/2618003
532.61/531.55	c cleaning 71972 clauses out of 144053 with flag 16377456/2691000
551.31/550.29	c cleaning 73013 clauses out of 146081 with flag 16836959/2765000
570.62/569.50	c cleaning 74027 clauses out of 148068 with flag 17297976/2840000
590.62/589.56	c cleaning 75008 clauses out of 150041 with flag 17767994/2916000
610.66/609.53	c cleaning 75973 clauses out of 152033 with flag 18237003/2993000
630.65/629.58	c cleaning 76977 clauses out of 154061 with flag 18718970/3071001
651.26/650.19	c cleaning 78006 clauses out of 156083 with flag 19209052/3150000
672.76/671.61	c cleaning 79036 clauses out of 158077 with flag 19701153/3230000
694.56/693.49	c cleaning 79999 clauses out of 160041 with flag 20203515/3311000
716.86/715.77	c cleaning 80985 clauses out of 162042 with flag 20705919/3393000
739.82/738.61	c cleaning 81969 clauses out of 164057 with flag 21218511/3476000
763.42/762.25	c cleaning 82988 clauses out of 166088 with flag 21733535/3560000
787.51/786.39	c cleaning 84018 clauses out of 168100 with flag 22254585/3645000
812.42/811.22	c cleaning 85014 clauses out of 170083 with flag 22781930/3731001
837.72/836.52	c cleaning 86021 clauses out of 172068 with flag 23319374/3818000
863.40/862.19	c cleaning 86943 clauses out of 174047 with flag 23863264/3906000
889.60/888.30	c cleaning 88018 clauses out of 176105 with flag 24410554/3995001
916.10/914.87	c cleaning 89020 clauses out of 178086 with flag 24964680/4085000
943.61/942.34	c cleaning 89963 clauses out of 180066 with flag 25519367/4176000
971.72/970.46	c cleaning 91048 clauses out of 182103 with flag 26086192/4268000
1000.42/999.05	c cleaning 92022 clauses out of 184057 with flag 26658528/4361002
1029.23/1027.82	c cleaning 92991 clauses out of 186033 with flag 27240238/4455000
1059.14/1057.75	c cleaning 93968 clauses out of 188044 with flag 27821190/4550002
1088.84/1087.48	c cleaning 95006 clauses out of 190074 with flag 28402958/4646000
1119.74/1118.37	c cleaning 96007 clauses out of 192068 with flag 28998666/4743000
1151.45/1149.95	c cleaning 97016 clauses out of 194061 with flag 29598876/4841000
1182.85/1181.36	c cleaning 97991 clauses out of 196045 with flag 30201090/4940000
1215.36/1213.89	c cleaning 99020 clauses out of 198054 with flag 30814956/5040000
1248.26/1246.77	c cleaning 99966 clauses out of 200036 with flag 31440884/5141002
1282.70/1281.04	c cleaning 100968 clauses out of 202068 with flag 32066280/5243000
1318.49/1316.87	c cleaning 102011 clauses out of 204100 with flag 32696334/5346000
1355.07/1353.44	c cleaning 102984 clauses out of 206089 with flag 33327581/5450000
1392.77/1391.19	c cleaning 104015 clauses out of 208105 with flag 33967144/5555000
1431.08/1429.34	c cleaning 104999 clauses out of 210090 with flag 34614918/5661000
1469.67/1467.93	c cleaning 106015 clauses out of 212091 with flag 35263703/5768000
1509.56/1507.80	c cleaning 107022 clauses out of 214076 with flag 35920218/5876000
1550.05/1548.36	c cleaning 108014 clauses out of 216055 with flag 36580550/5985001
1591.06/1589.29	c cleaning 109013 clauses out of 218040 with flag 37248668/6095000
1632.84/1631.03	c cleaning 109975 clauses out of 220027 with flag 37926696/6206000
1674.73/1672.99	c cleaning 111008 clauses out of 222053 with flag 38610525/6318001
1717.83/1716.06	c cleaning 112012 clauses out of 224045 with flag 39296562/6431001
1761.57/1759.74	c cleaning 112950 clauses out of 226032 with flag 39988643/6545000
1800.06/1798.20	c starts		: 49717
1800.06/1798.20	c conflicts		: 6647802
1800.06/1798.20	c decisions		: 60907857
1800.06/1798.20	c propagations		: 891941433
1800.06/1798.20	c inspects		: 24497320002
1800.06/1798.20	c shortcuts		: 0
1800.06/1798.20	c learnt literals	: 2
1800.06/1798.20	c learnt binary clauses	: 48
1800.06/1798.20	c learnt ternary clauses	: 633
1800.06/1798.20	c learnt constraints	: 6647800
1800.06/1798.20	c ignored constraints	: 0
1800.06/1798.20	c root simplifications	: 0
1800.06/1798.20	c removed literals (reason simplification)	: 0
1800.06/1798.20	c reason swapping (by a shorter reason)	: 0
1800.06/1798.20	c Calls to reduceDB	: 110
1800.06/1798.20	c Number of update (reduction) of LBD	: 1421754
1800.06/1798.20	c Imported unit clauses	: 0
1800.06/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.06/1798.20	c number of learned constraints concerned by reduction	: 0
1800.06/1798.20	c number of learning phase by resolution	: 0
1800.06/1798.20	c number of learning phase by cutting planes	: 0
1800.06/1798.20	c speed (assignments/second)	: 496137.1575483432
1800.06/1798.20	c non guided choices	28073
1800.06/1798.20	c timeout
1800.06/1798.23	c learnt constraints type 
1800.06/1798.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 48
1800.06/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 215837
1800.06/1798.23	s UNKNOWN
1800.06/1798.23	c Total wall clock time (in seconds): 1798.113

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-4117185-1466973050/watcher-4117185-1466973050 -o /tmp/evaluation-result-4117185-1466973050/solver-4117185-1466973050 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26458 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4117185-1466973050.opb 

pid=30227
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.18 2.14 2.10 3/195 30230
/proc/meminfo: memFree=31128028/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/30230/stat : 30230 (java) R 30227 30230 26442 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 30342883 5767168 55 33554432000 1073741824 1073778376 140735793981856 140735793978984 206619897127 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2303 59 47 9 0 30 0

[startup+0.10006 s]
/proc/loadavg: 2.18 2.14 2.10 3/195 30230
/proc/meminfo: memFree=31128028/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 4376 0 1 0 8 1 0 0 20 0 18 0 30342883 9787879424 6008 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2389619 6008 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.18 2.14 2.10 3/195 30230
/proc/meminfo: memFree=31128028/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 4688 0 1 0 24 1 0 0 20 0 18 0 30342883 9787879424 6767 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2389619 6767 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300172 s]
/proc/loadavg: 2.18 2.14 2.10 3/195 30230
/proc/meminfo: memFree=31128028/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 5722 0 1 0 46 2 0 0 20 0 18 0 30342883 9787879424 8936 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2389619 8936 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700171 s]
/proc/loadavg: 2.18 2.14 2.10 3/195 30230
/proc/meminfo: memFree=31128028/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 9154 0 1 0 132 3 0 0 20 0 19 0 30342883 9856040960 16024 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2406260 16024 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.18 2.14 2.10 6/214 30249
/proc/meminfo: memFree=31073468/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 9444 0 1 0 220 3 0 0 20 0 19 0 30342883 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2406260 16235 2270 9 0 2396937 0
[pid=30230/tid=30232] ppid=30227 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/30230/task/30232/stat : 30232 (java) R 30227 30230 26442 0 -1 4202560 2438 0 1 0 144 2 0 0 20 0 19 0 30342884 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472698293968 140472559996675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30233] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30233/stat : 30233 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472687364392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30234] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30234/stat : 30234 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472686311592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30235] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30235/stat : 30235 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472685259304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30236] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30236/stat : 30236 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472684206504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30237] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30237/stat : 30237 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472683154216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30238] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30238/stat : 30238 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472682101416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30239] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30239/stat : 30239 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472681049128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30240] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30240/stat : 30240 (java) S 30227 30230 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472679996328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30241] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30241/stat : 30241 (java) S 30227 30230 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472522287336 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30242] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30242/stat : 30242 (java) S 30227 30230 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472521233400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30243] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30243/stat : 30243 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472520181000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30244] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30244/stat : 30244 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472519129488 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30245] ppid=30227 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/30230/task/30245/stat : 30245 (java) S 30227 30230 26442 0 -1 4202560 3652 0 0 0 39 0 0 0 20 0 19 0 30342890 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472518077112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30246] ppid=30227 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30230/task/30246/stat : 30246 (java) S 30227 30230 26442 0 -1 4202560 2082 0 0 0 35 0 0 0 20 0 19 0 30342890 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472517024312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30247] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30247/stat : 30247 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472515972216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30248] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30248/stat : 30248 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472514919624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30249] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30249/stat : 30249 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342927 9856040960 16235 33554432000 1073741824 1073778376 140735793981856 140472513864616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.1007 s]
/proc/loadavg: 2.17 2.14 2.09 3/214 30249
/proc/meminfo: memFree=31068256/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 9447 0 1 0 382 3 0 0 20 0 19 0 30342883 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2406260 17259 2270 9 0 2396937 0
[pid=30230/tid=30232] ppid=30227 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/30230/task/30232/stat : 30232 (java) R 30227 30230 26442 0 -1 4202560 2440 0 1 0 302 2 0 0 20 0 19 0 30342884 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472698302824 140472559952614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30233] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30233/stat : 30233 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472687364392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30234] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30234/stat : 30234 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472686311592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30235] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30235/stat : 30235 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472685259304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30236] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30236/stat : 30236 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472684206504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30237] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30237/stat : 30237 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472683154216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30238] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30238/stat : 30238 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472682101416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30239] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30239/stat : 30239 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472681049128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30240] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30240/stat : 30240 (java) S 30227 30230 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472679996328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30241] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30241/stat : 30241 (java) S 30227 30230 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472522287336 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30242] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30242/stat : 30242 (java) S 30227 30230 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472521233400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30243] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30243/stat : 30243 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472520181000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30244] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30244/stat : 30244 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472519129488 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30245] ppid=30227 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/30230/task/30245/stat : 30245 (java) S 30227 30230 26442 0 -1 4202560 3653 0 0 0 40 0 0 0 20 0 19 0 30342890 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472518077112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30246] ppid=30227 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/30230/task/30246/stat : 30246 (java) S 30227 30230 26442 0 -1 4202560 2082 0 0 0 37 0 0 0 20 0 19 0 30342890 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472517024312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30247] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30247/stat : 30247 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472515972216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30248] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30248/stat : 30248 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472514919624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30249] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30249/stat : 30249 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342927 9856040960 17259 33554432000 1073741824 1073778376 140735793981856 140472513864616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.17 2.14 2.09 3/214 30249
/proc/meminfo: memFree=31059900/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9625040 CPUtime=7.06 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 9453 0 1 0 703 3 0 0 20 0 19 0 30342883 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2406260 19292 2271 9 0 2396937 0
[pid=30230/tid=30232] ppid=30227 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/30230/task/30232/stat : 30232 (java) R 30227 30230 26442 0 -1 4202560 2445 0 1 0 621 2 0 0 20 0 19 0 30342884 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472698302888 140472559962090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30233] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30233/stat : 30233 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472687364392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30234] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30234/stat : 30234 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472686311592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30235] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30235/stat : 30235 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472685259304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30236] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30236/stat : 30236 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472684206504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30237] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30237/stat : 30237 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472683154216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30238] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30238/stat : 30238 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472682101416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30239] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30239/stat : 30239 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472681049128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30240] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30240/stat : 30240 (java) S 30227 30230 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30342886 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472679996328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30241] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30241/stat : 30241 (java) S 30227 30230 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472522287336 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30242] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30242/stat : 30242 (java) S 30227 30230 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472521233400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30243] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30243/stat : 30243 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472520181000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30244] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30244/stat : 30244 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472519129488 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30245] ppid=30227 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/30230/task/30245/stat : 30245 (java) S 30227 30230 26442 0 -1 4202560 3653 0 0 0 41 0 0 0 20 0 19 0 30342890 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472518077112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30246] ppid=30227 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/30230/task/30246/stat : 30246 (java) S 30227 30230 26442 0 -1 4202560 2082 0 0 0 39 0 0 0 20 0 19 0 30342890 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472517024312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30247] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30247/stat : 30247 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472515972216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30248] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30248/stat : 30248 (java) S 30227 30230 26442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472514919624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30249] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30249/stat : 30249 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342927 9856040960 19292 33554432000 1073741824 1073778376 140735793981856 140472513864616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625040


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

[pid=30230/tid=30249] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30249/stat : 30249 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342927 9856040960 82686 33554432000 1073741824 1073778376 140735793981856 140472513864616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.14
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.11 1.30 1.66 2/188 30322
/proc/meminfo: memFree=30995940/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9625040 CPUtime=1724.18 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 10793 0 1 0 172373 45 0 0 20 0 19 0 30342883 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2406260 85756 2285 9 0 2396937 0
[pid=30230/tid=30232] ppid=30227 vsize=9625040 CPUtime=1717.13 cores=0,2,4,6
/proc/30230/task/30232/stat : 30232 (java) R 30227 30230 26442 0 -1 4202560 2501 0 1 0 171682 31 0 0 20 0 19 0 30342884 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472698301776 140472559981424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30233] ppid=30227 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/30230/task/30233/stat : 30233 (java) S 30227 30230 26442 0 -1 4202560 58 0 0 0 18 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472687364392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30234] ppid=30227 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/30230/task/30234/stat : 30234 (java) S 30227 30230 26442 0 -1 4202560 120 0 0 0 15 2 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472686311592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30235] ppid=30227 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/30230/task/30235/stat : 30235 (java) S 30227 30230 26442 0 -1 4202560 42 0 0 0 13 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472685259304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30236] ppid=30227 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30230/task/30236/stat : 30236 (java) S 30227 30230 26442 0 -1 4202560 154 0 0 0 11 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472684206504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30237] ppid=30227 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/30230/task/30237/stat : 30237 (java) S 30227 30230 26442 0 -1 4202560 178 0 0 0 15 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472683154216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30238] ppid=30227 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/30230/task/30238/stat : 30238 (java) S 30227 30230 26442 0 -1 4202560 74 0 0 0 14 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472682101416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30239] ppid=30227 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/30230/task/30239/stat : 30239 (java) S 30227 30230 26442 0 -1 4202560 162 0 0 0 14 2 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472681049128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30240] ppid=30227 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30230/task/30240/stat : 30240 (java) S 30227 30230 26442 0 -1 4202560 29 0 0 0 13 1 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472679996328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30241] ppid=30227 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/30230/task/30241/stat : 30241 (java) S 30227 30230 26442 0 -1 4202560 62 0 0 0 0 2 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472522287336 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30242] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30242/stat : 30242 (java) S 30227 30230 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472521233400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30243] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30243/stat : 30243 (java) S 30227 30230 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472520181000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30244] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30244/stat : 30244 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472519129488 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30245] ppid=30227 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/30230/task/30245/stat : 30245 (java) S 30227 30230 26442 0 -1 4202560 3653 0 0 0 41 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472518077112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30246] ppid=30227 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/30230/task/30246/stat : 30246 (java) S 30227 30230 26442 0 -1 4202560 2402 0 0 0 42 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472517024312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30247] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30247/stat : 30247 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472515972216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30248] ppid=30227 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/30230/task/30248/stat : 30248 (java) S 30227 30230 26442 0 -1 4202560 100 0 0 0 30 33 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472514919624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30249] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30249/stat : 30249 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342927 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472513864616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.18
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.18 1.29 1.63 2/189 30326
/proc/meminfo: memFree=30995964/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9625040 CPUtime=1784.17 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 10797 0 1 0 178370 47 0 0 20 0 19 0 30342883 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2406260 85756 2285 9 0 2396937 0
[pid=30230/tid=30232] ppid=30227 vsize=9625040 CPUtime=1776.94 cores=0,2,4,6
/proc/30230/task/30232/stat : 30232 (java) R 30227 30230 26442 0 -1 4202560 2501 0 1 0 177662 32 0 0 20 0 19 0 30342884 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472698294048 140472559981579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30233] ppid=30227 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/30230/task/30233/stat : 30233 (java) S 30227 30230 26442 0 -1 4202560 58 0 0 0 18 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472687364392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30234] ppid=30227 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/30230/task/30234/stat : 30234 (java) S 30227 30230 26442 0 -1 4202560 120 0 0 0 15 2 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472686311592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30235] ppid=30227 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/30230/task/30235/stat : 30235 (java) S 30227 30230 26442 0 -1 4202560 42 0 0 0 13 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472685259304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30236] ppid=30227 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30230/task/30236/stat : 30236 (java) S 30227 30230 26442 0 -1 4202560 154 0 0 0 11 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472684206504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30237] ppid=30227 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/30230/task/30237/stat : 30237 (java) S 30227 30230 26442 0 -1 4202560 178 0 0 0 15 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472683154216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30238] ppid=30227 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/30230/task/30238/stat : 30238 (java) S 30227 30230 26442 0 -1 4202560 74 0 0 0 14 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472682101416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30239] ppid=30227 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/30230/task/30239/stat : 30239 (java) S 30227 30230 26442 0 -1 4202560 162 0 0 0 14 2 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472681049128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30240] ppid=30227 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30230/task/30240/stat : 30240 (java) S 30227 30230 26442 0 -1 4202560 29 0 0 0 13 1 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472679996328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30241] ppid=30227 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/30230/task/30241/stat : 30241 (java) S 30227 30230 26442 0 -1 4202560 62 0 0 0 0 2 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472522287336 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30242] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30242/stat : 30242 (java) S 30227 30230 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472521233400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30243] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30243/stat : 30243 (java) S 30227 30230 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472520181000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30244] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30244/stat : 30244 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472519129488 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30245] ppid=30227 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/30230/task/30245/stat : 30245 (java) S 30227 30230 26442 0 -1 4202560 3653 0 0 0 41 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472518077112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30246] ppid=30227 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/30230/task/30246/stat : 30246 (java) S 30227 30230 26442 0 -1 4202560 2402 0 0 0 42 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472517024312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30247] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30247/stat : 30247 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472515972216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30248] ppid=30227 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/30230/task/30248/stat : 30248 (java) S 30227 30230 26442 0 -1 4202560 104 0 0 0 32 34 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472514919624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30249] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30249/stat : 30249 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342927 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472513864616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.17
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 1.19 1.28 1.63 2/189 30326
/proc/meminfo: memFree=30996216/32872528 swapFree=552864/567172
[pid=30230] ppid=30227 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/30230/stat : 30230 (java) S 30227 30230 26442 0 -1 4202496 10797 0 1 0 179959 47 0 0 20 0 19 0 30342883 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140735793972992 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30230/statm: 2406260 85756 2285 9 0 2396937 0
[pid=30230/tid=30232] ppid=30227 vsize=9625040 CPUtime=1792.8 cores=0,2,4,6
/proc/30230/task/30232/stat : 30232 (java) R 30227 30230 26442 0 -1 4202560 2501 0 1 0 179248 32 0 0 20 0 19 0 30342884 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472698294048 140472560032317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30233] ppid=30227 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/30230/task/30233/stat : 30233 (java) S 30227 30230 26442 0 -1 4202560 58 0 0 0 18 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472687364392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30234] ppid=30227 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/30230/task/30234/stat : 30234 (java) S 30227 30230 26442 0 -1 4202560 120 0 0 0 15 2 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472686311592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30235] ppid=30227 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/30230/task/30235/stat : 30235 (java) S 30227 30230 26442 0 -1 4202560 42 0 0 0 13 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472685259304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30236] ppid=30227 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30230/task/30236/stat : 30236 (java) S 30227 30230 26442 0 -1 4202560 154 0 0 0 11 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472684206504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30237] ppid=30227 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/30230/task/30237/stat : 30237 (java) S 30227 30230 26442 0 -1 4202560 178 0 0 0 15 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472683154216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30238] ppid=30227 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/30230/task/30238/stat : 30238 (java) S 30227 30230 26442 0 -1 4202560 74 0 0 0 14 3 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472682101416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30239] ppid=30227 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/30230/task/30239/stat : 30239 (java) S 30227 30230 26442 0 -1 4202560 162 0 0 0 14 2 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472681049128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30230/tid=30240] ppid=30227 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30230/task/30240/stat : 30240 (java) S 30227 30230 26442 0 -1 4202560 29 0 0 0 13 1 0 0 20 0 19 0 30342886 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472679996328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30241] ppid=30227 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/30230/task/30241/stat : 30241 (java) S 30227 30230 26442 0 -1 4202560 62 0 0 0 0 2 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472522287336 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30242] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30242/stat : 30242 (java) S 30227 30230 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472521233400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30243] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30243/stat : 30243 (java) S 30227 30230 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30342887 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472520181000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30244] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30244/stat : 30244 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472519129488 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30245] ppid=30227 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/30230/task/30245/stat : 30245 (java) S 30227 30230 26442 0 -1 4202560 3653 0 0 0 41 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472518077112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30230/tid=30246] ppid=30227 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/30230/task/30246/stat : 30246 (java) S 30227 30230 26442 0 -1 4202560 2402 0 0 0 42 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472517024312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30247] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30247/stat : 30247 (java) S 30227 30230 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472515972216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30230/tid=30248] ppid=30227 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/30230/task/30248/stat : 30248 (java) S 30227 30230 26442 0 -1 4202560 104 0 0 0 32 34 0 0 20 0 19 0 30342890 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472514919624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30230/tid=30249] ppid=30227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30230/task/30249/stat : 30249 (java) S 30227 30230 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30342927 9856040960 85756 33554432000 1073741824 1073778376 140735793981856 140472513864616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 30230 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 30230 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=930129
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=21844
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.24
CPU time (s): 1800.06
CPU user time (s): 1799.59
CPU system time (s): 0.47
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.02184
maximum resident set size= 343140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10833
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38503
involuntary context switches= 15313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6524 second user time and 13.5619 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-26 22:30:50
IDJOB=4117185
IDBENCH=109563
IDSOLVER=2546
FILE ID=node138/4117185-1466973050
RUNJOBID= node138-1466940040-26458
PBS_JOBID= 19976338
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117185-1466973050/watcher-4117185-1466973050 -o /tmp/evaluation-result-4117185-1466973050/solver-4117185-1466973050 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26458 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4117185-1466973050.opb

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

MD5SUM BENCH= b752b20925aa43c560ab8ccadf705a6b
RANDOM SEED=304698484

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.803
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:        31128680 kB
Buffers:           39168 kB
Cached:           228072 kB
SwapCached:         3788 kB
Active:           226676 kB
Inactive:         244300 kB
Active(anon):     201652 kB
Inactive(anon):     4564 kB
Active(file):      25024 kB
Inactive(file):   239736 kB
Unevictable:      567172 kB
Mlocked:          552864 kB
SwapTotal:      67108856 kB
SwapFree:       67094448 kB
Dirty:              1196 kB
Writeback:             0 kB
AnonPages:        774200 kB
Mapped:            15304 kB
Shmem:                 0 kB
Slab:             567428 kB
SReclaimable:      10956 kB
SUnreclaim:       556472 kB
KernelStack:        1656 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1267976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71716 MiB
End job on node138 at 2016-06-26 23:00:48