Trace number 3689631

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
MD5SUM91412677f9785e1c6465ad7d3d170f82
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark510.634
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6324
Total number of constraints6512
Number of constraints which are clauses6419
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint93
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 94
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3689631-1337891808.opb
0.10/0.10	c reading problem ... 
0.59/0.37	c ... done. Wall clock time 0.265s.
0.59/0.37	c declared #vars     6324
0.59/0.37	c #constraints  6512
0.59/0.37	c constraints type 
0.59/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5221
0.59/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 93
0.59/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.59/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1196
0.59/0.37	c 6512 constraints processed.
1.88/1.27	c cleaning 2483 clauses out of 4987 with flag 5000/5000
3.28/2.14	c cleaning 4220 clauses out of 8500 with flag 11000/11000
4.19/3.02	c cleaning 5607 clauses out of 11280 with flag 18003/18003
5.22/4.09	c cleaning 6784 clauses out of 13665 with flag 26000/26000
6.51/5.23	c cleaning 7874 clauses out of 15881 with flag 35000/35000
7.82/6.53	c cleaning 8959 clauses out of 18005 with flag 45000/45000
9.22/7.97	c cleaning 9958 clauses out of 20045 with flag 56000/56000
10.95/9.66	c cleaning 10950 clauses out of 22086 with flag 68000/68000
12.76/11.41	c cleaning 11986 clauses out of 24135 with flag 81001/81001
14.69/13.34	c cleaning 12936 clauses out of 26149 with flag 95002/95002
16.72/15.34	c cleaning 14038 clauses out of 28212 with flag 110001/110001
18.83/17.50	c cleaning 15000 clauses out of 30171 with flag 126000/126000
21.28/19.86	c cleaning 15842 clauses out of 32169 with flag 143000/143000
23.78/22.33	c cleaning 16988 clauses out of 34327 with flag 161000/161000
26.61/25.17	c cleaning 18010 clauses out of 36338 with flag 180001/180001
29.65/28.17	c cleaning 18910 clauses out of 38328 with flag 200001/200001
34.88/33.32	c cleaning 20084 clauses out of 40417 with flag 221000/221000
38.67/37.06	c cleaning 21001 clauses out of 42333 with flag 243000/243000
42.80/41.13	c cleaning 21846 clauses out of 44332 with flag 266000/266000
46.83/45.14	c cleaning 23039 clauses out of 46486 with flag 290000/290000
51.05/49.30	c cleaning 24123 clauses out of 48449 with flag 315002/315002
54.98/53.24	c cleaning 24983 clauses out of 50324 with flag 341000/341000
59.82/58.07	c cleaning 26017 clauses out of 52341 with flag 368000/368000
64.05/62.23	c cleaning 26903 clauses out of 54324 with flag 396000/396000
68.68/66.80	c cleaning 28076 clauses out of 56422 with flag 425001/425001
73.32/71.43	c cleaning 29039 clauses out of 58345 with flag 455000/455000
78.64/76.79	c cleaning 29945 clauses out of 60305 with flag 486000/486000
84.37/82.43	c cleaning 30726 clauses out of 62360 with flag 518000/518000
91.42/89.47	c cleaning 31718 clauses out of 64635 with flag 551002/551002
98.16/96.14	c cleaning 33221 clauses out of 66917 with flag 585002/585002
106.89/104.81	c cleaning 34028 clauses out of 68694 with flag 620000/620000
113.70/111.53	c cleaning 35142 clauses out of 70667 with flag 656001/656001
121.75/119.50	c cleaning 36069 clauses out of 72525 with flag 693001/693001
129.43/127.19	c cleaning 36967 clauses out of 74455 with flag 731000/731000
137.71/135.38	c cleaning 38051 clauses out of 76488 with flag 770000/770000
147.16/144.74	c cleaning 38897 clauses out of 78438 with flag 810001/810001
157.86/155.31	c cleaning 39593 clauses out of 80540 with flag 851000/851000
167.32/164.79	c cleaning 40451 clauses out of 82949 with flag 893003/893003
177.18/174.52	c cleaning 41534 clauses out of 85501 with flag 936006/936006
189.14/186.41	c cleaning 42890 clauses out of 87962 with flag 980001/980001
198.86/196.07	c cleaning 43725 clauses out of 90072 with flag 1025002/1025002
208.82/205.96	c cleaning 44254 clauses out of 92345 with flag 1071000/1071000
218.77/215.83	c cleaning 45158 clauses out of 95091 with flag 1118001/1118001
228.03/225.02	c cleaning 46296 clauses out of 97932 with flag 1166000/1166000
239.88/236.80	c cleaning 47578 clauses out of 100642 with flag 1215006/1215006
254.20/251.05	c cleaning 48575 clauses out of 103059 with flag 1265001/1265001
266.12/262.83	c cleaning 49727 clauses out of 105482 with flag 1316000/1316000
277.58/274.24	c cleaning 50494 clauses out of 107758 with flag 1368003/1368003
294.42/290.86	c cleaning 51843 clauses out of 110261 with flag 1421000/1421000
308.62/304.96	c cleaning 52787 clauses out of 112419 with flag 1475001/1475001
323.61/319.83	c cleaning 53902 clauses out of 114631 with flag 1530000/1530000
334.53/330.63	c cleaning 54430 clauses out of 116729 with flag 1586000/1586000
349.60/345.65	c cleaning 55370 clauses out of 119299 with flag 1643000/1643000
366.59/362.56	c cleaning 56791 clauses out of 121929 with flag 1701000/1701000
384.06/379.79	c cleaning 57889 clauses out of 124140 with flag 1760002/1760002
411.17/406.69	c cleaning 59054 clauses out of 126249 with flag 1820000/1820000
429.60/424.88	c cleaning 59818 clauses out of 128195 with flag 1881000/1881000
446.56/441.73	c cleaning 60794 clauses out of 130377 with flag 1943000/1943000
463.07/458.13	c cleaning 61590 clauses out of 132583 with flag 2006000/2006000
487.31/481.48	c cleaning 61412 clauses out of 134993 with flag 2070000/2070000
522.99/516.21	c cleaning 63493 clauses out of 138582 with flag 2135001/2135001
557.22/549.77	c cleaning 64588 clauses out of 141090 with flag 2201002/2201002
573.25/565.41	c cleaning 65312 clauses out of 143501 with flag 2268001/2268001
597.69/589.57	c cleaning 66673 clauses out of 146188 with flag 2336000/2336000
618.11/609.79	c cleaning 67449 clauses out of 148515 with flag 2405000/2405000
644.09/635.25	c cleaning 68988 clauses out of 151066 with flag 2475000/2475000
666.58/657.35	c cleaning 69658 clauses out of 153078 with flag 2546000/2546000
700.19/690.42	c cleaning 71102 clauses out of 155421 with flag 2618001/2618001
726.80/716.55	c cleaning 72102 clauses out of 157319 with flag 2691001/2691001
748.60/738.15	c cleaning 72845 clauses out of 159216 with flag 2765000/2765000
775.67/764.71	c cleaning 73844 clauses out of 161373 with flag 2840002/2840002
795.81/784.51	c cleaning 74587 clauses out of 163528 with flag 2916001/2916001
831.18/818.85	c cleaning 76201 clauses out of 165943 with flag 2993003/2993003
864.91/851.71	c cleaning 77086 clauses out of 167739 with flag 3071000/3071000
905.48/891.77	c cleaning 78262 clauses out of 169653 with flag 3150000/3150000
933.87/919.78	c cleaning 78985 clauses out of 171391 with flag 3230000/3230000
955.97/941.55	c cleaning 79368 clauses out of 173407 with flag 3311001/3311001
983.00/968.27	c cleaning 80790 clauses out of 176038 with flag 3393000/3393000
1008.38/993.15	c cleaning 81782 clauses out of 178248 with flag 3476000/3476000
1042.50/1026.51	c cleaning 83182 clauses out of 180466 with flag 3560000/3560000
1077.94/1061.52	c cleaning 84073 clauses out of 182284 with flag 3645000/3645000
1105.55/1088.88	c cleaning 84558 clauses out of 184212 with flag 3731001/3731001
1138.64/1121.36	c cleaning 85846 clauses out of 186653 with flag 3818000/3818000
1167.28/1149.39	c cleaning 87192 clauses out of 188807 with flag 3906000/3906000
1203.59/1185.15	c cleaning 87913 clauses out of 190616 with flag 3995001/3995001
1257.94/1238.85	c cleaning 89504 clauses out of 192704 with flag 4085002/4085002
1300.24/1279.92	c cleaning 90603 clauses out of 194198 with flag 4176000/4176000
1331.30/1310.14	c cleaning 90719 clauses out of 195595 with flag 4268000/4268000
1383.53/1361.55	c cleaning 91369 clauses out of 197882 with flag 4361006/4361006
1421.18/1398.52	c cleaning 92549 clauses out of 200507 with flag 4455000/4455000
1456.63/1433.51	c cleaning 94151 clauses out of 202961 with flag 4550003/4550003
1504.99/1481.20	c cleaning 95096 clauses out of 204809 with flag 4646002/4646002
1542.83/1518.63	c cleaning 95892 clauses out of 206711 with flag 4743000/4743000
1574.56/1549.56	c cleaning 96523 clauses out of 208820 with flag 4841001/4841001
1614.43/1588.78	c cleaning 97466 clauses out of 211297 with flag 4940001/4940001
1644.98/1618.86	c cleaning 98995 clauses out of 213830 with flag 5040000/5040000
1679.70/1653.05	c cleaning 100090 clauses out of 215835 with flag 5141000/5141000
1715.51/1688.34	c cleaning 100467 clauses out of 217746 with flag 5243001/5243001
1777.21/1748.98	c cleaning 102023 clauses out of 220281 with flag 5346003/5346003
1800.01/1771.31	c starts		: 274
1800.01/1771.31	c conflicts		: 5404480
1800.01/1771.31	c decisions		: 34895353
1800.01/1771.31	c propagations		: 1726161455
1800.01/1771.31	c inspects		: 11065449467
1800.01/1771.31	c shortcuts		: 0
1800.01/1771.31	c learnt literals	: 44
1800.01/1771.31	c learnt binary clauses	: 100701
1800.01/1771.31	c learnt ternary clauses	: 132664
1800.01/1771.31	c learnt constraints	: 5404436
1800.01/1771.31	c ignored constraints	: 0
1800.01/1771.31	c root simplifications	: 0
1800.01/1771.31	c removed literals (reason simplification)	: 0
1800.01/1771.31	c reason swapping (by a shorter reason)	: 0
1800.01/1771.31	c Calls to reduceDB	: 99
1800.01/1771.31	c number of reductions to clauses (during analyze)	: 0
1800.01/1771.31	c number of learned constraints concerned by reduction	: 0
1800.01/1771.31	c number of learning phase by resolution	: 0
1800.01/1771.31	c number of learning phase by cutting planes	: 0
1800.01/1771.31	c speed (assignments/second)	: 974720.8866081022
1800.01/1771.31	c non guided choices	7381
1800.01/1771.36	c learnt constraints type 
1800.01/1771.36	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 100701
1800.01/1771.36	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 76119
1800.01/1771.36	c constraints type 
1800.01/1771.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5221
1800.01/1771.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 93
1800.01/1771.36	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1800.01/1771.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1196
1800.01/1771.36	c 6512 constraints processed.
1800.01/1771.36	s UNKNOWN
1800.01/1771.36	c Total wall clock time (in seconds): 1771.262

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689631-1337891808/watcher-3689631-1337891808 -o /tmp/evaluation-result-3689631-1337891808/solver-3689631-1337891808 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689631-1337891808.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: 2.00 2.00 2.23 3/195 29515
/proc/meminfo: memFree=29498252/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/29515/stat : 29515 (java) R 29513 29515 23987 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 255305296 23793664 708 33554432000 1073741824 1073778376 140736671869616 140736671858680 225435497832 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 5809 708 523 9 0 128 0

[startup+0.0294909 s]
/proc/loadavg: 2.00 2.00 2.23 3/195 29515
/proc/meminfo: memFree=29498252/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 2969 0 1 0 1 0 0 0 20 0 11 0 255305296 9310650368 3158 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2273108 3158 1650 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.23 3/195 29515
/proc/meminfo: memFree=29498252/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 4468 0 1 0 9 1 0 0 20 0 18 0 255305296 9787813888 5662 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2389603 5671 2123 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300164 s]
/proc/loadavg: 2.00 2.00 2.23 3/195 29515
/proc/meminfo: memFree=29498252/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 7493 0 1 0 57 2 0 0 20 0 18 0 255305296 9787813888 9949 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2389603 9949 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558412

[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 2.23 3/195 29515
/proc/meminfo: memFree=29498252/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9624976 CPUtime=1.36 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 8796 0 1 0 134 2 0 0 20 0 19 0 255305296 9855975424 15200 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2406244 15200 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9624976

[startup+1.5007 s]
/proc/loadavg: 2.00 2.00 2.23 3/214 29534
/proc/meminfo: memFree=29439496/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9624976 CPUtime=2.44 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 13571 0 1 0 240 4 0 0 20 0 19 0 255305296 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2406244 21880 2275 9 0 2396937 0
[pid=29515/tid=29517] ppid=29513 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/29515/task/29517/stat : 29517 (java) R 29513 29515 23987 0 -1 4202560 2524 0 1 0 144 2 0 0 20 0 19 0 255305297 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732396863896 139732337252683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29518] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29518/stat : 29518 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732335594152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29519] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29519/stat : 29519 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732334541608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29520] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29520/stat : 29520 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732333489064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29521] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29521/stat : 29521 (java) S 29513 29515 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732237106216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29522] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29522/stat : 29522 (java) S 29513 29515 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732236052648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29523] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29523/stat : 29523 (java) S 29513 29515 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732235000104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29524] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29524/stat : 29524 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732233947560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29525] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29525/stat : 29525 (java) S 29513 29515 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732232895016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29526] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29526/stat : 29526 (java) S 29513 29515 23987 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732220697192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29527] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29527/stat : 29527 (java) S 29513 29515 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732219643512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29528] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29528/stat : 29528 (java) S 29513 29515 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732218590856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29529] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29529/stat : 29529 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732217539600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29530] ppid=29513 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/29515/task/29530/stat : 29530 (java) S 29513 29515 23987 0 -1 4202560 2268 0 0 0 34 0 0 0 20 0 19 0 255305301 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732216485944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29531] ppid=29513 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/29515/task/29531/stat : 29531 (java) R 29513 29515 23987 0 -1 4202560 7536 0 0 0 57 2 0 0 20 0 19 0 255305301 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732215420680 139732403839195 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29532] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29532/stat : 29532 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732214381048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29533] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29533/stat : 29533 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732213328712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29534] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29534/stat : 29534 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305335 9855975424 21880 33554432000 1073741824 1073778376 140736671869616 139732212274472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9624976

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 2.23 3/214 29534
/proc/meminfo: memFree=29409288/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9624976 CPUtime=4.32 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 14875 0 1 0 427 5 0 0 20 0 19 0 255305296 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2406244 24792 2275 9 0 2396937 0
[pid=29515/tid=29517] ppid=29513 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/29515/task/29517/stat : 29517 (java) R 29513 29515 23987 0 -1 4202560 2525 0 1 0 299 2 0 0 20 0 19 0 255305297 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732396863896 139732337253138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29518] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29518/stat : 29518 (java) S 29513 29515 23987 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732335594152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29519] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29519/stat : 29519 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732334541608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29520] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29520/stat : 29520 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732333489064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29521] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29521/stat : 29521 (java) S 29513 29515 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732237106216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29522] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29522/stat : 29522 (java) S 29513 29515 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732236052648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29523] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29523/stat : 29523 (java) S 29513 29515 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732235000104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29524] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29524/stat : 29524 (java) S 29513 29515 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732233947560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29525] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29525/stat : 29525 (java) S 29513 29515 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732232895016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29526] ppid=29513 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/29515/task/29526/stat : 29526 (java) S 29513 29515 23987 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255305299 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732220697192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29527] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29527/stat : 29527 (java) S 29513 29515 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732219643512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29528] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29528/stat : 29528 (java) S 29513 29515 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732218590856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29529] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29529/stat : 29529 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732217539600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29530] ppid=29513 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/29515/task/29530/stat : 29530 (java) S 29513 29515 23987 0 -1 4202560 2305 0 0 0 36 0 0 0 20 0 19 0 255305301 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732216485944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29531] ppid=29513 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/29515/task/29531/stat : 29531 (java) S 29513 29515 23987 0 -1 4202560 8778 0 0 0 80 2 0 0 20 0 19 0 255305301 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732215433400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29532] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29532/stat : 29532 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732214381048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29533] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29533/stat : 29533 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732213328712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29534] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29534/stat : 29534 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305335 9855975424 24792 33554432000 1073741824 1073778376 140736671869616 139732212274472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9624976

[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 2.23 3/214 29534
/proc/meminfo: memFree=29403944/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9624976 CPUtime=7.62 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 14898 0 1 0 756 6 0 0 20 0 19 0 255305296 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2406244 23399 2275 9 0 2396937 0
[pid=29515/tid=29517] ppid=29513 vsize=9624976 CPUtime=6.14 cores=1,3,5,7
/proc/29515/task/29517/stat : 29517 (java) R 29513 29515 23987 0 -1 4202560 2527 0 1 0 612 2 0 0 20 0 19 0 255305297 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732396863776 139732337268087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29518] ppid=29513 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29515/task/29518/stat : 29518 (java) S 29513 29515 23987 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732335594152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29519] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29519/stat : 29519 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732334541608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29520] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29520/stat : 29520 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732333489064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29521] ppid=29513 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29515/task/29521/stat : 29521 (java) S 29513 29515 23987 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732237106216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29522] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29522/stat : 29522 (java) S 29513 29515 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732236052648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29523] ppid=29513 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29515/task/29523/stat : 29523 (java) S 29513 29515 23987 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732235000104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29524] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29524/stat : 29524 (java) S 29513 29515 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732233947560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29525] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29525/stat : 29525 (java) S 29513 29515 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255305298 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732232895016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29526] ppid=29513 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/29515/task/29526/stat : 29526 (java) S 29513 29515 23987 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 255305299 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732220697192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29527] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29527/stat : 29527 (java) S 29513 29515 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732219643512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29528] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29528/stat : 29528 (java) S 29513 29515 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732218590856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29529] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29529/stat : 29529 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732217539600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29530] ppid=29513 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/29515/task/29530/stat : 29530 (java) S 29513 29515 23987 0 -1 4202560 2307 0 0 0 36 0 0 0 20 0 19 0 255305301 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732216485944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29531] ppid=29513 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/29515/task/29531/stat : 29531 (java) S 29513 29515 23987 0 -1 4202560 8790 0 0 0 84 2 0 0 20 0 19 0 255305301 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732215433400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29532] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29532/stat : 29532 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732214381048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29533] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29533/stat : 29533 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732213328712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29534] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29534/stat : 29534 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305335 9855975424 23399 33554432000 1073741824 1073778376 140736671869616 139732212274472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=29515/tid=29523] ppid=29513 vsize=9624976 CPUtime=4.24 cores=1,3,5,7
/proc/29515/task/29523/stat : 29523 (java) S 29513 29515 23987 0 -1 4202560 2353 0 0 0 399 25 0 0 20 0 19 0 255305298 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732235000104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29524] ppid=29513 vsize=9624976 CPUtime=4.14 cores=1,3,5,7
/proc/29515/task/29524/stat : 29524 (java) S 29513 29515 23987 0 -1 4202560 1481 0 0 0 394 20 0 0 20 0 19 0 255305298 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732233947560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29525] ppid=29513 vsize=9624976 CPUtime=4.43 cores=1,3,5,7
/proc/29515/task/29525/stat : 29525 (java) S 29513 29515 23987 0 -1 4202560 2228 0 0 0 422 21 0 0 20 0 19 0 255305298 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732232895016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29526] ppid=29513 vsize=9624976 CPUtime=5.39 cores=1,3,5,7
/proc/29515/task/29526/stat : 29526 (java) S 29513 29515 23987 0 -1 4202560 1217 0 0 0 533 6 0 0 20 0 19 0 255305299 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732220697192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29527] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29527/stat : 29527 (java) S 29513 29515 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732219643512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29528] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29528/stat : 29528 (java) S 29513 29515 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732218590856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29529] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29529/stat : 29529 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732217539600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29530] ppid=29513 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/29515/task/29530/stat : 29530 (java) S 29513 29515 23987 0 -1 4202560 2307 0 0 0 36 0 0 0 20 0 19 0 255305301 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732216485944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29531] ppid=29513 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/29515/task/29531/stat : 29531 (java) S 29513 29515 23987 0 -1 4202560 8794 0 0 0 86 2 0 0 20 0 19 0 255305301 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732215433400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29532] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29532/stat : 29532 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732214381048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29533] ppid=29513 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/29515/task/29533/stat : 29533 (java) S 29513 29515 23987 0 -1 4202560 93 0 0 0 35 32 0 0 20 0 19 0 255305301 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732213328712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29534] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29534/stat : 29534 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305335 9855975424 193200 33554432000 1073741824 1073778376 140736671869616 139732212274472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1689.19
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.07 3/213 29572
/proc/meminfo: memFree=28203596/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9624976 CPUtime=1750.1 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 30386 0 1 0 174754 256 0 0 20 0 19 0 255305296 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2406244 217117 2276 9 0 2396937 0
[pid=29515/tid=29517] ppid=29513 vsize=9624976 CPUtime=1706.93 cores=1,3,5,7
/proc/29515/task/29517/stat : 29517 (java) S 29513 29515 23987 0 -1 4202560 2862 0 1 0 170663 30 0 0 20 0 19 0 255305297 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732396862952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29518] ppid=29513 vsize=9624976 CPUtime=4.73 cores=1,3,5,7
/proc/29515/task/29518/stat : 29518 (java) R 29513 29515 23987 0 -1 4202560 1605 0 0 0 440 33 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732335594328 139732399335155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29519] ppid=29513 vsize=9624976 CPUtime=4.44 cores=1,3,5,7
/proc/29515/task/29519/stat : 29519 (java) R 29513 29515 23987 0 -1 4202560 1698 0 0 0 416 28 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732334541784 139732399335155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29520] ppid=29513 vsize=9624976 CPUtime=4.36 cores=1,3,5,7
/proc/29515/task/29520/stat : 29520 (java) R 29513 29515 23987 0 -1 4202560 1282 0 0 0 409 27 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732333489240 139732399335155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29521] ppid=29513 vsize=9624976 CPUtime=4.68 cores=1,3,5,7
/proc/29515/task/29521/stat : 29521 (java) R 29513 29515 23987 0 -1 4202560 1814 0 0 0 441 27 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732237106096 139732399335155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29522] ppid=29513 vsize=9624976 CPUtime=4.43 cores=1,3,5,7
/proc/29515/task/29522/stat : 29522 (java) R 29513 29515 23987 0 -1 4202560 1267 0 0 0 417 26 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732236052824 139732399335155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29523] ppid=29513 vsize=9624976 CPUtime=4.45 cores=1,3,5,7
/proc/29515/task/29523/stat : 29523 (java) R 29513 29515 23987 0 -1 4202560 2483 0 0 0 417 28 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732235000280 139732399335155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29524] ppid=29513 vsize=9624976 CPUtime=4.22 cores=1,3,5,7
/proc/29515/task/29524/stat : 29524 (java) R 29513 29515 23987 0 -1 4202560 1490 0 0 0 402 20 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732233947736 139732399335155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29525] ppid=29513 vsize=9624976 CPUtime=4.66 cores=1,3,5,7
/proc/29515/task/29525/stat : 29525 (java) R 29513 29515 23987 0 -1 4202560 2250 0 0 0 444 22 0 0 20 0 19 0 255305298 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732232895192 139732399335155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29526] ppid=29513 vsize=9624976 CPUtime=5.48 cores=1,3,5,7
/proc/29515/task/29526/stat : 29526 (java) S 29513 29515 23987 0 -1 4202560 1258 0 0 0 542 6 0 0 20 0 19 0 255305299 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732220696072 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29527] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29527/stat : 29527 (java) S 29513 29515 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732219643512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29528] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29528/stat : 29528 (java) S 29513 29515 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732218590856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29529] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29529/stat : 29529 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732217539600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29530] ppid=29513 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/29515/task/29530/stat : 29530 (java) S 29513 29515 23987 0 -1 4202560 2307 0 0 0 36 0 0 0 20 0 19 0 255305301 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732216485944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29531] ppid=29513 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/29515/task/29531/stat : 29531 (java) S 29513 29515 23987 0 -1 4202560 8794 0 0 0 86 2 0 0 20 0 19 0 255305301 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732215433400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29532] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29532/stat : 29532 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732214381048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29533] ppid=29513 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/29515/task/29533/stat : 29533 (java) S 29513 29515 23987 0 -1 4202560 96 0 0 0 36 33 0 0 20 0 19 0 255305301 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732213328712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29534] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29534/stat : 29534 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305335 9855975424 217117 33554432000 1073741824 1073778376 140736671869616 139732212274472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1750.1
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/212 29630
/proc/meminfo: memFree=28497196/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 30569 0 1 0 179741 260 0 0 20 0 19 0 255305296 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2406244 218079 2276 9 0 2396937 0
[pid=29515/tid=29517] ppid=29513 vsize=9624976 CPUtime=1755.51 cores=1,3,5,7
/proc/29515/task/29517/stat : 29517 (java) R 29513 29515 23987 0 -1 4202560 2870 0 1 0 175520 31 0 0 20 0 19 0 255305297 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732396862832 139732337148289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29518] ppid=29513 vsize=9624976 CPUtime=4.85 cores=1,3,5,7
/proc/29515/task/29518/stat : 29518 (java) S 29513 29515 23987 0 -1 4202560 1637 0 0 0 452 33 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732335594152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29519] ppid=29513 vsize=9624976 CPUtime=4.65 cores=1,3,5,7
/proc/29515/task/29519/stat : 29519 (java) S 29513 29515 23987 0 -1 4202560 1718 0 0 0 436 29 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732334541608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29520] ppid=29513 vsize=9624976 CPUtime=4.47 cores=1,3,5,7
/proc/29515/task/29520/stat : 29520 (java) S 29513 29515 23987 0 -1 4202560 1312 0 0 0 420 27 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732333489064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29521] ppid=29513 vsize=9624976 CPUtime=4.81 cores=1,3,5,7
/proc/29515/task/29521/stat : 29521 (java) S 29513 29515 23987 0 -1 4202560 1815 0 0 0 454 27 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732237106216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29522] ppid=29513 vsize=9624976 CPUtime=4.58 cores=1,3,5,7
/proc/29515/task/29522/stat : 29522 (java) S 29513 29515 23987 0 -1 4202560 1272 0 0 0 432 26 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732236052648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29523] ppid=29513 vsize=9624976 CPUtime=4.59 cores=1,3,5,7
/proc/29515/task/29523/stat : 29523 (java) S 29513 29515 23987 0 -1 4202560 2512 0 0 0 430 29 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732235000104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29524] ppid=29513 vsize=9624976 CPUtime=4.37 cores=1,3,5,7
/proc/29515/task/29524/stat : 29524 (java) S 29513 29515 23987 0 -1 4202560 1495 0 0 0 416 21 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732233947560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29525] ppid=29513 vsize=9624976 CPUtime=4.81 cores=1,3,5,7
/proc/29515/task/29525/stat : 29525 (java) S 29513 29515 23987 0 -1 4202560 2254 0 0 0 458 23 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732232895016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29526] ppid=29513 vsize=9624976 CPUtime=5.61 cores=1,3,5,7
/proc/29515/task/29526/stat : 29526 (java) S 29513 29515 23987 0 -1 4202560 1305 0 0 0 555 6 0 0 20 0 19 0 255305299 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732220697192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29527] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29527/stat : 29527 (java) S 29513 29515 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732219643512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29528] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29528/stat : 29528 (java) S 29513 29515 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732218590856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29529] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29529/stat : 29529 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732217539600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29530] ppid=29513 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/29515/task/29530/stat : 29530 (java) S 29513 29515 23987 0 -1 4202560 2307 0 0 0 36 0 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732216485944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29531] ppid=29513 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/29515/task/29531/stat : 29531 (java) S 29513 29515 23987 0 -1 4202560 8794 0 0 0 86 2 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732215433400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29532] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29532/stat : 29532 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732214381048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29533] ppid=29513 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/29515/task/29533/stat : 29533 (java) S 29513 29515 23987 0 -1 4202560 98 0 0 0 38 34 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732213328712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29534] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29534/stat : 29534 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305335 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732212274472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1771.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/212 29630
/proc/meminfo: memFree=28497196/32873844 swapFree=7900/7900
[pid=29515] ppid=29513 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/29515/stat : 29515 (java) S 29513 29515 23987 0 -1 4202496 30569 0 1 0 179741 260 0 0 20 0 19 0 255305296 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 140736671860752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29515/statm: 2406244 218079 2276 9 0 2396937 0
[pid=29515/tid=29517] ppid=29513 vsize=9624976 CPUtime=1755.51 cores=1,3,5,7
/proc/29515/task/29517/stat : 29517 (java) R 29513 29515 23987 0 -1 4202560 2870 0 1 0 175520 31 0 0 20 0 19 0 255305297 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732396862832 139732337148289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29515/tid=29518] ppid=29513 vsize=9624976 CPUtime=4.85 cores=1,3,5,7
/proc/29515/task/29518/stat : 29518 (java) S 29513 29515 23987 0 -1 4202560 1637 0 0 0 452 33 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732335594152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29519] ppid=29513 vsize=9624976 CPUtime=4.65 cores=1,3,5,7
/proc/29515/task/29519/stat : 29519 (java) S 29513 29515 23987 0 -1 4202560 1718 0 0 0 436 29 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732334541608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29520] ppid=29513 vsize=9624976 CPUtime=4.47 cores=1,3,5,7
/proc/29515/task/29520/stat : 29520 (java) S 29513 29515 23987 0 -1 4202560 1312 0 0 0 420 27 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732333489064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29521] ppid=29513 vsize=9624976 CPUtime=4.81 cores=1,3,5,7
/proc/29515/task/29521/stat : 29521 (java) S 29513 29515 23987 0 -1 4202560 1815 0 0 0 454 27 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732237106216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29522] ppid=29513 vsize=9624976 CPUtime=4.58 cores=1,3,5,7
/proc/29515/task/29522/stat : 29522 (java) S 29513 29515 23987 0 -1 4202560 1272 0 0 0 432 26 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732236052648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29523] ppid=29513 vsize=9624976 CPUtime=4.59 cores=1,3,5,7
/proc/29515/task/29523/stat : 29523 (java) S 29513 29515 23987 0 -1 4202560 2512 0 0 0 430 29 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732235000104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29524] ppid=29513 vsize=9624976 CPUtime=4.37 cores=1,3,5,7
/proc/29515/task/29524/stat : 29524 (java) S 29513 29515 23987 0 -1 4202560 1495 0 0 0 416 21 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732233947560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29525] ppid=29513 vsize=9624976 CPUtime=4.81 cores=1,3,5,7
/proc/29515/task/29525/stat : 29525 (java) S 29513 29515 23987 0 -1 4202560 2254 0 0 0 458 23 0 0 20 0 19 0 255305298 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732232895016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29526] ppid=29513 vsize=9624976 CPUtime=5.61 cores=1,3,5,7
/proc/29515/task/29526/stat : 29526 (java) S 29513 29515 23987 0 -1 4202560 1305 0 0 0 555 6 0 0 20 0 19 0 255305299 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732220697192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29527] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29527/stat : 29527 (java) S 29513 29515 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732219643512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29528] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29528/stat : 29528 (java) S 29513 29515 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255305299 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732218590856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29529] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29529/stat : 29529 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732217539600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29530] ppid=29513 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/29515/task/29530/stat : 29530 (java) S 29513 29515 23987 0 -1 4202560 2307 0 0 0 36 0 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732216485944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29531] ppid=29513 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/29515/task/29531/stat : 29531 (java) S 29513 29515 23987 0 -1 4202560 8794 0 0 0 86 2 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732215433400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29515/tid=29532] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29532/stat : 29532 (java) S 29513 29515 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732214381048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29515/tid=29533] ppid=29513 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/29515/task/29533/stat : 29533 (java) S 29513 29515 23987 0 -1 4202560 98 0 0 0 38 34 0 0 20 0 19 0 255305301 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732213328712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29515/tid=29534] ppid=29513 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29515/task/29534/stat : 29534 (java) S 29513 29515 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255305335 9855975424 218079 33554432000 1073741824 1073778376 140736671869616 139732212274472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1771.38
CPU time (s): 1800.62
CPU user time (s): 1797.59
CPU system time (s): 3.03254
CPU usage (%): 101.651
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.59
system time used= 3.03254
maximum resident set size= 887348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30631
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46293
involuntary context switches= 47621

runsolver used 6.34104 second user time and 15.7026 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-24 22:36:48
IDJOB=3689631
IDBENCH=90131
IDSOLVER=2269
FILE ID=node137/3689631-1337891808
RUNJOBID= node137-1337890005-29164
PBS_JOBID= 14620067
Free space on /tmp= 71516 MiB

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

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

MD5SUM BENCH= 91412677f9785e1c6465ad7d3d170f82
RANDOM SEED=981118950

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29498516 kB
Buffers:          230136 kB
Cached:          2267644 kB
SwapCached:        22060 kB
Active:           800424 kB
Inactive:        1789100 kB
Active(anon):      71236 kB
Inactive(anon):    22680 kB
Active(file):     729188 kB
Inactive(file):  1766420 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081504 kB
Dirty:              1696 kB
Writeback:             0 kB
AnonPages:         86820 kB
Mapped:            17876 kB
Shmem:                 0 kB
Slab:             640784 kB
SReclaimable:      82024 kB
SUnreclaim:       558760 kB
KernelStack:        1608 kB
PageTables:         4528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71488 MiB
End job on node137 at 2012-05-24 23:06:21