Trace number 4100405

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.61 1793.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb
MD5SUM6816c7581e307ff85cc3550c4b71269a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 533064
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533064
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4100405-1466213293.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.81/0.49	c ... done. Wall clock time 0.372s.
0.81/0.49	c declared #vars     16800
0.81/0.49	c #constraints  1185
0.81/0.49	c constraints type 
0.81/0.49	c org.sat4j.specs.Constr$1 => 1
0.81/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.81/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 9
0.81/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1174
0.81/0.49	c 1185 constraints processed.
0.81/0.49	c objective function length is 9600 literals
1.86/1.14	c cleaning 2497 clauses out of 5002 with flag 10426/5002
2.64/1.88	c cleaning 4248 clauses out of 8505 with flag 23005/11002
3.54/2.75	c cleaning 5621 clauses out of 11255 with flag 38020/18000
4.64/3.82	c cleaning 6810 clauses out of 13634 with flag 56528/26000
6.03/5.13	c cleaning 7902 clauses out of 15824 with flag 77461/35000
7.63/6.78	c cleaning 8951 clauses out of 17923 with flag 100527/45001
9.73/8.88	c cleaning 9977 clauses out of 19971 with flag 126477/56000
12.23/11.38	c cleaning 10989 clauses out of 21994 with flag 155734/68000
15.02/14.13	c cleaning 11993 clauses out of 24005 with flag 187431/81000
17.99/17.00	c cleaning 12994 clauses out of 26012 with flag 224532/95000
20.09/19.11	c cleaning 14007 clauses out of 28019 with flag 266352/110001
21.69/20.71	c cleaning 14992 clauses out of 30012 with flag 305049/126001
23.69/22.75	c cleaning 15996 clauses out of 32019 with flag 345954/143000
26.40/25.43	c cleaning 17004 clauses out of 34023 with flag 388817/161000
29.39/28.44	c cleaning 18004 clauses out of 36026 with flag 434563/180007
32.69/31.75	c cleaning 18998 clauses out of 38015 with flag 482159/200000
36.20/35.26	c cleaning 20001 clauses out of 40021 with flag 532774/221004
39.48/38.43	c cleaning 20997 clauses out of 42016 with flag 586275/243000
42.18/41.17	c cleaning 22004 clauses out of 44019 with flag 651200/266000
45.28/44.28	c cleaning 23000 clauses out of 46015 with flag 718614/290000
48.58/47.60	c cleaning 24004 clauses out of 48015 with flag 786851/315000
52.15/51.04	c cleaning 25001 clauses out of 50012 with flag 858247/341001
53.76/52.67	c cleaning 25988 clauses out of 52007 with flag 925138/368001
56.46/55.37	c cleaning 27003 clauses out of 54018 with flag 1006767/396000
58.96/57.89	c cleaning 27992 clauses out of 56013 with flag 1070062/425000
60.99/59.84	c cleaning 28992 clauses out of 58021 with flag 1134104/455000
66.59/65.46	c cleaning 29997 clauses out of 60029 with flag 1199159/486000
73.56/72.39	c cleaning 30999 clauses out of 62032 with flag 1265052/518000
76.53/75.03	c cleaning 32000 clauses out of 64017 with flag 1336838/551001
81.20/79.39	c cleaning 33004 clauses out of 66017 with flag 1411114/585001
85.99/84.18	c cleaning 34004 clauses out of 68016 with flag 1490773/620004
88.55/86.62	c cleaning 35001 clauses out of 70012 with flag 1576045/656005
92.85/90.94	c cleaning 35994 clauses out of 72006 with flag 1665306/693000
99.89/97.95	c cleaning 36997 clauses out of 74012 with flag 1764500/731000
108.38/106.48	c cleaning 37986 clauses out of 76016 with flag 1850660/770001
116.49/114.55	c cleaning 38988 clauses out of 78030 with flag 1936369/810001
123.40/121.46	c cleaning 40015 clauses out of 80042 with flag 2028499/851001
126.63/124.62	c cleaning 40994 clauses out of 81998 with flag 2123939/893000
132.78/130.73	c cleaning 41997 clauses out of 84008 with flag 2233898/936004
139.69/137.68	c cleaning 43004 clauses out of 86012 with flag 2346476/980005
145.68/143.69	c cleaning 44000 clauses out of 88005 with flag 2460477/1025002
150.98/148.99	c cleaning 44995 clauses out of 90002 with flag 2581281/1071002
159.58/157.57	c cleaning 45991 clauses out of 92007 with flag 2718880/1118002
167.35/165.23	c cleaning 46986 clauses out of 94014 with flag 2863428/1166000
174.85/172.79	c cleaning 47996 clauses out of 96028 with flag 3008086/1215000
182.45/180.30	c cleaning 48997 clauses out of 98034 with flag 3149786/1265002
191.05/188.92	c cleaning 50000 clauses out of 100036 with flag 3300705/1316001
199.55/197.47	c cleaning 50999 clauses out of 102036 with flag 3457677/1368001
209.21/207.05	c cleaning 52003 clauses out of 104039 with flag 3611891/1421003
219.70/217.55	c cleaning 53001 clauses out of 106033 with flag 3769359/1475000
229.10/226.94	c cleaning 53997 clauses out of 108034 with flag 3917797/1530002
239.70/237.60	c cleaning 55014 clauses out of 110035 with flag 4057323/1586000
250.77/248.52	c cleaning 56007 clauses out of 112022 with flag 4205700/1643001
257.47/255.22	c cleaning 56999 clauses out of 114009 with flag 4352721/1701001
269.76/267.47	c cleaning 57998 clauses out of 116010 with flag 4497011/1760001
282.05/279.77	c cleaning 59002 clauses out of 118012 with flag 4638234/1820001
289.79/287.44	c cleaning 59995 clauses out of 120011 with flag 4800117/1881002
298.21/295.82	c cleaning 60987 clauses out of 121990 with flag 4952474/1943001
309.71/307.32	c cleaning 61990 clauses out of 124003 with flag 5112929/2006001
316.56/314.10	c cleaning 62991 clauses out of 126013 with flag 5275127/2070002
333.46/331.02	c cleaning 64002 clauses out of 128020 with flag 5416878/2135000
350.31/347.82	c cleaning 64996 clauses out of 130018 with flag 5564415/2201000
366.85/364.40	c cleaning 66006 clauses out of 132022 with flag 5713595/2268000
382.73/380.11	c cleaning 67002 clauses out of 134017 with flag 5867964/2336001
400.79/398.13	c cleaning 68001 clauses out of 136014 with flag 6027607/2405000
420.39/417.79	c cleaning 69006 clauses out of 138015 with flag 6191085/2475002
436.25/433.53	c cleaning 69998 clauses out of 140007 with flag 6357633/2546000
453.72/450.97	c cleaning 71000 clauses out of 142009 with flag 6524713/2618000
471.70/468.86	c cleaning 71995 clauses out of 144011 with flag 6689327/2691002
490.20/487.34	c cleaning 73004 clauses out of 146015 with flag 6857199/2765001
509.85/506.97	c cleaning 73995 clauses out of 148010 with flag 7025582/2840000
530.91/528.00	c cleaning 75000 clauses out of 150015 with flag 7198771/2916000
538.88/535.89	c cleaning 75992 clauses out of 151994 with flag 7395441/2993000
547.97/544.90	c cleaning 76994 clauses out of 154003 with flag 7600075/3071001
562.62/559.43	c cleaning 77996 clauses out of 156008 with flag 7817986/3150000
585.34/582.03	c cleaning 78996 clauses out of 158012 with flag 8048833/3230000
613.79/610.42	c cleaning 80003 clauses out of 160018 with flag 8282599/3311002
641.65/638.26	c cleaning 81002 clauses out of 162013 with flag 8517894/3393000
668.95/665.41	c cleaning 81988 clauses out of 164014 with flag 8748767/3476003
677.78/674.15	c cleaning 82994 clauses out of 166015 with flag 8932017/3560000
701.69/698.00	c cleaning 84001 clauses out of 168021 with flag 9118788/3645000
724.91/721.19	c cleaning 85007 clauses out of 170020 with flag 9307388/3731000
748.86/745.07	c cleaning 85999 clauses out of 172013 with flag 9499155/3818000
771.53/767.62	c cleaning 87001 clauses out of 174014 with flag 9698908/3906000
795.69/791.74	c cleaning 87998 clauses out of 176013 with flag 9901153/3995000
820.53/816.54	c cleaning 89005 clauses out of 178015 with flag 10103246/4085000
848.08/844.06	c cleaning 90005 clauses out of 180010 with flag 10305641/4176000
871.31/867.30	c cleaning 91000 clauses out of 182007 with flag 10509792/4268002
900.87/896.73	c cleaning 92000 clauses out of 184005 with flag 10708152/4361000
931.54/927.35	c cleaning 92996 clauses out of 186000 with flag 10906960/4455000
945.20/940.97	c cleaning 93983 clauses out of 188002 with flag 11164184/4550004
966.52/962.17	c cleaning 94992 clauses out of 190015 with flag 11382760/4646000
997.92/993.46	c cleaning 96002 clauses out of 192023 with flag 11593995/4743000
1017.24/1012.65	c cleaning 97000 clauses out of 194022 with flag 11813039/4841001
1027.72/1023.01	c cleaning 98005 clauses out of 196019 with flag 12041860/4940002
1037.18/1032.31	c cleaning 99006 clauses out of 198017 with flag 12275558/5040005
1059.98/1054.99	c cleaning 99985 clauses out of 199988 with flag 12520124/5141000
1078.26/1073.14	c cleaning 100995 clauses out of 202003 with flag 12810091/5243000
1116.73/1111.50	c cleaning 101994 clauses out of 204008 with flag 13058671/5346000
1153.04/1147.79	c cleaning 102996 clauses out of 206014 with flag 13315972/5450000
1183.65/1178.27	c cleaning 104002 clauses out of 208018 with flag 13560989/5555000
1217.79/1212.34	c cleaning 104991 clauses out of 210017 with flag 13802842/5661001
1254.69/1249.19	c cleaning 106007 clauses out of 212026 with flag 14052536/5768001
1285.77/1280.18	c cleaning 107006 clauses out of 214018 with flag 14299278/5876000
1324.72/1318.91	c cleaning 108006 clauses out of 216015 with flag 14550058/5985003
1362.85/1357.03	c cleaning 108996 clauses out of 218006 with flag 14827593/6095000
1408.53/1402.57	c cleaning 109999 clauses out of 220010 with flag 15083161/6206000
1443.77/1437.65	c cleaning 111003 clauses out of 222013 with flag 15345066/6318002
1475.35/1469.15	c cleaning 111996 clauses out of 224009 with flag 15609707/6431001
1517.59/1511.21	c cleaning 113000 clauses out of 226012 with flag 15885183/6545000
1563.89/1557.48	c cleaning 113999 clauses out of 228012 with flag 16160015/6660000
1612.19/1605.63	c cleaning 115003 clauses out of 230013 with flag 16428629/6776000
1656.91/1650.29	c cleaning 115994 clauses out of 232010 with flag 16703230/6893000
1704.23/1697.44	c cleaning 117001 clauses out of 234016 with flag 16982094/7011000
1747.74/1740.86	c cleaning 118002 clauses out of 236015 with flag 17270663/7130000
1796.39/1789.38	c cleaning 119001 clauses out of 238015 with flag 17563811/7250002
1800.10/1793.01	c starts		: 1328
1800.10/1793.01	c conflicts		: 7274238
1800.10/1793.01	c decisions		: 10844642
1800.10/1793.01	c propagations		: 93150691
1800.10/1793.01	c inspects		: 38128219196
1800.10/1793.01	c shortcuts		: 0
1800.10/1793.01	c learnt literals	: 149
1800.10/1793.01	c learnt binary clauses	: 148
1800.10/1793.01	c learnt ternary clauses	: 119
1800.10/1793.01	c learnt constraints	: 7274089
1800.10/1793.01	c ignored constraints	: 0
1800.10/1793.01	c root simplifications	: 0
1800.10/1793.01	c removed literals (reason simplification)	: 0
1800.10/1793.01	c reason swapping (by a shorter reason)	: 0
1800.10/1793.01	c Calls to reduceDB	: 116
1800.10/1793.01	c Number of update (reduction) of LBD	: 932870
1800.10/1793.01	c Imported unit clauses	: 0
1800.10/1793.01	c number of reductions to clauses (during analyze)	: 0
1800.10/1793.01	c number of learned constraints concerned by reduction	: 0
1800.10/1793.01	c number of learning phase by resolution	: 0
1800.10/1793.01	c number of learning phase by cutting planes	: 0
1800.10/1793.01	c speed (assignments/second)	: 51967.782445452365
1800.10/1793.01	c non guided choices	734823
1800.10/1793.01	c timeout
1800.10/1793.04	c learnt constraints type 
1800.10/1793.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 148
1800.10/1793.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 143102
1800.10/1793.04	s UNKNOWN
1800.10/1793.04	c Total wall clock time (in seconds): 1792.924

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-4100405-1466213293/watcher-4100405-1466213293 -o /tmp/evaluation-result-4100405-1466213293/solver-4100405-1466213293 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15565 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100405-1466213293.opb 

pid=17859
running on 4 cores: 1,3,5,7

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.42 2.31 2.24 3/194 17862
/proc/meminfo: memFree=30190804/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17862/stat : 17862 (java) D 17859 17862 15548 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 23375780 9515008 185 33554432000 1073741824 1073778376 140736706064928 140736706053992 229346733351 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2323 185 143 9 0 71 0

[startup+0.100115 s]
/proc/loadavg: 2.42 2.31 2.24 3/194 17862
/proc/meminfo: memFree=30190804/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 23375780 9787879424 6025 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.42 2.31 2.24 3/194 17862
/proc/meminfo: memFree=30190804/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 5001 0 1 0 27 1 0 0 20 0 18 0 23375780 9787879424 6922 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2389619 6922 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300235 s]
/proc/loadavg: 2.42 2.31 2.24 3/194 17862
/proc/meminfo: memFree=30190804/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 8643 0 1 0 49 2 0 0 20 0 18 0 23375780 9787879424 11493 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2389619 11493 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700186 s]
/proc/loadavg: 2.42 2.31 2.24 3/194 17862
/proc/meminfo: memFree=30190804/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 10531 0 1 0 137 3 0 0 20 0 19 0 23375780 9856040960 26786 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2406260 26786 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.42 2.31 2.24 4/213 17881
/proc/meminfo: memFree=30081936/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 10577 0 1 0 226 4 0 0 20 0 19 0 23375780 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2406260 31429 2265 9 0 2396937 0
[pid=17862/tid=17864] ppid=17859 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/17862/task/17864/stat : 17864 (java) R 17859 17862 15548 0 -1 4202560 2456 0 1 0 143 3 0 0 20 0 19 0 23375781 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369882290728 140369749332467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17865] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17865/stat : 17865 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369871354152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17866] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17866/stat : 17866 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369870301352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17867] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17867/stat : 17867 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369869249064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17868] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17868/stat : 17868 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369868196264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17869] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17869/stat : 17869 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369867143976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17870] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17870/stat : 17870 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369720982184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17871] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17871/stat : 17871 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369719929896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17872] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17872/stat : 17872 (java) S 17859 17862 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369718877096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17873] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17873/stat : 17873 (java) S 17859 17862 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369706465512 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17874] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17874/stat : 17874 (java) S 17859 17862 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369705411576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17875] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17875/stat : 17875 (java) S 17859 17862 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369704359176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17876] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17876/stat : 17876 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369703307664 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17877] ppid=17859 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/17862/task/17877/stat : 17877 (java) S 17859 17862 15548 0 -1 4202560 3858 0 0 0 40 0 0 0 20 0 19 0 23375786 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369702255288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17878] ppid=17859 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/17862/task/17878/stat : 17878 (java) S 17859 17862 15548 0 -1 4202560 2986 0 0 0 40 0 0 0 20 0 19 0 23375786 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369701202488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17879] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17879/stat : 17879 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369700150392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17880] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17880/stat : 17880 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369699097800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17881] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17881/stat : 17881 (java) S 17859 17862 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23375834 9856040960 31429 33554432000 1073741824 1073778376 140736706064928 140369698042792 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.42 2.31 2.24 3/213 17881
/proc/meminfo: memFree=30059036/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 10591 0 1 0 390 4 0 0 20 0 19 0 23375780 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2406260 38085 2265 9 0 2396937 0
[pid=17862/tid=17864] ppid=17859 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/17862/task/17864/stat : 17864 (java) R 17859 17862 15548 0 -1 4202560 2470 0 1 0 303 3 0 0 20 0 19 0 23375781 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369882283744 140369749311387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17865] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17865/stat : 17865 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369871354152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17866] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17866/stat : 17866 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369870301352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17867] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17867/stat : 17867 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369869249064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17868] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17868/stat : 17868 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369868196264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17869] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17869/stat : 17869 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369867143976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17870] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17870/stat : 17870 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369720982184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17871] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17871/stat : 17871 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369719929896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17872] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17872/stat : 17872 (java) S 17859 17862 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369718877096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17873] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17873/stat : 17873 (java) S 17859 17862 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369706465512 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17874] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17874/stat : 17874 (java) S 17859 17862 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369705411576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17875] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17875/stat : 17875 (java) S 17859 17862 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369704359176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17876] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17876/stat : 17876 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369703307664 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17877] ppid=17859 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/17862/task/17877/stat : 17877 (java) S 17859 17862 15548 0 -1 4202560 3858 0 0 0 42 0 0 0 20 0 19 0 23375786 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369702255288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17878] ppid=17859 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/17862/task/17878/stat : 17878 (java) S 17859 17862 15548 0 -1 4202560 2986 0 0 0 42 0 0 0 20 0 19 0 23375786 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369701202488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17879] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17879/stat : 17879 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369700150392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17880] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17880/stat : 17880 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369699097800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17881] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17881/stat : 17881 (java) S 17859 17862 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23375834 9856040960 38085 33554432000 1073741824 1073778376 140736706064928 140369698042792 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.39 2.31 2.24 4/213 17881
/proc/meminfo: memFree=30017952/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9625040 CPUtime=7.23 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 10646 0 1 0 718 5 0 0 20 0 19 0 23375780 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2406260 45126 2279 9 0 2396937 0
[pid=17862/tid=17864] ppid=17859 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/17862/task/17864/stat : 17864 (java) R 17859 17862 15548 0 -1 4202560 2482 0 1 0 621 4 0 0 20 0 19 0 23375781 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369882283728 140369749332467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17865] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17865/stat : 17865 (java) S 17859 17862 15548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369871354152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17866] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17866/stat : 17866 (java) S 17859 17862 15548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369870301352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17867] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17867/stat : 17867 (java) S 17859 17862 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369869249064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17868] ppid=17859 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/17862/task/17868/stat : 17868 (java) S 17859 17862 15548 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369868196264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17869] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17869/stat : 17869 (java) S 17859 17862 15548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369867143976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17870] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17870/stat : 17870 (java) S 17859 17862 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369720982184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17871] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17871/stat : 17871 (java) S 17859 17862 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369719929896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17872] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17872/stat : 17872 (java) S 17859 17862 15548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23375782 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369718877096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17873] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17873/stat : 17873 (java) S 17859 17862 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369706465512 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17874] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17874/stat : 17874 (java) S 17859 17862 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369705411576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17875] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17875/stat : 17875 (java) S 17859 17862 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369704359176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17876] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17876/stat : 17876 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369703307664 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17877] ppid=17859 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/17862/task/17877/stat : 17877 (java) S 17859 17862 15548 0 -1 4202560 3858 0 0 0 43 0 0 0 20 0 19 0 23375786 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369702255288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17878] ppid=17859 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/17862/task/17878/stat : 17878 (java) S 17859 17862 15548 0 -1 4202560 2986 0 0 0 45 0 0 0 20 0 19 0 23375786 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369701202488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17879] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17879/stat : 17879 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369700150392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17880] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17880/stat : 17880 (java) S 17859 17862 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369699097800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17881] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17881/stat : 17881 (java) S 17859 17862 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23375834 9856040960 45126 33554432000 1073741824 1073778376 140736706064928 140369698042792 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 9625040


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

/proc/17862/task/17874/stat : 17874 (java) S 17859 17862 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369705411576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17875] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17875/stat : 17875 (java) S 17859 17862 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369704359176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17876] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17876/stat : 17876 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369703307664 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17877] ppid=17859 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/17862/task/17877/stat : 17877 (java) S 17859 17862 15548 0 -1 4202560 3863 0 0 0 54 0 0 0 20 0 19 0 23375786 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369702255288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17878] ppid=17859 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/17862/task/17878/stat : 17878 (java) S 17859 17862 15548 0 -1 4202560 10130 0 0 0 107 2 0 0 20 0 19 0 23375786 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369701202488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17879] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17879/stat : 17879 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369700150392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17880] ppid=17859 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/17862/task/17880/stat : 17880 (java) S 17859 17862 15548 0 -1 4202560 96 0 0 0 19 25 0 0 20 0 19 0 23375786 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369699097800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17881] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17881/stat : 17881 (java) S 17859 17862 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23375834 9856040960 85225 33554432000 1073741824 1073778376 140736706064928 140369698042792 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1669.02
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.24 2.26 3/213 17989
/proc/meminfo: memFree=29779148/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9625040 CPUtime=1729.2 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 20305 0 1 0 172851 69 0 0 20 0 19 0 23375780 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2406260 84410 2288 9 0 2396937 0
[pid=17862/tid=17864] ppid=17859 vsize=9625040 CPUtime=1719.74 cores=1,3,5,7
/proc/17862/task/17864/stat : 17864 (java) R 17859 17862 15548 0 -1 4202560 2589 0 1 0 171941 33 0 0 20 0 19 0 23375781 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369882291488 140369749311169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17865] ppid=17859 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/17862/task/17865/stat : 17865 (java) S 17859 17862 15548 0 -1 4202560 386 0 0 0 97 5 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369871354152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17866] ppid=17859 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/17862/task/17866/stat : 17866 (java) S 17859 17862 15548 0 -1 4202560 282 0 0 0 82 4 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369870301352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17867] ppid=17859 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/17862/task/17867/stat : 17867 (java) S 17859 17862 15548 0 -1 4202560 364 0 0 0 86 5 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369869249064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17868] ppid=17859 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/17862/task/17868/stat : 17868 (java) S 17859 17862 15548 0 -1 4202560 293 0 0 0 89 4 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369868196264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17869] ppid=17859 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/17862/task/17869/stat : 17869 (java) S 17859 17862 15548 0 -1 4202560 259 0 0 0 88 5 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369867143976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17870] ppid=17859 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/17862/task/17870/stat : 17870 (java) S 17859 17862 15548 0 -1 4202560 209 0 0 0 86 3 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369720982184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17871] ppid=17859 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/17862/task/17871/stat : 17871 (java) S 17859 17862 15548 0 -1 4202560 262 0 0 0 88 4 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369719929896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17872] ppid=17859 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/17862/task/17872/stat : 17872 (java) S 17859 17862 15548 0 -1 4202560 171 0 0 0 75 3 0 0 20 0 19 0 23375782 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369718877096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17873] ppid=17859 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/17862/task/17873/stat : 17873 (java) S 17859 17862 15548 0 -1 4202560 134 0 0 0 30 3 0 0 20 0 19 0 23375783 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369706465512 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17874] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17874/stat : 17874 (java) S 17859 17862 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369705411576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17875] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17875/stat : 17875 (java) S 17859 17862 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369704359176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17876] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17876/stat : 17876 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369703307664 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17877] ppid=17859 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/17862/task/17877/stat : 17877 (java) S 17859 17862 15548 0 -1 4202560 3863 0 0 0 54 0 0 0 20 0 19 0 23375786 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369702255288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17878] ppid=17859 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/17862/task/17878/stat : 17878 (java) S 17859 17862 15548 0 -1 4202560 10130 0 0 0 107 2 0 0 20 0 19 0 23375786 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369701202488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17879] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17879/stat : 17879 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369700150392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17880] ppid=17859 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/17862/task/17880/stat : 17880 (java) S 17859 17862 15548 0 -1 4202560 100 0 0 0 20 27 0 0 20 0 19 0 23375786 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369699097800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17881] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17881/stat : 17881 (java) S 17859 17862 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23375834 9856040960 84410 33554432000 1073741824 1073778376 140736706064928 140369698042792 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1729.2
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.29 2.26 2.26 4/213 17990
/proc/meminfo: memFree=29780940/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9625040 CPUtime=1789.33 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 20322 0 1 0 178861 72 0 0 20 0 19 0 23375780 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2406260 83937 2288 9 0 2396937 0
[pid=17862/tid=17864] ppid=17859 vsize=9625040 CPUtime=1779.71 cores=1,3,5,7
/proc/17862/task/17864/stat : 17864 (java) R 17859 17862 15548 0 -1 4202560 2592 0 1 0 177937 34 0 0 20 0 19 0 23375781 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369882291328 140369749587507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17865] ppid=17859 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/17862/task/17865/stat : 17865 (java) S 17859 17862 15548 0 -1 4202560 393 0 0 0 98 5 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369871354152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17866] ppid=17859 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/17862/task/17866/stat : 17866 (java) S 17859 17862 15548 0 -1 4202560 282 0 0 0 84 4 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369870301352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17867] ppid=17859 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/17862/task/17867/stat : 17867 (java) S 17859 17862 15548 0 -1 4202560 365 0 0 0 87 5 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369869249064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17868] ppid=17859 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/17862/task/17868/stat : 17868 (java) S 17859 17862 15548 0 -1 4202560 293 0 0 0 92 4 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369868196264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17869] ppid=17859 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/17862/task/17869/stat : 17869 (java) S 17859 17862 15548 0 -1 4202560 259 0 0 0 90 5 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369867143976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17870] ppid=17859 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/17862/task/17870/stat : 17870 (java) S 17859 17862 15548 0 -1 4202560 209 0 0 0 88 3 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369720982184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17871] ppid=17859 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/17862/task/17871/stat : 17871 (java) S 17859 17862 15548 0 -1 4202560 262 0 0 0 88 4 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369719929896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17872] ppid=17859 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/17862/task/17872/stat : 17872 (java) S 17859 17862 15548 0 -1 4202560 171 0 0 0 76 3 0 0 20 0 19 0 23375782 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369718877096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17873] ppid=17859 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/17862/task/17873/stat : 17873 (java) S 17859 17862 15548 0 -1 4202560 136 0 0 0 30 3 0 0 20 0 19 0 23375783 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369706465512 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17874] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17874/stat : 17874 (java) S 17859 17862 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369705411576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17875] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17875/stat : 17875 (java) S 17859 17862 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369704359176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17876] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17876/stat : 17876 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369703307664 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17877] ppid=17859 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/17862/task/17877/stat : 17877 (java) S 17859 17862 15548 0 -1 4202560 3863 0 0 0 54 0 0 0 20 0 19 0 23375786 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369702255288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17878] ppid=17859 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/17862/task/17878/stat : 17878 (java) S 17859 17862 15548 0 -1 4202560 10130 0 0 0 107 2 0 0 20 0 19 0 23375786 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369701202488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17879] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17879/stat : 17879 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369700150392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17880] ppid=17859 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/17862/task/17880/stat : 17880 (java) S 17859 17862 15548 0 -1 4202560 104 0 0 0 21 29 0 0 20 0 19 0 23375786 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369699097800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17881] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17881/stat : 17881 (java) S 17859 17862 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23375834 9856040960 83937 33554432000 1073741824 1073778376 140736706064928 140369698042792 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1789.33
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793 s]
/proc/loadavg: 2.24 2.25 2.26 3/213 17990
/proc/meminfo: memFree=29781812/32872528 swapFree=1370848/1518016
[pid=17862] ppid=17859 vsize=9625040 CPUtime=1800.1 cores=1,3,5,7
/proc/17862/stat : 17862 (java) S 17859 17862 15548 0 -1 4202496 20370 0 1 0 179937 73 0 0 20 0 19 0 23375780 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140736706056064 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17862/statm: 2406260 83758 2288 9 0 2396937 0
[pid=17862/tid=17864] ppid=17859 vsize=9625040 CPUtime=1790.39 cores=1,3,5,7
/proc/17862/task/17864/stat : 17864 (java) R 17859 17862 15548 0 -1 4202560 2593 0 1 0 179005 34 0 0 20 0 19 0 23375781 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369882283712 140369749281997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17865] ppid=17859 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/17862/task/17865/stat : 17865 (java) S 17859 17862 15548 0 -1 4202560 393 0 0 0 99 5 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369871354152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17866] ppid=17859 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/17862/task/17866/stat : 17866 (java) S 17859 17862 15548 0 -1 4202560 282 0 0 0 85 4 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369870301352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17867] ppid=17859 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/17862/task/17867/stat : 17867 (java) S 17859 17862 15548 0 -1 4202560 410 0 0 0 88 5 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369869249064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17868] ppid=17859 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/17862/task/17868/stat : 17868 (java) S 17859 17862 15548 0 -1 4202560 293 0 0 0 94 4 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369868196264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17869] ppid=17859 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/17862/task/17869/stat : 17869 (java) S 17859 17862 15548 0 -1 4202560 259 0 0 0 91 5 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369867143976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17870] ppid=17859 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/17862/task/17870/stat : 17870 (java) S 17859 17862 15548 0 -1 4202560 209 0 0 0 89 3 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369720982184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17871] ppid=17859 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/17862/task/17871/stat : 17871 (java) S 17859 17862 15548 0 -1 4202560 262 0 0 0 89 4 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369719929896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17872] ppid=17859 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/17862/task/17872/stat : 17872 (java) S 17859 17862 15548 0 -1 4202560 171 0 0 0 76 3 0 0 20 0 19 0 23375782 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369718877096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17873] ppid=17859 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/17862/task/17873/stat : 17873 (java) S 17859 17862 15548 0 -1 4202560 138 0 0 0 30 3 0 0 20 0 19 0 23375783 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369706465512 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17862/tid=17874] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17874/stat : 17874 (java) S 17859 17862 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369705411576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17875] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17875/stat : 17875 (java) S 17859 17862 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23375783 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369704359176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17876] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17876/stat : 17876 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369703307664 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17877] ppid=17859 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/17862/task/17877/stat : 17877 (java) S 17859 17862 15548 0 -1 4202560 3863 0 0 0 54 0 0 0 20 0 19 0 23375786 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369702255288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17862/tid=17878] ppid=17859 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/17862/task/17878/stat : 17878 (java) S 17859 17862 15548 0 -1 4202560 10130 0 0 0 107 2 0 0 20 0 19 0 23375786 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369701202488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17879] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17879/stat : 17879 (java) S 17859 17862 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23375786 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369700150392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17862/tid=17880] ppid=17859 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/17862/task/17880/stat : 17880 (java) S 17859 17862 15548 0 -1 4202560 104 0 0 0 21 29 0 0 20 0 19 0 23375786 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369699097800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17862/tid=17881] ppid=17859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17862/task/17881/stat : 17881 (java) S 17859 17862 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23375834 9856040960 83758 33554432000 1073741824 1073778376 140736706064928 140369698042792 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 17862 sig 9
??? kill -17862 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1793.04
CPU time (s): 1800.61
CPU user time (s): 1799.46
CPU system time (s): 1.15182
CPU usage (%): 100.422
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 1.15182
maximum resident set size= 476944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20411
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41239
involuntary context switches= 25808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78451 second user time and 14.2218 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-18 03:28:13
IDJOB=4100405
IDBENCH=1612
IDSOLVER=2546
FILE ID=node129/4100405-1466213293
RUNJOBID= node129-1466206067-15565
PBS_JOBID= 19918148
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100405-1466213293/watcher-4100405-1466213293 -o /tmp/evaluation-result-4100405-1466213293/solver-4100405-1466213293 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15565 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4100405-1466213293.opb

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

MD5SUM BENCH= 6816c7581e307ff85cc3550c4b71269a
RANDOM SEED=31869546

node129.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.143
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	: 5332.28
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.143
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.143
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.143
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.143
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.143
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.54
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.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30191596 kB
Buffers:           91488 kB
Cached:           101156 kB
SwapCached:         1944 kB
Active:           296432 kB
Inactive:         134168 kB
Active(anon):     239240 kB
Inactive(anon):     1076 kB
Active(file):      57192 kB
Inactive(file):   133092 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:              1688 kB
Writeback:             0 kB
AnonPages:       1755256 kB
Mapped:            15340 kB
Shmem:                 0 kB
Slab:             598920 kB
SReclaimable:      42704 kB
SUnreclaim:       556216 kB
KernelStack:        1592 kB
PageTables:         7692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2207188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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 node129 at 2016-06-18 03:58:06