Trace number 4101733

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.01 1774.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb
MD5SUM8006e55bdcce383dfc4a8ab750094e2c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark2.51462
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8268
Total number of constraints1451
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)21
Number of constraints which are nor clauses,nor cardinality constraints1430
Minimum length of a constraint3
Maximum length of a constraint8249
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529994
Number of bits of the biggest sum of numbers20
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@2b21cc40
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@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4101733-1466225814.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.99/0.54	c ... done. Wall clock time 0.435s.
0.99/0.54	c declared #vars     8268
0.99/0.54	c #constraints  1471
0.99/0.54	c constraints type 
0.99/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21
0.99/0.54	c org.sat4j.specs.Constr$1 => 10
0.99/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 21
0.99/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1419
0.99/0.54	c 1471 constraints processed.
0.99/0.54	c objective function length is 31 literals
3.61/2.61	c cleaning 2501 clauses out of 5001 with flag 12241/5001
6.53/5.07	c cleaning 4241 clauses out of 8499 with flag 27001/11000
9.19/7.63	c cleaning 5627 clauses out of 11259 with flag 45651/18001
12.12/10.57	c cleaning 6798 clauses out of 13631 with flag 68033/26000
15.58/13.99	c cleaning 7911 clauses out of 15834 with flag 92157/35001
19.28/17.69	c cleaning 8959 clauses out of 17923 with flag 118998/45001
23.37/21.60	c cleaning 9979 clauses out of 19963 with flag 151387/56000
27.84/26.05	c cleaning 10989 clauses out of 21985 with flag 184742/68001
32.88/31.09	c cleaning 11995 clauses out of 23995 with flag 219047/81000
37.88/36.07	c cleaning 12999 clauses out of 26000 with flag 262861/95000
42.60/40.73	c cleaning 13998 clauses out of 28001 with flag 311178/110000
48.92/47.00	c cleaning 14997 clauses out of 30003 with flag 356276/126000
55.13/53.30	c cleaning 15992 clauses out of 32006 with flag 409270/143000
61.67/59.80	c cleaning 17000 clauses out of 34014 with flag 468002/161000
68.88/66.81	c cleaning 17997 clauses out of 36014 with flag 525289/180000
76.01/73.95	c cleaning 19008 clauses out of 38017 with flag 589992/200000
83.24/81.10	c cleaning 19998 clauses out of 40010 with flag 654173/221001
91.11/88.91	c cleaning 21001 clauses out of 42013 with flag 723318/243002
99.57/97.34	c cleaning 21999 clauses out of 44012 with flag 803352/266002
108.58/106.26	c cleaning 22998 clauses out of 46011 with flag 885409/290000
118.27/115.86	c cleaning 24004 clauses out of 48015 with flag 966261/315002
127.89/125.43	c cleaning 25003 clauses out of 50009 with flag 1043725/341000
138.26/135.78	c cleaning 25992 clauses out of 52006 with flag 1128862/368000
147.84/145.24	c cleaning 27002 clauses out of 54014 with flag 1219951/396000
157.65/155.08	c cleaning 28003 clauses out of 56013 with flag 1315668/425001
169.62/166.91	c cleaning 29002 clauses out of 58010 with flag 1418127/455001
182.09/179.33	c cleaning 30003 clauses out of 60007 with flag 1521183/486000
194.47/191.62	c cleaning 30997 clauses out of 62004 with flag 1633173/518000
207.19/204.28	c cleaning 32001 clauses out of 64011 with flag 1738664/551004
221.47/218.27	c cleaning 33001 clauses out of 66006 with flag 1850561/585000
236.76/233.35	c cleaning 34000 clauses out of 68005 with flag 1967770/620000
251.66/248.11	c cleaning 34994 clauses out of 70006 with flag 2091245/656001
265.64/261.97	c cleaning 36003 clauses out of 72011 with flag 2219576/693000
280.70/276.85	c cleaning 36998 clauses out of 74009 with flag 2355148/731001
296.42/292.39	c cleaning 38004 clauses out of 76011 with flag 2469014/770001
315.53/311.24	c cleaning 38994 clauses out of 78006 with flag 2592800/810000
333.36/328.50	c cleaning 40007 clauses out of 80013 with flag 2722896/851001
351.75/346.36	c cleaning 40996 clauses out of 82006 with flag 2860816/893001
371.27/365.29	c cleaning 42000 clauses out of 84009 with flag 3007003/936000
390.00/383.51	c cleaning 43000 clauses out of 86009 with flag 3154801/980000
408.67/401.99	c cleaning 44000 clauses out of 88012 with flag 3299279/1025003
428.82/421.88	c cleaning 45001 clauses out of 90009 with flag 3445265/1071000
450.03/442.83	c cleaning 46002 clauses out of 92010 with flag 3615144/1118002
472.10/464.52	c cleaning 46996 clauses out of 94007 with flag 3797049/1166001
496.27/488.32	c cleaning 48002 clauses out of 96011 with flag 3992836/1215001
518.13/509.87	c cleaning 48998 clauses out of 98011 with flag 4170091/1265003
539.55/531.03	c cleaning 49995 clauses out of 100010 with flag 4343327/1316000
563.18/554.33	c cleaning 51005 clauses out of 102018 with flag 4519117/1368003
588.45/579.30	c cleaning 52005 clauses out of 104010 with flag 4720335/1421000
613.63/604.19	c cleaning 52998 clauses out of 106005 with flag 4933652/1475000
639.41/629.42	c cleaning 53998 clauses out of 108007 with flag 5140962/1530000
665.12/654.78	c cleaning 54997 clauses out of 110009 with flag 5348280/1586000
691.86/681.17	c cleaning 56005 clauses out of 112013 with flag 5567294/1643001
720.34/709.25	c cleaning 56991 clauses out of 114007 with flag 5805069/1701000
747.25/735.99	c cleaning 58008 clauses out of 116017 with flag 6008705/1760001
776.57/764.85	c cleaning 58995 clauses out of 118012 with flag 6249893/1820004
808.24/796.14	c cleaning 60001 clauses out of 120014 with flag 6502985/1881001
841.73/829.14	c cleaning 60997 clauses out of 122012 with flag 6771119/1943000
875.01/862.18	c cleaning 61997 clauses out of 124016 with flag 7039472/2006001
911.81/898.49	c cleaning 62997 clauses out of 126018 with flag 7256619/2070000
944.21/930.41	c cleaning 64006 clauses out of 128021 with flag 7483037/2135000
977.58/963.32	c cleaning 65000 clauses out of 130019 with flag 7705245/2201004
1008.51/993.80	c cleaning 65998 clauses out of 132016 with flag 7924733/2268001
1038.40/1023.51	c cleaning 66998 clauses out of 134017 with flag 8171179/2336000
1069.90/1054.59	c cleaning 68001 clauses out of 136019 with flag 8417196/2405000
1104.72/1088.91	c cleaning 69005 clauses out of 138019 with flag 8674094/2475001
1138.23/1121.94	c cleaning 69990 clauses out of 140013 with flag 8926037/2546000
1172.13/1155.43	c cleaning 71002 clauses out of 142026 with flag 9193053/2618003
1208.37/1191.26	c cleaning 72010 clauses out of 144024 with flag 9433724/2691003
1244.17/1226.66	c cleaning 72999 clauses out of 146012 with flag 9690667/2765001
1278.26/1260.24	c cleaning 74005 clauses out of 148013 with flag 9982430/2840001
1311.09/1292.50	c cleaning 75001 clauses out of 150012 with flag 10260683/2916005
1345.08/1325.95	c cleaning 75995 clauses out of 152009 with flag 10542952/2993003
1384.53/1364.85	c cleaning 76996 clauses out of 154012 with flag 10842211/3071001
1424.23/1403.84	c cleaning 78001 clauses out of 156015 with flag 11158411/3150000
1465.66/1444.78	c cleaning 79002 clauses out of 158014 with flag 11488620/3230000
1509.51/1488.00	c cleaning 80002 clauses out of 160013 with flag 11793121/3311001
1554.74/1532.77	c cleaning 80994 clauses out of 162010 with flag 12115968/3393000
1595.19/1572.67	c cleaning 81999 clauses out of 164017 with flag 12414975/3476001
1637.91/1614.86	c cleaning 82997 clauses out of 166017 with flag 12719482/3560000
1682.11/1658.46	c cleaning 84005 clauses out of 168020 with flag 13044821/3645000
1732.56/1708.23	c cleaning 85004 clauses out of 170015 with flag 13367460/3731000
1777.39/1752.53	c cleaning 85998 clauses out of 172011 with flag 13698146/3818000
1800.01/1774.80	c starts		: 346
1800.01/1774.80	c conflicts		: 3864307
1800.01/1774.80	c decisions		: 5393119
1800.01/1774.80	c propagations		: 562826828
1800.01/1774.80	c inspects		: 14956449414
1800.01/1774.80	c shortcuts		: 0
1800.01/1774.80	c learnt literals	: 0
1800.01/1774.80	c learnt binary clauses	: 1
1800.01/1774.80	c learnt ternary clauses	: 10
1800.01/1774.80	c learnt constraints	: 3864307
1800.01/1774.80	c ignored constraints	: 0
1800.01/1774.80	c root simplifications	: 0
1800.01/1774.80	c removed literals (reason simplification)	: 0
1800.01/1774.80	c reason swapping (by a shorter reason)	: 0
1800.01/1774.80	c Calls to reduceDB	: 83
1800.01/1774.80	c Number of update (reduction) of LBD	: 1028207
1800.01/1774.80	c Imported unit clauses	: 0
1800.01/1774.80	c number of reductions to clauses (during analyze)	: 0
1800.01/1774.80	c number of learned constraints concerned by reduction	: 0
1800.01/1774.80	c number of learning phase by resolution	: 0
1800.01/1774.80	c number of learning phase by cutting planes	: 0
1800.01/1774.80	c speed (assignments/second)	: 317218.5062358532
1800.01/1774.80	c timeout
1800.01/1774.80	c non guided choices	0
1800.01/1774.83	c learnt constraints type 
1800.01/1774.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.01/1774.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 132320
1800.01/1774.83	s UNKNOWN
1800.01/1774.83	c Total wall clock time (in seconds): 1774.726

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-4101733-1466225814/watcher-4101733-1466225814 -o /tmp/evaluation-result-4101733-1466225814/solver-4101733-1466225814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22953 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101733-1466225814.opb 

pid=28113
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.21 2.28 2.26 3/194 28116
/proc/meminfo: memFree=30138960/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 24626642 98570240 977 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 24065 977 743 9 0 16771 0
[pid=28116/tid=28117] ppid=28113 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 24626642 98570240 977 33554432000 1073741824 1073778376 140733805921072 140145885720104 213419640192 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.21 2.28 2.26 3/194 28116
/proc/meminfo: memFree=30138960/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 4491 0 1 0 10 1 0 0 20 0 18 0 24626642 9787879424 6129 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2389619 6129 2157 9 0 2380296 0
[pid=28116/tid=28117] ppid=28113 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 2380 0 1 0 7 0 0 0 20 0 18 0 24626642 9787879424 6129 33554432000 1073741824 1073778376 140733805921072 140145885724752 213423023373 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.200339 s]
/proc/loadavg: 2.21 2.28 2.26 3/194 28116
/proc/meminfo: memFree=30138960/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 5032 0 1 0 30 1 0 0 20 0 18 0 24626642 9787879424 7401 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2389619 7401 2222 9 0 2380296 0
[pid=28116/tid=28117] ppid=28113 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 2397 0 1 0 17 0 0 0 20 0 18 0 24626642 9787879424 7401 33554432000 1073741824 1073778376 140733805921072 140145885724752 140145739623749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300274 s]
/proc/loadavg: 2.21 2.28 2.26 3/194 28116
/proc/meminfo: memFree=30138960/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 9842 0 1 0 55 3 0 0 20 0 18 0 24626642 9787879424 12153 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2389619 12153 2233 9 0 2380296 0
[pid=28116/tid=28117] ppid=28113 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 2406 0 1 0 26 1 0 0 20 0 18 0 24626642 9787879424 12153 33554432000 1073741824 1073778376 140733805921072 140145885715488 140145739673574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700211 s]
/proc/loadavg: 2.21 2.28 2.26 3/194 28116
/proc/meminfo: memFree=30138960/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 10336 0 1 0 139 4 0 0 20 0 19 0 24626642 9856040960 32609 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2406260 32609 2263 9 0 2396937 0
[pid=28116/tid=28117] ppid=28113 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 2460 0 1 0 64 3 0 0 20 0 19 0 24626642 9856040960 32609 33554432000 1073741824 1073778376 140733805921072 140145885724712 213423012920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.21 2.28 2.26 3/213 28135
/proc/meminfo: memFree=29994916/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9625040 CPUtime=2.43 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 10855 0 1 0 237 6 0 0 20 0 19 0 24626642 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2406260 43964 2280 9 0 2396937 0
[pid=28116/tid=28117] ppid=28113 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 2483 0 1 0 143 3 0 0 20 0 19 0 24626642 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145885723640 140145740010669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28119] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28119/stat : 28119 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145858177576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28120] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28120/stat : 28120 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145728203176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28121] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28121/stat : 28121 (java) S 28113 28116 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145727150376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28122] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28122/stat : 28122 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145726097576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28123] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28123/stat : 28123 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145725045800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28124] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28124/stat : 28124 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145723993000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28125] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28125/stat : 28125 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145386842920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28126] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28126/stat : 28126 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145385790120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28127] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28127/stat : 28127 (java) S 28113 28116 22937 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145373592040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28128] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28128/stat : 28128 (java) S 28113 28116 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145372538104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28129] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28129/stat : 28129 (java) S 28113 28116 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145371485192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28130] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28130/stat : 28130 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626646 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145370433680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28131] ppid=28113 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/28116/task/28131/stat : 28131 (java) S 28113 28116 22937 0 -1 4202560 4046 0 0 0 41 0 0 0 20 0 19 0 24626646 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145369381816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28132] ppid=28113 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/28116/task/28132/stat : 28132 (java) S 28113 28116 22937 0 -1 4202560 2947 0 0 0 46 1 0 0 20 0 19 0 24626646 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145368329016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28133] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28133/stat : 28133 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626647 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145367276408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28134] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28134/stat : 28134 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626647 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145366223816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28135] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28135/stat : 28135 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626697 9856040960 43964 33554432000 1073741824 1073778376 140733805921072 140145365169320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.21 2.28 2.26 4/213 28135
/proc/meminfo: memFree=29971892/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9625040 CPUtime=4.53 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 18602 0 1 0 446 7 0 0 20 0 19 0 24626642 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2406260 49171 2286 9 0 2396937 0
[pid=28116/tid=28117] ppid=28113 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 2484 0 1 0 302 3 0 0 20 0 19 0 24626642 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145885723000 140145739831132 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28119] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28119/stat : 28119 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145858177576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28120] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28120/stat : 28120 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145728203176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28121] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28121/stat : 28121 (java) S 28113 28116 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145727150376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28122] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28122/stat : 28122 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145726097576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28123] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28123/stat : 28123 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145725045800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28124] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28124/stat : 28124 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145723993000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28125] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28125/stat : 28125 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145386842920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28126] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28126/stat : 28126 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145385790120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28127] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28127/stat : 28127 (java) S 28113 28116 22937 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145373592040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28128] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28128/stat : 28128 (java) S 28113 28116 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145372538104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28129] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28129/stat : 28129 (java) S 28113 28116 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145371485192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28130] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28130/stat : 28130 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626646 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145370433680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28131] ppid=28113 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/28116/task/28131/stat : 28131 (java) S 28113 28116 22937 0 -1 4202560 4052 0 0 0 48 0 0 0 20 0 19 0 24626646 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145369381816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28132] ppid=28113 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/28116/task/28132/stat : 28132 (java) S 28113 28116 22937 0 -1 4202560 10687 0 0 0 87 2 0 0 20 0 19 0 24626646 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145368329016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28133] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28133/stat : 28133 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626647 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145367276408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28134] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28134/stat : 28134 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626647 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145366223816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28135] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28135/stat : 28135 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626697 9856040960 49171 33554432000 1073741824 1073778376 140733805921072 140145365169320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.27 2.29 2.27 3/213 28135
/proc/meminfo: memFree=29895436/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9625040 CPUtime=7.89 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 18682 0 1 0 779 10 0 0 20 0 19 0 24626642 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2406260 55214 2286 9 0 2396937 0
[pid=28116/tid=28117] ppid=28113 vsize=9625040 CPUtime=6.19 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 2489 0 1 0 616 3 0 0 20 0 19 0 24626642 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145885725000 140145739998253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28119] ppid=28113 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28116/task/28119/stat : 28119 (java) S 28113 28116 22937 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145858177576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28120] ppid=28113 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/28116/task/28120/stat : 28120 (java) S 28113 28116 22937 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145728203176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28121] ppid=28113 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/28116/task/28121/stat : 28121 (java) S 28113 28116 22937 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145727150376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28122] ppid=28113 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28116/task/28122/stat : 28122 (java) S 28113 28116 22937 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145726097576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28123] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28123/stat : 28123 (java) S 28113 28116 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145725045800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28124] ppid=28113 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28116/task/28124/stat : 28124 (java) S 28113 28116 22937 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145723993000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28125] ppid=28113 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/28116/task/28125/stat : 28125 (java) S 28113 28116 22937 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145386842920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28126] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28126/stat : 28126 (java) S 28113 28116 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24626643 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145385790120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28127] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28127/stat : 28127 (java) S 28113 28116 22937 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145373592040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28128] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28128/stat : 28128 (java) S 28113 28116 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145372538104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28129] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28129/stat : 28129 (java) S 28113 28116 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145371485192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28130] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28130/stat : 28130 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626646 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145370433680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28131] ppid=28113 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/28116/task/28131/stat : 28131 (java) S 28113 28116 22937 0 -1 4202560 4069 0 0 0 50 0 0 0 20 0 19 0 24626646 9856040960 55214 33554432000 1073741824 1073778376 140733805921072 140145369381816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28132] ppid=28113 vsize=9625040 CPUtime=0.93 cores=0,2,4,6

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

[pid=28116/tid=28135] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28135/stat : 28135 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626697 9856040960 69384 33554432000 1073741824 1073778376 140733805921072 140145365169320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1625.32
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.43 2.30 2.25 3/213 28200
/proc/meminfo: memFree=29462796/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9625040 CPUtime=1686.08 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 73607 0 1 0 168485 123 0 0 20 0 19 0 24626642 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2406260 66211 2295 9 0 2396937 0
[pid=28116/tid=28117] ppid=28113 vsize=9625040 CPUtime=1645.67 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 27032 0 1 0 164527 40 0 0 20 0 19 0 24626642 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145885723960 140145739978161 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28119] ppid=28113 vsize=9625040 CPUtime=3.98 cores=0,2,4,6
/proc/28116/task/28119/stat : 28119 (java) S 28113 28116 22937 0 -1 4202560 1850 0 0 0 389 9 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145858177576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28120] ppid=28113 vsize=9625040 CPUtime=4.07 cores=0,2,4,6
/proc/28116/task/28120/stat : 28120 (java) S 28113 28116 22937 0 -1 4202560 2374 0 0 0 398 9 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145728203176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28121] ppid=28113 vsize=9625040 CPUtime=4.05 cores=0,2,4,6
/proc/28116/task/28121/stat : 28121 (java) S 28113 28116 22937 0 -1 4202560 2177 0 0 0 396 9 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145727150376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28122] ppid=28113 vsize=9625040 CPUtime=4.09 cores=0,2,4,6
/proc/28116/task/28122/stat : 28122 (java) S 28113 28116 22937 0 -1 4202560 2640 0 0 0 399 10 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145726097576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28123] ppid=28113 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/28116/task/28123/stat : 28123 (java) S 28113 28116 22937 0 -1 4202560 2027 0 0 0 403 8 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145725045800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28124] ppid=28113 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/28116/task/28124/stat : 28124 (java) S 28113 28116 22937 0 -1 4202560 2706 0 0 0 405 10 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145723993000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28125] ppid=28113 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/28116/task/28125/stat : 28125 (java) S 28113 28116 22937 0 -1 4202560 1902 0 0 0 399 9 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145386842920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28126] ppid=28113 vsize=9625040 CPUtime=3.99 cores=0,2,4,6
/proc/28116/task/28126/stat : 28126 (java) S 28113 28116 22937 0 -1 4202560 1788 0 0 0 391 8 0 0 20 0 19 0 24626643 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145385790120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28127] ppid=28113 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/28116/task/28127/stat : 28127 (java) S 28113 28116 22937 0 -1 4202560 3417 0 0 0 63 15 0 0 20 0 19 0 24626644 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145373592040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28128] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28128/stat : 28128 (java) S 28113 28116 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145372538104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28129] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28129/stat : 28129 (java) S 28113 28116 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145371485192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28130] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28130/stat : 28130 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626646 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145370433680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28131] ppid=28113 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/28116/task/28131/stat : 28131 (java) S 28113 28116 22937 0 -1 4202560 13648 0 0 0 159 2 0 0 20 0 19 0 24626646 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145369381816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28132] ppid=28113 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/28116/task/28132/stat : 28132 (java) S 28113 28116 22937 0 -1 4202560 10692 0 0 0 93 2 0 0 20 0 19 0 24626646 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145368329016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28133] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28133/stat : 28133 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626647 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145367276408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28134] ppid=28113 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/28116/task/28134/stat : 28134 (java) S 28113 28116 22937 0 -1 4202560 95 0 0 0 26 25 0 0 20 0 19 0 24626647 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145366223816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28135] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28135/stat : 28135 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626697 9856040960 66211 33554432000 1073741824 1073778376 140733805921072 140145365169320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1686.08
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.20 2.26 2.24 4/213 28201
/proc/meminfo: memFree=29470376/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9625040 CPUtime=1746.87 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 75028 0 1 0 174559 128 0 0 20 0 19 0 24626642 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2406260 67462 2295 9 0 2396937 0
[pid=28116/tid=28117] ppid=28113 vsize=9625040 CPUtime=1705.06 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 27987 0 1 0 170466 40 0 0 20 0 19 0 24626642 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145885723872 140145739942922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28119] ppid=28113 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/28116/task/28119/stat : 28119 (java) S 28113 28116 22937 0 -1 4202560 1850 0 0 0 405 9 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145858177576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28120] ppid=28113 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/28116/task/28120/stat : 28120 (java) S 28113 28116 22937 0 -1 4202560 2374 0 0 0 415 9 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145728203176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28121] ppid=28113 vsize=9625040 CPUtime=4.2 cores=0,2,4,6
/proc/28116/task/28121/stat : 28121 (java) S 28113 28116 22937 0 -1 4202560 2245 0 0 0 411 9 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145727150376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28122] ppid=28113 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/28116/task/28122/stat : 28122 (java) S 28113 28116 22937 0 -1 4202560 2790 0 0 0 414 10 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145726097576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28123] ppid=28113 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/28116/task/28123/stat : 28123 (java) S 28113 28116 22937 0 -1 4202560 2027 0 0 0 420 8 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145725045800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28124] ppid=28113 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/28116/task/28124/stat : 28124 (java) S 28113 28116 22937 0 -1 4202560 2833 0 0 0 418 10 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145723993000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28125] ppid=28113 vsize=9625040 CPUtime=4.23 cores=0,2,4,6
/proc/28116/task/28125/stat : 28125 (java) S 28113 28116 22937 0 -1 4202560 1902 0 0 0 414 9 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145386842920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28126] ppid=28113 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/28116/task/28126/stat : 28126 (java) S 28113 28116 22937 0 -1 4202560 1892 0 0 0 407 8 0 0 20 0 19 0 24626643 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145385790120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28127] ppid=28113 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/28116/task/28127/stat : 28127 (java) S 28113 28116 22937 0 -1 4202560 3432 0 0 0 63 16 0 0 20 0 19 0 24626644 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145373592040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28128] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28128/stat : 28128 (java) S 28113 28116 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145372538104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28129] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28129/stat : 28129 (java) S 28113 28116 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145371485192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28130] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28130/stat : 28130 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626646 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145370433680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28131] ppid=28113 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/28116/task/28131/stat : 28131 (java) S 28113 28116 22937 0 -1 4202560 13648 0 0 0 159 2 0 0 20 0 19 0 24626646 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145369381816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28132] ppid=28113 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/28116/task/28132/stat : 28132 (java) S 28113 28116 22937 0 -1 4202560 10692 0 0 0 93 2 0 0 20 0 19 0 24626646 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145368329016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28133] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28133/stat : 28133 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626647 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145367276408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28134] ppid=28113 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/28116/task/28134/stat : 28134 (java) S 28113 28116 22937 0 -1 4202560 97 0 0 0 28 25 0 0 20 0 19 0 24626647 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145366223816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28135] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28135/stat : 28135 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626697 9856040960 67462 33554432000 1073741824 1073778376 140733805921072 140145365169320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1746.87
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.8 s]
/proc/loadavg: 2.23 2.26 2.24 3/212 28267
/proc/meminfo: memFree=27240720/32872528 swapFree=1400172/1569824
[pid=28116] ppid=28113 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/28116/stat : 28116 (java) S 28113 28116 22937 0 -1 4202496 77120 0 1 0 179870 131 0 0 20 0 19 0 24626642 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140733805912208 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28116/statm: 2406260 65461 2295 9 0 2396937 0
[pid=28116/tid=28117] ppid=28113 vsize=9625040 CPUtime=1756.91 cores=0,2,4,6
/proc/28116/task/28117/stat : 28117 (java) R 28113 28116 22937 0 -1 4202560 28734 0 1 0 175650 41 0 0 20 0 19 0 24626642 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145885723960 140145739977440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28119] ppid=28113 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/28116/task/28119/stat : 28119 (java) S 28113 28116 22937 0 -1 4202560 1883 0 0 0 415 10 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145858177576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28120] ppid=28113 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/28116/task/28120/stat : 28120 (java) S 28113 28116 22937 0 -1 4202560 2436 0 0 0 429 9 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145728203176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28121] ppid=28113 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/28116/task/28121/stat : 28121 (java) S 28113 28116 22937 0 -1 4202560 2275 0 0 0 424 10 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145727150376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28122] ppid=28113 vsize=9625040 CPUtime=4.35 cores=0,2,4,6
/proc/28116/task/28122/stat : 28122 (java) S 28113 28116 22937 0 -1 4202560 2843 0 0 0 425 10 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145726097576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28123] ppid=28113 vsize=9625040 CPUtime=4.41 cores=0,2,4,6
/proc/28116/task/28123/stat : 28123 (java) S 28113 28116 22937 0 -1 4202560 2083 0 0 0 432 9 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145725045800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28124] ppid=28113 vsize=9625040 CPUtime=4.41 cores=0,2,4,6
/proc/28116/task/28124/stat : 28124 (java) S 28113 28116 22937 0 -1 4202560 2869 0 0 0 431 10 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145723993000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28125] ppid=28113 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/28116/task/28125/stat : 28125 (java) S 28113 28116 22937 0 -1 4202560 1970 0 0 0 427 9 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145386842920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28126] ppid=28113 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/28116/task/28126/stat : 28126 (java) S 28113 28116 22937 0 -1 4202560 1956 0 0 0 419 8 0 0 20 0 19 0 24626643 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145385790120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28127] ppid=28113 vsize=9625040 CPUtime=0.91 cores=0,2,4,6
/proc/28116/task/28127/stat : 28127 (java) S 28113 28116 22937 0 -1 4202560 4371 0 0 0 74 17 0 0 20 0 19 0 24626644 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145373592040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28128] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28128/stat : 28128 (java) S 28113 28116 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145372538104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28129] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28129/stat : 28129 (java) S 28113 28116 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24626644 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145371485192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28130] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28130/stat : 28130 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626646 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145370433680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28116/tid=28131] ppid=28113 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/28116/task/28131/stat : 28131 (java) S 28113 28116 22937 0 -1 4202560 13648 0 0 0 159 2 0 0 20 0 19 0 24626646 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145369381816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28116/tid=28132] ppid=28113 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/28116/task/28132/stat : 28132 (java) S 28113 28116 22937 0 -1 4202560 10692 0 0 0 93 2 0 0 20 0 19 0 24626646 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145368329016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28133] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28133/stat : 28133 (java) S 28113 28116 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24626647 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145367276408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28116/tid=28134] ppid=28113 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/28116/task/28134/stat : 28134 (java) S 28113 28116 22937 0 -1 4202560 101 0 0 0 29 26 0 0 20 0 19 0 24626647 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145366223816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28116/tid=28135] ppid=28113 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28116/task/28135/stat : 28135 (java) S 28113 28116 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24626697 9856040960 65461 33554432000 1073741824 1073778376 140733805921072 140145365169320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28116 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 28116 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=227236
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=783728
# CPU time returned by wait4() is 1796.01
# 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): 1774.83
CPU time (s): 1800.01
CPU user time (s): 1798.7
CPU system time (s): 1.31
CPU usage (%): 101.418
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 1.78373
maximum resident set size= 445936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77153
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91413
involuntary context switches= 126462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2914 second user time and 13.264 second system time

The end

Launcher Data

Begin job on node140 at 2016-06-18 06:56:54
IDJOB=4101733
IDBENCH=1787
IDSOLVER=2546
FILE ID=node140/4101733-1466225814
RUNJOBID= node140-1466206052-22953
PBS_JOBID= 19918137
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101733-1466225814/watcher-4101733-1466225814 -o /tmp/evaluation-result-4101733-1466225814/solver-4101733-1466225814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22953 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101733-1466225814.opb

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

MD5SUM BENCH= 8006e55bdcce383dfc4a8ab750094e2c
RANDOM SEED=330079093

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30139868 kB
Buffers:          100584 kB
Cached:           141992 kB
SwapCached:         2476 kB
Active:           236980 kB
Inactive:         182568 kB
Active(anon):     177128 kB
Inactive(anon):     2472 kB
Active(file):      59852 kB
Inactive(file):   180096 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:              3108 kB
Writeback:             0 kB
AnonPages:       1840196 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             602752 kB
SReclaimable:      46556 kB
SUnreclaim:       556196 kB
KernelStack:        1760 kB
PageTables:         7940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2262244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    417792 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= 71732 MiB
End job on node140 at 2016-06-18 07:26:29