Trace number 3478783

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 Resolution 2.3.0? (TO) 1800.27 1796.9

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-154.opb
MD5SUMf522aac6d99c68f89e25c943b464d005
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 variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3478783-1307438582.opb
0.11/0.11	c reading problem ... 
8.40/7.31	c ... done. Wall clock time 7.201s.
8.40/7.31	c #vars     48411
8.40/7.31	c #constraints  1123290
8.40/7.31	c constraints type 
8.40/7.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 773682
8.40/7.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 3524
8.40/7.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 235813
8.40/7.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110271
17.94/16.43	c cleaning 2477 clauses out of 5000 with flag 5000/5000
24.52/22.67	c cleaning 4247 clauses out of 8523 with flag 11000/11000
30.82/28.97	c cleaning 5626 clauses out of 11277 with flag 18001/18001
36.94/35.09	c cleaning 6792 clauses out of 13650 with flag 26000/26000
44.88/43.00	c cleaning 7910 clauses out of 15860 with flag 35002/35002
52.59/50.64	c cleaning 8970 clauses out of 17951 with flag 45003/45003
61.68/59.76	c cleaning 9974 clauses out of 19981 with flag 56003/56003
72.19/70.25	c cleaning 10937 clauses out of 22004 with flag 68000/68000
82.80/80.81	c cleaning 11953 clauses out of 24067 with flag 81000/81000
93.33/91.37	c cleaning 13021 clauses out of 26116 with flag 95002/95002
106.65/104.67	c cleaning 14033 clauses out of 28094 with flag 110001/110001
118.24/116.23	c cleaning 14971 clauses out of 30060 with flag 126000/126000
128.57/126.60	c cleaning 16020 clauses out of 32092 with flag 143003/143003
142.67/140.68	c cleaning 16978 clauses out of 34069 with flag 161000/161000
156.60/154.56	c cleaning 18030 clauses out of 36094 with flag 180003/180003
169.92/167.87	c cleaning 18994 clauses out of 38067 with flag 200006/200006
184.33/182.25	c cleaning 19997 clauses out of 40067 with flag 221000/221000
200.84/198.79	c cleaning 20924 clauses out of 42071 with flag 243001/243001
221.77/219.67	c cleaning 22012 clauses out of 44146 with flag 266000/266000
241.39/239.27	c cleaning 22986 clauses out of 46134 with flag 290000/290000
257.61/255.43	c cleaning 24054 clauses out of 48148 with flag 315000/315000
285.73/283.56	c cleaning 25014 clauses out of 50095 with flag 341001/341001
313.15/310.96	c cleaning 26033 clauses out of 52080 with flag 368000/368000
346.07/343.86	c cleaning 26967 clauses out of 54048 with flag 396001/396001
372.89/370.65	c cleaning 27985 clauses out of 56081 with flag 425001/425001
400.52/398.24	c cleaning 29034 clauses out of 58097 with flag 455002/455002
424.93/422.67	c cleaning 30015 clauses out of 60060 with flag 486000/486000
450.55/448.20	c cleaning 31012 clauses out of 62047 with flag 518002/518002
485.16/482.88	c cleaning 32004 clauses out of 64035 with flag 551002/551002
523.91/521.57	c cleaning 33007 clauses out of 66029 with flag 585000/585000
554.43/552.08	c cleaning 33961 clauses out of 68018 with flag 620001/620001
589.76/587.38	c cleaning 35011 clauses out of 70054 with flag 656002/656002
618.10/615.69	c cleaning 35999 clauses out of 72043 with flag 693003/693003
655.11/652.65	c cleaning 37011 clauses out of 74040 with flag 731000/731000
690.54/688.03	c cleaning 38011 clauses out of 76029 with flag 770000/770000
730.05/727.52	c cleaning 38975 clauses out of 78018 with flag 810000/810000
770.88/768.34	c cleaning 39978 clauses out of 80042 with flag 851001/851001
808.60/806.04	c cleaning 41001 clauses out of 82065 with flag 893002/893002
843.04/840.48	c cleaning 41982 clauses out of 84061 with flag 936000/936000
879.05/876.44	c cleaning 43031 clauses out of 86082 with flag 980003/980003
927.97/925.39	c cleaning 43696 clauses out of 88051 with flag 1025003/1025003
971.84/969.12	c cleaning 45151 clauses out of 90354 with flag 1071002/1071002
1016.33/1013.60	c cleaning 46082 clauses out of 92202 with flag 1118001/1118001
1059.37/1056.61	c cleaning 47033 clauses out of 94120 with flag 1166001/1166001
1100.62/1097.91	c cleaning 48003 clauses out of 96086 with flag 1215000/1215000
1144.24/1141.42	c cleaning 48983 clauses out of 98083 with flag 1265000/1265000
1193.98/1191.10	c cleaning 49980 clauses out of 100104 with flag 1316004/1316004
1239.71/1236.88	c cleaning 51043 clauses out of 102125 with flag 1368005/1368005
1289.44/1286.51	c cleaning 51997 clauses out of 104078 with flag 1421001/1421001
1347.20/1344.30	c cleaning 52996 clauses out of 106080 with flag 1475000/1475000
1417.52/1414.57	c cleaning 54014 clauses out of 108085 with flag 1530001/1530001
1474.66/1471.63	c cleaning 55019 clauses out of 110071 with flag 1586001/1586001
1551.79/1548.78	c cleaning 56022 clauses out of 112053 with flag 1643002/1643002
1593.84/1590.76	c cleaning 56492 clauses out of 114029 with flag 1701000/1701000
1627.66/1624.51	c cleaning 57626 clauses out of 116538 with flag 1760001/1760001
1669.60/1666.45	c cleaning 59442 clauses out of 118914 with flag 1820003/1820003
1729.15/1725.93	c cleaning 60224 clauses out of 120472 with flag 1881003/1881003
1796.16/1792.90	c cleaning 61112 clauses out of 122245 with flag 1943000/1943000
1800.02/1796.72	c starts		: 210
1800.02/1796.72	c conflicts		: 1948120
1800.02/1796.72	c decisions		: 22254231
1800.02/1796.72	c propagations		: 3746347089
1800.02/1796.72	c inspects		: 18043721054
1800.02/1796.72	c shortcuts		: 0
1800.02/1796.72	c learnt literals	: 15
1800.02/1796.72	c learnt binary clauses	: 549
1800.02/1796.72	c learnt ternary clauses	: 2673
1800.02/1796.72	c learnt constraints	: 1948105
1800.02/1796.72	c ignored constraints	: 0
1800.02/1796.72	c root simplifications	: 0
1800.02/1796.72	c removed literals (reason simplification)	: 41963218
1800.02/1796.72	c reason swapping (by a shorter reason)	: 0
1800.02/1796.72	c Calls to reduceDB	: 58
1800.02/1796.72	c number of reductions to clauses (during analyze)	: 0
1800.02/1796.72	c number of learned constraints concerned by reduction	: 0
1800.02/1796.72	c number of learning phase by resolution	: 0
1800.02/1796.74	c number of learning phase by cutting planes	: 0
1800.02/1796.74	c speed (assignments/second)	: 2093619.4766772548
1800.02/1796.74	c non guided choices	4808058
1800.02/1796.75	c learnt constraints type 
1800.02/1796.75	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 549
1800.02/1796.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 65731
1800.02/1796.75	c constraints type 
1800.02/1796.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 773682
1800.02/1796.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 3524
1800.02/1796.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 235813
1800.02/1796.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110271
1800.02/1796.75	s UNKNOWN
1800.02/1796.75	c Total wall clock time (in seconds): 1796.644

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-3478783-1307438582/watcher-3478783-1307438582 -o /tmp/evaluation-result-3478783-1307438582/solver-3478783-1307438582 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3478783-1307438582.opb 

running on 4 cores: 1,3,5,7

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.84 1.98 1.70 3/543 31507
/proc/meminfo: memFree=22202852/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 8260 0 1 0 0 0 0 0 23 0 2 0 836274153 13850947584 7961 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3381579 7974 917 9 0 3372735 0
[pid=31507/tid=31508] ppid=31505 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 7206 0 1 0 0 0 0 0 25 0 2 0 836274154 13850947584 8022 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.110337 s]
/proc/loadavg: 1.84 1.98 1.70 3/543 31507
/proc/meminfo: memFree=22202852/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13556960 CPUtime=0.11 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 15584 0 1 0 9 2 0 0 23 0 18 0 836274153 13882327040 15280 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3389240 15280 2092 9 0 3379974 0
[pid=31507/tid=31508] ppid=31505 vsize=13556960 CPUtime=0.09 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 13666 0 1 0 7 2 0 0 25 0 18 0 836274154 13882327040 15280 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522124235 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13556960

[startup+0.200322 s]
/proc/loadavg: 1.84 1.98 1.70 3/543 31507
/proc/meminfo: memFree=22202852/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13622984 CPUtime=0.25 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 17430 0 1 0 23 2 0 0 23 0 18 0 836274153 13949935616 17095 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3405746 17096 2178 9 0 3396480 0
[pid=31507/tid=31508] ppid=31505 vsize=13622984 CPUtime=0.18 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 15140 0 1 0 16 2 0 0 25 0 18 0 836274154 13949935616 17096 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505205044 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13622984

[startup+0.300305 s]
/proc/loadavg: 1.84 1.98 1.70 3/543 31507
/proc/meminfo: memFree=22202852/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13624036 CPUtime=0.47 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 20075 0 1 0 44 3 0 0 23 0 18 0 836274153 13951012864 19367 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3406009 19367 2199 9 0 3396743 0
[pid=31507/tid=31508] ppid=31505 vsize=13624036 CPUtime=0.28 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 16990 0 1 0 26 2 0 0 25 0 18 0 836274154 13951012864 19368 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624036

[startup+0.700271 s]
/proc/loadavg: 1.84 1.98 1.70 3/543 31507
/proc/meminfo: memFree=22202852/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13638112 CPUtime=1.44 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 68442 0 1 0 135 9 0 0 23 0 18 0 836274153 13965426688 62037 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3409528 62043 2215 9 0 3400262 0
[pid=31507/tid=31508] ppid=31505 vsize=13638112 CPUtime=0.68 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 53000 0 1 0 61 7 0 0 25 0 18 0 836274154 13965426688 62045 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505593232 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 13638112

[startup+1.50114 s]
/proc/loadavg: 1.84 1.98 1.70 3/562 31526
/proc/meminfo: memFree=21545200/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13638112 CPUtime=2.26 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 182869 0 1 0 205 21 0 0 23 0 18 0 836274153 13965426688 176464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3409528 176468 2215 9 0 3400262 0
[pid=31507/tid=31508] ppid=31505 vsize=13638112 CPUtime=1.48 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 167421 0 1 0 129 19 0 0 25 0 18 0 836274154 13965426688 176470 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505677603 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31507/tid=31510] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31510/stat : 31510 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176473 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31511] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31511/stat : 31511 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176476 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31512] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31512/stat : 31512 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176479 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31513] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31513/stat : 31513 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176481 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31514] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31514/stat : 31514 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176484 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31515] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31515/stat : 31515 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176487 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31516] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31516/stat : 31516 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176489 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31517] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31517/stat : 31517 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 176492 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31518] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31518/stat : 31518 (java) S 31505 31507 31299 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 836274157 13965426688 176495 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31519] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31519/stat : 31519 (java) S 31505 31507 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 836274158 13965426688 176497 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31520] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31520/stat : 31520 (java) S 31505 31507 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 836274158 13965426688 176500 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31521] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31521/stat : 31521 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274160 13965426688 176503 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31522] ppid=31505 vsize=13638112 CPUtime=0.35 cores=1,3,5,7
/proc/31507/task/31522/stat : 31522 (java) S 31505 31507 31299 0 -1 4202560 5970 0 0 0 35 0 0 0 21 0 18 0 836274160 13965426688 176505 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31523] ppid=31505 vsize=13638112 CPUtime=0.4 cores=1,3,5,7
/proc/31507/task/31523/stat : 31523 (java) S 31505 31507 31299 0 -1 4202560 8333 0 0 0 40 0 0 0 21 0 18 0 836274160 13965426688 176508 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31524] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31524/stat : 31524 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274160 13965426688 176511 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31525] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31525/stat : 31525 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 836274160 13965426688 176514 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 13638112

[startup+3.10085 s]
/proc/loadavg: 1.84 1.98 1.70 4/562 31526
/proc/meminfo: memFree=20871760/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13638112 CPUtime=3.91 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 408438 0 1 0 344 47 0 0 23 0 18 0 836274153 13965426688 402033 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3409528 402037 2215 9 0 3400262 0
[pid=31507/tid=31508] ppid=31505 vsize=13638112 CPUtime=3.08 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 392984 0 1 0 263 45 0 0 25 0 18 0 836274154 13965426688 402039 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505593262 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31507/tid=31510] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31510/stat : 31510 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402042 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31511] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31511/stat : 31511 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402044 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31512] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31512/stat : 31512 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402047 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31513] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31513/stat : 31513 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402050 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31514] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31514/stat : 31514 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402052 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31515] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31515/stat : 31515 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402055 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31516] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31516/stat : 31516 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402057 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31517] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31517/stat : 31517 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274156 13965426688 402060 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31518] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31518/stat : 31518 (java) S 31505 31507 31299 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 836274157 13965426688 402075 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31519] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31519/stat : 31519 (java) S 31505 31507 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 836274158 13965426688 402091 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31520] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31520/stat : 31520 (java) S 31505 31507 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 836274158 13965426688 402108 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31521] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31521/stat : 31521 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274160 13965426688 402124 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31522] ppid=31505 vsize=13638112 CPUtime=0.35 cores=1,3,5,7
/proc/31507/task/31522/stat : 31522 (java) S 31505 31507 31299 0 -1 4202560 5970 0 0 0 35 0 0 0 21 0 18 0 836274160 13965426688 402140 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31523] ppid=31505 vsize=13638112 CPUtime=0.45 cores=1,3,5,7
/proc/31507/task/31523/stat : 31523 (java) S 31505 31507 31299 0 -1 4202560 8339 0 0 0 45 0 0 0 15 0 18 0 836274160 13965426688 402155 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31524] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31524/stat : 31524 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274160 13965426688 402157 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31525] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31525/stat : 31525 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 836274160 13965426688 402160 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13638112

[startup+6.30127 s]
/proc/loadavg: 2.01 2.02 1.71 3/562 31526
/proc/meminfo: memFree=18893096/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13638112 CPUtime=7.38 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 880469 0 1 0 632 106 0 0 23 0 18 0 836274153 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3409528 873667 2231 9 0 3400262 0
[pid=31507/tid=31508] ppid=31505 vsize=13638112 CPUtime=6.19 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 844577 0 1 0 517 102 0 0 20 0 18 0 836274154 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505640277 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31507/tid=31510] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31510/stat : 31510 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31511] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31511/stat : 31511 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31512] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31512/stat : 31512 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31513] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31513/stat : 31513 (java) S 31505 31507 31299 0 -1 4202560 126 0 0 0 0 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31514] ppid=31505 vsize=13638112 CPUtime=0.08 cores=1,3,5,7
/proc/31507/task/31514/stat : 31514 (java) S 31505 31507 31299 0 -1 4202560 4887 0 0 0 8 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31507/tid=31515] ppid=31505 vsize=13638112 CPUtime=0.08 cores=1,3,5,7
/proc/31507/task/31515/stat : 31515 (java) S 31505 31507 31299 0 -1 4202560 4661 0 0 0 8 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31516] ppid=31505 vsize=13638112 CPUtime=0.08 cores=1,3,5,7
/proc/31507/task/31516/stat : 31516 (java) S 31505 31507 31299 0 -1 4202560 4657 0 0 0 8 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31517] ppid=31505 vsize=13638112 CPUtime=0.07 cores=1,3,5,7
/proc/31507/task/31517/stat : 31517 (java) S 31505 31507 31299 0 -1 4202560 6096 0 0 0 7 0 0 0 18 0 18 0 836274156 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31518] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31518/stat : 31518 (java) S 31505 31507 31299 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 836274157 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31519] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31519/stat : 31519 (java) S 31505 31507 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 836274158 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31520] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31520/stat : 31520 (java) S 31505 31507 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 836274158 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31521] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31521/stat : 31521 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274160 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31522] ppid=31505 vsize=13638112 CPUtime=0.35 cores=1,3,5,7
/proc/31507/task/31522/stat : 31522 (java) S 31505 31507 31299 0 -1 4202560 5970 0 0 0 35 0 0 0 18 0 18 0 836274160 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31523] ppid=31505 vsize=13638112 CPUtime=0.45 cores=1,3,5,7
/proc/31507/task/31523/stat : 31523 (java) S 31505 31507 31299 0 -1 4202560 8339 0 0 0 45 0 0 0 16 0 18 0 836274160 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31524] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31524/stat : 31524 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836274160 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31525] ppid=31505 vsize=13638112 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31525/stat : 31525 (java) S 31505 31507 31299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 836274160 13965426688 873667 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0

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

/proc/31507/task/31520/stat : 31520 (java) S 31505 31507 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836274158 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31521] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31521/stat : 31521 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31522] ppid=31505 vsize=13639140 CPUtime=0.68 cores=1,3,5,7
/proc/31507/task/31522/stat : 31522 (java) S 31505 31507 31299 0 -1 4202560 6087 0 0 0 68 0 0 0 15 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31523] ppid=31505 vsize=13639140 CPUtime=0.74 cores=1,3,5,7
/proc/31507/task/31523/stat : 31523 (java) S 31505 31507 31299 0 -1 4202560 8397 0 0 0 74 0 0 0 15 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31524] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31524/stat : 31524 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31525] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31525/stat : 31525 (java) S 31505 31507 31299 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31527] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31527/stat : 31527 (java) S 31505 31507 31299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 836274888 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.5
Current children cumulated vsize (KiB) 13639140

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/563 31622
/proc/meminfo: memFree=17924996/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13639140 CPUtime=1725.53 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 948528 0 1 0 172435 118 0 0 23 0 19 0 836274153 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3409785 941463 2262 9 0 3400519 0
[pid=31507/tid=31508] ppid=31505 vsize=13639140 CPUtime=1704.66 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 844926 0 1 0 170364 102 0 0 25 0 19 0 836274154 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505947314 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31507/tid=31510] ppid=31505 vsize=13639140 CPUtime=0.34 cores=1,3,5,7
/proc/31507/task/31510/stat : 31510 (java) S 31505 31507 31299 0 -1 4202560 7692 0 0 0 34 0 0 0 15 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31511] ppid=31505 vsize=13639140 CPUtime=0.25 cores=1,3,5,7
/proc/31507/task/31511/stat : 31511 (java) S 31505 31507 31299 0 -1 4202560 35 0 0 0 25 0 0 0 16 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31512] ppid=31505 vsize=13639140 CPUtime=0.23 cores=1,3,5,7
/proc/31507/task/31512/stat : 31512 (java) S 31505 31507 31299 0 -1 4202560 5057 0 0 0 22 1 0 0 16 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31513] ppid=31505 vsize=13639140 CPUtime=0.31 cores=1,3,5,7
/proc/31507/task/31513/stat : 31513 (java) S 31505 31507 31299 0 -1 4202560 5009 0 0 0 31 0 0 0 15 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31514] ppid=31505 vsize=13639140 CPUtime=0.36 cores=1,3,5,7
/proc/31507/task/31514/stat : 31514 (java) S 31505 31507 31299 0 -1 4202560 5927 0 0 0 36 0 0 0 15 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31515] ppid=31505 vsize=13639140 CPUtime=0.34 cores=1,3,5,7
/proc/31507/task/31515/stat : 31515 (java) S 31505 31507 31299 0 -1 4202560 4696 0 0 0 34 0 0 0 15 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31516] ppid=31505 vsize=13639140 CPUtime=0.39 cores=1,3,5,7
/proc/31507/task/31516/stat : 31516 (java) S 31505 31507 31299 0 -1 4202560 7441 0 0 0 39 0 0 0 15 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31517] ppid=31505 vsize=13639140 CPUtime=0.39 cores=1,3,5,7
/proc/31507/task/31517/stat : 31517 (java) S 31505 31507 31299 0 -1 4202560 13466 0 0 0 38 1 0 0 16 0 19 0 836274156 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31518] ppid=31505 vsize=13639140 CPUtime=16.7 cores=1,3,5,7
/proc/31507/task/31518/stat : 31518 (java) S 31505 31507 31299 0 -1 4202560 38545 0 0 0 1664 6 0 0 15 0 19 0 836274157 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31507/tid=31519] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31519/stat : 31519 (java) S 31505 31507 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836274158 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31520] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31520/stat : 31520 (java) S 31505 31507 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836274158 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31521] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31521/stat : 31521 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31522] ppid=31505 vsize=13639140 CPUtime=0.68 cores=1,3,5,7
/proc/31507/task/31522/stat : 31522 (java) S 31505 31507 31299 0 -1 4202560 6087 0 0 0 68 0 0 0 15 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31523] ppid=31505 vsize=13639140 CPUtime=0.74 cores=1,3,5,7
/proc/31507/task/31523/stat : 31523 (java) S 31505 31507 31299 0 -1 4202560 8397 0 0 0 74 0 0 0 15 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31524] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31524/stat : 31524 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31525] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31525/stat : 31525 (java) S 31505 31507 31299 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 836274160 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31527] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31527/stat : 31527 (java) S 31505 31507 31299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 836274888 13966479360 941463 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.53
Current children cumulated vsize (KiB) 13639140

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/563 31623
/proc/meminfo: memFree=17923816/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13639140 CPUtime=1785.56 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 948536 0 1 0 178438 118 0 0 23 0 19 0 836274153 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3409785 941464 2262 9 0 3400519 0
[pid=31507/tid=31508] ppid=31505 vsize=13639140 CPUtime=1764.35 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 844927 0 1 0 176333 102 0 0 25 0 19 0 836274154 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912505976279 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31507/tid=31510] ppid=31505 vsize=13639140 CPUtime=0.36 cores=1,3,5,7
/proc/31507/task/31510/stat : 31510 (java) S 31505 31507 31299 0 -1 4202560 7692 0 0 0 36 0 0 0 16 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31511] ppid=31505 vsize=13639140 CPUtime=0.25 cores=1,3,5,7
/proc/31507/task/31511/stat : 31511 (java) S 31505 31507 31299 0 -1 4202560 35 0 0 0 25 0 0 0 15 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31512] ppid=31505 vsize=13639140 CPUtime=0.23 cores=1,3,5,7
/proc/31507/task/31512/stat : 31512 (java) S 31505 31507 31299 0 -1 4202560 5057 0 0 0 22 1 0 0 15 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31513] ppid=31505 vsize=13639140 CPUtime=0.31 cores=1,3,5,7
/proc/31507/task/31513/stat : 31513 (java) S 31505 31507 31299 0 -1 4202560 5009 0 0 0 31 0 0 0 15 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31514] ppid=31505 vsize=13639140 CPUtime=0.37 cores=1,3,5,7
/proc/31507/task/31514/stat : 31514 (java) S 31505 31507 31299 0 -1 4202560 5927 0 0 0 37 0 0 0 16 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31515] ppid=31505 vsize=13639140 CPUtime=0.34 cores=1,3,5,7
/proc/31507/task/31515/stat : 31515 (java) S 31505 31507 31299 0 -1 4202560 4696 0 0 0 34 0 0 0 16 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31516] ppid=31505 vsize=13639140 CPUtime=0.39 cores=1,3,5,7
/proc/31507/task/31516/stat : 31516 (java) S 31505 31507 31299 0 -1 4202560 7441 0 0 0 39 0 0 0 15 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31517] ppid=31505 vsize=13639140 CPUtime=0.4 cores=1,3,5,7
/proc/31507/task/31517/stat : 31517 (java) S 31505 31507 31299 0 -1 4202560 13467 0 0 0 39 1 0 0 16 0 19 0 836274156 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31518] ppid=31505 vsize=13639140 CPUtime=16.99 cores=1,3,5,7
/proc/31507/task/31518/stat : 31518 (java) S 31505 31507 31299 0 -1 4202560 38547 0 0 0 1693 6 0 0 15 0 19 0 836274157 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31507/tid=31519] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31519/stat : 31519 (java) S 31505 31507 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836274158 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31520] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31520/stat : 31520 (java) S 31505 31507 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836274158 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31521] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31521/stat : 31521 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31522] ppid=31505 vsize=13639140 CPUtime=0.68 cores=1,3,5,7
/proc/31507/task/31522/stat : 31522 (java) S 31505 31507 31299 0 -1 4202560 6087 0 0 0 68 0 0 0 15 0 19 0 836274160 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31523] ppid=31505 vsize=13639140 CPUtime=0.74 cores=1,3,5,7
/proc/31507/task/31523/stat : 31523 (java) S 31505 31507 31299 0 -1 4202560 8397 0 0 0 74 0 0 0 15 0 19 0 836274160 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31524] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31524/stat : 31524 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31525] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31525/stat : 31525 (java) S 31505 31507 31299 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 836274160 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31527] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31527/stat : 31527 (java) S 31505 31507 31299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 836274888 13966479360 941464 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 13639140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.7 s]
/proc/loadavg: 2.12 2.06 1.96 3/563 31624
/proc/meminfo: memFree=17923040/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=13639140 CPUtime=1800.02 cores=1,3,5,7
/proc/31507/stat : 31507 (java) S 31505 31507 31299 0 -1 4202496 948756 0 1 0 179884 118 0 0 23 0 19 0 836274153 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 3409785 941681 2262 9 0 3400519 0
[pid=31507/tid=31508] ppid=31505 vsize=13639140 CPUtime=1778.47 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4202560 844928 0 1 0 177745 102 0 0 25 0 19 0 836274154 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 46912506053373 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31507/tid=31510] ppid=31505 vsize=13639140 CPUtime=0.36 cores=1,3,5,7
/proc/31507/task/31510/stat : 31510 (java) S 31505 31507 31299 0 -1 4202560 7693 0 0 0 36 0 0 0 15 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31511] ppid=31505 vsize=13639140 CPUtime=0.27 cores=1,3,5,7
/proc/31507/task/31511/stat : 31511 (java) S 31505 31507 31299 0 -1 4202560 41 0 0 0 27 0 0 0 16 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31512] ppid=31505 vsize=13639140 CPUtime=0.23 cores=1,3,5,7
/proc/31507/task/31512/stat : 31512 (java) S 31505 31507 31299 0 -1 4202560 5057 0 0 0 22 1 0 0 16 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31513] ppid=31505 vsize=13639140 CPUtime=0.33 cores=1,3,5,7
/proc/31507/task/31513/stat : 31513 (java) S 31505 31507 31299 0 -1 4202560 5009 0 0 0 33 0 0 0 16 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31507/tid=31514] ppid=31505 vsize=13639140 CPUtime=0.37 cores=1,3,5,7
/proc/31507/task/31514/stat : 31514 (java) S 31505 31507 31299 0 -1 4202560 5927 0 0 0 37 0 0 0 15 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31515] ppid=31505 vsize=13639140 CPUtime=0.34 cores=1,3,5,7
/proc/31507/task/31515/stat : 31515 (java) S 31505 31507 31299 0 -1 4202560 4696 0 0 0 34 0 0 0 15 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31516] ppid=31505 vsize=13639140 CPUtime=0.41 cores=1,3,5,7
/proc/31507/task/31516/stat : 31516 (java) S 31505 31507 31299 0 -1 4202560 7451 0 0 0 41 0 0 0 16 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31517] ppid=31505 vsize=13639140 CPUtime=0.4 cores=1,3,5,7
/proc/31507/task/31517/stat : 31517 (java) S 31505 31507 31299 0 -1 4202560 13467 0 0 0 39 1 0 0 15 0 19 0 836274156 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31518] ppid=31505 vsize=13639140 CPUtime=17.28 cores=1,3,5,7
/proc/31507/task/31518/stat : 31518 (java) S 31505 31507 31299 0 -1 4202560 38749 0 0 0 1722 6 0 0 15 0 19 0 836274157 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31507/tid=31519] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31519/stat : 31519 (java) S 31505 31507 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836274158 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31520] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31520/stat : 31520 (java) S 31505 31507 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836274158 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31521] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31521/stat : 31521 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31522] ppid=31505 vsize=13639140 CPUtime=0.68 cores=1,3,5,7
/proc/31507/task/31522/stat : 31522 (java) S 31505 31507 31299 0 -1 4202560 6087 0 0 0 68 0 0 0 15 0 19 0 836274160 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31523] ppid=31505 vsize=13639140 CPUtime=0.74 cores=1,3,5,7
/proc/31507/task/31523/stat : 31523 (java) S 31505 31507 31299 0 -1 4202560 8397 0 0 0 74 0 0 0 15 0 19 0 836274160 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31507/tid=31524] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31524/stat : 31524 (java) S 31505 31507 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836274160 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31525] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31525/stat : 31525 (java) S 31505 31507 31299 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 836274160 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31507/tid=31527] ppid=31505 vsize=13639140 CPUtime=0 cores=1,3,5,7
/proc/31507/task/31527/stat : 31527 (java) S 31505 31507 31299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 836274888 13966479360 941681 33554432000 1073741824 1073778376 140737215363056 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13639140

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

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

[startup+1796.9 s]
/proc/loadavg: 2.12 2.06 1.96 3/563 31624
/proc/meminfo: memFree=17923040/32951124 swapFree=64303760/67111528
[pid=31507] ppid=31505 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/31507/stat : 31507 (java) Z 31505 31507 31299 0 -1 4203548 948786 0 1 0 179894 132 0 0 17 0 2 0 836274153 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31507/statm: 0 0 0 0 0 0 0
[pid=31507/tid=31508] ppid=31505 vsize=0 CPUtime=1778.64 cores=1,3,5,7
/proc/31507/task/31508/stat : 31508 (java) R 31505 31507 31299 0 -1 4203588 844928 0 1 0 177748 116 0 0 25 0 2 0 836274154 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1796.9
CPU time (s): 1800.27
CPU user time (s): 1798.95
CPU system time (s): 1.3248
CPU usage (%): 100.187
Max. virtual memory (cumulated for all children) (KiB): 13639140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.3248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 948786
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= 38386
involuntary context switches= 6362

runsolver used 9.13961 second user time and 22.0456 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-07 11:23:03
IDJOB=3478783
IDBENCH=89677
IDSOLVER=1952
FILE ID=node145/3478783-1307438582
RUNJOBID= node145-1307436781-31318
PBS_JOBID= 13519943
Free space on /tmp= 73976 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-154.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478783-1307438582/watcher-3478783-1307438582 -o /tmp/evaluation-result-3478783-1307438582/solver-3478783-1307438582 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3478783-1307438582.opb

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

MD5SUM BENCH= f522aac6d99c68f89e25c943b464d005
RANDOM SEED=2132808804

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22204124 kB
Buffers:        306820 kB
Cached:         819716 kB
SwapCached:        944 kB
Active:        9980064 kB
Inactive:       483828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22204124 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:           56952 kB
Writeback:           0 kB
AnonPages:     9336516 kB
Mapped:          42572 kB
Slab:           148188 kB
PageTables:      66464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 166658508 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= 73972 MiB
End job on node145 at 2011-06-07 11:53:02