Trace number 4096096

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.01 1799.04

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-geq-fixedbandwidth-40.opb
MD5SUM1e15440c5c5c87ea1b9db448ab7b0aa0
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.009997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables161
Total number of constraints80
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4096096-1466102257.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.08/0.14	c ... done. Wall clock time 0.019s.
0.08/0.14	c declared #vars     161
0.08/0.14	c #constraints  80
0.08/0.14	c constraints type 
0.08/0.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 80
0.08/0.14	c 80 constraints processed.
0.64/0.43	c cleaning 2492 clauses out of 5002 with flag 25815/5002
0.99/0.66	c cleaning 4249 clauses out of 8508 with flag 61987/11000
1.31/0.91	c cleaning 5623 clauses out of 11261 with flag 99260/18002
1.62/1.25	c cleaning 6814 clauses out of 13637 with flag 146632/26001
2.02/1.64	c cleaning 7901 clauses out of 15822 with flag 197999/35000
2.52/2.13	c cleaning 8953 clauses out of 17921 with flag 255347/45000
3.02/2.67	c cleaning 9982 clauses out of 19970 with flag 319897/56002
3.73/3.33	c cleaning 10983 clauses out of 21987 with flag 388113/68001
4.42/4.06	c cleaning 11996 clauses out of 24004 with flag 472970/81001
5.32/4.99	c cleaning 12988 clauses out of 26007 with flag 562096/95000
6.32/5.96	c cleaning 14002 clauses out of 28020 with flag 659531/110001
7.41/7.07	c cleaning 15001 clauses out of 30018 with flag 759014/126001
8.71/8.31	c cleaning 15998 clauses out of 32017 with flag 865509/143001
10.11/9.72	c cleaning 17000 clauses out of 34018 with flag 981829/161000
11.62/11.25	c cleaning 18003 clauses out of 36018 with flag 1106007/180000
13.32/12.94	c cleaning 18999 clauses out of 38015 with flag 1233186/200000
15.22/14.82	c cleaning 19996 clauses out of 40017 with flag 1368598/221001
17.22/16.82	c cleaning 21002 clauses out of 42020 with flag 1522742/243000
19.32/18.94	c cleaning 22003 clauses out of 44018 with flag 1674775/266000
21.62/21.25	c cleaning 22993 clauses out of 46015 with flag 1837251/290000
24.32/23.93	c cleaning 24008 clauses out of 48024 with flag 1999449/315002
27.02/26.62	c cleaning 24999 clauses out of 50014 with flag 2177437/341000
29.72/29.39	c cleaning 26000 clauses out of 52015 with flag 2363499/368000
33.02/32.62	c cleaning 26999 clauses out of 54016 with flag 2556618/396001
36.42/36.06	c cleaning 28005 clauses out of 56017 with flag 2741554/425001
39.92/39.60	c cleaning 28997 clauses out of 58011 with flag 2936952/455000
43.72/43.32	c cleaning 29990 clauses out of 60014 with flag 3141678/486000
47.91/47.52	c cleaning 31005 clauses out of 62024 with flag 3348144/518000
52.12/51.73	c cleaning 32001 clauses out of 64019 with flag 3560150/551000
56.72/56.34	c cleaning 33004 clauses out of 66019 with flag 3782587/585001
61.62/61.23	c cleaning 33993 clauses out of 68014 with flag 4017571/620000
66.72/66.35	c cleaning 35005 clauses out of 70021 with flag 4252004/656000
72.12/71.78	c cleaning 36000 clauses out of 72016 with flag 4490596/693000
77.53/77.10	c cleaning 37000 clauses out of 74016 with flag 4741427/731000
83.12/82.78	c cleaning 37993 clauses out of 76016 with flag 4995848/770000
89.21/88.86	c cleaning 39003 clauses out of 78023 with flag 5258174/810000
95.91/95.52	c cleaning 40000 clauses out of 80020 with flag 5527961/851000
102.82/102.46	c cleaning 40995 clauses out of 82022 with flag 5797996/893002
110.01/109.69	c cleaning 42007 clauses out of 84027 with flag 6070473/936002
117.13/116.77	c cleaning 43002 clauses out of 86019 with flag 6358569/980001
124.94/124.55	c cleaning 43994 clauses out of 88016 with flag 6643497/1025000
132.75/132.31	c cleaning 45004 clauses out of 90023 with flag 6933439/1071001
141.15/140.80	c cleaning 45997 clauses out of 92018 with flag 7239428/1118000
149.65/149.29	c cleaning 47011 clauses out of 94021 with flag 7548843/1166000
158.74/158.39	c cleaning 47997 clauses out of 96011 with flag 7845459/1215001
168.54/168.11	c cleaning 49000 clauses out of 98013 with flag 8153378/1265000
178.53/178.13	c cleaning 50001 clauses out of 100015 with flag 8461697/1316002
189.03/188.60	c cleaning 51000 clauses out of 102012 with flag 8781418/1368000
199.73/199.33	c cleaning 52000 clauses out of 104014 with flag 9100846/1421002
210.34/209.90	c cleaning 53000 clauses out of 106013 with flag 9428913/1475001
222.03/221.64	c cleaning 53989 clauses out of 108013 with flag 9763611/1530001
234.43/234.08	c cleaning 55003 clauses out of 110025 with flag 10102560/1586002
246.62/246.20	c cleaning 55999 clauses out of 112021 with flag 10449933/1643001
259.32/258.94	c cleaning 57003 clauses out of 114021 with flag 10794107/1701000
272.42/272.01	c cleaning 57999 clauses out of 116019 with flag 11151461/1760001
286.43/286.01	c cleaning 58996 clauses out of 118019 with flag 11508708/1820000
300.73/300.39	c cleaning 59997 clauses out of 120023 with flag 11876307/1881000
315.42/315.08	c cleaning 61008 clauses out of 122027 with flag 12242631/1943001
331.41/331.06	c cleaning 62001 clauses out of 124018 with flag 12605526/2006000
346.77/346.33	c cleaning 63000 clauses out of 126018 with flag 12974654/2070001
362.17/361.73	c cleaning 63993 clauses out of 128018 with flag 13349066/2135001
378.77/378.39	c cleaning 65006 clauses out of 130025 with flag 13721503/2201001
395.48/395.03	c cleaning 66002 clauses out of 132019 with flag 14111269/2268001
413.19/412.70	c cleaning 67001 clauses out of 134016 with flag 14492906/2336000
431.50/431.05	c cleaning 68001 clauses out of 136016 with flag 14891046/2405001
449.80/449.36	c cleaning 68994 clauses out of 138015 with flag 15310147/2475001
468.50/468.04	c cleaning 69997 clauses out of 140020 with flag 15706166/2546000
487.30/486.83	c cleaning 71003 clauses out of 142024 with flag 16127851/2618001
508.21/507.73	c cleaning 72008 clauses out of 144020 with flag 16531801/2691000
529.72/529.21	c cleaning 72998 clauses out of 146014 with flag 16939391/2765002
550.91/550.44	c cleaning 73995 clauses out of 148016 with flag 17360890/2840002
571.53/571.08	c cleaning 75004 clauses out of 150019 with flag 17798648/2916000
593.43/593.00	c cleaning 75998 clauses out of 152015 with flag 18237004/2993000
617.73/617.23	c cleaning 76993 clauses out of 154017 with flag 18669667/3071000
641.05/640.53	c cleaning 78002 clauses out of 156024 with flag 19119957/3150000
664.55/664.08	c cleaning 79010 clauses out of 158024 with flag 19571353/3230002
688.66/688.15	c cleaning 80004 clauses out of 160013 with flag 20019967/3311001
716.26/715.72	c cleaning 80996 clauses out of 162008 with flag 20460816/3393000
741.66/741.12	c cleaning 81998 clauses out of 164013 with flag 20933388/3476001
768.48/767.95	c cleaning 82994 clauses out of 166014 with flag 21411559/3560000
795.89/795.31	c cleaning 84002 clauses out of 168020 with flag 21889940/3645000
822.98/822.49	c cleaning 85001 clauses out of 170018 with flag 22374658/3731000
852.49/851.96	c cleaning 86006 clauses out of 172017 with flag 22855161/3818000
883.30/882.79	c cleaning 86992 clauses out of 174011 with flag 23335050/3906000
914.91/914.36	c cleaning 88003 clauses out of 176020 with flag 23809650/3995001
945.71/945.15	c cleaning 88983 clauses out of 178016 with flag 24310998/4085000
977.75/977.18	c cleaning 90004 clauses out of 180035 with flag 24801886/4176002
1008.96/1008.31	c cleaning 91009 clauses out of 182030 with flag 25325273/4268001
1042.17/1041.50	c cleaning 91999 clauses out of 184020 with flag 25833819/4361000
1077.37/1076.75	c cleaning 93003 clauses out of 186023 with flag 26349135/4455002
1112.08/1111.42	c cleaning 94005 clauses out of 188018 with flag 26866676/4550000
1145.68/1145.01	c cleaning 94996 clauses out of 190013 with flag 27388032/4646000
1181.59/1180.93	c cleaning 96001 clauses out of 192017 with flag 27917446/4743000
1218.70/1218.00	c cleaning 97005 clauses out of 194016 with flag 28454488/4841000
1259.01/1258.39	c cleaning 97995 clauses out of 196012 with flag 28981872/4940001
1298.01/1297.34	c cleaning 98998 clauses out of 198016 with flag 29514164/5040000
1337.80/1337.02	c cleaning 100003 clauses out of 200019 with flag 30061087/5141001
1378.01/1377.22	c cleaning 100996 clauses out of 202015 with flag 30602848/5243000
1418.32/1417.52	c cleaning 102000 clauses out of 204019 with flag 31158957/5346000
1460.21/1459.40	c cleaning 103003 clauses out of 206021 with flag 31722078/5450002
1502.82/1502.05	c cleaning 104000 clauses out of 208016 with flag 32292675/5555000
1546.53/1545.71	c cleaning 104996 clauses out of 210016 with flag 32874133/5661000
1590.64/1589.88	c cleaning 106000 clauses out of 212020 with flag 33471539/5768000
1635.36/1634.53	c cleaning 106997 clauses out of 214021 with flag 34061522/5876001
1684.06/1683.23	c cleaning 108004 clauses out of 216024 with flag 34658768/5985001
1733.58/1732.73	c cleaning 109005 clauses out of 218019 with flag 35257768/6095000
1782.61/1781.62	c cleaning 109995 clauses out of 220014 with flag 35863700/6206000
1800.01/1799.00	c starts		: 14751
1800.01/1799.00	c conflicts		: 6258878
1800.01/1799.00	c decisions		: 8850228
1800.01/1799.00	c propagations		: 107410245
1800.01/1799.00	c inspects		: 42256027503
1800.01/1799.00	c shortcuts		: 0
1800.01/1799.00	c learnt literals	: 0
1800.01/1799.00	c learnt binary clauses	: 0
1800.01/1799.00	c learnt ternary clauses	: 0
1800.01/1799.00	c learnt constraints	: 6258878
1800.01/1799.00	c ignored constraints	: 0
1800.01/1799.00	c root simplifications	: 0
1800.01/1799.00	c removed literals (reason simplification)	: 0
1800.01/1799.00	c reason swapping (by a shorter reason)	: 0
1800.01/1799.00	c Calls to reduceDB	: 107
1800.01/1799.00	c Number of update (reduction) of LBD	: 1957021
1800.01/1799.00	c Imported unit clauses	: 0
1800.01/1799.00	c number of reductions to clauses (during analyze)	: 0
1800.01/1799.00	c number of learned constraints concerned by reduction	: 0
1800.01/1799.00	c number of learning phase by resolution	: 0
1800.01/1799.00	c number of learning phase by cutting planes	: 0
1800.01/1799.00	c speed (assignments/second)	: 59710.17978052767
1800.01/1799.00	c non guided choices	1976
1800.01/1799.00	c timeout
1800.01/1799.03	c learnt constraints type 
1800.01/1799.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 162898
1800.01/1799.03	s UNKNOWN
1800.01/1799.03	c Total wall clock time (in seconds): 1798.911

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-4096096-1466102257/watcher-4096096-1466102257 -o /tmp/evaluation-result-4096096-1466102257/solver-4096096-1466102257 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466098180-14176 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4096096-1466102257.opb 

pid=14673
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.15 2.11 2.03 3/194 14676
/proc/meminfo: memFree=31517272/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14676/stat : 14676 (java) D 14673 14676 14160 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 12275774 9515008 176 33554432000 1073741824 1073778376 140733661513104 140733661495832 251143209872 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/14676/statm: 2323 176 133 9 0 71 0

[startup+0.100115 s]
/proc/loadavg: 2.15 2.11 2.03 3/194 14676
/proc/meminfo: memFree=31517272/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 4365 0 1 0 8 0 0 0 20 0 18 0 12275774 9787879424 5486 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2389619 5486 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200278 s]
/proc/loadavg: 2.15 2.11 2.03 3/194 14676
/proc/meminfo: memFree=31517272/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 5928 0 1 0 25 1 0 0 20 0 19 0 12275774 9856040960 6954 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 6954 2218 9 0 2396937 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040

[startup+0.300283 s]
/proc/loadavg: 2.15 2.11 2.03 3/194 14676
/proc/meminfo: memFree=31517272/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 7850 0 1 0 49 1 0 0 20 0 19 0 12275774 9856040960 8102 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 8102 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700226 s]
/proc/loadavg: 2.15 2.11 2.03 3/194 14676
/proc/meminfo: memFree=31517272/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=1.11 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 9694 0 1 0 109 2 0 0 20 0 19 0 12275774 9856040960 9169 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 9169 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.15 2.11 2.03 3/213 14695
/proc/meminfo: memFree=31487060/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=1.92 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 9697 0 1 0 190 2 0 0 20 0 19 0 12275774 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 9682 2241 9 0 2396937 0
[pid=14676/tid=14678] ppid=14673 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 14160 0 -1 4202560 2403 0 1 0 145 0 0 0 20 0 19 0 12275775 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387626610952 140387465883476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14679] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387588102696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14680] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387587049896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14681] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387585997096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14682] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387584944296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14683] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387583892520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14684] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387465292712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14685] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387464239912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14686] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 9682 33554432000 1073741824 1073778376 140736065916320 140387463187112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14687] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12275777 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140387450776040 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14688] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140387449722104 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14689] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140386844533768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14690] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140386843482256 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14691] ppid=14673 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 14160 0 -1 4202560 1939 0 0 0 15 0 0 0 20 0 19 0 12275780 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140386842430392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14692] ppid=14673 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14676/task/14692/stat : 14692 (java) S 14673 14676 14160 0 -1 4202560 4085 0 0 0 27 0 0 0 20 0 19 0 12275780 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140386841377592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14693] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14693/stat : 14693 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140386840324984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14694] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140386839272392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14695] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14695/stat : 14695 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275789 9856040960 10194 33554432000 1073741824 1073778376 140736065916320 140386838217896 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.14 2.11 2.03 3/213 14695
/proc/meminfo: memFree=31484516/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 9699 0 1 0 350 2 0 0 20 0 19 0 12275774 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 10706 2241 9 0 2396937 0
[pid=14676/tid=14678] ppid=14673 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 14160 0 -1 4202560 2405 0 1 0 304 0 0 0 20 0 19 0 12275775 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387626602176 140387465778953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14679] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387588102696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14680] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387587049896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14681] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387585997096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14682] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387584944296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14683] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387583892520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14684] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387465292712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14685] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387464239912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14686] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387463187112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14687] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12275777 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387450776040 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14688] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140387449722104 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14689] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140386844533768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14690] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140386843482256 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14691] ppid=14673 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 14160 0 -1 4202560 1939 0 0 0 15 0 0 0 20 0 19 0 12275780 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140386842430392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14692] ppid=14673 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14676/task/14692/stat : 14692 (java) S 14673 14676 14160 0 -1 4202560 4085 0 0 0 27 0 0 0 20 0 19 0 12275780 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140386841377592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14693] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14693/stat : 14693 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140386840324984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14694] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140386839272392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14695] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14695/stat : 14695 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275789 9856040960 10706 33554432000 1073741824 1073778376 140736065916320 140386838217896 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625040

[startup+6.30068 s]
/proc/loadavg: 2.14 2.11 2.03 3/213 14695
/proc/meminfo: memFree=31475964/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=6.71 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 9705 0 1 0 669 2 0 0 20 0 19 0 12275774 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 12755 2242 9 0 2396937 0
[pid=14676/tid=14678] ppid=14673 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 14160 0 -1 4202560 2410 0 1 0 623 0 0 0 20 0 19 0 12275775 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387626602176 140387465779258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14679] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387588102696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14680] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387587049896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14681] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387585997096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14682] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387584944296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14683] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387583892520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14684] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387465292712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14685] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387464239912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14686] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387463187112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14687] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12275777 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387450776040 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14688] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140387449722104 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14689] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140386844533768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14690] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140386843482256 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14691] ppid=14673 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 14160 0 -1 4202560 1939 0 0 0 15 0 0 0 20 0 19 0 12275780 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140386842430392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14692] ppid=14673 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14676/task/14692/stat : 14692 (java) S 14673 14676 14160 0 -1 4202560 4085 0 0 0 27 0 0 0 20 0 19 0 12275780 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140386841377592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14693] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14693/stat : 14693 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140386840324984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14694] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140386839272392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14695] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14695/stat : 14695 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275789 9856040960 12755 33554432000 1073741824 1073778376 140736065916320 140386838217896 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 9625040


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

[pid=14676/tid=14695] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14695/stat : 14695 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275789 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386838217896 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.16
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/213 14826
/proc/meminfo: memFree=31319464/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=1723.18 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 9980 0 1 0 172278 40 0 0 20 0 19 0 12275774 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 53261 2257 9 0 2396937 0
[pid=14676/tid=14678] ppid=14673 vsize=9625040 CPUtime=1717.73 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 14160 0 -1 4202560 2471 0 1 0 171743 30 0 0 20 0 19 0 12275775 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387626602176 140387465778867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14679] ppid=14673 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 14160 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387588102696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14680] ppid=14673 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 14160 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387587049896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14681] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 14160 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387585997096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14682] ppid=14673 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 14160 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387584944296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14683] ppid=14673 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 14160 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387583892520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14684] ppid=14673 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 14160 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387465292712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14685] ppid=14673 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387464239912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14686] ppid=14673 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 14160 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 12275776 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387463187112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14687] ppid=14673 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 14160 0 -1 4202560 21 0 0 0 0 2 0 0 20 0 19 0 12275777 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387450776040 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14688] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140387449722104 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14689] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386844533768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14690] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386843482256 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14691] ppid=14673 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 14160 0 -1 4202560 1939 0 0 0 15 0 0 0 20 0 19 0 12275780 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386842430392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14692] ppid=14673 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/14676/task/14692/stat : 14692 (java) S 14673 14676 14160 0 -1 4202560 4089 0 0 0 30 0 0 0 20 0 19 0 12275780 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386841377592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14693] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14693/stat : 14693 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386840324984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14694] ppid=14673 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 14160 0 -1 4202560 100 0 0 0 23 28 0 0 20 0 19 0 12275780 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386839272392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14695] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14695/stat : 14695 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275789 9856040960 53261 33554432000 1073741824 1073778376 140736065916320 140386838217896 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1723.18
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/213 14827
/proc/meminfo: memFree=31304380/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=1783.31 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 10196 0 1 0 178288 43 0 0 20 0 19 0 12275774 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 57025 2257 9 0 2396937 0
[pid=14676/tid=14678] ppid=14673 vsize=9625040 CPUtime=1777.54 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 14160 0 -1 4202560 2472 0 1 0 177723 31 0 0 20 0 19 0 12275775 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387626602176 140387465778867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14679] ppid=14673 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 14160 0 -1 4202560 46 0 0 0 3 1 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387588102696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14680] ppid=14673 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 14160 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387587049896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14681] ppid=14673 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 14160 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387585997096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14682] ppid=14673 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 14160 0 -1 4202560 76 0 0 0 3 2 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387584944296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14683] ppid=14673 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 14160 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387583892520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14684] ppid=14673 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 14160 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387465292712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14685] ppid=14673 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 14160 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387464239912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14686] ppid=14673 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 14160 0 -1 4202560 56 0 0 0 6 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387463187112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14687] ppid=14673 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 14160 0 -1 4202560 27 0 0 0 0 2 0 0 20 0 19 0 12275777 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387450776040 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14688] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387449722104 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14689] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386844533768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14690] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386843482256 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14691] ppid=14673 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 14160 0 -1 4202560 1939 0 0 0 15 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386842430392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14692] ppid=14673 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/14676/task/14692/stat : 14692 (java) S 14673 14676 14160 0 -1 4202560 4090 0 0 0 30 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386841377592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14693] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14693/stat : 14693 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386840324984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14694] ppid=14673 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 14160 0 -1 4202560 104 0 0 0 24 30 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386839272392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14695] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14695/stat : 14695 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275789 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386838217896 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1783.31
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799 s]
/proc/loadavg: 2.01 2.06 2.08 3/213 14827
/proc/meminfo: memFree=31304616/32872528 swapFree=240572/273276
[pid=14676] ppid=14673 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 14160 0 -1 4202496 10196 0 1 0 179958 43 0 0 20 0 19 0 12275774 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140736065907456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14676/statm: 2406260 57025 2257 9 0 2396937 0
[pid=14676/tid=14678] ppid=14673 vsize=9625040 CPUtime=1794.2 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 14160 0 -1 4202560 2472 0 1 0 179389 31 0 0 20 0 19 0 12275775 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387626602176 140387465778453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14676/tid=14679] ppid=14673 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 14160 0 -1 4202560 46 0 0 0 3 1 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387588102696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14680] ppid=14673 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 14160 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387587049896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14681] ppid=14673 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 14160 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387585997096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14682] ppid=14673 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 14160 0 -1 4202560 76 0 0 0 3 2 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387584944296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14683] ppid=14673 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 14160 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387583892520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14684] ppid=14673 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 14160 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387465292712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14685] ppid=14673 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 14160 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387464239912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14686] ppid=14673 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 14160 0 -1 4202560 56 0 0 0 6 0 0 0 20 0 19 0 12275776 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387463187112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14687] ppid=14673 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 14160 0 -1 4202560 27 0 0 0 0 2 0 0 20 0 19 0 12275777 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387450776040 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14688] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140387449722104 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14689] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12275778 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386844533768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14690] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386843482256 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14691] ppid=14673 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 14160 0 -1 4202560 1939 0 0 0 15 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386842430392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14692] ppid=14673 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/14676/task/14692/stat : 14692 (java) S 14673 14676 14160 0 -1 4202560 4090 0 0 0 30 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386841377592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14676/tid=14693] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14693/stat : 14693 (java) S 14673 14676 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386840324984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14676/tid=14694] ppid=14673 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 14160 0 -1 4202560 104 0 0 0 24 30 0 0 20 0 19 0 12275780 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386839272392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14676/tid=14695] ppid=14673 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14695/stat : 14695 (java) S 14673 14676 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12275789 9856040960 57025 33554432000 1073741824 1073778376 140736065916320 140386838217896 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14676 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 14676 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=8117
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=811876
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1799.04
CPU time (s): 1800.01
CPU user time (s): 1799.58
CPU system time (s): 0.43
CPU usage (%): 100.054
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 0.811876
maximum resident set size= 228256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10241
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38171
involuntary context switches= 7472

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6952 second user time and 12.0902 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 20:37:38
IDJOB=4096096
IDBENCH=107565
IDSOLVER=2546
FILE ID=node107/4096096-1466102257
RUNJOBID= node107-1466098180-14176
PBS_JOBID= 19904056
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-40.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096096-1466102257/watcher-4096096-1466102257 -o /tmp/evaluation-result-4096096-1466102257/solver-4096096-1466102257 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466098180-14176 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4096096-1466102257.opb

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

MD5SUM BENCH= 1e15440c5c5c87ea1b9db448ab7b0aa0
RANDOM SEED=1579873435

node107.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.953
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.90
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.953
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.953
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.953
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.953
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.953
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.953
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.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31517916 kB
Buffers:           56504 kB
Cached:           126072 kB
SwapCached:         2504 kB
Active:           266444 kB
Inactive:          98528 kB
Active(anon):     182860 kB
Inactive(anon):     2156 kB
Active(file):      83584 kB
Inactive(file):    96372 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099248 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:        470848 kB
Mapped:            15224 kB
Shmem:                 0 kB
Slab:             568632 kB
SReclaimable:      12200 kB
SUnreclaim:       556432 kB
KernelStack:        1568 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     960808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 71680 MiB
End job on node107 at 2016-06-16 21:07:37