Trace number 4116153

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-8.opb
MD5SUM64f83e92e9499eb11dc8bcd5da77f0bb
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 constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4116153-1466978683.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
0.71/0.41	c ... done. Wall clock time 0.306s.
0.71/0.41	c declared #vars     4288
0.71/0.41	c #constraints  10880
0.71/0.41	c constraints type 
0.71/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.71/0.41	c org.sat4j.specs.Constr$1 => 936
0.71/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.71/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 536
0.71/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.71/0.41	c 10880 constraints processed.
1.72/1.07	c cleaning 2499 clauses out of 4997 with flag 16496/5000
2.39/1.66	c cleaning 4215 clauses out of 8499 with flag 42692/11001
3.11/2.38	c cleaning 5639 clauses out of 11283 with flag 70439/18000
4.01/3.24	c cleaning 6802 clauses out of 13645 with flag 104695/26001
5.03/4.21	c cleaning 7907 clauses out of 15842 with flag 144667/35000
6.13/5.36	c cleaning 8961 clauses out of 17936 with flag 191799/45001
7.43/6.61	c cleaning 9970 clauses out of 19974 with flag 245446/56000
8.73/7.96	c cleaning 10972 clauses out of 22004 with flag 304779/68000
10.22/9.49	c cleaning 12012 clauses out of 24032 with flag 371043/81000
11.93/11.18	c cleaning 12984 clauses out of 26021 with flag 445374/95001
13.83/13.07	c cleaning 14002 clauses out of 28036 with flag 523090/110000
15.83/15.04	c cleaning 15001 clauses out of 30035 with flag 611622/126001
17.93/17.19	c cleaning 15982 clauses out of 32033 with flag 707740/143000
20.33/19.57	c cleaning 17004 clauses out of 34051 with flag 807048/161000
22.94/22.16	c cleaning 18016 clauses out of 36048 with flag 913252/180001
25.73/24.94	c cleaning 18986 clauses out of 38031 with flag 1025152/200000
28.73/27.94	c cleaning 20005 clauses out of 40046 with flag 1144360/221001
31.93/31.17	c cleaning 21006 clauses out of 42040 with flag 1267695/243000
35.32/34.55	c cleaning 22002 clauses out of 44035 with flag 1396765/266001
39.03/38.22	c cleaning 23007 clauses out of 46032 with flag 1532053/290000
42.82/42.04	c cleaning 23982 clauses out of 48026 with flag 1671004/315001
46.92/46.17	c cleaning 25006 clauses out of 50043 with flag 1819656/341000
51.23/50.49	c cleaning 26013 clauses out of 52037 with flag 1974941/368000
55.65/54.85	c cleaning 26971 clauses out of 54024 with flag 2138133/396000
59.75/58.95	c cleaning 28025 clauses out of 56055 with flag 2310338/425002
64.25/63.42	c cleaning 28994 clauses out of 58028 with flag 2481628/455000
68.85/68.07	c cleaning 30014 clauses out of 60034 with flag 2659389/486000
73.85/73.01	c cleaning 30988 clauses out of 62020 with flag 2844920/518000
79.15/78.32	c cleaning 32011 clauses out of 64033 with flag 3035503/551001
84.65/83.84	c cleaning 32989 clauses out of 66021 with flag 3235600/585000
90.45/89.62	c cleaning 34001 clauses out of 68032 with flag 3438118/620000
96.45/95.66	c cleaning 35000 clauses out of 70031 with flag 3648161/656000
102.84/102.03	c cleaning 35990 clauses out of 72031 with flag 3862158/693000
109.44/108.65	c cleaning 36994 clauses out of 74042 with flag 4086351/731001
116.34/115.58	c cleaning 37986 clauses out of 76047 with flag 4313150/770000
123.54/122.74	c cleaning 39016 clauses out of 78062 with flag 4547857/810001
130.54/129.73	c cleaning 40016 clauses out of 80045 with flag 4788297/851000
137.84/137.02	c cleaning 40977 clauses out of 82030 with flag 5033555/893001
145.16/144.35	c cleaning 42006 clauses out of 84053 with flag 5284344/936001
152.56/151.74	c cleaning 43018 clauses out of 86047 with flag 5543185/980001
160.26/159.45	c cleaning 43995 clauses out of 88028 with flag 5807606/1025000
168.56/167.77	c cleaning 45011 clauses out of 90033 with flag 6076878/1071000
177.06/176.22	c cleaning 45979 clauses out of 92023 with flag 6353466/1118001
185.68/184.83	c cleaning 46981 clauses out of 94043 with flag 6634920/1166000
194.77/193.91	c cleaning 48016 clauses out of 96064 with flag 6919499/1215002
204.07/203.24	c cleaning 48982 clauses out of 98046 with flag 7207996/1265000
213.67/212.80	c cleaning 50005 clauses out of 100064 with flag 7511389/1316000
223.67/222.88	c cleaning 50977 clauses out of 102059 with flag 7815211/1368000
234.01/233.16	c cleaning 51994 clauses out of 104082 with flag 8129811/1421000
245.12/244.21	c cleaning 53014 clauses out of 106088 with flag 8443636/1475000
256.51/255.67	c cleaning 54026 clauses out of 108075 with flag 8770282/1530001
268.70/267.87	c cleaning 54996 clauses out of 110051 with flag 9097327/1586003
281.10/280.20	c cleaning 56017 clauses out of 112052 with flag 9428329/1643000
293.50/292.66	c cleaning 56990 clauses out of 114039 with flag 9766885/1701004
306.80/305.92	c cleaning 57974 clauses out of 116046 with flag 10110950/1760001
320.08/319.20	c cleaning 59016 clauses out of 118071 with flag 10466412/1820000
334.07/333.30	c cleaning 59987 clauses out of 120056 with flag 10819439/1881001
347.62/346.76	c cleaning 61012 clauses out of 122069 with flag 11182369/1943001
360.74/359.87	c cleaning 61988 clauses out of 124056 with flag 11548470/2006000
374.34/373.48	c cleaning 63013 clauses out of 126068 with flag 11922040/2070000
388.63/387.72	c cleaning 63983 clauses out of 128055 with flag 12299691/2135000
403.15/402.23	c cleaning 65027 clauses out of 130076 with flag 12681330/2201004
418.15/417.27	c cleaning 65977 clauses out of 132047 with flag 13064997/2268002
433.55/432.62	c cleaning 66953 clauses out of 134068 with flag 13459084/2336000
449.55/448.65	c cleaning 68004 clauses out of 136117 with flag 13857095/2405002
465.58/464.67	c cleaning 69041 clauses out of 138111 with flag 14259684/2475000
482.08/481.14	c cleaning 70030 clauses out of 140070 with flag 14664545/2546000
499.40/498.43	c cleaning 71017 clauses out of 142041 with flag 15082407/2618001
516.59/515.60	c cleaning 71999 clauses out of 144025 with flag 15499125/2691002
534.39/533.44	c cleaning 72999 clauses out of 146024 with flag 15933550/2765000
552.69/551.73	c cleaning 73977 clauses out of 148025 with flag 16365791/2840000
571.46/570.43	c cleaning 74974 clauses out of 150049 with flag 16806543/2916001
590.46/589.43	c cleaning 76028 clauses out of 152076 with flag 17253188/2993002
609.76/608.71	c cleaning 76982 clauses out of 154048 with flag 17710798/3071002
629.77/628.73	c cleaning 77957 clauses out of 156064 with flag 18167214/3150000
650.47/649.48	c cleaning 79021 clauses out of 158107 with flag 18627884/3230000
671.46/670.44	c cleaning 80031 clauses out of 160086 with flag 19094347/3311000
693.14/692.09	c cleaning 81015 clauses out of 162055 with flag 19568861/3393000
715.44/714.32	c cleaning 82007 clauses out of 164040 with flag 20044783/3476000
737.95/736.84	c cleaning 83005 clauses out of 166035 with flag 20529699/3560002
761.05/759.95	c cleaning 83958 clauses out of 168030 with flag 21021470/3645002
784.75/783.60	c cleaning 85001 clauses out of 170070 with flag 21519552/3731000
809.25/808.01	c cleaning 85984 clauses out of 172069 with flag 22021098/3818000
833.76/832.59	c cleaning 87019 clauses out of 174085 with flag 22533911/3906000
858.86/857.69	c cleaning 88020 clauses out of 176066 with flag 23054847/3995000
884.46/883.21	c cleaning 89016 clauses out of 178046 with flag 23579532/4085000
910.87/909.66	c cleaning 90000 clauses out of 180032 with flag 24101325/4176002
937.84/936.50	c cleaning 90981 clauses out of 182030 with flag 24634600/4268000
964.44/963.18	c cleaning 91984 clauses out of 184049 with flag 25173341/4361000
992.16/990.86	c cleaning 93019 clauses out of 186065 with flag 25716801/4455000
1020.85/1019.58	c cleaning 93976 clauses out of 188046 with flag 26257348/4550000
1049.47/1048.03	c cleaning 95022 clauses out of 190073 with flag 26820304/4646003
1078.58/1077.11	c cleaning 96007 clauses out of 192048 with flag 27381820/4743000
1108.58/1107.15	c cleaning 96987 clauses out of 194042 with flag 27950915/4841001
1139.28/1137.83	c cleaning 97902 clauses out of 196056 with flag 28518670/4940002
1170.41/1168.83	c cleaning 99076 clauses out of 198153 with flag 29099458/5040001
1202.11/1200.57	c cleaning 100016 clauses out of 200077 with flag 29678249/5141001
1235.22/1233.63	c cleaning 100981 clauses out of 202061 with flag 30258139/5243001
1269.02/1267.46	c cleaning 101970 clauses out of 204079 with flag 30848924/5346000
1303.32/1301.60	c cleaning 103023 clauses out of 206110 with flag 31448342/5450001
1338.43/1336.70	c cleaning 103997 clauses out of 208086 with flag 32044428/5555000
1373.62/1371.94	c cleaning 104992 clauses out of 210089 with flag 32650842/5661000
1409.23/1407.47	c cleaning 106044 clauses out of 212098 with flag 33261676/5768001
1445.93/1444.17	c cleaning 106996 clauses out of 214053 with flag 33878755/5876000
1483.85/1482.04	c cleaning 107984 clauses out of 216057 with flag 34488736/5985000
1522.15/1520.29	c cleaning 109000 clauses out of 218073 with flag 35115903/6095000
1561.24/1559.36	c cleaning 110037 clauses out of 220073 with flag 35750190/6206000
1601.05/1599.14	c cleaning 110968 clauses out of 222036 with flag 36388791/6318000
1641.65/1639.77	c cleaning 112021 clauses out of 224068 with flag 37035246/6431000
1683.12/1681.10	c cleaning 113000 clauses out of 226047 with flag 37679370/6545000
1725.03/1723.04	c cleaning 114013 clauses out of 228047 with flag 38330765/6660000
1767.54/1765.56	c cleaning 114982 clauses out of 230040 with flag 38987007/6776006
1800.08/1798.00	c starts		: 55599
1800.08/1798.00	c conflicts		: 6869706
1800.08/1798.00	c decisions		: 54682105
1800.08/1798.00	c propagations		: 866313052
1800.08/1798.00	c inspects		: 25742013507
1800.08/1798.00	c shortcuts		: 0
1800.08/1798.00	c learnt literals	: 3
1800.08/1798.00	c learnt binary clauses	: 89
1800.08/1798.00	c learnt ternary clauses	: 946
1800.08/1798.00	c learnt constraints	: 6869703
1800.08/1798.00	c ignored constraints	: 0
1800.08/1798.00	c root simplifications	: 0
1800.08/1798.00	c removed literals (reason simplification)	: 0
1800.08/1798.00	c reason swapping (by a shorter reason)	: 0
1800.08/1798.00	c Calls to reduceDB	: 112
1800.08/1798.00	c Number of update (reduction) of LBD	: 1484696
1800.08/1798.00	c Imported unit clauses	: 0
1800.08/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.00	c number of learned constraints concerned by reduction	: 0
1800.08/1798.00	c number of learning phase by resolution	: 0
1800.08/1798.00	c number of learning phase by cutting planes	: 0
1800.08/1798.00	c speed (assignments/second)	: 481931.62047969917
1800.08/1798.00	c non guided choices	24243
1800.08/1798.00	c timeout
1800.08/1798.03	c learnt constraints type 
1800.08/1798.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 89
1800.08/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 208669
1800.08/1798.03	s UNKNOWN
1800.08/1798.03	c Total wall clock time (in seconds): 1797.93

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-4116153-1466978683/watcher-4116153-1466978683 -o /tmp/evaluation-result-4116153-1466978683/solver-4116153-1466978683 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466978683-23217 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116153-1466978683.opb 

pid=23255
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: 1.06 1.28 1.66 3/188 23259
/proc/meminfo: memFree=30198404/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 30907464 98570240 977 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 24065 977 743 9 0 16771 0
[pid=23259/tid=23260] ppid=23255 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 30907464 98570240 977 33554432000 1073741824 1073778376 140736570386480 140439623847464 260190324096 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 1.06 1.28 1.66 3/188 23259
/proc/meminfo: memFree=30198404/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 4484 0 1 0 10 1 0 0 20 0 18 0 30907464 9787879424 6116 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2389619 6116 2157 9 0 2380296 0
[pid=23259/tid=23260] ppid=23255 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2382 0 1 0 6 2 0 0 20 0 18 0 30907464 9787879424 6116 33554432000 1073741824 1073778376 140736570386480 140439623850912 260193707277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200261 s]
/proc/loadavg: 1.06 1.28 1.66 3/188 23259
/proc/meminfo: memFree=30198404/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 4948 0 1 0 27 1 0 0 20 0 18 0 30907464 9787879424 6991 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2389619 6991 2217 9 0 2380296 0
[pid=23259/tid=23260] ppid=23255 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2401 0 1 0 16 2 0 0 20 0 18 0 30907464 9787879424 6991 33554432000 1073741824 1073778376 140736570386480 140439623850912 140439474690726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300257 s]
/proc/loadavg: 1.06 1.28 1.66 3/188 23259
/proc/meminfo: memFree=30198404/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 5847 0 1 0 51 2 0 0 20 0 18 0 30907464 9787879424 9456 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2389619 9456 2233 9 0 2380296 0
[pid=23259/tid=23260] ppid=23255 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2405 0 1 0 26 2 0 0 20 0 18 0 30907464 9787879424 9456 33554432000 1073741824 1073778376 140736570386480 140439623850912 140439474789761 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700221 s]
/proc/loadavg: 1.06 1.28 1.66 3/188 23259
/proc/meminfo: memFree=30198404/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 8724 0 1 0 135 3 0 0 20 0 19 0 30907464 9856040960 15725 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2406260 15725 2264 9 0 2396937 0
[pid=23259/tid=23260] ppid=23255 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2442 0 1 0 65 2 0 0 20 0 19 0 30907464 9856040960 15725 33554432000 1073741824 1073778376 140736570386480 140439623852520 140439475358282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 1.06 1.28 1.66 3/213 23284
/proc/meminfo: memFree=30091760/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9625040 CPUtime=2.27 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 9553 0 1 0 224 3 0 0 20 0 19 0 30907464 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2406260 16261 2270 9 0 2396937 0
[pid=23259/tid=23260] ppid=23255 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2444 0 1 0 145 2 0 0 20 0 19 0 30907464 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439623852296 140439475319260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23262] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23262/stat : 23262 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439596305064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23263] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23263/stat : 23263 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439595252520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23264] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23264/stat : 23264 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439594199976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23265] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23265/stat : 23265 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439463701544 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23266] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23266/stat : 23266 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439462647976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23267] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23267/stat : 23267 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439461595432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23268] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23268/stat : 23268 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439460542888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23269] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23269/stat : 23269 (java) S 23255 23259 23201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140439459490344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23275] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23275/stat : 23275 (java) S 23255 23259 23201 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30907466 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438976977512 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23276] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23276/stat : 23276 (java) S 23255 23259 23201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438975923832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23277] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23277/stat : 23277 (java) S 23255 23259 23201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438974871176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23278] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23278/stat : 23278 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438973819920 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23279] ppid=23255 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/23259/task/23279/stat : 23279 (java) S 23255 23259 23201 0 -1 4202560 1990 0 0 0 34 0 0 0 20 0 19 0 30907469 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438972766264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23280] ppid=23255 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23259/task/23280/stat : 23280 (java) S 23255 23259 23201 0 -1 4202560 3841 0 0 0 41 0 0 0 20 0 19 0 30907469 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438971713720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23281] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23281/stat : 23281 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438970661368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23282] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23282/stat : 23282 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438969609032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23284] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23284/stat : 23284 (java) S 23255 23259 23201 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30907506 9856040960 16261 33554432000 1073741824 1073778376 140736570386480 140438968554792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 1.13 1.29 1.66 3/213 23284
/proc/meminfo: memFree=30087416/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9625040 CPUtime=3.91 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 9556 0 1 0 387 4 0 0 20 0 19 0 30907464 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2406260 17285 2270 9 0 2396937 0
[pid=23259/tid=23260] ppid=23255 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2447 0 1 0 305 2 0 0 20 0 19 0 30907464 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439623852328 140439475290128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23262] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23262/stat : 23262 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439596305064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23263] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23263/stat : 23263 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439595252520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23264] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23264/stat : 23264 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439594199976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23265] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23265/stat : 23265 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439463701544 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23266] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23266/stat : 23266 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439462647976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23267] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23267/stat : 23267 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439461595432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23268] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23268/stat : 23268 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439460542888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23269] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23269/stat : 23269 (java) S 23255 23259 23201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140439459490344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23275] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23275/stat : 23275 (java) S 23255 23259 23201 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30907466 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438976977512 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23276] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23276/stat : 23276 (java) S 23255 23259 23201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438975923832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23277] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23277/stat : 23277 (java) S 23255 23259 23201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438974871176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23278] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23278/stat : 23278 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438973819920 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23279] ppid=23255 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/23259/task/23279/stat : 23279 (java) S 23255 23259 23201 0 -1 4202560 1990 0 0 0 36 0 0 0 20 0 19 0 30907469 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438972766264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23280] ppid=23255 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/23259/task/23280/stat : 23280 (java) S 23255 23259 23201 0 -1 4202560 3841 0 0 0 43 0 0 0 20 0 19 0 30907469 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438971713720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23281] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23281/stat : 23281 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438970661368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23282] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23282/stat : 23282 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438969609032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23284] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23284/stat : 23284 (java) S 23255 23259 23201 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30907506 9856040960 17285 33554432000 1073741824 1073778376 140736570386480 140438968554792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 1.13 1.29 1.66 3/213 23284
/proc/meminfo: memFree=30071432/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9625040 CPUtime=7.13 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 9563 0 1 0 709 4 0 0 20 0 19 0 30907464 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2406260 19319 2271 9 0 2396937 0
[pid=23259/tid=23260] ppid=23255 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2452 0 1 0 625 2 0 0 20 0 19 0 30907464 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439623852440 140439475358302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23262] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23262/stat : 23262 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439596305064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23263] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23263/stat : 23263 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439595252520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23264] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23264/stat : 23264 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439594199976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23265] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23265/stat : 23265 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439463701544 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23266] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23266/stat : 23266 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439462647976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23267] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23267/stat : 23267 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439461595432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23268] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23268/stat : 23268 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439460542888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23269] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23269/stat : 23269 (java) S 23255 23259 23201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30907465 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140439459490344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23275] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23275/stat : 23275 (java) S 23255 23259 23201 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30907466 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140438976977512 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23276] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23276/stat : 23276 (java) S 23255 23259 23201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140438975923832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23277] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23277/stat : 23277 (java) S 23255 23259 23201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140438974871176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23278] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23278/stat : 23278 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140438973819920 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23279] ppid=23255 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23259/task/23279/stat : 23279 (java) S 23255 23259 23201 0 -1 4202560 1991 0 0 0 38 0 0 0 20 0 19 0 30907469 9856040960 19319 33554432000 1073741824 1073778376 140736570386480 140438972766264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23280] ppid=23255 vsize=9625040 CPUtime=0.43 cores=0,2,4,6

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

[pid=23259/tid=23276] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23276/stat : 23276 (java) S 23255 23259 23201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438975923832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23277] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23277/stat : 23277 (java) S 23255 23259 23201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438974871176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23278] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23278/stat : 23278 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438973819920 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23279] ppid=23255 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23259/task/23279/stat : 23279 (java) S 23255 23259 23201 0 -1 4202560 2373 0 0 0 41 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438972766264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23280] ppid=23255 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/23259/task/23280/stat : 23280 (java) S 23255 23259 23201 0 -1 4202560 3841 0 0 0 43 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438971713720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23281] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23281/stat : 23281 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438970661368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23282] ppid=23255 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/23259/task/23282/stat : 23282 (java) S 23255 23259 23201 0 -1 4202560 98 0 0 0 36 33 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438969609032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23284] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23284/stat : 23284 (java) S 23255 23259 23201 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30907506 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438968554792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.32
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.13 3/213 23327
/proc/meminfo: memFree=29507452/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9625040 CPUtime=1724.33 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 11316 0 1 0 172384 49 0 0 20 0 19 0 30907464 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2406260 89824 2285 9 0 2396937 0
[pid=23259/tid=23260] ppid=23255 vsize=9625040 CPUtime=1721.71 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2509 0 1 0 172139 32 0 0 20 0 19 0 30907464 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439623843600 140439475358336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23262] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23262/stat : 23262 (java) S 23255 23259 23201 0 -1 4202560 219 0 0 0 14 3 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439596305064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23263] ppid=23255 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23259/task/23263/stat : 23263 (java) S 23255 23259 23201 0 -1 4202560 121 0 0 0 17 3 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439595252520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23264] ppid=23255 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23259/task/23264/stat : 23264 (java) S 23255 23259 23201 0 -1 4202560 135 0 0 0 17 3 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439594199976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23265] ppid=23255 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23259/task/23265/stat : 23265 (java) S 23255 23259 23201 0 -1 4202560 64 0 0 0 13 3 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439463701544 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23266] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23266/stat : 23266 (java) S 23255 23259 23201 0 -1 4202560 157 0 0 0 15 2 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439462647976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23267] ppid=23255 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23259/task/23267/stat : 23267 (java) S 23255 23259 23201 0 -1 4202560 189 0 0 0 16 3 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439461595432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23268] ppid=23255 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23259/task/23268/stat : 23268 (java) S 23255 23259 23201 0 -1 4202560 150 0 0 0 13 3 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439460542888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23269] ppid=23255 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23259/task/23269/stat : 23269 (java) S 23255 23259 23201 0 -1 4202560 142 0 0 0 14 2 0 0 20 0 19 0 30907465 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140439459490344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23275] ppid=23255 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23259/task/23275/stat : 23275 (java) S 23255 23259 23201 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 19 0 30907466 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438976977512 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23276] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23276/stat : 23276 (java) S 23255 23259 23201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438975923832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23277] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23277/stat : 23277 (java) S 23255 23259 23201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438974871176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23278] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23278/stat : 23278 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438973819920 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23279] ppid=23255 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23259/task/23279/stat : 23279 (java) S 23255 23259 23201 0 -1 4202560 2373 0 0 0 41 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438972766264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23280] ppid=23255 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/23259/task/23280/stat : 23280 (java) S 23255 23259 23201 0 -1 4202560 3841 0 0 0 43 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438971713720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23281] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23281/stat : 23281 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438970661368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23282] ppid=23255 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/23259/task/23282/stat : 23282 (java) S 23255 23259 23201 0 -1 4202560 100 0 0 0 38 33 0 0 20 0 19 0 30907469 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438969609032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23284] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23284/stat : 23284 (java) S 23255 23259 23201 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30907506 9856040960 89824 33554432000 1073741824 1073778376 140736570386480 140438968554792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.33
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.36 2.29 2.15 3/213 23328
/proc/meminfo: memFree=29496628/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9625040 CPUtime=1784.36 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 11343 0 1 0 178385 51 0 0 20 0 19 0 30907464 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2406260 92351 2285 9 0 2396937 0
[pid=23259/tid=23260] ppid=23255 vsize=9625040 CPUtime=1781.69 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2510 0 1 0 178136 33 0 0 20 0 19 0 30907464 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439623851280 140439475318720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23262] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23262/stat : 23262 (java) S 23255 23259 23201 0 -1 4202560 219 0 0 0 14 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439596305064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23263] ppid=23255 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23259/task/23263/stat : 23263 (java) S 23255 23259 23201 0 -1 4202560 122 0 0 0 17 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439595252520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23264] ppid=23255 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/23259/task/23264/stat : 23264 (java) S 23255 23259 23201 0 -1 4202560 139 0 0 0 18 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439594199976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23265] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23265/stat : 23265 (java) S 23255 23259 23201 0 -1 4202560 65 0 0 0 14 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439463701544 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23266] ppid=23255 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/23259/task/23266/stat : 23266 (java) S 23255 23259 23201 0 -1 4202560 161 0 0 0 15 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439462647976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23267] ppid=23255 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23259/task/23267/stat : 23267 (java) S 23255 23259 23201 0 -1 4202560 194 0 0 0 17 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439461595432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23268] ppid=23255 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23259/task/23268/stat : 23268 (java) S 23255 23259 23201 0 -1 4202560 150 0 0 0 13 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439460542888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23269] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23269/stat : 23269 (java) S 23255 23259 23201 0 -1 4202560 147 0 0 0 14 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439459490344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23275] ppid=23255 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23259/task/23275/stat : 23275 (java) S 23255 23259 23201 0 -1 4202560 54 0 0 0 2 0 0 0 20 0 19 0 30907466 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438976977512 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23276] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23276/stat : 23276 (java) S 23255 23259 23201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438975923832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23277] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23277/stat : 23277 (java) S 23255 23259 23201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438974871176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23278] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23278/stat : 23278 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438973819920 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23279] ppid=23255 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23259/task/23279/stat : 23279 (java) S 23255 23259 23201 0 -1 4202560 2373 0 0 0 41 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438972766264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23280] ppid=23255 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/23259/task/23280/stat : 23280 (java) S 23255 23259 23201 0 -1 4202560 3841 0 0 0 43 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438971713720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23281] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23281/stat : 23281 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438970661368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23282] ppid=23255 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/23259/task/23282/stat : 23282 (java) S 23255 23259 23201 0 -1 4202560 104 0 0 0 39 35 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438969609032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23284] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23284/stat : 23284 (java) S 23255 23259 23201 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30907506 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438968554792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.36
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.43 2.31 2.16 3/213 23328
/proc/meminfo: memFree=29496648/32872528 swapFree=1643088/1798432
[pid=23259] ppid=23255 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/23259/stat : 23259 (java) S 23255 23259 23201 0 -1 4202496 11343 0 1 0 179956 52 0 0 20 0 19 0 30907464 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140736570377616 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23259/statm: 2406260 92351 2285 9 0 2396937 0
[pid=23259/tid=23260] ppid=23255 vsize=9625040 CPUtime=1797.39 cores=0,2,4,6
/proc/23259/task/23260/stat : 23260 (java) R 23255 23259 23201 0 -1 4202560 2510 0 1 0 179706 33 0 0 20 0 19 0 30907464 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439623851280 140439475347126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23262] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23262/stat : 23262 (java) S 23255 23259 23201 0 -1 4202560 219 0 0 0 14 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439596305064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23263] ppid=23255 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23259/task/23263/stat : 23263 (java) S 23255 23259 23201 0 -1 4202560 122 0 0 0 17 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439595252520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23264] ppid=23255 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/23259/task/23264/stat : 23264 (java) S 23255 23259 23201 0 -1 4202560 139 0 0 0 18 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439594199976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23265] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23265/stat : 23265 (java) S 23255 23259 23201 0 -1 4202560 65 0 0 0 14 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439463701544 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23266] ppid=23255 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/23259/task/23266/stat : 23266 (java) S 23255 23259 23201 0 -1 4202560 161 0 0 0 15 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439462647976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23267] ppid=23255 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23259/task/23267/stat : 23267 (java) S 23255 23259 23201 0 -1 4202560 194 0 0 0 17 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439461595432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23268] ppid=23255 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/23259/task/23268/stat : 23268 (java) S 23255 23259 23201 0 -1 4202560 150 0 0 0 13 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439460542888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23269] ppid=23255 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/23259/task/23269/stat : 23269 (java) S 23255 23259 23201 0 -1 4202560 147 0 0 0 14 3 0 0 20 0 19 0 30907465 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140439459490344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23275] ppid=23255 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23259/task/23275/stat : 23275 (java) S 23255 23259 23201 0 -1 4202560 54 0 0 0 2 0 0 0 20 0 19 0 30907466 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438976977512 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23259/tid=23276] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23276/stat : 23276 (java) S 23255 23259 23201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438975923832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23277] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23277/stat : 23277 (java) S 23255 23259 23201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30907467 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438974871176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23278] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23278/stat : 23278 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438973819920 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23259/tid=23279] ppid=23255 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/23259/task/23279/stat : 23279 (java) S 23255 23259 23201 0 -1 4202560 2373 0 0 0 41 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438972766264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23280] ppid=23255 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/23259/task/23280/stat : 23280 (java) S 23255 23259 23201 0 -1 4202560 3841 0 0 0 43 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438971713720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23281] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23281/stat : 23281 (java) S 23255 23259 23201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438970661368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23259/tid=23282] ppid=23255 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/23259/task/23282/stat : 23282 (java) S 23255 23259 23201 0 -1 4202560 104 0 0 0 39 36 0 0 20 0 19 0 30907469 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438969609032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23259/tid=23284] ppid=23255 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23259/task/23284/stat : 23284 (java) S 23255 23259 23201 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30907506 9856040960 92351 33554432000 1073741824 1073778376 140736570386480 140438968554792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 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 23259 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.04
CPU time (s): 1800.79
CPU user time (s): 1799.71
CPU system time (s): 1.08383
CPU usage (%): 100.153
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 1.08384
maximum resident set size= 369536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11376
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38516
involuntary context switches= 7241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1015 second user time and 14.0849 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-27 00:04:43
IDJOB=4116153
IDBENCH=109434
IDSOLVER=2546
FILE ID=node123/4116153-1466978683
RUNJOBID= node123-1466978683-23217
PBS_JOBID= 19976399
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-8.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116153-1466978683/watcher-4116153-1466978683 -o /tmp/evaluation-result-4116153-1466978683/solver-4116153-1466978683 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466978683-23217 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116153-1466978683.opb

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

MD5SUM BENCH= 64f83e92e9499eb11dc8bcd5da77f0bb
RANDOM SEED=567875435

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.608
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.608
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30201764 kB
Buffers:           42880 kB
Cached:           119380 kB
SwapCached:         1768 kB
Active:            36060 kB
Inactive:         134280 kB
Active(anon):       9720 kB
Inactive(anon):      964 kB
Active(file):      26340 kB
Inactive(file):   133316 kB
Unevictable:     1798432 kB
Mlocked:         1643088 kB
SwapTotal:      67108856 kB
SwapFree:       67098708 kB
Dirty:              2420 kB
Writeback:             0 kB
AnonPages:       1803748 kB
Mapped:             9820 kB
Shmem:                 0 kB
Slab:             565724 kB
SReclaimable:      10152 kB
SUnreclaim:       555572 kB
KernelStack:        1360 kB
PageTables:         7716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2468164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71728 MiB
End job on node123 at 2016-06-27 00:34:42