Trace number 3478814

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
Sat4j Res//CP 2.3.0? (TO) 1800.56 908.028

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-91.opb
MD5SUM0d52a3bd95f65144c5f8bf26bef42f13
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 variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
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 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3478814-1307438186.opb
0.10/0.11	c reading problem ... 
2.64/2.08	c ... done. Wall clock time 1.966s.
2.64/2.08	c #vars     10086
2.64/2.08	c #constraints  226608
2.64/2.08	c constraints type 
2.64/2.08	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 155859
2.64/2.08	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
2.64/2.08	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 47809
2.64/2.08	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22218
2.64/2.08	c constraints type 
2.64/2.08	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 47809
2.64/2.08	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 155859
2.64/2.08	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 722
2.64/2.08	c org.sat4j.pb.constraints.pb.MaxWatchPb => 22218
8.67/4.70	c cleaning 2500 clauses out of 5001 with flag 5001/5001
9.05/5.01	c cleaning 0 clauses out of 5000 with flag 0/5000
14.12/7.24	c cleaning 4244 clauses out of 8502 with flag 11002/11002
15.25/7.84	c cleaning 0 clauses out of 11003 with flag 0/11003
18.03/9.23	c cleaning 5623 clauses out of 11256 with flag 18000/18000
22.15/11.23	c cleaning 6813 clauses out of 13633 with flag 26000/26000
27.28/13.83	c cleaning 7872 clauses out of 15820 with flag 35000/35000
28.15/14.32	c cleaning 0 clauses out of 18000 with flag 0/18000
31.53/16.17	c cleaning 8939 clauses out of 17948 with flag 45000/45000
36.99/18.97	c cleaning 9995 clauses out of 20010 with flag 56001/56001
42.25/21.67	c cleaning 10889 clauses out of 22015 with flag 68001/68001
46.51/23.88	c cleaning 12058 clauses out of 24126 with flag 81001/81001
51.52/26.51	c cleaning 0 clauses out of 26000 with flag 0/26000
54.36/27.92	c cleaning 12941 clauses out of 26067 with flag 95000/95000
62.61/32.17	c cleaning 14059 clauses out of 28127 with flag 110001/110001
71.66/36.75	c cleaning 14981 clauses out of 30067 with flag 126000/126000
79.24/40.69	c cleaning 16041 clauses out of 32086 with flag 143001/143001
92.08/47.12	c cleaning 17015 clauses out of 34044 with flag 161000/161000
100.93/51.60	c cleaning 0 clauses out of 35000 with flag 0/35000
103.89/53.17	c cleaning 18006 clauses out of 36027 with flag 180000/180000
112.27/57.45	c cleaning 18875 clauses out of 38021 with flag 200002/200002
127.35/65.07	c cleaning 20063 clauses out of 40143 with flag 221000/221000
137.54/70.27	c cleaning 21019 clauses out of 42082 with flag 243002/243002
146.39/74.77	c cleaning 22016 clauses out of 44060 with flag 266001/266001
159.96/81.62	c cleaning 23011 clauses out of 46042 with flag 290001/290001
174.60/89.05	c cleaning 24009 clauses out of 48030 with flag 315000/315000
187.44/95.54	c cleaning 0 clauses out of 45000 with flag 0/45000
189.25/96.51	c cleaning 24897 clauses out of 50021 with flag 341000/341000
200.83/102.42	c cleaning 26041 clauses out of 52124 with flag 368000/368000
216.44/110.32	c cleaning 26964 clauses out of 54083 with flag 396000/396000
229.65/117.07	c cleaning 28052 clauses out of 56121 with flag 425002/425002
244.87/124.72	c cleaning 28992 clauses out of 58067 with flag 455000/455000
260.59/132.75	c cleaning 29689 clauses out of 60075 with flag 486000/486000
286.82/145.99	c cleaning 31189 clauses out of 62387 with flag 518002/518002
312.85/159.09	c cleaning 32058 clauses out of 64196 with flag 551000/551000
329.87/167.68	c cleaning 32958 clauses out of 66138 with flag 585000/585000
350.00/177.85	c cleaning 34072 clauses out of 68183 with flag 620003/620003
369.42/187.60	c cleaning 34991 clauses out of 70108 with flag 656000/656000
387.86/196.98	c cleaning 35995 clauses out of 72117 with flag 693000/693000
389.65/198.01	c cleaning 0 clauses out of 56000 with flag 0/56000
425.37/215.93	c cleaning 37055 clauses out of 74124 with flag 731002/731002
448.20/227.46	c cleaning 37795 clauses out of 76068 with flag 770001/770001
469.82/238.31	c cleaning 39116 clauses out of 78275 with flag 810003/810003
515.84/261.42	c cleaning 40073 clauses out of 80157 with flag 851001/851001
564.78/286.06	c cleaning 41032 clauses out of 82084 with flag 893001/893001
592.39/299.99	c cleaning 41878 clauses out of 84051 with flag 936000/936000
626.98/317.38	c cleaning 43082 clauses out of 86176 with flag 980003/980003
649.59/328.73	c cleaning 43793 clauses out of 88092 with flag 1025001/1025001
680.72/344.48	c cleaning 44978 clauses out of 90298 with flag 1071000/1071000
712.47/360.40	c cleaning 46126 clauses out of 92321 with flag 1118001/1118001
739.87/374.27	c cleaning 47093 clauses out of 94199 with flag 1166005/1166005
775.03/391.93	c cleaning 47917 clauses out of 96103 with flag 1215002/1215002
803.86/406.57	c cleaning 48909 clauses out of 98187 with flag 1265003/1265003
834.03/421.76	c cleaning 49823 clauses out of 100275 with flag 1316000/1316000
852.79/431.22	c cleaning 0 clauses out of 68000 with flag 0/68000
862.48/436.23	c cleaning 51189 clauses out of 102452 with flag 1368000/1368000
896.10/453.28	c cleaning 52095 clauses out of 104264 with flag 1421001/1421001
933.65/472.10	c cleaning 52997 clauses out of 106168 with flag 1475000/1475000
990.02/500.44	c cleaning 54034 clauses out of 108173 with flag 1530002/1530002
1024.59/517.86	c cleaning 54864 clauses out of 110137 with flag 1586000/1586000
1057.18/534.39	c cleaning 56011 clauses out of 112273 with flag 1643000/1643000
1094.33/553.05	c cleaning 56929 clauses out of 114263 with flag 1701001/1701001
1149.06/580.59	c cleaning 58051 clauses out of 116333 with flag 1760000/1760000
1206.46/609.34	c cleaning 59137 clauses out of 118282 with flag 1820000/1820000
1274.91/643.74	c cleaning 59992 clauses out of 120145 with flag 1881000/1881000
1322.92/667.88	c cleaning 61071 clauses out of 122153 with flag 1943000/1943000
1364.03/688.50	c cleaning 61772 clauses out of 124082 with flag 2006001/2006001
1401.20/707.22	c cleaning 62944 clauses out of 126309 with flag 2070000/2070000
1436.05/724.84	c cleaning 64048 clauses out of 128366 with flag 2135001/2135001
1478.04/745.95	c cleaning 64957 clauses out of 130317 with flag 2201000/2201000
1530.20/772.21	c cleaning 66058 clauses out of 132360 with flag 2268000/2268000
1576.78/795.54	c cleaning 67012 clauses out of 134302 with flag 2336000/2336000
1637.56/826.21	c cleaning 68130 clauses out of 136290 with flag 2405000/2405000
1695.69/855.31	c cleaning 68981 clauses out of 138160 with flag 2475001/2475001
1744.44/879.84	c cleaning 69883 clauses out of 140179 with flag 2546001/2546001
1800.20/907.83	c starts		: 229
1800.20/907.83	c conflicts		: 2597593
1800.20/907.83	c decisions		: 13104042
1800.20/907.83	c propagations		: 764080417
1800.20/907.83	c inspects		: 8790286191
1800.20/907.83	c shortcuts		: 0
1800.20/907.83	c learnt literals	: 13
1800.20/907.83	c learnt binary clauses	: 660
1800.20/907.83	c learnt ternary clauses	: 2047
1800.20/907.83	c learnt constraints	: 2597580
1800.20/907.83	c ignored constraints	: 0
1800.20/907.83	c root simplifications	: 0
1800.20/907.83	c removed literals (reason simplification)	: 53743071
1800.20/907.83	c reason swapping (by a shorter reason)	: 0
1800.20/907.83	c Calls to reduceDB	: 67
1800.20/907.83	c number of reductions to clauses (during analyze)	: 0
1800.20/907.83	c number of learned constraints concerned by reduction	: 0
1800.20/907.83	c number of learning phase by resolution	: 0
1800.20/907.83	c number of learning phase by cutting planes	: 0
1800.20/907.83	c speed (assignments/second)	: 843592.6948614733
1800.20/907.83	c non guided choices	716747
1800.20/907.87	c learnt constraints type 
1800.20/907.87	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 660
1800.20/907.87	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 121250
1800.20/907.87	c constraints type 
1800.20/907.87	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 155859
1800.20/907.87	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
1800.20/907.87	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 47809
1800.20/907.87	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22218
1800.20/907.87	c constraints type 
1800.20/907.87	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 47809
1800.20/907.87	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 155859
1800.20/907.87	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 722
1800.20/907.87	c org.sat4j.pb.constraints.pb.MaxWatchPb => 22218
1800.20/907.87	s UNKNOWN
1800.20/907.87	c Total wall clock time (in seconds): 907.755

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3478814-1307438186/watcher-3478814-1307438186 -o /tmp/evaluation-result-3478814-1307438186/solver-3478814-1307438186 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478814-1307438186.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: 3.99 3.96 3.09 3/575 4081
/proc/meminfo: memFree=20740044/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/4081/stat : 4081 (java) R 4079 4081 3822 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 855415665 23580672 699 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239471732625 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4081/statm: 5757 699 516 9 0 124 0
[pid=4081/tid=4082] ppid=4079 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) R 4079 4081 3822 0 -1 4202560 6533 0 1 0 0 0 0 0 25 0 2 0 855415666 10694979584 7350 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0559571 s]
/proc/loadavg: 3.99 3.96 3.09 3/575 4081
/proc/meminfo: memFree=20740044/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10468504 CPUtime=0.04 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 11487 0 1 0 3 1 0 0 25 0 13 0 855415665 10719748096 11183 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2617126 11183 1685 9 0 2607874 0
[pid=4081/tid=4082] ppid=4079 vsize=10468504 CPUtime=0.03 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) R 4079 4081 3822 0 -1 4202560 10337 0 1 0 2 1 0 0 25 0 13 0 855415666 10719748096 11183 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 47827094748850 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10468504

[startup+0.101057 s]
/proc/loadavg: 3.99 3.96 3.09 3/575 4081
/proc/meminfo: memFree=20740044/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10540260 CPUtime=0.1 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 13065 0 1 0 8 2 0 0 25 0 18 0 855415665 10793226240 12733 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2635065 12735 2093 9 0 2625799 0
[pid=4081/tid=4082] ppid=4079 vsize=10540260 CPUtime=0.08 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) R 4079 4081 3822 0 -1 4202560 11132 0 1 0 6 2 0 0 18 0 18 0 855415666 10793226240 12736 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239476356129 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260

[startup+0.300977 s]
/proc/loadavg: 3.99 3.96 3.09 3/575 4081
/proc/meminfo: memFree=20740044/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10542308 CPUtime=0.47 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 16264 0 1 0 45 2 0 0 25 0 18 0 855415665 10795323392 15656 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2635577 15657 2200 9 0 2626311 0
[pid=4081/tid=4082] ppid=4079 vsize=10542308 CPUtime=0.28 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) R 4079 4081 3822 0 -1 4202560 13337 0 1 0 26 2 0 0 18 0 18 0 855415666 10795323392 15658 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505551070 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542308

[startup+0.700909 s]
/proc/loadavg: 3.99 3.96 3.09 3/575 4081
/proc/meminfo: memFree=20740044/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10545380 CPUtime=1.22 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 53350 0 1 0 114 8 0 0 25 0 18 0 855415665 10798469120 51407 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2636345 51412 2216 9 0 2627079 0
[pid=4081/tid=4082] ppid=4079 vsize=10545380 CPUtime=0.68 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) R 4079 4081 3822 0 -1 4202560 47251 0 1 0 61 7 0 0 18 0 18 0 855415666 10798469120 51414 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505564263 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10545380

[startup+1.50074 s]
/proc/loadavg: 3.99 3.96 3.09 4/593 4099
/proc/meminfo: memFree=20397388/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10545380 CPUtime=2.09 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 150183 0 1 0 191 18 0 0 25 0 18 0 855415665 10798469120 148240 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2636345 148245 2216 9 0 2627079 0
[pid=4081/tid=4082] ppid=4079 vsize=10545380 CPUtime=1.47 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) R 4079 4081 3822 0 -1 4202560 144065 0 1 0 130 17 0 0 19 0 18 0 855415666 10798469120 148248 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505701278 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4081/tid=4084] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4084/stat : 4084 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148251 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4085] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4085/stat : 4085 (java) S 4079 4081 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148254 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4086] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4086/stat : 4086 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148256 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148259 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4088] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4088/stat : 4088 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148262 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4089] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4089/stat : 4089 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148265 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4090] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4090/stat : 4090 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148267 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4091] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4091/stat : 4091 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415668 10798469120 148270 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4092] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4092/stat : 4092 (java) S 4079 4081 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855415669 10798469120 148281 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 0 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4093] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4093/stat : 4093 (java) S 4079 4081 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855415669 10798469120 148291 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4094] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4094/stat : 4094 (java) S 4079 4081 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 855415669 10798469120 148293 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4095] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4095/stat : 4095 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415671 10798469120 148296 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488518577 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4096] ppid=4079 vsize=10545380 CPUtime=0.32 cores=0,2,4,6
/proc/4081/task/4096/stat : 4096 (java) S 4079 4081 3822 0 -1 4202560 3476 0 0 0 32 0 0 0 19 0 18 0 855415671 10798469120 148299 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4097] ppid=4079 vsize=10545380 CPUtime=0.27 cores=0,2,4,6
/proc/4081/task/4097/stat : 4097 (java) S 4079 4081 3822 0 -1 4202560 1497 0 0 0 27 0 0 0 15 0 18 0 855415671 10798469120 148302 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4098] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4098/stat : 4098 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855415671 10798469120 148305 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4099] ppid=4079 vsize=10545380 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4099/stat : 4099 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855415671 10798469120 148307 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10545380

[startup+3.10142 s]
/proc/loadavg: 3.91 3.94 3.09 7/597 4103
/proc/meminfo: memFree=19863444/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10549492 CPUtime=5.42 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 283424 0 1 0 507 35 0 0 25 0 22 0 855415665 10802679808 281452 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2637373 281453 2242 9 0 2628107 0
[pid=4081/tid=4082] ppid=4079 vsize=10549492 CPUtime=2.06 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) S 4079 4081 3822 0 -1 4202560 215735 0 1 0 180 26 0 0 15 0 22 0 855415666 10802679808 281453 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4084] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4084/stat : 4084 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281453 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4085] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4085/stat : 4085 (java) S 4079 4081 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281453 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4086] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4086/stat : 4086 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281453 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281453 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4088] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4088/stat : 4088 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281453 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4089] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4089/stat : 4089 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281453 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4090] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4090/stat : 4090 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281462 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4091] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4091/stat : 4091 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415668 10802679808 281474 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4092] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4092/stat : 4092 (java) S 4079 4081 3822 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 855415669 10802679808 281475 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 0 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4093] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4093/stat : 4093 (java) S 4079 4081 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 855415669 10802679808 281477 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4094] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4094/stat : 4094 (java) S 4079 4081 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855415669 10802679808 281478 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4095] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4095/stat : 4095 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10802679808 281480 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488518577 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4096] ppid=4079 vsize=10549492 CPUtime=0.73 cores=0,2,4,6
/proc/4081/task/4096/stat : 4096 (java) R 4079 4081 3822 0 -1 4202560 3582 0 0 0 73 0 0 0 15 0 22 0 855415671 10802679808 281482 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488513820 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4081/tid=4097] ppid=4079 vsize=10549492 CPUtime=0.59 cores=0,2,4,6
/proc/4081/task/4097/stat : 4097 (java) S 4079 4081 3822 0 -1 4202560 1775 0 0 0 59 0 0 0 15 0 22 0 855415671 10802679808 281483 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4098] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4098/stat : 4098 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10802679808 281485 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4099] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4099/stat : 4099 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855415671 10802679808 281487 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4100] ppid=4079 vsize=10549492 CPUtime=1.01 cores=0,2,4,6
/proc/4081/task/4100/stat : 4100 (java) R 4079 4081 3822 0 -1 4202560 1171 0 0 0 101 0 0 0 25 0 22 0 855415874 10802679808 281489 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912506189451 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4081/tid=4101] ppid=4079 vsize=10549492 CPUtime=1 cores=0,2,4,6
/proc/4081/task/4101/stat : 4101 (java) R 4079 4081 3822 0 -1 4202560 60029 0 0 0 93 7 0 0 25 0 22 0 855415874 10802679808 281490 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505829860 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4081/tid=4102] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4102/stat : 4102 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855415876 10802679808 281490 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4103] ppid=4079 vsize=10549492 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4103/stat : 4103 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 855415876 10802679808 281494 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 10549492

[startup+6.30082 s]
/proc/loadavg: 3.91 3.94 3.09 6/597 4103
/proc/meminfo: memFree=19011200/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10565816 CPUtime=12.09 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 436834 0 1 0 1156 53 0 0 25 0 22 0 855415665 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2641454 433184 2266 9 0 2632188 0
[pid=4081/tid=4082] ppid=4079 vsize=10565816 CPUtime=2.06 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) S 4079 4081 3822 0 -1 4202560 215735 0 1 0 180 26 0 0 15 0 22 0 855415666 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4084] ppid=4079 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4084/stat : 4084 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4085] ppid=4079 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4085/stat : 4085 (java) S 4079 4081 3822 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4086] ppid=4079 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4086/stat : 4086 (java) S 4079 4081 3822 0 -1 4202560 447 0 0 0 0 0 0 0 15 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4088] ppid=4079 vsize=10565816 CPUtime=0.04 cores=0,2,4,6
/proc/4081/task/4088/stat : 4088 (java) S 4079 4081 3822 0 -1 4202560 3431 0 0 0 4 0 0 0 15 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4089] ppid=4079 vsize=10565816 CPUtime=0.05 cores=0,2,4,6
/proc/4081/task/4089/stat : 4089 (java) S 4079 4081 3822 0 -1 4202560 3564 0 0 0 5 0 0 0 15 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4090] ppid=4079 vsize=10565816 CPUtime=0.04 cores=0,2,4,6
/proc/4081/task/4090/stat : 4090 (java) S 4079 4081 3822 0 -1 4202560 3373 0 0 0 4 0 0 0 15 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4091] ppid=4079 vsize=10565816 CPUtime=0.04 cores=0,2,4,6
/proc/4081/task/4091/stat : 4091 (java) S 4079 4081 3822 0 -1 4202560 3541 0 0 0 4 0 0 0 16 0 22 0 855415668 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4092] ppid=4079 vsize=10565816 CPUtime=0.34 cores=0,2,4,6
/proc/4081/task/4092/stat : 4092 (java) S 4079 4081 3822 0 -1 4202560 16924 0 0 0 33 1 0 0 15 0 22 0 855415669 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 0 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4093] ppid=4079 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4093/stat : 4093 (java) S 4079 4081 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855415669 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4094] ppid=4079 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4094/stat : 4094 (java) S 4079 4081 3822 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 855415669 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4095] ppid=4079 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4095/stat : 4095 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10819395584 433184 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488518577 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0

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

/proc/4081/task/4086/stat : 4086 (java) S 4079 4081 3822 0 -1 4202560 3272 0 0 0 70 0 0 0 16 0 22 0 855415668 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=10568236 CPUtime=0.56 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) S 4079 4081 3822 0 -1 4202560 2586 0 0 0 56 0 0 0 15 0 22 0 855415668 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4088] ppid=4079 vsize=10568236 CPUtime=0.77 cores=0,2,4,6
/proc/4081/task/4088/stat : 4088 (java) S 4079 4081 3822 0 -1 4202560 7472 0 0 0 76 1 0 0 16 0 22 0 855415668 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4089] ppid=4079 vsize=10568236 CPUtime=0.73 cores=0,2,4,6
/proc/4081/task/4089/stat : 4089 (java) S 4079 4081 3822 0 -1 4202560 5729 0 0 0 72 1 0 0 16 0 22 0 855415668 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4090] ppid=4079 vsize=10568236 CPUtime=0.59 cores=0,2,4,6
/proc/4081/task/4090/stat : 4090 (java) S 4079 4081 3822 0 -1 4202560 5463 0 0 0 59 0 0 0 16 0 22 0 855415668 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4091] ppid=4079 vsize=10568236 CPUtime=0.75 cores=0,2,4,6
/proc/4081/task/4091/stat : 4091 (java) S 4079 4081 3822 0 -1 4202560 6744 0 0 0 75 0 0 0 15 0 22 0 855415668 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4092] ppid=4079 vsize=10568236 CPUtime=17.69 cores=0,2,4,6
/proc/4081/task/4092/stat : 4092 (java) S 4079 4081 3822 0 -1 4202560 39301 0 0 0 1764 5 0 0 15 0 22 0 855415669 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 0 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4093] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4093/stat : 4093 (java) S 4079 4081 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855415669 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4094] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4094/stat : 4094 (java) S 4079 4081 3822 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 855415669 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4095] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4095/stat : 4095 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488518577 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4096] ppid=4079 vsize=10568236 CPUtime=1.17 cores=0,2,4,6
/proc/4081/task/4096/stat : 4096 (java) S 4079 4081 3822 0 -1 4202560 7380 0 0 0 116 1 0 0 15 0 22 0 855415671 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4097] ppid=4079 vsize=10568236 CPUtime=1.7 cores=0,2,4,6
/proc/4081/task/4097/stat : 4097 (java) S 4079 4081 3822 0 -1 4202560 8093 0 0 0 170 0 0 0 15 0 22 0 855415671 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4098] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4098/stat : 4098 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4099] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4099/stat : 4099 (java) S 4079 4081 3822 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 855415671 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4100] ppid=4079 vsize=10568236 CPUtime=800.93 cores=0,2,4,6
/proc/4081/task/4100/stat : 4100 (java) R 4079 4081 3822 0 -1 4202560 1985 0 0 0 80093 0 0 0 25 0 22 0 855415874 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505817248 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4081/tid=4101] ppid=4079 vsize=10568236 CPUtime=800.84 cores=0,2,4,6
/proc/4081/task/4101/stat : 4101 (java) R 4079 4081 3822 0 -1 4202560 622123 0 0 0 80017 67 0 0 25 0 22 0 855415874 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505896326 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4081/tid=4102] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4102/stat : 4102 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855415876 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4103] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4103/stat : 4103 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 855415876 10821873664 923914 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1629.94
Current children cumulated vsize (KiB) 10568236

[startup+882.322 s]
/proc/loadavg: 4.05 4.00 3.63 6/597 4178
/proc/meminfo: memFree=17026484/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10568236 CPUtime=1749.2 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 932208 0 1 0 174810 110 0 0 25 0 22 0 855415665 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2642059 923920 2268 9 0 2632793 0
[pid=4081/tid=4082] ppid=4079 vsize=10568236 CPUtime=2.06 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) S 4079 4081 3822 0 -1 4202560 215753 0 1 0 180 26 0 0 15 0 22 0 855415666 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4084] ppid=4079 vsize=10568236 CPUtime=0.73 cores=0,2,4,6
/proc/4081/task/4084/stat : 4084 (java) S 4079 4081 3822 0 -1 4202560 3644 0 0 0 72 1 0 0 16 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4085] ppid=4079 vsize=10568236 CPUtime=0.7 cores=0,2,4,6
/proc/4081/task/4085/stat : 4085 (java) S 4079 4081 3822 0 -1 4202560 1436 0 0 0 70 0 0 0 16 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4086] ppid=4079 vsize=10568236 CPUtime=0.75 cores=0,2,4,6
/proc/4081/task/4086/stat : 4086 (java) S 4079 4081 3822 0 -1 4202560 3272 0 0 0 75 0 0 0 16 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=10568236 CPUtime=0.64 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) S 4079 4081 3822 0 -1 4202560 2586 0 0 0 64 0 0 0 16 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4088] ppid=4079 vsize=10568236 CPUtime=0.8 cores=0,2,4,6
/proc/4081/task/4088/stat : 4088 (java) S 4079 4081 3822 0 -1 4202560 7472 0 0 0 79 1 0 0 15 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 6 0 0 0
[pid=4081/tid=4089] ppid=4079 vsize=10568236 CPUtime=0.78 cores=0,2,4,6
/proc/4081/task/4089/stat : 4089 (java) S 4079 4081 3822 0 -1 4202560 5734 0 0 0 77 1 0 0 15 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4090] ppid=4079 vsize=10568236 CPUtime=0.61 cores=0,2,4,6
/proc/4081/task/4090/stat : 4090 (java) S 4079 4081 3822 0 -1 4202560 5463 0 0 0 61 0 0 0 16 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4091] ppid=4079 vsize=10568236 CPUtime=0.83 cores=0,2,4,6
/proc/4081/task/4091/stat : 4091 (java) S 4079 4081 3822 0 -1 4202560 6744 0 0 0 83 0 0 0 15 0 22 0 855415668 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4092] ppid=4079 vsize=10568236 CPUtime=18.67 cores=0,2,4,6
/proc/4081/task/4092/stat : 4092 (java) S 4079 4081 3822 0 -1 4202560 39305 0 0 0 1862 5 0 0 15 0 22 0 855415669 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 0 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4093] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4093/stat : 4093 (java) S 4079 4081 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855415669 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4094] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4094/stat : 4094 (java) S 4079 4081 3822 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 855415669 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4095] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4095/stat : 4095 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488518577 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4096] ppid=4079 vsize=10568236 CPUtime=1.17 cores=0,2,4,6
/proc/4081/task/4096/stat : 4096 (java) S 4079 4081 3822 0 -1 4202560 7380 0 0 0 116 1 0 0 15 0 22 0 855415671 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4097] ppid=4079 vsize=10568236 CPUtime=1.7 cores=0,2,4,6
/proc/4081/task/4097/stat : 4097 (java) S 4079 4081 3822 0 -1 4202560 8093 0 0 0 170 0 0 0 15 0 22 0 855415671 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4098] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4098/stat : 4098 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4099] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4099/stat : 4099 (java) S 4079 4081 3822 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855415671 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4100] ppid=4079 vsize=10568236 CPUtime=859.85 cores=0,2,4,6
/proc/4081/task/4100/stat : 4100 (java) R 4079 4081 3822 0 -1 4202560 1991 0 0 0 85985 0 0 0 25 0 22 0 855415874 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505938706 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4081/tid=4101] ppid=4079 vsize=10568236 CPUtime=859.77 cores=0,2,4,6
/proc/4081/task/4101/stat : 4101 (java) R 4079 4081 3822 0 -1 4202560 622124 0 0 0 85910 67 0 0 25 0 22 0 855415874 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505896304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4081/tid=4102] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4102/stat : 4102 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855415876 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4103] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4103/stat : 4103 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 855415876 10821873664 923920 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1749.2
Current children cumulated vsize (KiB) 10568236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.801 s]
/proc/loadavg: 4.16 4.03 3.65 5/597 4178
/proc/meminfo: memFree=17012840/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=10568236 CPUtime=1800.2 cores=0,2,4,6
/proc/4081/stat : 4081 (java) S 4079 4081 3822 0 -1 4202496 934405 0 1 0 179910 110 0 0 25 0 22 0 855415665 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 2642059 926044 2268 9 0 2632793 0
[pid=4081/tid=4082] ppid=4079 vsize=10568236 CPUtime=2.06 cores=0,2,4,6
/proc/4081/task/4082/stat : 4082 (java) S 4079 4081 3822 0 -1 4202560 215753 0 1 0 180 26 0 0 15 0 22 0 855415666 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4084] ppid=4079 vsize=10568236 CPUtime=0.74 cores=0,2,4,6
/proc/4081/task/4084/stat : 4084 (java) S 4079 4081 3822 0 -1 4202560 3644 0 0 0 73 1 0 0 15 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4085] ppid=4079 vsize=10568236 CPUtime=0.7 cores=0,2,4,6
/proc/4081/task/4085/stat : 4085 (java) S 4079 4081 3822 0 -1 4202560 1436 0 0 0 70 0 0 0 15 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4086] ppid=4079 vsize=10568236 CPUtime=0.78 cores=0,2,4,6
/proc/4081/task/4086/stat : 4086 (java) S 4079 4081 3822 0 -1 4202560 3708 0 0 0 78 0 0 0 16 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=10568236 CPUtime=0.65 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) S 4079 4081 3822 0 -1 4202560 3263 0 0 0 65 0 0 0 16 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4088] ppid=4079 vsize=10568236 CPUtime=0.83 cores=0,2,4,6
/proc/4081/task/4088/stat : 4088 (java) S 4079 4081 3822 0 -1 4202560 7946 0 0 0 82 1 0 0 16 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4089] ppid=4079 vsize=10568236 CPUtime=0.81 cores=0,2,4,6
/proc/4081/task/4089/stat : 4089 (java) S 4079 4081 3822 0 -1 4202560 6338 0 0 0 80 1 0 0 16 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4090] ppid=4079 vsize=10568236 CPUtime=0.61 cores=0,2,4,6
/proc/4081/task/4090/stat : 4090 (java) S 4079 4081 3822 0 -1 4202560 5463 0 0 0 61 0 0 0 15 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4091] ppid=4079 vsize=10568236 CPUtime=0.83 cores=0,2,4,6
/proc/4081/task/4091/stat : 4091 (java) S 4079 4081 3822 0 -1 4202560 6744 0 0 0 83 0 0 0 15 0 22 0 855415668 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4092] ppid=4079 vsize=10568236 CPUtime=18.67 cores=0,2,4,6
/proc/4081/task/4092/stat : 4092 (java) S 4079 4081 3822 0 -1 4202560 39307 0 0 0 1862 5 0 0 15 0 22 0 855415669 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 0 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4093] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4093/stat : 4093 (java) S 4079 4081 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855415669 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4094] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4094/stat : 4094 (java) S 4079 4081 3822 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 855415669 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4095] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4095/stat : 4095 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488518577 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4096] ppid=4079 vsize=10568236 CPUtime=1.17 cores=0,2,4,6
/proc/4081/task/4096/stat : 4096 (java) S 4079 4081 3822 0 -1 4202560 7380 0 0 0 116 1 0 0 15 0 22 0 855415671 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4097] ppid=4079 vsize=10568236 CPUtime=1.7 cores=0,2,4,6
/proc/4081/task/4097/stat : 4097 (java) S 4079 4081 3822 0 -1 4202560 8093 0 0 0 170 0 0 0 15 0 22 0 855415671 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
[pid=4081/tid=4098] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4098/stat : 4098 (java) S 4079 4081 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855415671 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488510873 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4099] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4099/stat : 4099 (java) S 4079 4081 3822 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855415671 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 2 0 0 0
[pid=4081/tid=4100] ppid=4079 vsize=10568236 CPUtime=885.31 cores=0,2,4,6
/proc/4081/task/4100/stat : 4100 (java) R 4079 4081 3822 0 -1 4202560 1993 0 0 0 88531 0 0 0 25 0 22 0 855415874 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505924432 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4081/tid=4101] ppid=4079 vsize=10568236 CPUtime=885.23 cores=0,2,4,6
/proc/4081/task/4101/stat : 4101 (java) R 4079 4081 3822 0 -1 4202560 622124 0 0 0 88456 67 0 0 25 0 22 0 855415874 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 46912505930920 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4081/tid=4102] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4102/stat : 4102 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855415876 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 4 0 0 0
[pid=4081/tid=4103] ppid=4079 vsize=10568236 CPUtime=0 cores=0,2,4,6
/proc/4081/task/4103/stat : 4103 (java) S 4079 4081 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 855415876 10821873664 926044 33554432000 1073741824 1073778376 140736007764784 18446744073709551615 239488511488 0 4 0 16800975 18446604444455051456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10568236

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

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

[startup+907.928 s]
/proc/loadavg: 4.16 4.03 3.65 5/597 4178
/proc/meminfo: memFree=17012840/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=0 CPUtime=1800.45 cores=0,2,4,6
/proc/4081/stat : 4081 (java) Z 4079 4081 3822 0 -1 4203548 934435 0 1 0 179930 115 0 0 17 0 2 0 855415665 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 0 0 0 0 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=0 CPUtime=0.7 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) R 4079 4081 3822 0 -1 4203588 3263 0 0 0 65 5 0 0 15 0 2 0 855415668 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0

[startup+908.001 s]
/proc/loadavg: 4.16 4.03 3.65 5/597 4178
/proc/meminfo: memFree=17012840/32950928 swapFree=67056580/67111528
[pid=4081] ppid=4079 vsize=0 CPUtime=1800.52 cores=0,2,4,6
/proc/4081/stat : 4081 (java) Z 4079 4081 3822 0 -1 4203548 934435 0 1 0 179930 122 0 0 17 0 2 0 855415665 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4081/statm: 0 0 0 0 0 0 0
[pid=4081/tid=4087] ppid=4079 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/4081/task/4087/stat : 4087 (java) R 4079 4081 3822 0 -1 4203588 3263 0 0 0 65 12 0 0 15 0 2 0 855415668 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 908.028
CPU time (s): 1800.56
CPU user time (s): 1799.31
CPU system time (s): 1.25381
CPU usage (%): 198.294
Max. virtual memory (cumulated for all children) (KiB): 10568236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 1.25381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934435
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24757
involuntary context switches= 13750

runsolver used 5.50716 second user time and 11.5802 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-07 11:16:26
IDJOB=3478814
IDBENCH=89703
IDSOLVER=1950
FILE ID=node148/3478814-1307438186
RUNJOBID= node148-1307436781-3840
PBS_JOBID= 13519940
Free space on /tmp= 73892 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-91.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478814-1307438186/watcher-3478814-1307438186 -o /tmp/evaluation-result-3478814-1307438186/solver-3478814-1307438186 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478814-1307438186.opb

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

MD5SUM BENCH= 0d52a3bd95f65144c5f8bf26bef42f13
RANDOM SEED=697520261

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20740324 kB
Buffers:        295640 kB
Cached:         847424 kB
SwapCached:       7908 kB
Active:       11293536 kB
Inactive:       600376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20740324 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:            9792 kB
Writeback:           0 kB
AnonPages:    10749436 kB
Mapped:          52080 kB
Slab:           181220 kB
PageTables:      65788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180755792 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73884 MiB
End job on node148 at 2011-06-07 11:31:36