Trace number 3689589

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.01 1771.47

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.2.v20120418
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/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@431b9fb1
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 Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3689589-1337891693.opb
0.09/0.11	c reading problem ... 
0.55/0.37	c ... done. Wall clock time 0.263s.
0.55/0.37	c declared #vars     6120
0.55/0.37	c #constraints  6302
0.55/0.37	c constraints type 
0.55/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5053
0.55/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 90
0.55/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.55/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1157
0.55/0.37	c 6302 constraints processed.
1.78/1.18	c cleaning 2487 clauses out of 4993 with flag 5000/5000
3.05/1.99	c cleaning 4208 clauses out of 8503 with flag 11002/11002
4.06/2.96	c cleaning 5579 clauses out of 11294 with flag 18006/18006
5.17/4.04	c cleaning 6801 clauses out of 13705 with flag 26000/26000
6.42/5.21	c cleaning 7891 clauses out of 15899 with flag 35000/35000
7.73/6.59	c cleaning 8881 clauses out of 18007 with flag 45000/45000
9.14/7.99	c cleaning 9980 clauses out of 20126 with flag 56001/56001
10.86/9.62	c cleaning 10966 clauses out of 22145 with flag 68000/68000
12.68/11.41	c cleaning 11959 clauses out of 24180 with flag 81002/81002
14.71/13.43	c cleaning 12991 clauses out of 26220 with flag 95001/95001
16.75/15.47	c cleaning 14040 clauses out of 28230 with flag 110003/110003
19.07/17.78	c cleaning 14972 clauses out of 30187 with flag 126000/126000
21.59/20.27	c cleaning 16092 clauses out of 32214 with flag 143000/143000
24.21/22.89	c cleaning 16883 clauses out of 34122 with flag 161000/161000
27.14/25.71	c cleaning 17885 clauses out of 36239 with flag 180000/180000
30.50/29.03	c cleaning 19041 clauses out of 38353 with flag 200000/200000
33.62/32.15	c cleaning 20008 clauses out of 40312 with flag 221000/221000
36.94/35.48	c cleaning 21009 clauses out of 42304 with flag 243000/243000
41.17/39.67	c cleaning 21814 clauses out of 44296 with flag 266001/266001
45.19/43.65	c cleaning 23137 clauses out of 46482 with flag 290001/290001
49.21/47.61	c cleaning 23929 clauses out of 48344 with flag 315000/315000
53.43/51.87	c cleaning 24884 clauses out of 50415 with flag 341000/341000
58.47/56.86	c cleaning 25807 clauses out of 52532 with flag 368001/368001
62.83/61.18	c cleaning 27161 clauses out of 54726 with flag 396003/396003
68.36/66.61	c cleaning 27930 clauses out of 56561 with flag 425000/425000
73.40/71.61	c cleaning 29071 clauses out of 58630 with flag 455000/455000
79.52/77.77	c cleaning 30122 clauses out of 60559 with flag 486000/486000
84.45/82.61	c cleaning 31083 clauses out of 62437 with flag 518000/518000
91.08/89.25	c cleaning 32004 clauses out of 64353 with flag 551000/551000
98.97/97.09	c cleaning 32847 clauses out of 66349 with flag 585000/585000
106.03/104.05	c cleaning 34132 clauses out of 68502 with flag 620000/620000
113.37/111.33	c cleaning 34967 clauses out of 70373 with flag 656003/656003
119.75/117.68	c cleaning 35932 clauses out of 72404 with flag 693001/693001
126.66/124.56	c cleaning 36963 clauses out of 74471 with flag 731000/731000
134.40/132.29	c cleaning 38048 clauses out of 76508 with flag 770000/770000
142.87/140.63	c cleaning 39015 clauses out of 78460 with flag 810000/810000
150.82/148.58	c cleaning 39962 clauses out of 80449 with flag 851004/851004
158.16/155.90	c cleaning 40998 clauses out of 82483 with flag 893000/893000
167.68/165.35	c cleaning 41786 clauses out of 84486 with flag 936001/936001
178.58/176.10	c cleaning 43136 clauses out of 86699 with flag 980000/980000
188.40/185.89	c cleaning 43394 clauses out of 88566 with flag 1025003/1025003
197.05/194.48	c cleaning 44506 clauses out of 91172 with flag 1071003/1071003
210.49/207.82	c cleaning 45121 clauses out of 93663 with flag 1118001/1118001
223.27/220.55	c cleaning 46893 clauses out of 96541 with flag 1166000/1166000
238.19/235.21	c cleaning 47570 clauses out of 98648 with flag 1215000/1215000
257.05/253.93	c cleaning 48898 clauses out of 101079 with flag 1265001/1265001
272.51/269.34	c cleaning 50114 clauses out of 103184 with flag 1316004/1316004
288.69/285.39	c cleaning 50844 clauses out of 105066 with flag 1368000/1368000
302.82/299.49	c cleaning 51874 clauses out of 107223 with flag 1421001/1421001
314.70/311.29	c cleaning 52521 clauses out of 109348 with flag 1475000/1475000
329.93/326.31	c cleaning 52560 clauses out of 111828 with flag 1530001/1530001
346.88/342.73	c cleaning 54771 clauses out of 115269 with flag 1586002/1586002
366.17/361.66	c cleaning 55945 clauses out of 117496 with flag 1643000/1643000
387.97/383.11	c cleaning 56744 clauses out of 119551 with flag 1701000/1701000
401.55/396.46	c cleaning 57726 clauses out of 121808 with flag 1760001/1760001
425.01/419.45	c cleaning 59127 clauses out of 124084 with flag 1820003/1820003
459.21/453.06	c cleaning 60248 clauses out of 125955 with flag 1881001/1881001
481.97/475.39	c cleaning 60742 clauses out of 127706 with flag 1943000/1943000
507.36/500.34	c cleaning 62039 clauses out of 129964 with flag 2006000/2006000
534.69/527.17	c cleaning 62625 clauses out of 131926 with flag 2070001/2070001
554.83/546.97	c cleaning 63462 clauses out of 134303 with flag 2135003/2135003
571.41/563.16	c cleaning 64535 clauses out of 136838 with flag 2201000/2201000
589.50/580.89	c cleaning 65437 clauses out of 139304 with flag 2268001/2268001
606.73/597.66	c cleaning 66014 clauses out of 141866 with flag 2336000/2336000
630.82/621.20	c cleaning 67256 clauses out of 144852 with flag 2405000/2405000
655.07/645.08	c cleaning 68884 clauses out of 147597 with flag 2475001/2475001
681.66/671.26	c cleaning 69997 clauses out of 149714 with flag 2546002/2546002
709.27/698.20	c cleaning 70986 clauses out of 151717 with flag 2618002/2618002
734.04/722.54	c cleaning 72005 clauses out of 153728 with flag 2691000/2691000
762.07/750.17	c cleaning 72491 clauses out of 155723 with flag 2765000/2765000
803.03/790.32	c cleaning 74323 clauses out of 158232 with flag 2840000/2840000
829.31/816.13	c cleaning 74790 clauses out of 159912 with flag 2916003/2916003
863.55/849.74	c cleaning 76006 clauses out of 162120 with flag 2993001/2993001
902.03/887.50	c cleaning 77220 clauses out of 164115 with flag 3071002/3071002
939.92/924.84	c cleaning 78241 clauses out of 165894 with flag 3150001/3150001
976.32/960.59	c cleaning 79022 clauses out of 167654 with flag 3230002/3230002
999.72/983.47	c cleaning 79371 clauses out of 169630 with flag 3311000/3311000
1021.69/1004.86	c cleaning 80185 clauses out of 172260 with flag 3393001/3393001
1048.84/1031.45	c cleaning 81818 clauses out of 175075 with flag 3476001/3476001
1080.49/1062.58	c cleaning 83092 clauses out of 177256 with flag 3560000/3560000
1126.72/1107.92	c cleaning 84157 clauses out of 179166 with flag 3645002/3645002
1163.71/1144.16	c cleaning 85456 clauses out of 181006 with flag 3731000/3731000
1198.02/1177.82	c cleaning 85495 clauses out of 182551 with flag 3818001/3818001
1246.34/1225.59	c cleaning 87166 clauses out of 185055 with flag 3906000/3906000
1282.69/1261.40	c cleaning 88256 clauses out of 186889 with flag 3995000/3995000
1330.21/1308.28	c cleaning 89306 clauses out of 188633 with flag 4085000/4085000
1376.05/1353.54	c cleaning 90493 clauses out of 190328 with flag 4176001/4176001
1426.19/1402.92	c cleaning 91530 clauses out of 191834 with flag 4268000/4268000
1455.79/1432.20	c cleaning 91537 clauses out of 193303 with flag 4361000/4361000
1490.98/1466.87	c cleaning 92703 clauses out of 195772 with flag 4455006/4455006
1529.66/1505.02	c cleaning 93943 clauses out of 198064 with flag 4550003/4550003
1577.21/1551.96	c cleaning 94877 clauses out of 200120 with flag 4646002/4646002
1630.91/1604.97	c cleaning 96037 clauses out of 202241 with flag 4743000/4743000
1709.88/1682.60	c cleaning 97556 clauses out of 204204 with flag 4841000/4841000
1778.72/1750.46	c cleaning 98849 clauses out of 205648 with flag 4940000/4940000
1800.01/1771.41	c starts		: 262
1800.01/1771.41	c conflicts		: 4993973
1800.01/1771.41	c decisions		: 29989223
1800.01/1771.41	c propagations		: 1621430966
1800.01/1771.41	c inspects		: 11281093733
1800.01/1771.41	c shortcuts		: 0
1800.01/1771.41	c learnt literals	: 42
1800.01/1771.41	c learnt binary clauses	: 91234
1800.01/1771.41	c learnt ternary clauses	: 116237
1800.01/1771.41	c learnt constraints	: 4993931
1800.01/1771.41	c ignored constraints	: 0
1800.01/1771.41	c root simplifications	: 0
1800.01/1771.41	c removed literals (reason simplification)	: 0
1800.01/1771.41	c reason swapping (by a shorter reason)	: 0
1800.01/1771.41	c Calls to reduceDB	: 95
1800.01/1771.41	c number of reductions to clauses (during analyze)	: 0
1800.01/1771.41	c number of learned constraints concerned by reduction	: 0
1800.01/1771.41	c number of learning phase by resolution	: 0
1800.01/1771.41	c number of learning phase by cutting planes	: 0
1800.01/1771.41	c speed (assignments/second)	: 915533.2237169006
1800.01/1771.41	c non guided choices	7013
1800.01/1771.46	c learnt constraints type 
1800.01/1771.46	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 91239
1800.01/1771.46	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 69791
1800.01/1771.46	c constraints type 
1800.01/1771.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5053
1800.01/1771.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 90
1800.01/1771.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1800.01/1771.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1157
1800.01/1771.46	c 6302 constraints processed.
1800.01/1771.46	s UNKNOWN
1800.01/1771.46	c Total wall clock time (in seconds): 1771.347

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-3689589-1337891693/watcher-3689589-1337891693 -o /tmp/evaluation-result-3689589-1337891693/solver-3689589-1337891693 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689589-1337891693.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.92 1.99 2.11 3/194 29995
/proc/meminfo: memFree=28566512/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29995/stat : 29995 (java) D 29993 29995 24080 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255293671 9515008 182 33554432000 1073741824 1073778376 140734119697184 140734119688216 209883840181 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29995/statm: 2323 182 140 9 0 71 0

[startup+0.051026 s]
/proc/loadavg: 1.92 1.99 2.11 3/194 29995
/proc/meminfo: memFree=28566512/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 3055 0 1 0 2 0 0 0 20 0 13 0 255293671 9446973440 3753 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2306390 3753 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100292 s]
/proc/loadavg: 1.92 1.99 2.11 3/194 29995
/proc/meminfo: memFree=28566512/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 4279 0 1 0 8 1 0 0 20 0 18 0 255293671 9787813888 5476 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2389603 5476 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300157 s]
/proc/loadavg: 1.92 1.99 2.11 3/194 29995
/proc/meminfo: memFree=28566512/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9558412 CPUtime=0.55 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 7766 0 1 0 54 1 0 0 20 0 18 0 255293671 9787813888 10062 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2389603 10062 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412

[startup+0.70026 s]
/proc/loadavg: 1.92 1.99 2.11 3/194 29995
/proc/meminfo: memFree=28566512/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9624976 CPUtime=1.35 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 8460 0 1 0 134 1 0 0 20 0 19 0 255293671 9855975424 15089 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2406244 15089 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 1.92 1.99 2.11 4/213 30014
/proc/meminfo: memFree=28512840/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9624976 CPUtime=2.5 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 14763 0 1 0 247 3 0 0 20 0 19 0 255293671 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2406244 22878 2275 9 0 2396937 0
[pid=29995/tid=29997] ppid=29993 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/29995/task/29997/stat : 29997 (java) R 29993 29995 24080 0 -1 4202560 2466 0 1 0 143 2 0 0 20 0 19 0 255293672 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809521562008 139809390286527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=29998] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809510623912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809509571368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809508518824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 24080 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809361968168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 24080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809360914600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809359862056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809358809512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30005] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30005/stat : 30005 (java) S 29993 29995 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809357756968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30006] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30006/stat : 30006 (java) S 29993 29995 24080 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809345559144 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30007] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30007/stat : 30007 (java) S 29993 29995 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809344505464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30008] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30008/stat : 30008 (java) S 29993 29995 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809343452808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30009] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30009/stat : 30009 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809342401552 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30010] ppid=29993 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/29995/task/30010/stat : 30010 (java) S 29993 29995 24080 0 -1 4202560 2839 0 0 0 41 0 0 0 20 0 19 0 255293677 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809341347896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30011] ppid=29993 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29995/task/30011/stat : 30011 (java) R 29993 29995 24080 0 -1 4202560 8215 0 0 0 58 1 0 0 20 0 19 0 255293677 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809340282376 139809525679643 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30012] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30012/stat : 30012 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809339243000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30013] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30013/stat : 30013 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809338190664 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30014] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30014/stat : 30014 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293710 9855975424 22878 33554432000 1073741824 1073778376 140735606591808 139809337136424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9624976

[startup+3.10071 s]
/proc/loadavg: 1.92 1.99 2.11 3/213 30014
/proc/meminfo: memFree=28479212/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9624976 CPUtime=4.27 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 15292 0 1 0 423 4 0 0 20 0 19 0 255293671 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2406244 24480 2275 9 0 2396937 0
[pid=29995/tid=29997] ppid=29993 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/29995/task/29997/stat : 29997 (java) R 29993 29995 24080 0 -1 4202560 2467 0 1 0 299 2 0 0 20 0 19 0 255293672 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809521561888 139809390230950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=29998] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809510623912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809509571368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809508518824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809361968168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 24080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809360914600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809359862056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809358809512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30005] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30005/stat : 30005 (java) S 29993 29995 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809357756968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30006] ppid=29993 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/29995/task/30006/stat : 30006 (java) S 29993 29995 24080 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255293675 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809345559144 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30007] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30007/stat : 30007 (java) S 29993 29995 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809344505464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30008] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30008/stat : 30008 (java) S 29993 29995 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809343452808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30009] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30009/stat : 30009 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809342401552 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30010] ppid=29993 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29995/task/30010/stat : 30010 (java) S 29993 29995 24080 0 -1 4202560 2840 0 0 0 43 0 0 0 20 0 19 0 255293677 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809341347896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30011] ppid=29993 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/29995/task/30011/stat : 30011 (java) S 29993 29995 24080 0 -1 4202560 8729 0 0 0 71 2 0 0 20 0 19 0 255293677 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809340295352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30012] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30012/stat : 30012 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809339243000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30013] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30013/stat : 30013 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809338190664 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30014] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30014/stat : 30014 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293710 9855975424 24480 33554432000 1073741824 1073778376 140735606591808 139809337136424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9624976

[startup+6.30051 s]
/proc/loadavg: 1.93 1.99 2.10 3/213 30014
/proc/meminfo: memFree=28473068/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9624976 CPUtime=7.53 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 15402 0 1 0 749 4 0 0 20 0 19 0 255293671 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2406244 25381 2275 9 0 2396937 0
[pid=29995/tid=29997] ppid=29993 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/29995/task/29997/stat : 29997 (java) R 29993 29995 24080 0 -1 4202560 2468 0 1 0 613 2 0 0 20 0 19 0 255293672 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809521562120 139809390215877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=29998] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 24080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809510623912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809509571368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809508518824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 24080 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809361968168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809360914600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809359862056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809358809512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30005] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30005/stat : 30005 (java) S 29993 29995 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255293673 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809357756968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30006] ppid=29993 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/29995/task/30006/stat : 30006 (java) S 29993 29995 24080 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 255293675 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809345559144 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30007] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30007/stat : 30007 (java) S 29993 29995 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809344505464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30008] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30008/stat : 30008 (java) S 29993 29995 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809343452808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30009] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30009/stat : 30009 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809342401552 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30010] ppid=29993 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/29995/task/30010/stat : 30010 (java) S 29993 29995 24080 0 -1 4202560 2932 0 0 0 47 0 0 0 20 0 19 0 255293677 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809341347896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30011] ppid=29993 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/29995/task/30011/stat : 30011 (java) S 29993 29995 24080 0 -1 4202560 8737 0 0 0 71 2 0 0 20 0 19 0 255293677 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809340295352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30012] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30012/stat : 30012 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809339243000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30013] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30013/stat : 30013 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809338190664 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30014] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30014/stat : 30014 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293710 9855975424 25381 33554432000 1073741824 1073778376 140735606591808 139809337136424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=29995/tid=30010] ppid=29993 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/29995/task/30010/stat : 30010 (java) S 29993 29995 24080 0 -1 4202560 2932 0 0 0 47 0 0 0 20 0 19 0 255293677 9855975424 164727 33554432000 1073741824 1073778376 140735606591808 139809341347896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30011] ppid=29993 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/29995/task/30011/stat : 30011 (java) S 29993 29995 24080 0 -1 4202560 8747 0 0 0 72 2 0 0 20 0 19 0 255293677 9855975424 164727 33554432000 1073741824 1073778376 140735606591808 139809340295352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30012] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30012/stat : 30012 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 164727 33554432000 1073741824 1073778376 140735606591808 139809339243000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30013] ppid=29993 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/29995/task/30013/stat : 30013 (java) S 29993 29995 24080 0 -1 4202560 93 0 0 0 22 24 0 0 20 0 19 0 255293677 9855975424 164727 33554432000 1073741824 1073778376 140735606591808 139809338190664 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30014] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30014/stat : 30014 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293710 9855975424 164727 33554432000 1073741824 1073778376 140735606591808 139809337136424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1628.2
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.07 3/213 30168
/proc/meminfo: memFree=27273536/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9624976 CPUtime=1689.06 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 34941 0 1 0 168785 121 0 0 20 0 19 0 255293671 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2406244 165476 2276 9 0 2396937 0
[pid=29995/tid=29997] ppid=29993 vsize=9624976 CPUtime=1643.45 cores=0,2,4,6
/proc/29995/task/29997/stat : 29997 (java) R 29993 29995 24080 0 -1 4202560 3054 0 1 0 164316 29 0 0 20 0 19 0 255293672 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809521560944 139809390165539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=29998] ppid=29993 vsize=9624976 CPUtime=4.28 cores=0,2,4,6
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 24080 0 -1 4202560 2346 0 0 0 419 9 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809510623912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=9624976 CPUtime=4.41 cores=0,2,4,6
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 24080 0 -1 4202560 2248 0 0 0 430 11 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809509571368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=9624976 CPUtime=4.53 cores=0,2,4,6
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 24080 0 -1 4202560 2681 0 0 0 442 11 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809508518824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=9624976 CPUtime=4.54 cores=0,2,4,6
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 24080 0 -1 4202560 2206 0 0 0 442 12 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809361968168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=9624976 CPUtime=4.46 cores=0,2,4,6
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 24080 0 -1 4202560 2436 0 0 0 435 11 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809360914600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=9624976 CPUtime=4.4 cores=0,2,4,6
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 24080 0 -1 4202560 2075 0 0 0 427 13 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809359862056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=9624976 CPUtime=4.62 cores=0,2,4,6
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 24080 0 -1 4202560 1871 0 0 0 452 10 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809358809512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30005] ppid=29993 vsize=9624976 CPUtime=4.37 cores=0,2,4,6
/proc/29995/task/30005/stat : 30005 (java) S 29993 29995 24080 0 -1 4202560 2292 0 0 0 426 11 0 0 20 0 19 0 255293673 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809357756968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30006] ppid=29993 vsize=9624976 CPUtime=4.23 cores=0,2,4,6
/proc/29995/task/30006/stat : 30006 (java) S 29993 29995 24080 0 -1 4202560 778 0 0 0 418 5 0 0 20 0 19 0 255293675 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809345559144 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30007] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30007/stat : 30007 (java) S 29993 29995 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809344505464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30008] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30008/stat : 30008 (java) S 29993 29995 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809343452808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30009] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30009/stat : 30009 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809342401552 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30010] ppid=29993 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/29995/task/30010/stat : 30010 (java) S 29993 29995 24080 0 -1 4202560 2932 0 0 0 47 0 0 0 20 0 19 0 255293677 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809341347896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30011] ppid=29993 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/29995/task/30011/stat : 30011 (java) S 29993 29995 24080 0 -1 4202560 8747 0 0 0 72 2 0 0 20 0 19 0 255293677 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809340295352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30012] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30012/stat : 30012 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809339243000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30013] ppid=29993 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/29995/task/30013/stat : 30013 (java) S 29993 29995 24080 0 -1 4202560 95 0 0 0 23 25 0 0 20 0 19 0 255293677 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809338190664 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30014] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30014/stat : 30014 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293710 9855975424 165476 33554432000 1073741824 1073778376 140735606591808 139809337136424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1689.06
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/213 30168
/proc/meminfo: memFree=27332396/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9624976 CPUtime=1750.37 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 35587 0 1 0 174900 137 0 0 20 0 19 0 255293671 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2406244 165693 2276 9 0 2396937 0
[pid=29995/tid=29997] ppid=29993 vsize=9624976 CPUtime=1702.71 cores=0,2,4,6
/proc/29995/task/29997/stat : 29997 (java) R 29993 29995 24080 0 -1 4202560 3075 0 1 0 170241 30 0 0 20 0 19 0 255293672 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809521560960 139809390175766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=29998] ppid=29993 vsize=9624976 CPUtime=4.5 cores=0,2,4,6
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 24080 0 -1 4202560 2496 0 0 0 438 12 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809510623912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=9624976 CPUtime=4.62 cores=0,2,4,6
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 24080 0 -1 4202560 2394 0 0 0 450 12 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809509571368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=9624976 CPUtime=4.77 cores=0,2,4,6
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 24080 0 -1 4202560 2770 0 0 0 464 13 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809508518824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=9624976 CPUtime=4.75 cores=0,2,4,6
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 24080 0 -1 4202560 2231 0 0 0 462 13 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809361968168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=9624976 CPUtime=4.72 cores=0,2,4,6
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 24080 0 -1 4202560 2470 0 0 0 459 13 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809360914600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=9624976 CPUtime=4.59 cores=0,2,4,6
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 24080 0 -1 4202560 2108 0 0 0 444 15 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809359862056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=9624976 CPUtime=4.89 cores=0,2,4,6
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 24080 0 -1 4202560 1887 0 0 0 478 11 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809358809512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30005] ppid=29993 vsize=9624976 CPUtime=4.61 cores=0,2,4,6
/proc/29995/task/30005/stat : 30005 (java) S 29993 29995 24080 0 -1 4202560 2385 0 0 0 448 13 0 0 20 0 19 0 255293673 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809357756968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30006] ppid=29993 vsize=9624976 CPUtime=4.32 cores=0,2,4,6
/proc/29995/task/30006/stat : 30006 (java) S 29993 29995 24080 0 -1 4202560 813 0 0 0 426 6 0 0 20 0 19 0 255293675 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809345559144 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30007] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30007/stat : 30007 (java) S 29993 29995 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809344505464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30008] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30008/stat : 30008 (java) S 29993 29995 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809343452808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30009] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30009/stat : 30009 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809342401552 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30010] ppid=29993 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/29995/task/30010/stat : 30010 (java) S 29993 29995 24080 0 -1 4202560 2932 0 0 0 47 0 0 0 20 0 19 0 255293677 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809341347896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30011] ppid=29993 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/29995/task/30011/stat : 30011 (java) S 29993 29995 24080 0 -1 4202560 8747 0 0 0 72 2 0 0 20 0 19 0 255293677 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809340295352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30012] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30012/stat : 30012 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809339243000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30013] ppid=29993 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/29995/task/30013/stat : 30013 (java) S 29993 29995 24080 0 -1 4202560 99 0 0 0 24 26 0 0 20 0 19 0 255293677 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809338190664 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30014] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30014/stat : 30014 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293710 9855975424 165693 33554432000 1073741824 1073778376 140735606591808 139809337136424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1750.37
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.4 s]
/proc/loadavg: 2.01 2.04 2.06 3/213 30168
/proc/meminfo: memFree=27400764/32873844 swapFree=7616/7616
[pid=29995] ppid=29993 vsize=9624976 CPUtime=1800.01 cores=0,2,4,6
/proc/29995/stat : 29995 (java) S 29993 29995 24080 0 -1 4202496 35625 0 1 0 179861 140 0 0 20 0 19 0 255293671 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 140735606582944 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29995/statm: 2406244 162277 2276 9 0 2396937 0
[pid=29995/tid=29997] ppid=29993 vsize=9624976 CPUtime=1751.37 cores=0,2,4,6
/proc/29995/task/29997/stat : 29997 (java) R 29993 29995 24080 0 -1 4202560 3084 0 1 0 175106 31 0 0 20 0 19 0 255293672 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809521560960 139809390247023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=29998] ppid=29993 vsize=9624976 CPUtime=4.57 cores=0,2,4,6
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 24080 0 -1 4202560 2501 0 0 0 444 13 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809510623912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=9624976 CPUtime=4.74 cores=0,2,4,6
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 24080 0 -1 4202560 2395 0 0 0 462 12 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809509571368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=9624976 CPUtime=4.88 cores=0,2,4,6
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 24080 0 -1 4202560 2771 0 0 0 474 14 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809508518824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=9624976 CPUtime=4.85 cores=0,2,4,6
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 24080 0 -1 4202560 2233 0 0 0 472 13 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809361968168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=9624976 CPUtime=4.79 cores=0,2,4,6
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 24080 0 -1 4202560 2471 0 0 0 466 13 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809360914600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=9624976 CPUtime=4.68 cores=0,2,4,6
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 24080 0 -1 4202560 2115 0 0 0 453 15 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809359862056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=9624976 CPUtime=4.97 cores=0,2,4,6
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 24080 0 -1 4202560 1888 0 0 0 486 11 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809358809512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30005] ppid=29993 vsize=9624976 CPUtime=4.7 cores=0,2,4,6
/proc/29995/task/30005/stat : 30005 (java) S 29993 29995 24080 0 -1 4202560 2389 0 0 0 457 13 0 0 20 0 19 0 255293673 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809357756968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29995/tid=30006] ppid=29993 vsize=9624976 CPUtime=4.42 cores=0,2,4,6
/proc/29995/task/30006/stat : 30006 (java) S 29993 29995 24080 0 -1 4202560 818 0 0 0 436 6 0 0 20 0 19 0 255293675 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809345559144 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30007] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30007/stat : 30007 (java) S 29993 29995 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809344505464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30008] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30008/stat : 30008 (java) S 29993 29995 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255293675 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809343452808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30009] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30009/stat : 30009 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809342401552 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29995/tid=30010] ppid=29993 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/29995/task/30010/stat : 30010 (java) S 29993 29995 24080 0 -1 4202560 2932 0 0 0 47 0 0 0 20 0 19 0 255293677 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809341347896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29995/tid=30011] ppid=29993 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/29995/task/30011/stat : 30011 (java) S 29993 29995 24080 0 -1 4202560 8747 0 0 0 72 2 0 0 20 0 19 0 255293677 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809340295352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30012] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30012/stat : 30012 (java) S 29993 29995 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255293677 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809339243000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30013] ppid=29993 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/29995/task/30013/stat : 30013 (java) S 29993 29995 24080 0 -1 4202560 101 0 0 0 24 28 0 0 20 0 19 0 255293677 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809338190664 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29995/tid=30014] ppid=29993 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29995/task/30014/stat : 30014 (java) S 29993 29995 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255293710 9855975424 162277 33554432000 1073741824 1073778376 140735606591808 139809337136424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 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

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29995 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=237234
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=853718
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1771.47
CPU time (s): 1800.01
CPU user time (s): 1798.61
CPU system time (s): 1.4
CPU usage (%): 101.611
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 1.85372
maximum resident set size= 784192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35662
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= 55475
involuntary context switches= 71197

runsolver used 5.78112 second user time and 14.0419 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-24 22:34:53
IDJOB=3689589
IDBENCH=90110
IDSOLVER=2269
FILE ID=node141/3689589-1337891693
RUNJOBID= node141-1337889888-28799
PBS_JOBID= 14620063
Free space on /tmp= 71684 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689589-1337891693/watcher-3689589-1337891693 -o /tmp/evaluation-result-3689589-1337891693/solver-3689589-1337891693 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689589-1337891693.opb

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

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=1784835069

node141.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.744
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.48
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.744
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.91
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.744
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.93
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.744
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.92
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.744
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.92
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.744
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.91
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.744
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.92
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.744
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:        28567296 kB
Buffers:          230376 kB
Cached:          3090560 kB
SwapCached:            0 kB
Active:           608512 kB
Inactive:        2923880 kB
Active(anon):     213804 kB
Inactive(anon):        0 kB
Active(file):     394708 kB
Inactive(file):  2923880 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:        222712 kB
Mapped:            22532 kB
Shmem:               200 kB
Slab:             631248 kB
SReclaimable:      73512 kB
SUnreclaim:       557736 kB
KernelStack:        1608 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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= 71684 MiB
End job on node141 at 2012-05-24 23:04:27