Trace number 3689515

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.62 1795.05

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894788.opb
MD5SUMca3efe2da0610ce6a80a42a3887418e6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark180.313
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3463
Total number of constraints2279
Number of constraints which are clauses678
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1456
Minimum length of a constraint1
Maximum length of a constraint97
Number of terms in the objective function 7
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 97
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3689515-1337891489.opb
0.10/0.11	c reading problem ... 
0.51/0.32	c ... done. Wall clock time 0.212s.
0.51/0.32	c declared #vars     3463
0.51/0.32	c #constraints  2591
0.51/0.32	c constraints type 
0.51/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 567
0.51/0.32	c org.sat4j.minisat.constraints.cnf.UnitClauses => 186
0.51/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 1250
0.51/0.32	c ignored satisfied constraints => 505
0.51/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 443
0.51/0.32	c org.sat4j.minisat.constraints.cnf.UnitClause => 145
0.51/0.32	c 3096 constraints processed.
0.51/0.32	c objective function length is 7 literals
1.25/0.79	c cleaning 2487 clauses out of 4997 with flag 5000/5000
1.82/1.24	c cleaning 4241 clauses out of 8510 with flag 11000/11000
2.43/1.82	c cleaning 5631 clauses out of 11271 with flag 18002/18002
3.14/2.53	c cleaning 6792 clauses out of 13638 with flag 26001/26001
4.11/3.46	c cleaning 7914 clauses out of 15847 with flag 35002/35002
5.02/4.38	c cleaning 8898 clauses out of 17931 with flag 45000/45000
6.12/5.50	c cleaning 10002 clauses out of 20032 with flag 56000/56000
7.52/6.81	c cleaning 10981 clauses out of 22030 with flag 68000/68000
8.93/8.25	c cleaning 12014 clauses out of 24048 with flag 81000/81000
10.75/10.02	c cleaning 12949 clauses out of 26034 with flag 95000/95000
12.36/11.67	c cleaning 14014 clauses out of 28084 with flag 110000/110000
14.38/13.61	c cleaning 15018 clauses out of 30070 with flag 126000/126000
16.30/15.56	c cleaning 15993 clauses out of 32051 with flag 143000/143000
18.41/17.64	c cleaning 17021 clauses out of 34056 with flag 161000/161000
20.74/19.98	c cleaning 17917 clauses out of 36035 with flag 180000/180000
23.36/22.50	c cleaning 19012 clauses out of 38118 with flag 200000/200000
26.17/25.39	c cleaning 19995 clauses out of 40106 with flag 221000/221000
29.39/28.50	c cleaning 20991 clauses out of 42113 with flag 243002/243002
33.00/32.13	c cleaning 21984 clauses out of 44121 with flag 266002/266002
36.73/35.85	c cleaning 23028 clauses out of 46136 with flag 290001/290001
40.16/39.29	c cleaning 24002 clauses out of 48107 with flag 315000/315000
43.78/42.90	c cleaning 25019 clauses out of 50107 with flag 341002/341002
48.10/47.14	c cleaning 25925 clauses out of 52088 with flag 368002/368002
52.42/51.44	c cleaning 27074 clauses out of 54164 with flag 396003/396003
56.83/55.84	c cleaning 28006 clauses out of 56089 with flag 425002/425002
62.66/61.62	c cleaning 28963 clauses out of 58083 with flag 455002/455002
67.79/66.76	c cleaning 30006 clauses out of 60118 with flag 486000/486000
73.50/72.41	c cleaning 31031 clauses out of 62112 with flag 518000/518000
79.62/78.52	c cleaning 32031 clauses out of 64084 with flag 551003/551003
87.15/86.08	c cleaning 32995 clauses out of 66050 with flag 585000/585000
93.99/92.89	c cleaning 34015 clauses out of 68058 with flag 620003/620003
100.41/99.25	c cleaning 34976 clauses out of 70041 with flag 656001/656001
107.54/106.38	c cleaning 35999 clauses out of 72065 with flag 693001/693001
114.15/112.95	c cleaning 36950 clauses out of 74066 with flag 731001/731001
121.17/119.97	c cleaning 38033 clauses out of 76115 with flag 770000/770000
130.79/129.56	c cleaning 39011 clauses out of 78082 with flag 810000/810000
139.03/137.73	c cleaning 40029 clauses out of 80073 with flag 851002/851002
147.96/146.62	c cleaning 40965 clauses out of 82042 with flag 893000/893000
156.18/154.84	c cleaning 42019 clauses out of 84077 with flag 936000/936000
164.69/163.38	c cleaning 42972 clauses out of 86058 with flag 980000/980000
173.81/172.49	c cleaning 43980 clauses out of 88086 with flag 1025000/1025000
183.76/182.35	c cleaning 45026 clauses out of 90107 with flag 1071001/1071001
194.27/192.85	c cleaning 46025 clauses out of 92080 with flag 1118000/1118000
205.09/203.61	c cleaning 47001 clauses out of 94057 with flag 1166002/1166002
216.93/215.41	c cleaning 47962 clauses out of 96056 with flag 1215002/1215002
231.37/229.90	c cleaning 48988 clauses out of 98092 with flag 1265000/1265000
246.76/245.17	c cleaning 50008 clauses out of 100105 with flag 1316001/1316001
261.04/259.37	c cleaning 51012 clauses out of 102096 with flag 1368000/1368000
272.79/271.05	c cleaning 51954 clauses out of 104084 with flag 1421001/1421001
286.62/284.90	c cleaning 52990 clauses out of 106131 with flag 1475002/1475002
298.66/296.88	c cleaning 53959 clauses out of 108140 with flag 1530001/1530001
311.91/310.08	c cleaning 55082 clauses out of 110184 with flag 1586004/1586004
329.64/327.75	c cleaning 56006 clauses out of 112098 with flag 1643000/1643000
344.38/342.47	c cleaning 57034 clauses out of 114093 with flag 1701001/1701001
358.02/356.06	c cleaning 57989 clauses out of 116060 with flag 1760002/1760002
372.56/370.53	c cleaning 58994 clauses out of 118069 with flag 1820000/1820000
388.80/386.77	c cleaning 59977 clauses out of 120076 with flag 1881001/1881001
405.25/403.15	c cleaning 61011 clauses out of 122100 with flag 1943002/1943002
423.88/421.76	c cleaning 62032 clauses out of 124087 with flag 2006000/2006000
439.01/436.80	c cleaning 63008 clauses out of 126057 with flag 2070003/2070003
457.93/455.79	c cleaning 63981 clauses out of 128046 with flag 2135000/2135000
476.51/474.28	c cleaning 65013 clauses out of 130065 with flag 2201000/2201000
494.25/491.94	c cleaning 65954 clauses out of 132052 with flag 2268000/2268000
512.21/509.82	c cleaning 67007 clauses out of 134099 with flag 2336001/2336001
534.95/532.54	c cleaning 68005 clauses out of 136092 with flag 2405001/2405001
556.10/553.62	c cleaning 68996 clauses out of 138087 with flag 2475001/2475001
577.23/574.77	c cleaning 70020 clauses out of 140092 with flag 2546002/2546002
601.30/598.77	c cleaning 70991 clauses out of 142077 with flag 2618007/2618007
624.38/621.74	c cleaning 71992 clauses out of 144082 with flag 2691003/2691003
649.24/646.55	c cleaning 72938 clauses out of 146090 with flag 2765003/2765003
671.98/669.23	c cleaning 74006 clauses out of 148150 with flag 2840001/2840001
698.70/695.98	c cleaning 74968 clauses out of 150143 with flag 2916000/2916000
728.47/725.60	c cleaning 76049 clauses out of 152176 with flag 2993001/2993001
752.24/749.39	c cleaning 77040 clauses out of 154126 with flag 3071000/3071000
777.46/774.57	c cleaning 78013 clauses out of 156086 with flag 3150000/3150000
803.93/800.91	c cleaning 79011 clauses out of 158074 with flag 3230001/3230001
832.77/829.71	c cleaning 79976 clauses out of 160063 with flag 3311001/3311001
861.81/858.75	c cleaning 80921 clauses out of 162086 with flag 3393000/3393000
891.26/888.13	c cleaning 82066 clauses out of 164167 with flag 3476002/3476002
922.19/919.00	c cleaning 83033 clauses out of 166102 with flag 3560003/3560003
955.34/952.20	c cleaning 83973 clauses out of 168066 with flag 3645000/3645000
987.59/984.32	c cleaning 84970 clauses out of 170093 with flag 3731000/3731000
1021.23/1017.98	c cleaning 85998 clauses out of 172124 with flag 3818001/3818001
1056.66/1053.37	c cleaning 87035 clauses out of 174125 with flag 3906000/3906000
1090.23/1086.82	c cleaning 88031 clauses out of 176092 with flag 3995002/3995002
1125.67/1122.21	c cleaning 88988 clauses out of 178062 with flag 4085003/4085003
1161.82/1158.35	c cleaning 90023 clauses out of 180072 with flag 4176001/4176001
1196.79/1193.22	c cleaning 90993 clauses out of 182048 with flag 4268000/4268000
1236.24/1232.66	c cleaning 91959 clauses out of 184055 with flag 4361000/4361000
1270.71/1267.06	c cleaning 92985 clauses out of 186099 with flag 4455003/4455003
1304.25/1300.59	c cleaning 94040 clauses out of 188113 with flag 4550002/4550002
1339.71/1335.94	c cleaning 94953 clauses out of 190073 with flag 4646002/4646002
1383.36/1379.59	c cleaning 96023 clauses out of 192118 with flag 4743000/4743000
1423.15/1419.29	c cleaning 97006 clauses out of 194096 with flag 4841001/4841001
1469.54/1465.31	c cleaning 97998 clauses out of 196089 with flag 4940000/4940000
1510.77/1506.59	c cleaning 98978 clauses out of 198093 with flag 5040002/5040002
1554.22/1549.84	c cleaning 99959 clauses out of 200113 with flag 5141000/5141000
1597.61/1593.10	c cleaning 101027 clauses out of 202156 with flag 5243002/5243002
1643.66/1639.19	c cleaning 102013 clauses out of 204129 with flag 5346002/5346002
1690.13/1685.50	c cleaning 102978 clauses out of 206115 with flag 5450001/5450001
1734.33/1729.59	c cleaning 103978 clauses out of 208136 with flag 5555000/5555000
1785.48/1780.57	c cleaning 104964 clauses out of 210158 with flag 5661000/5661000
1800.01/1795.01	c starts		: 275
1800.01/1795.01	c conflicts		: 5702561
1800.01/1795.01	c decisions		: 8723137
1800.01/1795.01	c propagations		: 1124391494
1800.01/1795.01	c inspects		: 21178955225
1800.01/1795.01	c shortcuts		: 0
1800.01/1795.01	c learnt literals	: 13
1800.01/1795.01	c learnt binary clauses	: 898
1800.01/1795.01	c learnt ternary clauses	: 4082
1800.01/1795.01	c learnt constraints	: 5702548
1800.01/1795.01	c ignored constraints	: 0
1800.01/1795.01	c root simplifications	: 0
1800.01/1795.01	c removed literals (reason simplification)	: 0
1800.01/1795.01	c reason swapping (by a shorter reason)	: 0
1800.01/1795.01	c Calls to reduceDB	: 102
1800.01/1795.01	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.01	c number of learned constraints concerned by reduction	: 0
1800.01/1795.01	c number of learning phase by resolution	: 0
1800.01/1795.01	c number of learning phase by cutting planes	: 0
1800.01/1795.01	c speed (assignments/second)	: 626513.664274411
1800.01/1795.01	c non guided choices	0
1800.01/1795.04	c learnt constraints type 
1800.01/1795.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 898
1800.01/1795.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145919
1800.01/1795.04	c constraints type 
1800.01/1795.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 567
1800.01/1795.04	c org.sat4j.minisat.constraints.cnf.UnitClauses => 186
1800.01/1795.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1250
1800.01/1795.04	c ignored satisfied constraints => 505
1800.01/1795.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 443
1800.01/1795.04	c org.sat4j.minisat.constraints.cnf.UnitClause => 145
1800.01/1795.04	c 3096 constraints processed.
1800.01/1795.04	s UNKNOWN
1800.01/1795.04	c Total wall clock time (in seconds): 1794.933

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3689515-1337891489/watcher-3689515-1337891489 -o /tmp/evaluation-result-3689515-1337891489/solver-3689515-1337891489 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689515-1337891489.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.86 1.97 2.08 3/196 31958
/proc/meminfo: memFree=29255024/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 1164 0 0 0 0 0 0 0 20 0 2 0 255273691 91889664 884 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 22435 886 670 9 0 16770 0
[pid=31958/tid=31959] ppid=31956 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 255273691 91889664 893 33554432000 1073741824 1073778376 140736350674976 140736350664040 215134334247 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.02459 s]
/proc/loadavg: 1.86 1.97 2.08 3/196 31958
/proc/meminfo: memFree=29255024/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 2870 0 1 0 1 0 0 0 20 0 11 0 255273691 9310650368 3571 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2273108 3582 1615 9 0 2263809 0
[pid=31958/tid=31959] ppid=31956 vsize=9092432 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 1725 0 1 0 0 0 0 0 20 0 11 0 255273691 9310650368 3582 33554432000 1073741824 1073778376 140736350674976 139966033214216 215146882317 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100346 s]
/proc/loadavg: 1.86 1.97 2.08 3/196 31958
/proc/meminfo: memFree=29255024/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 4360 0 1 0 9 1 0 0 20 0 18 0 255273691 9787813888 5556 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2389603 5556 2108 9 0 2380296 0
[pid=31958/tid=31959] ppid=31956 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2422 0 1 0 7 0 0 0 20 0 18 0 255273691 9787813888 5556 33554432000 1073741824 1073778376 140736350674976 139966033204200 215146882317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300196 s]
/proc/loadavg: 1.86 1.97 2.08 3/196 31958
/proc/meminfo: memFree=29255024/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 6380 0 1 0 49 2 0 0 20 0 18 0 255273691 9787813888 17746 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2389603 17746 2217 9 0 2380296 0
[pid=31958/tid=31959] ppid=31956 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2462 0 1 0 25 2 0 0 20 0 18 0 255273691 9787813888 17746 33554432000 1073741824 1073778376 140736350674976 139966033204200 139966036497274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.700283 s]
/proc/loadavg: 1.86 1.97 2.08 3/196 31958
/proc/meminfo: memFree=29255024/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9624976 CPUtime=1.25 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 7906 0 1 0 122 3 0 0 20 0 19 0 255273691 9855975424 19452 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2406244 19452 2246 9 0 2396937 0
[pid=31958/tid=31959] ppid=31956 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2476 0 1 0 65 2 0 0 20 0 19 0 255273691 9855975424 19452 33554432000 1073741824 1073778376 140736350674976 139966033212176 139965887979296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 1.86 1.97 2.08 3/215 31977
/proc/meminfo: memFree=29179404/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9624976 CPUtime=2.13 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 8277 0 1 0 210 3 0 0 20 0 19 0 255273691 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2406244 22064 2274 9 0 2396937 0
[pid=31958/tid=31959] ppid=31956 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2481 0 1 0 143 2 0 0 20 0 19 0 255273691 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139966033211784 139965888018030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965876447528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965875394728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965874342440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965873289640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965872237352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965535087272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965534034984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965532982184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 26250 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 255273693 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965520783592 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965519729656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965518677256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965517625744 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 26250 0 -1 4202560 2625 0 0 0 32 0 0 0 20 0 19 0 255273696 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965516573368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 26250 0 -1 4202560 1919 0 0 0 29 0 0 0 20 0 19 0 255273696 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965515520568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965514468472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965513415880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31977] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31977/stat : 31977 (java) S 31956 31958 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255273724 9855975424 22064 33554432000 1073741824 1073778376 140736350674976 139965512328104 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.86 1.97 2.08 3/215 31977
/proc/meminfo: memFree=29173384/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9624976 CPUtime=3.8 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 8847 0 1 0 377 3 0 0 20 0 19 0 255273691 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2406244 23097 2275 9 0 2396937 0
[pid=31958/tid=31959] ppid=31956 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2481 0 1 0 300 2 0 0 20 0 19 0 255273691 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139966033211664 139965888028108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965876447528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965875394728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965874342440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965873289640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965872237352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965535087272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965534034984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965532982184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 26250 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 255273693 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965520783592 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965519729656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965518677256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965517625744 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 26250 0 -1 4202560 3180 0 0 0 37 0 0 0 20 0 19 0 255273696 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965516573368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 26250 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 255273696 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965515520568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965514468472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965513415880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31977] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31977/stat : 31977 (java) S 31956 31958 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255273724 9855975424 23097 33554432000 1073741824 1073778376 140736350674976 139965512328104 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9624976

[startup+6.30065 s]
/proc/loadavg: 1.87 1.97 2.07 3/215 31977
/proc/meminfo: memFree=29168916/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9624976 CPUtime=7.02 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 8860 0 1 0 699 3 0 0 20 0 19 0 255273691 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2406244 23369 2275 9 0 2396937 0
[pid=31958/tid=31959] ppid=31956 vsize=9624976 CPUtime=6.18 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2486 0 1 0 615 3 0 0 20 0 19 0 255273691 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139966033211664 139965888068632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965876447528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965875394728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965874342440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965873289640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965872237352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965535087272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965534034984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255273692 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965532982184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 26250 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 255273693 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965520783592 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965519729656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965518677256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965517625744 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 26250 0 -1 4202560 3180 0 0 0 38 0 0 0 20 0 19 0 255273696 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965516573368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 26250 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 255273696 9855975424 23369 33554432000 1073741824 1073778376 140736350674976 139965515520568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=31958/tid=31966] ppid=31956 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 26250 0 -1 4202560 292 0 0 0 57 3 0 0 20 0 19 0 255273692 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965535087272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 26250 0 -1 4202560 186 0 0 0 61 5 0 0 20 0 19 0 255273692 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965534034984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 26250 0 -1 4202560 127 0 0 0 58 4 0 0 20 0 19 0 255273692 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965532982184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=9624976 CPUtime=3.24 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 26250 0 -1 4202560 125 0 0 0 321 3 0 0 20 0 19 0 255273693 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965520783592 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965519729656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965518677256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965517625744 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 26250 0 -1 4202560 3210 0 0 0 40 0 0 0 20 0 19 0 255273696 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965516573368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 26250 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 255273696 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965515520568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965514468472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 26250 0 -1 4202560 94 0 0 0 35 30 0 0 20 0 19 0 255273696 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965513415880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31977] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31977/stat : 31977 (java) S 31956 31958 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255273724 9855975424 94142 33554432000 1073741824 1073778376 140736350674976 139965512328104 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1666.93
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/216 31993
/proc/meminfo: memFree=28797704/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9624976 CPUtime=1727.01 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 10895 0 1 0 172636 65 0 0 20 0 19 0 255273691 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2406244 94145 2276 9 0 2396937 0
[pid=31958/tid=31959] ppid=31956 vsize=9624976 CPUtime=1717.56 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2618 0 1 0 171724 32 0 0 20 0 19 0 255273691 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139966033211664 139965888027168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 26250 0 -1 4202560 352 0 0 0 55 3 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965876447528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 26250 0 -1 4202560 189 0 0 0 54 2 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965875394728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 26250 0 -1 4202560 232 0 0 0 66 4 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965874342440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 26250 0 -1 4202560 199 0 0 0 60 5 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965873289640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 26250 0 -1 4202560 159 0 0 0 53 4 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965872237352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 26250 0 -1 4202560 292 0 0 0 58 3 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965535087272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 26250 0 -1 4202560 186 0 0 0 62 5 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965534034984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 26250 0 -1 4202560 127 0 0 0 60 4 0 0 20 0 19 0 255273692 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965532982184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=9624976 CPUtime=3.31 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 26250 0 -1 4202560 127 0 0 0 328 3 0 0 20 0 19 0 255273693 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965520783592 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965519729656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965518677256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965517625744 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 26250 0 -1 4202560 3210 0 0 0 40 0 0 0 20 0 19 0 255273696 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965516573368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 26250 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 255273696 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965515520568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965514468472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 26250 0 -1 4202560 98 0 0 0 38 30 0 0 20 0 19 0 255273696 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965513415880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31977] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31977/stat : 31977 (java) S 31956 31958 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255273724 9855975424 94145 33554432000 1073741824 1073778376 140736350674976 139965512328104 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.01
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.92 1.99 1.99 3/216 32076
/proc/meminfo: memFree=28772456/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9624976 CPUtime=1787.3 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 10943 0 1 0 178663 67 0 0 20 0 19 0 255273691 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2406244 94688 2276 9 0 2396937 0
[pid=31958/tid=31959] ppid=31956 vsize=9624976 CPUtime=1777.35 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2622 0 1 0 177702 33 0 0 20 0 19 0 255273691 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139966033211664 139965888027427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 26250 0 -1 4202560 353 0 0 0 60 3 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965876447528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 26250 0 -1 4202560 203 0 0 0 61 3 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965875394728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 26250 0 -1 4202560 241 0 0 0 71 4 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965874342440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 26250 0 -1 4202560 200 0 0 0 64 5 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965873289640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 26250 0 -1 4202560 167 0 0 0 57 4 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965872237352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 26250 0 -1 4202560 292 0 0 0 64 3 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965535087272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 26250 0 -1 4202560 187 0 0 0 65 5 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965534034984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 26250 0 -1 4202560 127 0 0 0 64 4 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965532982184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=9624976 CPUtime=3.42 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 26250 0 -1 4202560 133 0 0 0 339 3 0 0 20 0 19 0 255273693 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965520783592 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965519729656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965518677256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965517625744 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 26250 0 -1 4202560 3210 0 0 0 40 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965516573368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 26250 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965515520568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965514468472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 26250 0 -1 4202560 102 0 0 0 39 32 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965513415880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31977] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31977/stat : 31977 (java) S 31956 31958 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255273724 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965512328104 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1787.3
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795 s]
/proc/loadavg: 1.94 1.99 1.99 3/216 32076
/proc/meminfo: memFree=28725780/32873844 swapFree=7364/7364
[pid=31958] ppid=31956 vsize=9624976 CPUtime=1800.01 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 26250 0 -1 4202496 10943 0 1 0 179934 67 0 0 20 0 19 0 255273691 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 140736350666112 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31958/statm: 2406244 94688 2276 9 0 2396937 0
[pid=31958/tid=31959] ppid=31956 vsize=9624976 CPUtime=1790.05 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 26250 0 -1 4202560 2622 0 1 0 178972 33 0 0 20 0 19 0 255273691 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139966033211664 139965888068361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 26250 0 -1 4202560 353 0 0 0 60 3 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965876447528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 26250 0 -1 4202560 203 0 0 0 61 3 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965875394728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 26250 0 -1 4202560 241 0 0 0 71 4 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965874342440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 26250 0 -1 4202560 200 0 0 0 64 5 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965873289640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 26250 0 -1 4202560 167 0 0 0 57 4 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965872237352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 26250 0 -1 4202560 292 0 0 0 64 3 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965535087272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 26250 0 -1 4202560 187 0 0 0 65 5 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965534034984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 26250 0 -1 4202560 127 0 0 0 64 4 0 0 20 0 19 0 255273692 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965532982184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=9624976 CPUtime=3.42 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 26250 0 -1 4202560 133 0 0 0 339 3 0 0 20 0 19 0 255273693 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965520783592 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965519729656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255273694 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965518677256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965517625744 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 26250 0 -1 4202560 3210 0 0 0 40 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965516573368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 26250 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965515520568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965514468472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 26250 0 -1 4202560 102 0 0 0 39 32 0 0 20 0 19 0 255273696 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965513415880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31958/tid=31977] ppid=31956 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31977/stat : 31977 (java) S 31956 31958 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255273724 9855975424 94688 33554432000 1073741824 1073778376 140736350674976 139965512328104 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1795.05
CPU time (s): 1800.62
CPU user time (s): 1799.49
CPU system time (s): 1.13283
CPU usage (%): 100.31
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 1.13283
maximum resident set size= 379048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11043
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40792
involuntary context switches= 10947

runsolver used 10.6084 second user time and 10.2454 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-24 22:31:29
IDJOB=3689515
IDBENCH=89875
IDSOLVER=2269
FILE ID=node133/3689515-1337891489
RUNJOBID= node133-1337889665-30876
PBS_JOBID= 14620071
Free space on /tmp= 71624 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689515-1337891489/watcher-3689515-1337891489 -o /tmp/evaluation-result-3689515-1337891489/solver-3689515-1337891489 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689515-1337891489.opb

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

MD5SUM BENCH= ca3efe2da0610ce6a80a42a3887418e6
RANDOM SEED=866836249

node133.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.540
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.08
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.540
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	: 5331.92
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.540
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	: 5331.92
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.540
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	: 5331.91
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.540
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	: 5331.91
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.540
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	: 5331.90
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.540
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	: 5331.91
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.540
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29255668 kB
Buffers:          229968 kB
Cached:          2536224 kB
SwapCached:            0 kB
Active:           495048 kB
Inactive:        2342272 kB
Active(anon):      73392 kB
Inactive(anon):        0 kB
Active(file):     421656 kB
Inactive(file):  2342272 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1084 kB
Writeback:             0 kB
AnonPages:         87876 kB
Mapped:            22628 kB
Shmem:               212 kB
Slab:             632072 kB
SReclaimable:      74156 kB
SUnreclaim:       557916 kB
KernelStack:        1616 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71620 MiB
End job on node133 at 2012-05-24 23:01:26