Trace number 3710305

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshot? (TO) 1800.05 1793.86

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-stp3d.opb
MD5SUM1cc8070e576e6483e1f532bdbbfa41dd
Bench CategoryOPT-BIGINT-LIN (optimisation, big 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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576266096
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576266096
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.05/0.08	c version 2.3.2.v20120418
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		501472288
0.05/0.08	c Max memory 		7480803328
0.05/0.08	c Total memory 		504102912
0.05/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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 phase appearing in latest learned clause
0.09/0.12	c Expensive 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=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710305-1338209097.opb
0.09/0.12	c reading problem ... 
19.30/17.18	c ... done. Wall clock time 17.054s.
19.30/17.18	c declared #vars     204880
19.30/17.18	c #constraints  184017
19.30/17.18	c constraints type 
19.30/17.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32
19.30/17.18	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3552
19.30/17.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 51151
19.30/17.18	c ignored satisfied constraints => 3556
19.30/17.18	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
19.30/17.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 129278
19.30/17.18	c 187573 constraints processed.
22.78/20.14	c cleaning 2214 clauses out of 4498 with flag 5002/5002
26.02/23.25	c cleaning 4033 clauses out of 8231 with flag 11000/11000
29.43/26.62	c cleaning 5436 clauses out of 11165 with flag 18000/18000
33.26/30.44	c cleaning 6695 clauses out of 13713 with flag 26000/26000
37.73/34.81	c cleaning 7957 clauses out of 16009 with flag 35000/35000
42.37/39.43	c cleaning 8763 clauses out of 18048 with flag 45000/45000
47.58/44.62	c cleaning 10085 clauses out of 20278 with flag 56000/56000
53.20/50.20	c cleaning 10871 clauses out of 22170 with flag 68000/68000
59.15/56.12	c cleaning 12054 clauses out of 24286 with flag 81000/81000
65.66/62.68	c cleaning 12893 clauses out of 26214 with flag 95000/95000
73.63/70.52	c cleaning 13874 clauses out of 28307 with flag 110000/110000
81.15/78.08	c cleaning 15160 clauses out of 30429 with flag 126001/126001
89.38/86.21	c cleaning 16038 clauses out of 32267 with flag 143003/143003
98.21/95.04	c cleaning 16989 clauses out of 34220 with flag 161005/161005
108.03/104.86	c cleaning 17788 clauses out of 36218 with flag 180001/180001
118.67/115.47	c cleaning 19123 clauses out of 38421 with flag 200000/200000
129.59/126.37	c cleaning 19885 clauses out of 40289 with flag 221002/221002
141.93/138.66	c cleaning 21104 clauses out of 42383 with flag 243000/243000
153.47/150.15	c cleaning 21863 clauses out of 44268 with flag 266000/266000
165.99/162.61	c cleaning 22952 clauses out of 46401 with flag 290001/290001
179.05/175.65	c cleaning 23794 clauses out of 48444 with flag 315004/315004
192.30/188.85	c cleaning 24239 clauses out of 50638 with flag 341001/341001
206.57/203.02	c cleaning 24993 clauses out of 53388 with flag 368000/368000
226.41/222.81	c cleaning 26703 clauses out of 56388 with flag 396000/396000
242.74/239.14	c cleaning 26862 clauses out of 58669 with flag 425000/425000
258.18/254.55	c cleaning 28145 clauses out of 61782 with flag 455000/455000
275.35/271.64	c cleaning 28499 clauses out of 64605 with flag 486000/486000
295.28/291.57	c cleaning 29249 clauses out of 68080 with flag 518000/518000
312.91/309.15	c cleaning 31159 clauses out of 71833 with flag 551004/551004
330.93/327.15	c cleaning 32500 clauses out of 74664 with flag 585000/585000
350.56/346.71	c cleaning 32620 clauses out of 77162 with flag 620000/620000
370.91/367.09	c cleaning 34019 clauses out of 80532 with flag 656002/656002
392.25/388.36	c cleaning 34861 clauses out of 83505 with flag 693000/693000
413.78/409.86	c cleaning 37035 clauses out of 86640 with flag 731001/731001
441.35/437.38	c cleaning 38330 clauses out of 88599 with flag 770000/770000
464.69/460.62	c cleaning 37952 clauses out of 90264 with flag 810000/810000
491.35/487.23	c cleaning 38906 clauses out of 93310 with flag 851000/851000
520.12/515.97	c cleaning 40593 clauses out of 96399 with flag 893000/893000
546.84/542.65	c cleaning 40865 clauses out of 98799 with flag 936000/936000
574.93/570.65	c cleaning 41305 clauses out of 101932 with flag 980000/980000
607.30/602.92	c cleaning 43366 clauses out of 105625 with flag 1025000/1025000
637.55/633.11	c cleaning 44614 clauses out of 108253 with flag 1071000/1071000
667.59/663.18	c cleaning 44984 clauses out of 110625 with flag 1118000/1118000
700.43/695.99	c cleaning 45646 clauses out of 113634 with flag 1166002/1166002
732.01/727.41	c cleaning 47339 clauses out of 116983 with flag 1215000/1215000
768.88/764.20	c cleaning 47857 clauses out of 119626 with flag 1265001/1265001
813.05/808.32	c cleaning 50361 clauses out of 122766 with flag 1316000/1316000
844.50/839.71	c cleaning 51108 clauses out of 124403 with flag 1368001/1368001
877.68/872.81	c cleaning 51626 clauses out of 126292 with flag 1421000/1421000
917.34/912.49	c cleaning 52538 clauses out of 128667 with flag 1475001/1475001
956.61/951.62	c cleaning 53942 clauses out of 131126 with flag 1530001/1530001
997.26/992.25	c cleaning 55405 clauses out of 133183 with flag 1586000/1586000
1036.73/1031.67	c cleaning 53115 clauses out of 134766 with flag 1643000/1643000
1072.39/1067.23	c cleaning 55414 clauses out of 139643 with flag 1701000/1701000
1117.65/1112.45	c cleaning 57436 clauses out of 143228 with flag 1760000/1760000
1166.44/1161.11	c cleaning 58749 clauses out of 145789 with flag 1820000/1820000
1209.72/1204.34	c cleaning 59163 clauses out of 148039 with flag 1881001/1881001
1249.38/1243.95	c cleaning 59655 clauses out of 150874 with flag 1943000/1943000
1299.07/1293.52	c cleaning 60481 clauses out of 154212 with flag 2006000/2006000
1341.25/1335.62	c cleaning 63335 clauses out of 157730 with flag 2070000/2070000
1384.39/1378.71	c cleaning 64117 clauses out of 159396 with flag 2135001/2135001
1445.80/1440.06	c cleaning 64002 clauses out of 161277 with flag 2201000/2201000
1519.89/1514.01	c cleaning 66351 clauses out of 164275 with flag 2268000/2268000
1575.98/1570.07	c cleaning 66284 clauses out of 165926 with flag 2336004/2336004
1625.23/1619.27	c cleaning 67050 clauses out of 168637 with flag 2405004/2405004
1684.88/1678.81	c cleaning 67847 clauses out of 171583 with flag 2475000/2475000
1748.59/1742.42	c cleaning 69947 clauses out of 174737 with flag 2546001/2546001
1800.05/1793.81	c starts		: 208
1800.05/1793.81	c conflicts		: 2614799
1800.05/1793.81	c decisions		: 7890071
1800.05/1793.81	c propagations		: 5737372921
1800.05/1793.81	c inspects		: 7304116293
1800.05/1793.81	c shortcuts		: 0
1800.05/1793.81	c learnt literals	: 337
1800.05/1793.81	c learnt binary clauses	: 10541
1800.05/1793.81	c learnt ternary clauses	: 66111
1800.05/1793.81	c learnt constraints	: 2614462
1800.05/1793.81	c ignored constraints	: 0
1800.05/1793.81	c root simplifications	: 545
1800.05/1793.81	c removed literals (reason simplification)	: 19799778
1800.05/1793.81	c reason swapping (by a shorter reason)	: 0
1800.05/1793.81	c Calls to reduceDB	: 67
1800.05/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.05/1793.81	c number of learned constraints concerned by reduction	: 0
1800.05/1793.81	c number of learning phase by resolution	: 0
1800.05/1793.81	c number of learning phase by cutting planes	: 0
1800.05/1793.81	c speed (assignments/second)	: 3229485.2450803802
1800.05/1793.81	c non guided choices	144754
1800.05/1793.85	c learnt constraints type 
1800.05/1793.85	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10365
1800.05/1793.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 163252
1800.05/1793.85	c constraints type 
1800.05/1793.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32
1800.05/1793.85	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3552
1800.05/1793.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 51151
1800.05/1793.85	c ignored satisfied constraints => 3556
1800.05/1793.85	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
1800.05/1793.85	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 129278
1800.05/1793.85	c 187573 constraints processed.
1800.05/1793.85	s UNKNOWN
1800.05/1793.85	c Total wall clock time (in seconds): 1793.725

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-3710305-1338209097/watcher-3710305-1338209097 -o /tmp/evaluation-result-3710305-1338209097/solver-3710305-1338209097 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710305-1338209097.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.95 2.02 2.25 5/196 25663
/proc/meminfo: memFree=31241236/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25663/stat : 25663 (java) R 25661 25663 22874 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 1 0 287035082 23793664 523 33554432000 1073741824 1073778376 140736366364528 140736366353592 273579817537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 5809 539 407 9 0 128 0

[startup+0.072388 s]
/proc/loadavg: 1.95 2.02 2.25 5/196 25663
/proc/meminfo: memFree=31241236/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 3332 0 1 0 5 0 0 0 20 0 18 0 287035082 9787842560 4539 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 4539 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440

[startup+0.100244 s]
/proc/loadavg: 1.95 2.02 2.25 5/196 25663
/proc/meminfo: memFree=31241236/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 4258 0 1 0 9 0 0 0 20 0 18 0 287035082 9787842560 5464 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 5465 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300209 s]
/proc/loadavg: 1.95 2.02 2.25 5/196 25663
/proc/meminfo: memFree=31241236/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=0.46 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 5398 0 1 0 45 1 0 0 20 0 18 0 287035082 9787842560 12201 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 12201 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440

[startup+0.700195 s]
/proc/loadavg: 1.95 2.02 2.25 5/196 25663
/proc/meminfo: memFree=31241236/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=1.17 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 6030 0 1 0 106 11 0 0 20 0 18 0 287035082 9787842560 81573 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 81573 2244 9 0 2380296 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9558440

[startup+1.50072 s]
/proc/loadavg: 1.95 2.02 2.25 3/214 25681
/proc/meminfo: memFree=30646856/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=2.28 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 7315 0 1 0 199 29 0 0 20 0 18 0 287035082 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 275912 2244 9 0 2380296 0
[pid=25663/tid=25665] ppid=25661 vsize=9558440 CPUtime=1.28 cores=0,2,4,6
/proc/25663/task/25665/stat : 25665 (java) R 25661 25663 22874 0 -1 4202560 2963 0 1 0 113 15 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189397953016 140189226162994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25666] ppid=25661 vsize=9558440 CPUtime=0.14 cores=0,2,4,6
/proc/25663/task/25666/stat : 25666 (java) S 25661 25663 22874 0 -1 4202560 82 0 0 0 10 4 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189359446184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25667] ppid=25661 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/25663/task/25667/stat : 25667 (java) S 25661 25663 22874 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189358393640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25668] ppid=25661 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/25663/task/25668/stat : 25668 (java) S 25661 25663 22874 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189357341096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25669] ppid=25661 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/25663/task/25669/stat : 25669 (java) S 25661 25663 22874 0 -1 4202560 50 0 0 0 5 2 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189356288552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25670] ppid=25661 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/25663/task/25670/stat : 25670 (java) S 25661 25663 22874 0 -1 4202560 50 0 0 0 4 2 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189355236008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25671] ppid=25661 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/25663/task/25671/stat : 25671 (java) S 25661 25663 22874 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189354183464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25663/tid=25672] ppid=25661 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/25663/task/25672/stat : 25672 (java) S 25661 25663 22874 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189353130920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25673] ppid=25661 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/25663/task/25673/stat : 25673 (java) S 25661 25663 22874 0 -1 4202560 28 0 0 0 8 0 0 0 20 0 18 0 287035083 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189352078376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25674] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25674/stat : 25674 (java) S 25661 25663 22874 0 -1 4202560 955 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189221496936 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25675] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25675/stat : 25675 (java) S 25661 25663 22874 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189220443256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25676] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25676/stat : 25676 (java) S 25661 25663 22874 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189219390600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25677] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25677/stat : 25677 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189218339344 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25678] ppid=25661 vsize=9558440 CPUtime=0.11 cores=0,2,4,6
/proc/25663/task/25678/stat : 25678 (java) S 25661 25663 22874 0 -1 4202560 690 0 0 0 11 0 0 0 20 0 18 0 287035088 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189217286712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25679] ppid=25661 vsize=9558440 CPUtime=0.14 cores=0,2,4,6
/proc/25663/task/25679/stat : 25679 (java) S 25661 25663 22874 0 -1 4202560 1201 0 0 0 14 0 0 0 20 0 18 0 287035088 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189216234168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25680] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25680/stat : 25680 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189215181816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25681] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25681/stat : 25681 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 275912 33554432000 1073741824 1073778376 140736366364528 140189214129480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9558440

[startup+3.10069 s]
/proc/loadavg: 1.95 2.02 2.25 10/214 25681
/proc/meminfo: memFree=30060520/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=4.64 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 12246 0 1 0 409 55 0 0 20 0 18 0 287035082 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 544815 2263 9 0 2380296 0
[pid=25663/tid=25665] ppid=25661 vsize=9558440 CPUtime=2.68 cores=0,2,4,6
/proc/25663/task/25665/stat : 25665 (java) S 25661 25663 22874 0 -1 4202560 3457 0 1 0 236 32 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189397952808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25666] ppid=25661 vsize=9558440 CPUtime=0.23 cores=0,2,4,6
/proc/25663/task/25666/stat : 25666 (java) R 25661 25663 22874 0 -1 4202560 127 0 0 0 18 5 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189359446360 140189402130607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25667] ppid=25661 vsize=9558440 CPUtime=0.17 cores=0,2,4,6
/proc/25663/task/25667/stat : 25667 (java) R 25661 25663 22874 0 -1 4202560 67 0 0 0 14 3 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189358393832 140189404853330 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25663/tid=25668] ppid=25661 vsize=9558440 CPUtime=0.17 cores=0,2,4,6
/proc/25663/task/25668/stat : 25668 (java) S 25661 25663 22874 0 -1 4202560 359 0 0 0 15 2 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189357341096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25669] ppid=25661 vsize=9558440 CPUtime=0.14 cores=0,2,4,6
/proc/25663/task/25669/stat : 25669 (java) R 25661 25663 22874 0 -1 4202560 472 0 0 0 11 3 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189356288312 140189402130607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25670] ppid=25661 vsize=9558440 CPUtime=0.13 cores=0,2,4,6
/proc/25663/task/25670/stat : 25670 (java) R 25661 25663 22874 0 -1 4202560 64 0 0 0 10 3 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189355236008 273592398908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25671] ppid=25661 vsize=9558440 CPUtime=0.2 cores=0,2,4,6
/proc/25663/task/25671/stat : 25671 (java) R 25661 25663 22874 0 -1 4202560 93 0 0 0 17 3 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189354183464 140189404851208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25672] ppid=25661 vsize=9558440 CPUtime=0.19 cores=0,2,4,6
/proc/25663/task/25672/stat : 25672 (java) R 25661 25663 22874 0 -1 4202560 327 0 0 0 16 3 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189353130920 140189404850656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25673] ppid=25661 vsize=9558440 CPUtime=0.14 cores=0,2,4,6
/proc/25663/task/25673/stat : 25673 (java) R 25661 25663 22874 0 -1 4202560 337 0 0 0 12 2 0 0 20 0 18 0 287035083 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189352078376 140189401712082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25674] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25674/stat : 25674 (java) S 25661 25663 22874 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189221495816 273592398908 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25675] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25675/stat : 25675 (java) S 25661 25663 22874 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189220443256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25676] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25676/stat : 25676 (java) S 25661 25663 22874 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189219390600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25677] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25677/stat : 25677 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189218339344 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25678] ppid=25661 vsize=9558440 CPUtime=0.22 cores=0,2,4,6
/proc/25663/task/25678/stat : 25678 (java) S 25661 25663 22874 0 -1 4202560 2094 0 0 0 22 0 0 0 20 0 18 0 287035088 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189217286712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25679] ppid=25661 vsize=9558440 CPUtime=0.23 cores=0,2,4,6
/proc/25663/task/25679/stat : 25679 (java) S 25661 25663 22874 0 -1 4202560 2411 0 0 0 23 0 0 0 20 0 18 0 287035088 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189216234168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25680] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25680/stat : 25680 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189215181816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25681] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25681/stat : 25681 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 544815 33554432000 1073741824 1073778376 140736366364528 140189214129480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9558440

[startup+6.3007 s]
/proc/loadavg: 2.51 2.13 2.28 3/214 25681
/proc/meminfo: memFree=28377532/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=8.16 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 13005 0 1 0 747 69 0 0 20 0 18 0 287035082 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 690794 2263 9 0 2380296 0
[pid=25663/tid=25665] ppid=25661 vsize=9558440 CPUtime=5.74 cores=0,2,4,6
/proc/25663/task/25665/stat : 25665 (java) R 25661 25663 22874 0 -1 4202560 4143 0 1 0 532 42 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189397953328 140189405719649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25666] ppid=25661 vsize=9558440 CPUtime=0.26 cores=0,2,4,6
/proc/25663/task/25666/stat : 25666 (java) S 25661 25663 22874 0 -1 4202560 135 0 0 0 21 5 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189359446184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25663/tid=25667] ppid=25661 vsize=9558440 CPUtime=0.24 cores=0,2,4,6
/proc/25663/task/25667/stat : 25667 (java) S 25661 25663 22874 0 -1 4202560 77 0 0 0 20 4 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189358393640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25668] ppid=25661 vsize=9558440 CPUtime=0.21 cores=0,2,4,6
/proc/25663/task/25668/stat : 25668 (java) S 25661 25663 22874 0 -1 4202560 367 0 0 0 19 2 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189357341096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25669] ppid=25661 vsize=9558440 CPUtime=0.18 cores=0,2,4,6
/proc/25663/task/25669/stat : 25669 (java) S 25661 25663 22874 0 -1 4202560 482 0 0 0 15 3 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189356288552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25670] ppid=25661 vsize=9558440 CPUtime=0.18 cores=0,2,4,6
/proc/25663/task/25670/stat : 25670 (java) S 25661 25663 22874 0 -1 4202560 74 0 0 0 14 4 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189355236008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25671] ppid=25661 vsize=9558440 CPUtime=0.24 cores=0,2,4,6
/proc/25663/task/25671/stat : 25671 (java) S 25661 25663 22874 0 -1 4202560 101 0 0 0 21 3 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189354183464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25672] ppid=25661 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/25663/task/25672/stat : 25672 (java) S 25661 25663 22874 0 -1 4202560 338 0 0 0 23 4 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189353130920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25673] ppid=25661 vsize=9558440 CPUtime=0.18 cores=0,2,4,6
/proc/25663/task/25673/stat : 25673 (java) S 25661 25663 22874 0 -1 4202560 345 0 0 0 16 2 0 0 20 0 18 0 287035083 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189352078376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25674] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25674/stat : 25674 (java) S 25661 25663 22874 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189221496936 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25675] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25675/stat : 25675 (java) S 25661 25663 22874 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189220443256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25676] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25676/stat : 25676 (java) S 25661 25663 22874 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 287035085 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189219390600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25677] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25677/stat : 25677 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189218339344 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25678] ppid=25661 vsize=9558440 CPUtime=0.23 cores=0,2,4,6
/proc/25663/task/25678/stat : 25678 (java) S 25661 25663 22874 0 -1 4202560 2094 0 0 0 23 0 0 0 20 0 18 0 287035088 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189217286712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25679] ppid=25661 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/25663/task/25679/stat : 25679 (java) S 25661 25663 22874 0 -1 4202560 2411 0 0 0 27 0 0 0 20 0 18 0 287035088 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189216234168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25680] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25680/stat : 25680 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189215181816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25681] ppid=25661 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25681/stat : 25681 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 287035088 9787842560 690794 33554432000 1073741824 1073778376 140736366364528 140189214129480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 9558440

[startup+12.7007 s]
/proc/loadavg: 2.47 2.13 2.28 3/214 25681
/proc/meminfo: memFree=28323728/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9558440 CPUtime=14.77 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 13056 0 1 0 1406 71 0 0 20 0 18 0 287035082 9787842560 701457 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2389610 701457 2263 9 0 2380296 0
[pid=25663/tid=25665] ppid=25661 vsize=9558440 CPUtime=12.03 cores=0,2,4,6

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

[pid=25663/tid=25678] ppid=25661 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25663/task/25678/stat : 25678 (java) S 25661 25663 22874 0 -1 4202560 3758 0 0 0 65 0 0 0 20 0 19 0 287035088 9856004096 722012 33554432000 1073741824 1073778376 140736366364528 140189217286712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25679] ppid=25661 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/25663/task/25679/stat : 25679 (java) S 25661 25663 22874 0 -1 4202560 2723 0 0 0 56 0 0 0 20 0 19 0 287035088 9856004096 722012 33554432000 1073741824 1073778376 140736366364528 140189216234168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25680] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25680/stat : 25680 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287035088 9856004096 722012 33554432000 1073741824 1073778376 140736366364528 140189215181816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25681] ppid=25661 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/25663/task/25681/stat : 25681 (java) S 25661 25663 22874 0 -1 4202560 95 0 0 0 31 26 0 0 20 0 19 0 287035088 9856004096 722012 33554432000 1073741824 1073778376 140736366364528 140189214129480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25682] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25682/stat : 25682 (java) S 25661 25663 22874 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287036807 9856004096 722012 33554432000 1073741824 1073778376 140736366364528 140189213074216 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.38
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/215 25720
/proc/meminfo: memFree=26958540/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9625004 CPUtime=1728.49 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 71478 0 1 0 172727 122 0 0 20 0 19 0 287035082 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2406251 722015 2287 9 0 2396937 0
[pid=25663/tid=25665] ppid=25661 vsize=9625004 CPUtime=1700 cores=0,2,4,6
/proc/25663/task/25665/stat : 25665 (java) R 25661 25663 22874 0 -1 4202560 4254 0 1 0 169932 68 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189397954864 140189226517724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25666] ppid=25661 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/25663/task/25666/stat : 25666 (java) S 25661 25663 22874 0 -1 4202560 216 0 0 0 80 7 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189359446184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25663/tid=25667] ppid=25661 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/25663/task/25667/stat : 25667 (java) S 25661 25663 22874 0 -1 4202560 145 0 0 0 71 5 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189358393640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25663/tid=25668] ppid=25661 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/25663/task/25668/stat : 25668 (java) S 25661 25663 22874 0 -1 4202560 378 0 0 0 80 3 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189357341096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25669] ppid=25661 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/25663/task/25669/stat : 25669 (java) S 25661 25663 22874 0 -1 4202560 486 0 0 0 63 4 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189356288552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25670] ppid=25661 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/25663/task/25670/stat : 25670 (java) S 25661 25663 22874 0 -1 4202560 256 0 0 0 79 5 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189355236008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25671] ppid=25661 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/25663/task/25671/stat : 25671 (java) S 25661 25663 22874 0 -1 4202560 179 0 0 0 77 5 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189354183464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25672] ppid=25661 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/25663/task/25672/stat : 25672 (java) S 25661 25663 22874 0 -1 4202560 350 0 0 0 77 5 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189353130920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25673] ppid=25661 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/25663/task/25673/stat : 25673 (java) S 25661 25663 22874 0 -1 4202560 357 0 0 0 72 3 0 0 20 0 19 0 287035083 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189352078376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25674] ppid=25661 vsize=9625004 CPUtime=16.02 cores=0,2,4,6
/proc/25663/task/25674/stat : 25674 (java) S 25661 25663 22874 0 -1 4202560 57095 0 0 0 1586 16 0 0 20 0 19 0 287035085 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189221496936 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25675] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25675/stat : 25675 (java) S 25661 25663 22874 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287035085 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189220443256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25676] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25676/stat : 25676 (java) S 25661 25663 22874 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287035085 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189219390600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25677] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25677/stat : 25677 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287035088 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189218339344 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25678] ppid=25661 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25663/task/25678/stat : 25678 (java) S 25661 25663 22874 0 -1 4202560 3758 0 0 0 65 0 0 0 20 0 19 0 287035088 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189217286712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25679] ppid=25661 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/25663/task/25679/stat : 25679 (java) S 25661 25663 22874 0 -1 4202560 2723 0 0 0 56 0 0 0 20 0 19 0 287035088 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189216234168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25680] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25680/stat : 25680 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287035088 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189215181816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25681] ppid=25661 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/25663/task/25681/stat : 25681 (java) S 25661 25663 22874 0 -1 4202560 99 0 0 0 33 26 0 0 20 0 19 0 287035088 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189214129480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25682] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25682/stat : 25682 (java) S 25661 25663 22874 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287036807 9856004096 722015 33554432000 1073741824 1073778376 140736366364528 140189213074216 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.49
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 2.00 3/215 25779
/proc/meminfo: memFree=28321940/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9625004 CPUtime=1788.54 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 71493 0 1 0 178732 122 0 0 20 0 19 0 287035082 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2406251 722023 2287 9 0 2396937 0
[pid=25663/tid=25665] ppid=25661 vsize=9625004 CPUtime=1759.56 cores=0,2,4,6
/proc/25663/task/25665/stat : 25665 (java) R 25661 25663 22874 0 -1 4202560 4255 0 1 0 175887 69 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189397954864 140189226592640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25666] ppid=25661 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/25663/task/25666/stat : 25666 (java) S 25661 25663 22874 0 -1 4202560 216 0 0 0 81 7 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189359446184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25667] ppid=25661 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/25663/task/25667/stat : 25667 (java) S 25661 25663 22874 0 -1 4202560 148 0 0 0 73 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189358393640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25663/tid=25668] ppid=25661 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/25663/task/25668/stat : 25668 (java) S 25661 25663 22874 0 -1 4202560 378 0 0 0 80 3 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189357341096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25669] ppid=25661 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/25663/task/25669/stat : 25669 (java) S 25661 25663 22874 0 -1 4202560 486 0 0 0 63 4 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189356288552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25670] ppid=25661 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/25663/task/25670/stat : 25670 (java) S 25661 25663 22874 0 -1 4202560 256 0 0 0 80 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189355236008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25671] ppid=25661 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/25663/task/25671/stat : 25671 (java) S 25661 25663 22874 0 -1 4202560 184 0 0 0 80 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189354183464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25672] ppid=25661 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/25663/task/25672/stat : 25672 (java) S 25661 25663 22874 0 -1 4202560 350 0 0 0 78 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189353130920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25673] ppid=25661 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/25663/task/25673/stat : 25673 (java) S 25661 25663 22874 0 -1 4202560 357 0 0 0 73 3 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189352078376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25674] ppid=25661 vsize=9625004 CPUtime=16.29 cores=0,2,4,6
/proc/25663/task/25674/stat : 25674 (java) S 25661 25663 22874 0 -1 4202560 57097 0 0 0 1613 16 0 0 20 0 19 0 287035085 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189221496936 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25675] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25675/stat : 25675 (java) S 25661 25663 22874 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287035085 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189220443256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25676] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25676/stat : 25676 (java) S 25661 25663 22874 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287035085 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189219390600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25677] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25677/stat : 25677 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189218339344 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25678] ppid=25661 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25663/task/25678/stat : 25678 (java) S 25661 25663 22874 0 -1 4202560 3758 0 0 0 65 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189217286712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25679] ppid=25661 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/25663/task/25679/stat : 25679 (java) S 25661 25663 22874 0 -1 4202560 2723 0 0 0 56 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189216234168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25680] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25680/stat : 25680 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189215181816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25681] ppid=25661 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/25663/task/25681/stat : 25681 (java) S 25661 25663 22874 0 -1 4202560 103 0 0 0 34 28 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189214129480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25682] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25682/stat : 25682 (java) S 25661 25663 22874 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287036807 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189213074216 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 1.94 1.98 2.00 3/215 25779
/proc/meminfo: memFree=28311352/32873844 swapFree=7112/7112
[pid=25663] ppid=25661 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/25663/stat : 25663 (java) S 25661 25663 22874 0 -1 4202496 71493 0 1 0 179883 122 0 0 20 0 19 0 287035082 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140736366355664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25663/statm: 2406251 722023 2287 9 0 2396937 0
[pid=25663/tid=25665] ppid=25661 vsize=9625004 CPUtime=1771.03 cores=0,2,4,6
/proc/25663/task/25665/stat : 25665 (java) R 25661 25663 22874 0 -1 4202560 4255 0 1 0 177034 69 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189397954864 140189226517208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25666] ppid=25661 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/25663/task/25666/stat : 25666 (java) S 25661 25663 22874 0 -1 4202560 216 0 0 0 81 7 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189359446184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25667] ppid=25661 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/25663/task/25667/stat : 25667 (java) S 25661 25663 22874 0 -1 4202560 148 0 0 0 73 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189358393640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25663/tid=25668] ppid=25661 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/25663/task/25668/stat : 25668 (java) S 25661 25663 22874 0 -1 4202560 378 0 0 0 80 3 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189357341096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25669] ppid=25661 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/25663/task/25669/stat : 25669 (java) S 25661 25663 22874 0 -1 4202560 486 0 0 0 63 4 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189356288552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25670] ppid=25661 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/25663/task/25670/stat : 25670 (java) S 25661 25663 22874 0 -1 4202560 256 0 0 0 80 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189355236008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25671] ppid=25661 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/25663/task/25671/stat : 25671 (java) S 25661 25663 22874 0 -1 4202560 184 0 0 0 80 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189354183464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25672] ppid=25661 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/25663/task/25672/stat : 25672 (java) S 25661 25663 22874 0 -1 4202560 350 0 0 0 78 5 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189353130920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25673] ppid=25661 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/25663/task/25673/stat : 25673 (java) S 25661 25663 22874 0 -1 4202560 357 0 0 0 73 3 0 0 20 0 19 0 287035083 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189352078376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25674] ppid=25661 vsize=9625004 CPUtime=16.29 cores=0,2,4,6
/proc/25663/task/25674/stat : 25674 (java) S 25661 25663 22874 0 -1 4202560 57097 0 0 0 1613 16 0 0 20 0 19 0 287035085 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189221496936 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25675] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25675/stat : 25675 (java) S 25661 25663 22874 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287035085 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189220443256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25676] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25676/stat : 25676 (java) S 25661 25663 22874 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287035085 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189219390600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25677] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25677/stat : 25677 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189218339344 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25663/tid=25678] ppid=25661 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25663/task/25678/stat : 25678 (java) S 25661 25663 22874 0 -1 4202560 3758 0 0 0 65 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189217286712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25679] ppid=25661 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/25663/task/25679/stat : 25679 (java) S 25661 25663 22874 0 -1 4202560 2723 0 0 0 56 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189216234168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25680] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25680/stat : 25680 (java) S 25661 25663 22874 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189215181816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25663/tid=25681] ppid=25661 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/25663/task/25681/stat : 25681 (java) S 25661 25663 22874 0 -1 4202560 103 0 0 0 34 28 0 0 20 0 19 0 287035088 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189214129480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25663/tid=25682] ppid=25661 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25663/task/25682/stat : 25682 (java) S 25661 25663 22874 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287036807 9856004096 722023 33554432000 1073741824 1073778376 140736366364528 140189213074216 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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 25663 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=338219
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=651748
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.86
CPU time (s): 1800.05
CPU user time (s): 1798.83
CPU system time (s): 1.22
CPU usage (%): 100.345
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 1.65175
maximum resident set size= 2888476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71594
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41036
involuntary context switches= 12197

runsolver used 6.22905 second user time and 14.6848 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-28 14:44:58
IDJOB=3710305
IDBENCH=89904
IDSOLVER=2289
FILE ID=node132/3710305-1338209097
RUNJOBID= node132-1338207301-25484
PBS_JOBID= 14624592
Free space on /tmp= 71628 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-stp3d.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710305-1338209097/watcher-3710305-1338209097 -o /tmp/evaluation-result-3710305-1338209097/solver-3710305-1338209097 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710305-1338209097.opb

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

MD5SUM BENCH= 1cc8070e576e6483e1f532bdbbfa41dd
RANDOM SEED=761480759

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31241236 kB
Buffers:          466776 kB
Cached:           222368 kB
SwapCached:         2284 kB
Active:           548692 kB
Inactive:         177900 kB
Active(anon):      30008 kB
Inactive(anon):     8148 kB
Active(file):     518684 kB
Inactive(file):   169752 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67103740 kB
Dirty:             10644 kB
Writeback:             0 kB
AnonPages:         53136 kB
Mapped:            19188 kB
Shmem:                 8 kB
Slab:             751832 kB
SReclaimable:     192752 kB
SUnreclaim:       559080 kB
KernelStack:        1608 kB
PageTables:         4272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     694744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71628 MiB
End job on node132 at 2012-05-28 15:14:53