Trace number 3689447

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.04 1795.25

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-70.opb
MD5SUM4f155d4f8b05885565510d4fbd89c993
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 variables12552
Total number of constraints283802
Number of constraints which are clauses254979
Number of constraints which are cardinality constraints (but not clauses)914
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint1
Maximum length of a constraint270
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3689447-1337890485.opb
0.09/0.12	c reading problem ... 
2.90/2.11	c ... done. Wall clock time 1.997s.
2.90/2.11	c declared #vars     12552
2.90/2.11	c #constraints  280926
2.90/2.11	c constraints type 
2.90/2.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 192016
2.90/2.11	c org.sat4j.minisat.constraints.card.MinWatchCard => 905
2.90/2.11	c ignored satisfied constraints => 3348
2.90/2.11	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59964
2.90/2.11	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
2.90/2.11	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.90/2.11	c 284274 constraints processed.
5.93/4.77	c cleaning 2471 clauses out of 4996 with flag 5000/5000
8.61/7.10	c cleaning 4238 clauses out of 8523 with flag 11002/11002
11.21/9.70	c cleaning 5616 clauses out of 11282 with flag 18000/18000
13.62/12.18	c cleaning 6695 clauses out of 13667 with flag 26001/26001
15.96/14.40	c cleaning 7925 clauses out of 15972 with flag 35001/35001
18.67/17.11	c cleaning 8930 clauses out of 18046 with flag 45000/45000
20.98/19.46	c cleaning 9998 clauses out of 20116 with flag 56000/56000
24.40/22.84	c cleaning 11004 clauses out of 22118 with flag 68000/68000
27.93/26.32	c cleaning 12000 clauses out of 24114 with flag 81000/81000
31.75/30.19	c cleaning 13016 clauses out of 26114 with flag 95000/95000
36.79/35.11	c cleaning 13839 clauses out of 28098 with flag 110000/110000
41.09/39.48	c cleaning 15081 clauses out of 30259 with flag 126000/126000
44.70/43.09	c cleaning 15996 clauses out of 32178 with flag 143000/143000
49.43/47.75	c cleaning 17071 clauses out of 34183 with flag 161001/161001
54.14/52.43	c cleaning 17977 clauses out of 36111 with flag 180000/180000
58.25/56.56	c cleaning 18985 clauses out of 38135 with flag 200001/200001
61.98/60.28	c cleaning 20024 clauses out of 40150 with flag 221001/221001
66.90/65.11	c cleaning 21047 clauses out of 42125 with flag 243000/243000
70.92/69.20	c cleaning 21958 clauses out of 44079 with flag 266001/266001
75.87/74.08	c cleaning 23018 clauses out of 46119 with flag 290000/290000
81.49/79.62	c cleaning 23906 clauses out of 48101 with flag 315000/315000
86.72/84.80	c cleaning 24960 clauses out of 50195 with flag 341000/341000
95.84/93.90	c cleaning 25992 clauses out of 52235 with flag 368000/368000
104.87/102.94	c cleaning 27100 clauses out of 54244 with flag 396001/396001
113.81/111.81	c cleaning 28036 clauses out of 56143 with flag 425000/425000
123.91/121.92	c cleaning 29016 clauses out of 58106 with flag 455000/455000
131.63/129.66	c cleaning 29872 clauses out of 60090 with flag 486000/486000
139.25/137.21	c cleaning 30907 clauses out of 62218 with flag 518000/518000
147.86/145.85	c cleaning 32027 clauses out of 64312 with flag 551001/551001
159.20/157.18	c cleaning 33046 clauses out of 66286 with flag 585002/585002
168.41/166.36	c cleaning 33961 clauses out of 68240 with flag 620004/620004
178.34/176.22	c cleaning 35058 clauses out of 70276 with flag 656001/656001
188.67/186.52	c cleaning 36049 clauses out of 72219 with flag 693002/693002
196.39/194.24	c cleaning 36880 clauses out of 74168 with flag 731000/731000
203.61/201.43	c cleaning 38087 clauses out of 76290 with flag 770002/770002
214.93/212.73	c cleaning 39016 clauses out of 78204 with flag 810003/810003
226.56/224.39	c cleaning 39979 clauses out of 80185 with flag 851000/851000
237.78/235.52	c cleaning 41066 clauses out of 82206 with flag 893000/893000
248.12/245.86	c cleaning 42027 clauses out of 84140 with flag 936000/936000
260.53/258.26	c cleaning 43001 clauses out of 86113 with flag 980000/980000
271.65/269.34	c cleaning 43896 clauses out of 88112 with flag 1025000/1025000
285.66/283.32	c cleaning 45082 clauses out of 90218 with flag 1071002/1071002
304.99/302.64	c cleaning 45959 clauses out of 92136 with flag 1118002/1118002
323.23/320.82	c cleaning 47033 clauses out of 94175 with flag 1166000/1166000
336.56/334.20	c cleaning 48055 clauses out of 96142 with flag 1215000/1215000
349.78/347.35	c cleaning 48958 clauses out of 98089 with flag 1265002/1265002
377.41/374.91	c cleaning 50043 clauses out of 100129 with flag 1316000/1316000
393.30/390.72	c cleaning 50931 clauses out of 102086 with flag 1368000/1368000
405.63/403.04	c cleaning 52017 clauses out of 104155 with flag 1421000/1421000
420.47/417.80	c cleaning 52911 clauses out of 106138 with flag 1475000/1475000
434.39/431.76	c cleaning 54059 clauses out of 108227 with flag 1530000/1530000
450.61/447.94	c cleaning 54974 clauses out of 110169 with flag 1586001/1586001
474.56/471.88	c cleaning 55829 clauses out of 112194 with flag 1643000/1643000
498.10/495.38	c cleaning 57095 clauses out of 114365 with flag 1701000/1701000
522.47/519.64	c cleaning 58075 clauses out of 116271 with flag 1760001/1760001
535.83/532.98	c cleaning 58885 clauses out of 118195 with flag 1820000/1820000
552.56/549.64	c cleaning 59984 clauses out of 120311 with flag 1881001/1881001
569.18/566.22	c cleaning 60758 clauses out of 122327 with flag 1943001/1943001
585.03/582.09	c cleaning 62268 clauses out of 124568 with flag 2006000/2006000
607.97/604.98	c cleaning 63092 clauses out of 126301 with flag 2070001/2070001
629.28/626.21	c cleaning 63969 clauses out of 128209 with flag 2135001/2135001
649.41/646.33	c cleaning 65034 clauses out of 130239 with flag 2201000/2201000
670.46/667.35	c cleaning 65865 clauses out of 132205 with flag 2268000/2268000
691.18/688.00	c cleaning 66832 clauses out of 134341 with flag 2336001/2336001
716.02/712.88	c cleaning 68152 clauses out of 136510 with flag 2405002/2405002
735.75/732.55	c cleaning 68825 clauses out of 138356 with flag 2475000/2475000
759.56/756.37	c cleaning 69760 clauses out of 140531 with flag 2546000/2546000
792.69/789.41	c cleaning 71329 clauses out of 142771 with flag 2618000/2618000
824.03/820.70	c cleaning 72047 clauses out of 144442 with flag 2691000/2691000
844.77/841.46	c cleaning 72886 clauses out of 146396 with flag 2765001/2765001
875.73/872.33	c cleaning 73915 clauses out of 148509 with flag 2840000/2840000
905.09/901.69	c cleaning 75003 clauses out of 150594 with flag 2916000/2916000
936.03/932.55	c cleaning 76264 clauses out of 152591 with flag 2993000/2993000
959.14/955.67	c cleaning 76877 clauses out of 154327 with flag 3071000/3071000
985.09/981.50	c cleaning 78143 clauses out of 156452 with flag 3150002/3150002
1011.42/1007.80	c cleaning 79043 clauses out of 158308 with flag 3230001/3230001
1034.76/1031.19	c cleaning 79947 clauses out of 160264 with flag 3311000/3311000
1069.92/1066.20	c cleaning 80956 clauses out of 162318 with flag 3393001/3393001
1092.07/1088.38	c cleaning 82103 clauses out of 164361 with flag 3476000/3476000
1116.09/1112.31	c cleaning 82909 clauses out of 166258 with flag 3560000/3560000
1140.41/1136.65	c cleaning 84083 clauses out of 168350 with flag 3645001/3645001
1172.63/1168.85	c cleaning 85001 clauses out of 170266 with flag 3731000/3731000
1203.50/1199.60	c cleaning 85933 clauses out of 172265 with flag 3818000/3818000
1236.93/1233.02	c cleaning 87056 clauses out of 174333 with flag 3906001/3906001
1303.35/1299.40	c cleaning 88047 clauses out of 176277 with flag 3995001/3995001
1336.47/1332.43	c cleaning 89009 clauses out of 178229 with flag 4085000/4085000
1375.19/1371.12	c cleaning 89944 clauses out of 180221 with flag 4176001/4176001
1405.64/1401.56	c cleaning 91072 clauses out of 182277 with flag 4268001/4268001
1444.68/1440.54	c cleaning 91887 clauses out of 184204 with flag 4361000/4361000
1490.25/1486.06	c cleaning 92925 clauses out of 186317 with flag 4455000/4455000
1524.04/1519.74	c cleaning 94074 clauses out of 188392 with flag 4550000/4550000
1557.47/1553.19	c cleaning 95000 clauses out of 190318 with flag 4646000/4646000
1590.40/1586.10	c cleaning 95813 clauses out of 192318 with flag 4743000/4743000
1632.85/1628.42	c cleaning 97150 clauses out of 194505 with flag 4841000/4841000
1673.20/1668.74	c cleaning 98087 clauses out of 196356 with flag 4940001/4940001
1712.05/1707.52	c cleaning 99076 clauses out of 198268 with flag 5040000/5040000
1752.37/1747.70	c cleaning 100042 clauses out of 200193 with flag 5141001/5141001
1787.92/1783.26	c cleaning 100965 clauses out of 202150 with flag 5243000/5243000
1800.04/1795.22	c starts		: 274
1800.04/1795.22	c conflicts		: 5283531
1800.04/1795.22	c decisions		: 30523863
1800.04/1795.22	c propagations		: 1583927705
1800.04/1795.22	c inspects		: 21028131812
1800.04/1795.22	c shortcuts		: 0
1800.04/1795.22	c learnt literals	: 13
1800.04/1795.22	c learnt binary clauses	: 911
1800.04/1795.22	c learnt ternary clauses	: 4351
1800.04/1795.22	c learnt constraints	: 5283518
1800.04/1795.22	c ignored constraints	: 0
1800.04/1795.22	c root simplifications	: 0
1800.04/1795.22	c removed literals (reason simplification)	: 0
1800.04/1795.22	c reason swapping (by a shorter reason)	: 0
1800.04/1795.22	c Calls to reduceDB	: 98
1800.04/1795.22	c number of reductions to clauses (during analyze)	: 0
1800.04/1795.22	c number of learned constraints concerned by reduction	: 0
1800.04/1795.22	c number of learning phase by resolution	: 0
1800.04/1795.22	c number of learning phase by cutting planes	: 0
1800.04/1795.22	c speed (assignments/second)	: 883353.5615991433
1800.04/1795.22	c non guided choices	1222442
1800.04/1795.24	c learnt constraints type 
1800.04/1795.24	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 911
1800.04/1795.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140905
1800.04/1795.24	c constraints type 
1800.04/1795.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 192016
1800.04/1795.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 905
1800.04/1795.24	c ignored satisfied constraints => 3348
1800.04/1795.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59964
1800.04/1795.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
1800.04/1795.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
1800.04/1795.24	c 284274 constraints processed.
1800.04/1795.24	s UNKNOWN
1800.04/1795.24	c Total wall clock time (in seconds): 1795.128

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-3689447-1337890485/watcher-3689447-1337890485 -o /tmp/evaluation-result-3689447-1337890485/solver-3689447-1337890485 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689447-1337890485.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: 2.08 2.07 2.71 3/194 23512
/proc/meminfo: memFree=25908180/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/23512/stat : 23512 (java) D 23510 23512 18255 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 255174018 9515008 176 33554432000 1073741824 1073778376 140737322714432 140737322697160 239873115024 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23512/statm: 2323 176 133 9 0 71 0

[startup+0.0173399 s]
/proc/loadavg: 2.08 2.07 2.71 3/194 23512
/proc/meminfo: memFree=25908180/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 2 0 255174018 103964672 1050 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 25382 1051 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100241 s]
/proc/loadavg: 2.08 2.07 2.71 3/194 23512
/proc/meminfo: memFree=25908180/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 4261 0 1 0 8 1 0 0 20 0 18 0 255174018 9787813888 5459 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2389603 5459 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300217 s]
/proc/loadavg: 2.08 2.07 2.71 3/194 23512
/proc/meminfo: memFree=25908180/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 5480 0 1 0 44 2 0 0 20 0 18 0 255174018 9787813888 8300 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2389603 8302 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700232 s]
/proc/loadavg: 2.08 2.07 2.71 3/194 23512
/proc/meminfo: memFree=25908180/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9558412 CPUtime=1.16 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 7021 0 1 0 111 5 0 0 20 0 18 0 255174018 9787813888 40079 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2389603 40079 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558412

[startup+1.50067 s]
/proc/loadavg: 1.99 2.05 2.70 5/212 23530
/proc/meminfo: memFree=25745860/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9558412 CPUtime=2.18 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 8758 0 1 0 208 10 0 0 20 0 18 0 255174018 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2389603 78262 2247 9 0 2380296 0
[pid=23512/tid=23514] ppid=23510 vsize=9558412 CPUtime=1.41 cores=0,2,4,6
/proc/23512/task/23514/stat : 23514 (java) R 23510 23512 18255 0 -1 4202560 2578 0 1 0 136 5 0 0 20 0 18 0 255174019 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333501119864 140333373860186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23515] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23515/stat : 23515 (java) S 23510 23512 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333345049640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23516] ppid=23510 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/23512/task/23516/stat : 23516 (java) S 23510 23512 18255 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333343996840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23517] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23517/stat : 23517 (java) S 23510 23512 18255 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333342944040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23518] ppid=23510 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/23512/task/23518/stat : 23518 (java) S 23510 23512 18255 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333341891240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23519] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23519/stat : 23519 (java) S 23510 23512 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333340838440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23520] ppid=23510 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/23512/task/23520/stat : 23520 (java) S 23510 23512 18255 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333339785640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23521] ppid=23510 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/23512/task/23521/stat : 23521 (java) S 23510 23512 18255 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333338732840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23522] ppid=23510 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/23512/task/23522/stat : 23522 (java) S 23510 23512 18255 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 255174020 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333337680040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23523] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23523/stat : 23523 (java) S 23510 23512 18255 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 255174021 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333325269992 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23524] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23524/stat : 23524 (java) S 23510 23512 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255174022 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333324216056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23525] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23525/stat : 23525 (java) S 23510 23512 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255174022 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333323163144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23526] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23526/stat : 23526 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255174024 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333322111632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23527] ppid=23510 vsize=9558412 CPUtime=0.26 cores=0,2,4,6
/proc/23512/task/23527/stat : 23527 (java) S 23510 23512 18255 0 -1 4202560 2417 0 0 0 26 0 0 0 20 0 18 0 255174024 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333321058744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23528] ppid=23510 vsize=9558412 CPUtime=0.29 cores=0,2,4,6
/proc/23512/task/23528/stat : 23528 (java) R 23510 23512 18255 0 -1 4202560 2313 0 0 0 29 0 0 0 20 0 18 0 255174024 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333320005944 140333508838067 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23529] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23529/stat : 23529 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255174024 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333318953336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23530] ppid=23510 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23530/stat : 23530 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255174024 9787813888 78262 33554432000 1073741824 1073778376 140736443592544 140333317900744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9558412

[startup+3.10068 s]
/proc/loadavg: 1.99 2.05 2.70 3/212 23530
/proc/meminfo: memFree=25575632/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9624976 CPUtime=4.31 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 10422 0 1 0 417 14 0 0 20 0 19 0 255174018 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2406244 85024 2264 9 0 2396937 0
[pid=23512/tid=23514] ppid=23510 vsize=9624976 CPUtime=2.98 cores=0,2,4,6
/proc/23512/task/23514/stat : 23514 (java) R 23510 23512 18255 0 -1 4202560 2592 0 1 0 293 5 0 0 20 0 19 0 255174019 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333501120712 140333374152860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23515] ppid=23510 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23512/task/23515/stat : 23515 (java) S 23510 23512 18255 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333345049640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23516] ppid=23510 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23512/task/23516/stat : 23516 (java) S 23510 23512 18255 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333343996840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23517] ppid=23510 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23512/task/23517/stat : 23517 (java) S 23510 23512 18255 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333342944040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23518] ppid=23510 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23512/task/23518/stat : 23518 (java) S 23510 23512 18255 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333341891240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23519] ppid=23510 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23512/task/23519/stat : 23519 (java) S 23510 23512 18255 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333340838440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23520] ppid=23510 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23512/task/23520/stat : 23520 (java) S 23510 23512 18255 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333339785640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23521] ppid=23510 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23512/task/23521/stat : 23521 (java) S 23510 23512 18255 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333338732840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23522] ppid=23510 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23512/task/23522/stat : 23522 (java) S 23510 23512 18255 0 -1 4202560 33 0 0 0 2 2 0 0 20 0 19 0 255174020 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333337680040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23523] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23523/stat : 23523 (java) S 23510 23512 18255 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 255174021 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333325269992 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23524] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23524/stat : 23524 (java) S 23510 23512 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333324216056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23525] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23525/stat : 23525 (java) S 23510 23512 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333323163144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23526] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23526/stat : 23526 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333322111632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23527] ppid=23510 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/23512/task/23527/stat : 23527 (java) S 23510 23512 18255 0 -1 4202560 3066 0 0 0 47 0 0 0 20 0 19 0 255174024 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333321058744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23528] ppid=23510 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/23512/task/23528/stat : 23528 (java) S 23510 23512 18255 0 -1 4202560 3208 0 0 0 51 0 0 0 20 0 19 0 255174024 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333320005944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23529] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23529/stat : 23529 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333318953336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23530] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23530/stat : 23530 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 85024 33554432000 1073741824 1073778376 140736443592544 140333317900744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 1.99 2.05 2.70 3/213 23531
/proc/meminfo: memFree=25527652/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9624976 CPUtime=7.77 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 12207 0 1 0 758 19 0 0 20 0 19 0 255174018 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2406244 96630 2281 9 0 2396937 0
[pid=23512/tid=23514] ppid=23510 vsize=9624976 CPUtime=6.03 cores=0,2,4,6
/proc/23512/task/23514/stat : 23514 (java) R 23510 23512 18255 0 -1 4202560 2594 0 1 0 598 5 0 0 20 0 19 0 255174019 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333501119144 140333374303275 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23515] ppid=23510 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23512/task/23515/stat : 23515 (java) S 23510 23512 18255 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333345049640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23516] ppid=23510 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23512/task/23516/stat : 23516 (java) S 23510 23512 18255 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333343996840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23517] ppid=23510 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23512/task/23517/stat : 23517 (java) S 23510 23512 18255 0 -1 4202560 36 0 0 0 2 2 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333342944040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23518] ppid=23510 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23512/task/23518/stat : 23518 (java) S 23510 23512 18255 0 -1 4202560 43 0 0 0 2 1 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333341891240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23519] ppid=23510 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23512/task/23519/stat : 23519 (java) S 23510 23512 18255 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333340838440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23520] ppid=23510 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/23512/task/23520/stat : 23520 (java) S 23510 23512 18255 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333339785640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23521] ppid=23510 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23512/task/23521/stat : 23521 (java) S 23510 23512 18255 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333338732840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23522] ppid=23510 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/23512/task/23522/stat : 23522 (java) S 23510 23512 18255 0 -1 4202560 48 0 0 0 5 2 0 0 20 0 19 0 255174020 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333337680040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23523] ppid=23510 vsize=9624976 CPUtime=0.09 cores=0,2,4,6
/proc/23512/task/23523/stat : 23523 (java) S 23510 23512 18255 0 -1 4202560 227 0 0 0 9 0 0 0 20 0 19 0 255174021 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333325269992 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23524] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23524/stat : 23524 (java) S 23510 23512 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333324216056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23525] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23525/stat : 23525 (java) S 23510 23512 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333323163144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23526] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23526/stat : 23526 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333322111632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23527] ppid=23510 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/23512/task/23527/stat : 23527 (java) S 23510 23512 18255 0 -1 4202560 4738 0 0 0 59 2 0 0 20 0 19 0 255174024 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333321058744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23528] ppid=23510 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/23512/task/23528/stat : 23528 (java) S 23510 23512 18255 0 -1 4202560 3209 0 0 0 54 0 0 0 20 0 19 0 255174024 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333320005944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23529] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23529/stat : 23529 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333318953336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23530] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23530/stat : 23530 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333317900744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23531] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23531/stat : 23531 (java) S 23510 23512 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255174231 9855975424 96630 33554432000 1073741824 1073778376 140736443592544 140333316847272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]
/proc/loadavg: 1.99 2.05 2.69 3/213 23531
/proc/meminfo: memFree=25525628/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9624976 CPUtime=14.26 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 12247 0 1 0 1407 19 0 0 20 0 19 0 255174018 9855975424 97156 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0

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

[pid=23512/tid=23527] ppid=23510 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/23512/task/23527/stat : 23527 (java) S 23510 23512 18255 0 -1 4202560 4760 0 0 0 65 2 0 0 20 0 19 0 255174024 9855975424 126897 33554432000 1073741824 1073778376 140736443592544 140333321058744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23528] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23528/stat : 23528 (java) S 23510 23512 18255 0 -1 4202560 3459 0 0 0 58 0 0 0 20 0 19 0 255174024 9855975424 126897 33554432000 1073741824 1073778376 140736443592544 140333320005944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23529] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23529/stat : 23529 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 126897 33554432000 1073741824 1073778376 140736443592544 140333318953336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23530] ppid=23510 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/23512/task/23530/stat : 23530 (java) S 23510 23512 18255 0 -1 4202560 97 0 0 0 24 29 0 0 20 0 19 0 255174024 9855975424 126897 33554432000 1073741824 1073778376 140736443592544 140333317900744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23531] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23531/stat : 23531 (java) S 23510 23512 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255174231 9855975424 126897 33554432000 1073741824 1073778376 140736443592544 140333316847272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1666.8
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.09 3/213 23605
/proc/meminfo: memFree=28936136/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9624976 CPUtime=1726.98 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 13727 0 1 0 172638 60 0 0 20 0 19 0 255174018 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2406244 129111 2282 9 0 2396937 0
[pid=23512/tid=23514] ppid=23510 vsize=9624976 CPUtime=1705.88 cores=0,2,4,6
/proc/23512/task/23514/stat : 23514 (java) R 23510 23512 18255 0 -1 4202560 2688 0 1 0 170557 31 0 0 20 0 19 0 255174019 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333501120784 140333374187744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23515] ppid=23510 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/23512/task/23515/stat : 23515 (java) S 23510 23512 18255 0 -1 4202560 111 0 0 0 58 3 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333345049640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23516] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23516/stat : 23516 (java) S 23510 23512 18255 0 -1 4202560 268 0 0 0 54 4 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333343996840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23517] ppid=23510 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/23512/task/23517/stat : 23517 (java) S 23510 23512 18255 0 -1 4202560 173 0 0 0 65 5 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333342944040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23518] ppid=23510 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/23512/task/23518/stat : 23518 (java) S 23510 23512 18255 0 -1 4202560 119 0 0 0 51 4 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333341891240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23519] ppid=23510 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/23512/task/23519/stat : 23519 (java) S 23510 23512 18255 0 -1 4202560 131 0 0 0 56 3 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333340838440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23520] ppid=23510 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/23512/task/23520/stat : 23520 (java) S 23510 23512 18255 0 -1 4202560 137 0 0 0 63 4 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333339785640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23521] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23521/stat : 23521 (java) S 23510 23512 18255 0 -1 4202560 127 0 0 0 55 3 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333338732840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23522] ppid=23510 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/23512/task/23522/stat : 23522 (java) S 23510 23512 18255 0 -1 4202560 147 0 0 0 60 3 0 0 20 0 19 0 255174020 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333337680040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23523] ppid=23510 vsize=9624976 CPUtime=10.21 cores=0,2,4,6
/proc/23512/task/23523/stat : 23523 (java) S 23510 23512 18255 0 -1 4202560 327 0 0 0 1018 3 0 0 20 0 19 0 255174021 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333325269992 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23524] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23524/stat : 23524 (java) S 23510 23512 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333324216056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23525] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23525/stat : 23525 (java) S 23510 23512 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333323163144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23526] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23526/stat : 23526 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333322111632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23527] ppid=23510 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/23512/task/23527/stat : 23527 (java) S 23510 23512 18255 0 -1 4202560 4760 0 0 0 65 2 0 0 20 0 19 0 255174024 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333321058744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23528] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23528/stat : 23528 (java) S 23510 23512 18255 0 -1 4202560 3460 0 0 0 58 0 0 0 20 0 19 0 255174024 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333320005944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23529] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23529/stat : 23529 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333318953336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23530] ppid=23510 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/23512/task/23530/stat : 23530 (java) S 23510 23512 18255 0 -1 4202560 99 0 0 0 25 31 0 0 20 0 19 0 255174024 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333317900744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23531] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23531/stat : 23531 (java) S 23510 23512 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255174231 9855975424 129111 33554432000 1073741824 1073778376 140736443592544 140333316847272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.98
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.57 2.14 2.12 3/213 23605
/proc/meminfo: memFree=28935888/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9624976 CPUtime=1787.02 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 13735 0 1 0 178641 61 0 0 20 0 19 0 255174018 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2406244 129112 2282 9 0 2396937 0
[pid=23512/tid=23514] ppid=23510 vsize=9624976 CPUtime=1765.59 cores=0,2,4,6
/proc/23512/task/23514/stat : 23514 (java) R 23510 23512 18255 0 -1 4202560 2689 0 1 0 176527 32 0 0 20 0 19 0 255174019 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333501120784 140333374150830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23515] ppid=23510 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/23512/task/23515/stat : 23515 (java) S 23510 23512 18255 0 -1 4202560 111 0 0 0 59 3 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333345049640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23516] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23516/stat : 23516 (java) S 23510 23512 18255 0 -1 4202560 268 0 0 0 54 4 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333343996840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23517] ppid=23510 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/23512/task/23517/stat : 23517 (java) S 23510 23512 18255 0 -1 4202560 173 0 0 0 66 5 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333342944040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23518] ppid=23510 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/23512/task/23518/stat : 23518 (java) S 23510 23512 18255 0 -1 4202560 119 0 0 0 52 4 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333341891240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23519] ppid=23510 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/23512/task/23519/stat : 23519 (java) S 23510 23512 18255 0 -1 4202560 131 0 0 0 56 3 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333340838440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23520] ppid=23510 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/23512/task/23520/stat : 23520 (java) S 23510 23512 18255 0 -1 4202560 138 0 0 0 65 4 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333339785640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23521] ppid=23510 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/23512/task/23521/stat : 23521 (java) S 23510 23512 18255 0 -1 4202560 127 0 0 0 56 3 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333338732840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23522] ppid=23510 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/23512/task/23522/stat : 23522 (java) S 23510 23512 18255 0 -1 4202560 147 0 0 0 61 3 0 0 20 0 19 0 255174020 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333337680040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23523] ppid=23510 vsize=9624976 CPUtime=10.33 cores=0,2,4,6
/proc/23512/task/23523/stat : 23523 (java) S 23510 23512 18255 0 -1 4202560 329 0 0 0 1030 3 0 0 20 0 19 0 255174021 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333325269992 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23524] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23524/stat : 23524 (java) S 23510 23512 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333324216056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23525] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23525/stat : 23525 (java) S 23510 23512 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333323163144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23526] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23526/stat : 23526 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333322111632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23527] ppid=23510 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/23512/task/23527/stat : 23527 (java) S 23510 23512 18255 0 -1 4202560 4760 0 0 0 65 2 0 0 20 0 19 0 255174024 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333321058744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23528] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23528/stat : 23528 (java) S 23510 23512 18255 0 -1 4202560 3460 0 0 0 58 0 0 0 20 0 19 0 255174024 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333320005944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23529] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23529/stat : 23529 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333318953336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23530] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23530/stat : 23530 (java) S 23510 23512 18255 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 19 0 255174024 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333317900744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23531] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23531/stat : 23531 (java) S 23510 23512 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255174231 9855975424 129112 33554432000 1073741824 1073778376 140736443592544 140333316847272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1787.02
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.21 s]
/proc/loadavg: 2.48 2.14 2.12 3/213 23605
/proc/meminfo: memFree=28896356/32873844 swapFree=7384/7384
[pid=23512] ppid=23510 vsize=9624976 CPUtime=1800.04 cores=0,2,4,6
/proc/23512/stat : 23512 (java) S 23510 23512 18255 0 -1 4202496 13760 0 1 0 179943 61 0 0 20 0 19 0 255174018 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140736443583680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23512/statm: 2406244 129134 2282 9 0 2396937 0
[pid=23512/tid=23514] ppid=23510 vsize=9624976 CPUtime=1778.31 cores=0,2,4,6
/proc/23512/task/23514/stat : 23514 (java) R 23510 23512 18255 0 -1 4202560 2690 0 1 0 177798 33 0 0 20 0 19 0 255174019 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333501120784 140333374252380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23515] ppid=23510 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/23512/task/23515/stat : 23515 (java) S 23510 23512 18255 0 -1 4202560 111 0 0 0 62 3 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333345049640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23516] ppid=23510 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/23512/task/23516/stat : 23516 (java) S 23510 23512 18255 0 -1 4202560 268 0 0 0 56 4 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333343996840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23517] ppid=23510 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/23512/task/23517/stat : 23517 (java) S 23510 23512 18255 0 -1 4202560 173 0 0 0 67 5 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333342944040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23518] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23518/stat : 23518 (java) S 23510 23512 18255 0 -1 4202560 127 0 0 0 54 4 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333341891240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23519] ppid=23510 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/23512/task/23519/stat : 23519 (java) S 23510 23512 18255 0 -1 4202560 132 0 0 0 57 3 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333340838440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23520] ppid=23510 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/23512/task/23520/stat : 23520 (java) S 23510 23512 18255 0 -1 4202560 151 0 0 0 68 4 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333339785640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23521] ppid=23510 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/23512/task/23521/stat : 23521 (java) S 23510 23512 18255 0 -1 4202560 127 0 0 0 57 3 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333338732840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23522] ppid=23510 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/23512/task/23522/stat : 23522 (java) S 23510 23512 18255 0 -1 4202560 147 0 0 0 62 3 0 0 20 0 19 0 255174020 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333337680040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23523] ppid=23510 vsize=9624976 CPUtime=10.45 cores=0,2,4,6
/proc/23512/task/23523/stat : 23523 (java) S 23510 23512 18255 0 -1 4202560 331 0 0 0 1042 3 0 0 20 0 19 0 255174021 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333325269992 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23524] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23524/stat : 23524 (java) S 23510 23512 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333324216056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23525] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23525/stat : 23525 (java) S 23510 23512 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255174022 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333323163144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23526] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23526/stat : 23526 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333322111632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23512/tid=23527] ppid=23510 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/23512/task/23527/stat : 23527 (java) S 23510 23512 18255 0 -1 4202560 4760 0 0 0 65 2 0 0 20 0 19 0 255174024 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333321058744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23528] ppid=23510 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23512/task/23528/stat : 23528 (java) S 23510 23512 18255 0 -1 4202560 3460 0 0 0 58 0 0 0 20 0 19 0 255174024 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333320005944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23512/tid=23529] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23529/stat : 23529 (java) S 23510 23512 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255174024 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333318953336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23512/tid=23530] ppid=23510 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/23512/task/23530/stat : 23530 (java) S 23510 23512 18255 0 -1 4202560 103 0 0 0 26 33 0 0 20 0 19 0 255174024 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333317900744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23512/tid=23531] ppid=23510 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23512/task/23531/stat : 23531 (java) S 23510 23512 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255174231 9855975424 129134 33554432000 1073741824 1073778376 140736443592544 140333316847272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 23512 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=939127
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=145825
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.25
CPU time (s): 1800.04
CPU user time (s): 1799.43
CPU system time (s): 0.61
CPU usage (%): 100.267
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.94
system time used= 1.14582
maximum resident set size= 516676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13797
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= 40858
involuntary context switches= 26143

runsolver used 5.78912 second user time and 14.8357 second system time

The end

Launcher Data 

Begin job on node136 at 2012-05-24 22:14:46
IDJOB=3689447
IDBENCH=89796
IDSOLVER=2269
FILE ID=node136/3689447-1337890485
RUNJOBID= node136-1337890118-23404
PBS_JOBID= 14620068
Free space on /tmp= 71364 MiB

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

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

MD5SUM BENCH= 4f155d4f8b05885565510d4fbd89c993
RANDOM SEED=555931274

node136.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		: 2667.247
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	: 5334.49
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		: 2667.247
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		: 2667.247
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.94
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		: 2667.247
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.90
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		: 2667.247
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.90
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		: 2667.247
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		: 2667.247
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		: 2667.247
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:        25908444 kB
Buffers:          293100 kB
Cached:          2319664 kB
SwapCached:        24460 kB
Active:          4503700 kB
Inactive:        1678312 kB
Active(anon):    3544164 kB
Inactive(anon):    25096 kB
Active(file):     959536 kB
Inactive(file):  1653216 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:             12544 kB
Writeback:             0 kB
AnonPages:       3554880 kB
Mapped:            17816 kB
Shmem:                 0 kB
Slab:             634548 kB
SReclaimable:      76572 kB
SUnreclaim:       557976 kB
KernelStack:        1608 kB
PageTables:        10464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3820876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3504128 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= 71704 MiB
End job on node136 at 2012-05-24 22:44:43