Trace number 4084427

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 PB 2.3.6 Resolution PB16? (TO) 1800.72 1776.04

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMd761333f7ff9a755d3cd90e52b11f227
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
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 PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4084427-1465216775.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.88/0.52	c ... done. Wall clock time 0.406s.
0.88/0.52	c declared #vars     14400
0.88/0.52	c #constraints  1088
0.88/0.52	c constraints type 
0.88/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 480
0.88/0.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 608
0.88/0.52	c 1088 constraints processed.
2.27/1.61	c cleaning 2494 clauses out of 5002 with flag 17807/5002
3.53/2.83	c cleaning 4235 clauses out of 8507 with flag 38593/11001
4.94/4.22	c cleaning 5624 clauses out of 11271 with flag 64562/18000
6.56/5.81	c cleaning 6818 clauses out of 13647 with flag 94720/26000
8.48/7.77	c cleaning 7886 clauses out of 15829 with flag 128548/35000
10.57/9.82	c cleaning 8962 clauses out of 17943 with flag 168342/45000
12.91/12.11	c cleaning 9973 clauses out of 19983 with flag 212466/56002
15.51/14.77	c cleaning 10985 clauses out of 22008 with flag 259708/68000
18.31/17.56	c cleaning 11994 clauses out of 24023 with flag 313812/81000
21.21/20.43	c cleaning 12994 clauses out of 26029 with flag 371157/95000
24.58/23.77	c cleaning 14002 clauses out of 28038 with flag 435743/110003
28.18/27.32	c cleaning 15006 clauses out of 30035 with flag 505078/126002
31.88/31.02	c cleaning 16012 clauses out of 32027 with flag 577317/143000
36.19/35.31	c cleaning 16971 clauses out of 34017 with flag 655152/161002
40.87/39.85	c cleaning 17990 clauses out of 36045 with flag 738979/180001
45.67/44.68	c cleaning 18999 clauses out of 38054 with flag 828290/200000
50.82/49.78	c cleaning 20005 clauses out of 40055 with flag 923052/221000
56.18/54.93	c cleaning 20984 clauses out of 42052 with flag 1021787/243002
62.08/60.85	c cleaning 22012 clauses out of 44066 with flag 1126980/266000
68.81/67.33	c cleaning 23010 clauses out of 46054 with flag 1235782/290000
75.51/74.01	c cleaning 23993 clauses out of 48044 with flag 1351833/315000
82.61/80.89	c cleaning 24996 clauses out of 50051 with flag 1472600/341000
89.61/87.83	c cleaning 26002 clauses out of 52057 with flag 1599569/368002
96.93/95.09	c cleaning 26981 clauses out of 54054 with flag 1731167/396001
105.39/103.31	c cleaning 28011 clauses out of 56072 with flag 1871491/425000
113.59/111.59	c cleaning 29014 clauses out of 58062 with flag 2017288/455001
122.53/120.25	c cleaning 29997 clauses out of 60047 with flag 2169835/486000
131.66/129.12	c cleaning 31025 clauses out of 62050 with flag 2326525/518000
140.85/138.25	c cleaning 31981 clauses out of 64025 with flag 2490549/551000
150.35/147.67	c cleaning 33000 clauses out of 66045 with flag 2663204/585001
160.67/157.87	c cleaning 34013 clauses out of 68045 with flag 2840018/620001
171.70/168.79	c cleaning 34983 clauses out of 70034 with flag 3022674/656003
182.88/179.80	c cleaning 36016 clauses out of 72051 with flag 3214506/693003
194.53/191.32	c cleaning 36992 clauses out of 74032 with flag 3413576/731000
206.23/202.96	c cleaning 37987 clauses out of 76040 with flag 3617262/770000
218.54/215.15	c cleaning 39000 clauses out of 78053 with flag 3825172/810000
231.21/227.80	c cleaning 39982 clauses out of 80053 with flag 4039917/851000
244.27/240.72	c cleaning 41007 clauses out of 82071 with flag 4261280/893000
257.57/253.85	c cleaning 42011 clauses out of 84064 with flag 4489910/936000
271.85/268.06	c cleaning 43008 clauses out of 86053 with flag 4726872/980000
286.05/282.05	c cleaning 44009 clauses out of 88047 with flag 4972419/1025002
300.75/296.62	c cleaning 44987 clauses out of 90036 with flag 5221265/1071000
316.09/311.85	c cleaning 45984 clauses out of 92050 with flag 5477929/1118001
332.49/328.03	c cleaning 47021 clauses out of 94065 with flag 5744037/1166000
349.25/344.62	c cleaning 48004 clauses out of 96045 with flag 6013474/1215001
366.17/361.38	c cleaning 48999 clauses out of 98040 with flag 6291848/1265000
382.52/377.54	c cleaning 49998 clauses out of 100043 with flag 6572439/1316002
400.00/394.87	c cleaning 50988 clauses out of 102043 with flag 6861790/1368000
417.52/412.12	c cleaning 52009 clauses out of 104055 with flag 7159737/1421000
436.59/430.98	c cleaning 52995 clauses out of 106047 with flag 7466585/1475001
455.86/450.01	c cleaning 53974 clauses out of 108051 with flag 7782600/1530000
475.72/469.61	c cleaning 54997 clauses out of 110077 with flag 8105244/1586000
496.66/490.35	c cleaning 56017 clauses out of 112080 with flag 8432933/1643000
517.58/511.03	c cleaning 56998 clauses out of 114063 with flag 8769969/1701000
539.32/532.40	c cleaning 58009 clauses out of 116066 with flag 9118921/1760001
560.97/553.74	c cleaning 59010 clauses out of 118056 with flag 9467331/1820000
582.75/575.20	c cleaning 59990 clauses out of 120047 with flag 9824420/1881001
605.35/597.54	c cleaning 60986 clauses out of 122056 with flag 10185960/1943000
628.91/620.75	c cleaning 62000 clauses out of 124070 with flag 10562480/2006000
653.02/644.57	c cleaning 62999 clauses out of 126070 with flag 10943190/2070000
677.64/668.90	c cleaning 64008 clauses out of 128072 with flag 11335435/2135001
702.75/693.69	c cleaning 65007 clauses out of 130063 with flag 11734839/2201000
728.89/719.41	c cleaning 65990 clauses out of 132056 with flag 12138763/2268000
755.55/745.63	c cleaning 67011 clauses out of 134066 with flag 12551738/2336000
782.41/772.15	c cleaning 68001 clauses out of 136055 with flag 12973194/2405000
809.37/798.73	c cleaning 68999 clauses out of 138055 with flag 13399306/2475001
838.06/827.01	c cleaning 69991 clauses out of 140056 with flag 13835132/2546001
867.46/856.09	c cleaning 71007 clauses out of 142064 with flag 14281673/2618000
896.99/885.29	c cleaning 71984 clauses out of 144057 with flag 14739380/2691000
927.14/915.08	c cleaning 73008 clauses out of 146074 with flag 15207725/2765001
958.15/945.67	c cleaning 74013 clauses out of 148066 with flag 15679771/2840001
990.00/976.98	c cleaning 74979 clauses out of 150052 with flag 16163429/2916000
1022.86/1009.30	c cleaning 76014 clauses out of 152073 with flag 16656869/2993000
1055.42/1041.40	c cleaning 76997 clauses out of 154061 with flag 17152449/3071002
1089.33/1074.97	c cleaning 77994 clauses out of 156062 with flag 17658501/3150000
1123.10/1108.14	c cleaning 78994 clauses out of 158069 with flag 18174856/3230001
1157.18/1141.86	c cleaning 80002 clauses out of 160074 with flag 18693816/3311000
1191.58/1175.74	c cleaning 81018 clauses out of 162072 with flag 19225630/3393000
1227.08/1210.75	c cleaning 81989 clauses out of 164054 with flag 19769267/3476000
1263.69/1246.99	c cleaning 83009 clauses out of 166067 with flag 20317023/3560002
1300.08/1282.86	c cleaning 84008 clauses out of 168057 with flag 20866954/3645001
1338.43/1320.73	c cleaning 84978 clauses out of 170048 with flag 21436101/3731000
1377.31/1359.06	c cleaning 85998 clauses out of 172071 with flag 22012495/3818001
1415.38/1396.68	c cleaning 87017 clauses out of 174074 with flag 22593617/3906002
1456.10/1436.80	c cleaning 88008 clauses out of 176056 with flag 23190629/3995001
1498.07/1478.23	c cleaning 88990 clauses out of 178047 with flag 23786507/4085000
1539.85/1519.34	c cleaning 89995 clauses out of 180058 with flag 24399706/4176001
1580.94/1559.69	c cleaning 91011 clauses out of 182062 with flag 25017143/4268000
1623.05/1601.36	c cleaning 92003 clauses out of 184053 with flag 25647929/4361002
1666.39/1644.13	c cleaning 92996 clauses out of 186049 with flag 26284839/4455001
1711.61/1688.77	c cleaning 94007 clauses out of 188052 with flag 26936187/4550000
1756.34/1732.88	c cleaning 95005 clauses out of 190046 with flag 27592296/4646001
1800.05/1776.00	c starts		: 29435
1800.05/1776.00	c conflicts		: 4738585
1800.05/1776.00	c decisions		: 117470018
1800.05/1776.00	c propagations		: 1227140405
1800.05/1776.00	c inspects		: 12094017964
1800.05/1776.00	c shortcuts		: 0
1800.05/1776.00	c learnt literals	: 0
1800.05/1776.00	c learnt binary clauses	: 0
1800.05/1776.00	c learnt ternary clauses	: 0
1800.05/1776.00	c learnt constraints	: 4738585
1800.05/1776.00	c ignored constraints	: 0
1800.05/1776.00	c root simplifications	: 0
1800.05/1776.00	c removed literals (reason simplification)	: 0
1800.05/1776.00	c reason swapping (by a shorter reason)	: 0
1800.05/1776.00	c Calls to reduceDB	: 92
1800.05/1776.00	c Number of update (reduction) of LBD	: 1590102
1800.05/1776.00	c Imported unit clauses	: 0
1800.05/1776.00	c number of reductions to clauses (during analyze)	: 0
1800.05/1776.00	c number of learned constraints concerned by reduction	: 0
1800.05/1776.00	c number of learning phase by resolution	: 0
1800.05/1776.00	c number of learning phase by cutting planes	: 0
1800.05/1776.00	c speed (assignments/second)	: 691162.9161147007
1800.05/1776.00	c non guided choices	31885
1800.05/1776.01	c timeout
1800.05/1776.03	c learnt constraints type 
1800.05/1776.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 187625
1800.05/1776.03	s UNKNOWN
1800.05/1776.03	c Total wall clock time (in seconds): 1775.921

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4084427-1465216775/watcher-4084427-1465216775 -o /tmp/evaluation-result-4084427-1465216775/solver-4084427-1465216775 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5890 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084427-1465216775.opb 

pid=5999
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.10 1.38 1.51 5/194 6002
/proc/meminfo: memFree=30746596/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 103610111 98570240 977 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 24065 977 743 9 0 16771 0
[pid=6002/tid=6003] ppid=5999 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 103610111 98570240 977 33554432000 1073741824 1073778376 140733702518688 140533132066344 214537422208 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.10 1.38 1.51 5/194 6002
/proc/meminfo: memFree=30746596/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 4398 0 1 0 9 1 0 0 20 0 18 0 103610111 9787879424 6030 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2389619 6030 2125 9 0 2380296 0
[pid=6002/tid=6003] ppid=5999 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2379 0 1 0 7 0 0 0 20 0 18 0 103610111 9787879424 6030 33554432000 1073741824 1073778376 140733702518688 140533132069792 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200274 s]
/proc/loadavg: 1.10 1.38 1.51 5/194 6002
/proc/meminfo: memFree=30746596/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 4967 0 1 0 27 1 0 0 20 0 18 0 103610111 9787879424 7491 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2389619 7491 2216 9 0 2380296 0
[pid=6002/tid=6003] ppid=5999 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2398 0 1 0 17 0 0 0 20 0 18 0 103610111 9787879424 7491 33554432000 1073741824 1073778376 140733702518688 140533132069792 140532957724902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300263 s]
/proc/loadavg: 1.10 1.38 1.51 5/194 6002
/proc/meminfo: memFree=30746596/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 7577 0 1 0 52 2 0 0 20 0 18 0 103610111 9787879424 11996 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2389619 11996 2231 9 0 2380296 0
[pid=6002/tid=6003] ppid=5999 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2404 0 1 0 26 1 0 0 20 0 18 0 103610111 9787879424 11996 33554432000 1073741824 1073778376 140733702518688 140533132069792 140533135356794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700339 s]
/proc/loadavg: 1.10 1.38 1.51 5/194 6002
/proc/meminfo: memFree=30746596/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 8569 0 1 0 128 3 0 0 20 0 19 0 103610111 9856040960 40187 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2406260 40187 2274 9 0 2396937 0
[pid=6002/tid=6003] ppid=5999 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2473 0 1 0 64 3 0 0 20 0 19 0 103610111 9856040960 40187 33554432000 1073741824 1073778376 140733702518688 140533132062752 140532957438672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 1.17 1.39 1.51 3/213 6021
/proc/meminfo: memFree=30578224/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9625040 CPUtime=2.17 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 9415 0 1 0 214 3 0 0 20 0 19 0 103610111 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2406260 40190 2277 9 0 2396937 0
[pid=6002/tid=6003] ppid=5999 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2473 0 1 0 144 3 0 0 20 0 19 0 103610111 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533132062752 140532957802912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6005] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6005/stat : 6005 (java) S 5999 6002 5873 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533093563176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6006] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6006/stat : 6006 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533092510376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6007] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6007/stat : 6007 (java) S 5999 6002 5873 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533091458088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6008] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6008/stat : 6008 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533090405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6009] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6009/stat : 6009 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533089351976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6010] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6010/stat : 6010 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533088299176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6011] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6011/stat : 6011 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533087246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6012] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6012/stat : 6012 (java) S 5999 6002 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140533086194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6013] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6013/stat : 6013 (java) S 5999 6002 5873 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 103610113 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532956257000 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6014] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6014/stat : 6014 (java) S 5999 6002 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532955203064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6015] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6015/stat : 6015 (java) S 5999 6002 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532954150664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6016] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6016/stat : 6016 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532953099152 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6017] ppid=5999 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/6002/task/6017/stat : 6017 (java) S 5999 6002 5873 0 -1 4202560 3024 0 0 0 34 0 0 0 20 0 19 0 103610116 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532952045752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6018] ppid=5999 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/6002/task/6018/stat : 6018 (java) S 5999 6002 5873 0 -1 4202560 2565 0 0 0 31 0 0 0 20 0 19 0 103610116 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532950992952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6019] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6019/stat : 6019 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532949940856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6020] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6020/stat : 6020 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532948888264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6021] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6021/stat : 6021 (java) S 5999 6002 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103610164 9856040960 40190 33554432000 1073741824 1073778376 140733702518688 140532947834280 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625040

[startup+3.10086 s]
/proc/loadavg: 1.17 1.39 1.51 3/213 6021
/proc/meminfo: memFree=30563640/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 9422 0 1 0 380 3 0 0 20 0 19 0 103610111 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2406260 40195 2281 9 0 2396937 0
[pid=6002/tid=6003] ppid=5999 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2474 0 1 0 304 3 0 0 20 0 19 0 103610111 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533132070920 140532957992864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6005] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6005/stat : 6005 (java) S 5999 6002 5873 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533093563176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6006] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6006/stat : 6006 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533092510376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6007] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6007/stat : 6007 (java) S 5999 6002 5873 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533091458088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6008] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6008/stat : 6008 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533090405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6009] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6009/stat : 6009 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533089351976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6010] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6010/stat : 6010 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533088299176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6011] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6011/stat : 6011 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533087246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6012] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6012/stat : 6012 (java) S 5999 6002 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140533086194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6013] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6013/stat : 6013 (java) S 5999 6002 5873 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 103610113 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532956257000 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6014] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6014/stat : 6014 (java) S 5999 6002 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532955203064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6015] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6015/stat : 6015 (java) S 5999 6002 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532954150664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6016] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6016/stat : 6016 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532953099152 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6017] ppid=5999 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6002/task/6017/stat : 6017 (java) S 5999 6002 5873 0 -1 4202560 3025 0 0 0 38 0 0 0 20 0 19 0 103610116 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532952045752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6018] ppid=5999 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/6002/task/6018/stat : 6018 (java) S 5999 6002 5873 0 -1 4202560 2569 0 0 0 33 0 0 0 20 0 19 0 103610116 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532950992952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6019] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6019/stat : 6019 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532949940856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6020] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6020/stat : 6020 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532948888264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6021] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6021/stat : 6021 (java) S 5999 6002 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103610164 9856040960 40195 33554432000 1073741824 1073778376 140733702518688 140532947834280 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 1.17 1.39 1.51 4/213 6151
/proc/meminfo: memFree=30505804/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9625040 CPUtime=7.07 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 9432 0 1 0 703 4 0 0 20 0 19 0 103610111 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2406260 39661 2281 9 0 2396937 0
[pid=6002/tid=6003] ppid=5999 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2476 0 1 0 624 3 0 0 20 0 19 0 103610111 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533132062416 140532957802920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6005] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6005/stat : 6005 (java) S 5999 6002 5873 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533093563176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6006] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6006/stat : 6006 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533092510376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6007] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6007/stat : 6007 (java) S 5999 6002 5873 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533091458088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6008] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6008/stat : 6008 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533090405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6009] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6009/stat : 6009 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533089351976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6010] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6010/stat : 6010 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533088299176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6011] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6011/stat : 6011 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533087246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6012] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6012/stat : 6012 (java) S 5999 6002 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103610112 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140533086194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6013] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6013/stat : 6013 (java) S 5999 6002 5873 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 103610113 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140532956257000 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6014] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6014/stat : 6014 (java) S 5999 6002 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140532955203064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6015] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6015/stat : 6015 (java) S 5999 6002 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140532954150664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6016] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6016/stat : 6016 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140532953099152 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6017] ppid=5999 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6002/task/6017/stat : 6017 (java) S 5999 6002 5873 0 -1 4202560 3025 0 0 0 39 0 0 0 20 0 19 0 103610116 9856040960 39661 33554432000 1073741824 1073778376 140733702518688 140532952045752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6018] ppid=5999 vsize=9625040 CPUtime=0.35 cores=1,3,5,7

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

[pid=6002/tid=6014] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6014/stat : 6014 (java) S 5999 6002 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532955203064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6015] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6015/stat : 6015 (java) S 5999 6002 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532954150664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6016] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6016/stat : 6016 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532953099152 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6017] ppid=5999 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6002/task/6017/stat : 6017 (java) S 5999 6002 5873 0 -1 4202560 3025 0 0 0 39 0 0 0 20 0 19 0 103610116 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532952045752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6018] ppid=5999 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6002/task/6018/stat : 6018 (java) S 5999 6002 5873 0 -1 4202560 3092 0 0 0 38 0 0 0 20 0 19 0 103610116 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532950992952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6019] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6019/stat : 6019 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532949940856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6020] ppid=5999 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/6002/task/6020/stat : 6020 (java) S 5999 6002 5873 0 -1 4202560 93 0 0 0 37 34 0 0 20 0 19 0 103610116 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532948888264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6021] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6021/stat : 6021 (java) S 5999 6002 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103610164 9856040960 126848 33554432000 1073741824 1073778376 140733702518688 140532947834280 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1624.05
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.11 2.17 2.06 3/213 6216
/proc/meminfo: memFree=27127428/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9625040 CPUtime=1684.83 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 28556 0 1 0 168288 195 0 0 20 0 19 0 103610111 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2406260 114086 2290 9 0 2396937 0
[pid=6002/tid=6003] ppid=5999 vsize=9625040 CPUtime=1647.68 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2755 0 1 0 164738 30 0 0 20 0 19 0 103610111 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533132070192 140532957959868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6005] ppid=5999 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/6002/task/6005/stat : 6005 (java) S 5999 6002 5873 0 -1 4202560 1350 0 0 0 346 19 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533093563176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6006] ppid=5999 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/6002/task/6006/stat : 6006 (java) S 5999 6002 5873 0 -1 4202560 2489 0 0 0 327 15 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533092510376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6007] ppid=5999 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/6002/task/6007/stat : 6007 (java) S 5999 6002 5873 0 -1 4202560 1754 0 0 0 371 23 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533091458088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6008] ppid=5999 vsize=9625040 CPUtime=3.71 cores=1,3,5,7
/proc/6002/task/6008/stat : 6008 (java) S 5999 6002 5873 0 -1 4202560 1941 0 0 0 351 20 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533090405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6009] ppid=5999 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/6002/task/6009/stat : 6009 (java) S 5999 6002 5873 0 -1 4202560 1975 0 0 0 353 20 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533089351976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6010] ppid=5999 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/6002/task/6010/stat : 6010 (java) S 5999 6002 5873 0 -1 4202560 1854 0 0 0 343 19 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533088299176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6011] ppid=5999 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/6002/task/6011/stat : 6011 (java) S 5999 6002 5873 0 -1 4202560 2440 0 0 0 359 21 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533087246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6012] ppid=5999 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/6002/task/6012/stat : 6012 (java) S 5999 6002 5873 0 -1 4202560 3163 0 0 0 349 20 0 0 20 0 19 0 103610112 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140533086194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6013] ppid=5999 vsize=9625040 CPUtime=6.41 cores=1,3,5,7
/proc/6002/task/6013/stat : 6013 (java) S 5999 6002 5873 0 -1 4202560 1364 0 0 0 634 7 0 0 20 0 19 0 103610113 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532956257000 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6014] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6014/stat : 6014 (java) S 5999 6002 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532955203064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6015] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6015/stat : 6015 (java) S 5999 6002 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532954150664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6016] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6016/stat : 6016 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532953099152 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6017] ppid=5999 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6002/task/6017/stat : 6017 (java) S 5999 6002 5873 0 -1 4202560 3025 0 0 0 39 0 0 0 20 0 19 0 103610116 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532952045752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6018] ppid=5999 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6002/task/6018/stat : 6018 (java) S 5999 6002 5873 0 -1 4202560 3092 0 0 0 38 0 0 0 20 0 19 0 103610116 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532950992952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6019] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6019/stat : 6019 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532949940856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6020] ppid=5999 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/6002/task/6020/stat : 6020 (java) S 5999 6002 5873 0 -1 4202560 97 0 0 0 38 36 0 0 20 0 19 0 103610116 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532948888264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6021] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6021/stat : 6021 (java) S 5999 6002 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103610164 9856040960 114086 33554432000 1073741824 1073778376 140733702518688 140532947834280 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1684.83
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.53 2.30 2.11 3/212 6217
/proc/meminfo: memFree=27116868/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9625040 CPUtime=1745.76 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 29549 0 1 0 174369 207 0 0 20 0 19 0 103610111 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2406260 126235 2290 9 0 2396937 0
[pid=6002/tid=6003] ppid=5999 vsize=9625040 CPUtime=1707 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2766 0 1 0 170669 31 0 0 20 0 19 0 103610111 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533132070208 140532957987840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6005] ppid=5999 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/6002/task/6005/stat : 6005 (java) S 5999 6002 5873 0 -1 4202560 1406 0 0 0 359 21 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533093563176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6006] ppid=5999 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/6002/task/6006/stat : 6006 (java) S 5999 6002 5873 0 -1 4202560 2508 0 0 0 341 16 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533092510376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6007] ppid=5999 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/6002/task/6007/stat : 6007 (java) S 5999 6002 5873 0 -1 4202560 2172 0 0 0 386 25 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533091458088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6008] ppid=5999 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/6002/task/6008/stat : 6008 (java) S 5999 6002 5873 0 -1 4202560 2073 0 0 0 366 22 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533090405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6009] ppid=5999 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/6002/task/6009/stat : 6009 (java) S 5999 6002 5873 0 -1 4202560 2032 0 0 0 367 22 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533089351976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6010] ppid=5999 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/6002/task/6010/stat : 6010 (java) S 5999 6002 5873 0 -1 4202560 1868 0 0 0 355 20 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533088299176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6011] ppid=5999 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/6002/task/6011/stat : 6011 (java) S 5999 6002 5873 0 -1 4202560 2585 0 0 0 376 22 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533087246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6012] ppid=5999 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/6002/task/6012/stat : 6012 (java) S 5999 6002 5873 0 -1 4202560 3175 0 0 0 365 20 0 0 20 0 19 0 103610112 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140533086194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6013] ppid=5999 vsize=9625040 CPUtime=6.74 cores=1,3,5,7
/proc/6002/task/6013/stat : 6013 (java) S 5999 6002 5873 0 -1 4202560 1491 0 0 0 667 7 0 0 20 0 19 0 103610113 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532956257000 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6014] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6014/stat : 6014 (java) S 5999 6002 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532955203064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6015] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6015/stat : 6015 (java) S 5999 6002 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532954150664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6016] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6016/stat : 6016 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532953099152 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6017] ppid=5999 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6002/task/6017/stat : 6017 (java) S 5999 6002 5873 0 -1 4202560 3025 0 0 0 39 0 0 0 20 0 19 0 103610116 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532952045752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6018] ppid=5999 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6002/task/6018/stat : 6018 (java) S 5999 6002 5873 0 -1 4202560 3092 0 0 0 38 0 0 0 20 0 19 0 103610116 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532950992952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6019] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6019/stat : 6019 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532949940856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6020] ppid=5999 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/6002/task/6020/stat : 6020 (java) S 5999 6002 5873 0 -1 4202560 99 0 0 0 40 36 0 0 20 0 19 0 103610116 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532948888264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6021] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6021/stat : 6021 (java) S 5999 6002 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103610164 9856040960 126235 33554432000 1073741824 1073778376 140733702518688 140532947834280 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1745.76
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776 s]
/proc/loadavg: 2.27 2.27 2.10 3/213 6219
/proc/meminfo: memFree=27132332/32872528 swapFree=16740/1306504
[pid=6002] ppid=5999 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/6002/stat : 6002 (java) S 5999 6002 5873 0 -1 4202496 29874 0 1 0 179796 209 0 0 20 0 19 0 103610111 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140733702509824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6002/statm: 2406260 122159 2290 9 0 2396937 0
[pid=6002/tid=6003] ppid=5999 vsize=9625040 CPUtime=1760.35 cores=1,3,5,7
/proc/6002/task/6003/stat : 6003 (java) R 5999 6002 5873 0 -1 4202560 2774 0 1 0 176003 32 0 0 20 0 19 0 103610111 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533132070208 140532957959881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6005] ppid=5999 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/6002/task/6005/stat : 6005 (java) S 5999 6002 5873 0 -1 4202560 1407 0 0 0 368 21 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533093563176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6006] ppid=5999 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/6002/task/6006/stat : 6006 (java) S 5999 6002 5873 0 -1 4202560 2551 0 0 0 350 16 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533092510376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6007] ppid=5999 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/6002/task/6007/stat : 6007 (java) S 5999 6002 5873 0 -1 4202560 2175 0 0 0 394 25 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533091458088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6008] ppid=5999 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/6002/task/6008/stat : 6008 (java) S 5999 6002 5873 0 -1 4202560 2073 0 0 0 374 22 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533090405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6009] ppid=5999 vsize=9625040 CPUtime=4 cores=1,3,5,7
/proc/6002/task/6009/stat : 6009 (java) S 5999 6002 5873 0 -1 4202560 2032 0 0 0 378 22 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533089351976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6010] ppid=5999 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/6002/task/6010/stat : 6010 (java) S 5999 6002 5873 0 -1 4202560 1879 0 0 0 361 21 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533088299176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6011] ppid=5999 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/6002/task/6011/stat : 6011 (java) S 5999 6002 5873 0 -1 4202560 2587 0 0 0 389 22 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533087246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6012] ppid=5999 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/6002/task/6012/stat : 6012 (java) S 5999 6002 5873 0 -1 4202560 3421 0 0 0 379 20 0 0 20 0 19 0 103610112 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140533086194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6002/tid=6013] ppid=5999 vsize=9625040 CPUtime=6.87 cores=1,3,5,7
/proc/6002/task/6013/stat : 6013 (java) S 5999 6002 5873 0 -1 4202560 1498 0 0 0 680 7 0 0 20 0 19 0 103610113 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532956257000 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6014] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6014/stat : 6014 (java) S 5999 6002 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532955203064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6015] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6015/stat : 6015 (java) S 5999 6002 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103610114 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532954150664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6016] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6016/stat : 6016 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532953099152 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6017] ppid=5999 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6002/task/6017/stat : 6017 (java) S 5999 6002 5873 0 -1 4202560 3025 0 0 0 39 0 0 0 20 0 19 0 103610116 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532952045752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6002/tid=6018] ppid=5999 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6002/task/6018/stat : 6018 (java) S 5999 6002 5873 0 -1 4202560 3092 0 0 0 38 0 0 0 20 0 19 0 103610116 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532950992952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6019] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6019/stat : 6019 (java) S 5999 6002 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103610116 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532949940856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6002/tid=6020] ppid=5999 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/6002/task/6020/stat : 6020 (java) S 5999 6002 5873 0 -1 4202560 103 0 0 0 42 37 0 0 20 0 19 0 103610116 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532948888264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6002/tid=6021] ppid=5999 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6002/task/6021/stat : 6021 (java) S 5999 6002 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103610164 9856040960 122159 33554432000 1073741824 1073778376 140733702518688 140532947834280 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6002 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1776.04
CPU time (s): 1800.72
CPU user time (s): 1798.13
CPU system time (s): 2.59161
CPU usage (%): 101.39
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 2.59161
maximum resident set size= 805108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29909
page faults= 1
swaps= 0
block input operations= 176
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46399
involuntary context switches= 54107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.913 second user time and 11.3133 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-06 14:39:35
IDJOB=4084427
IDBENCH=1153
IDSOLVER=2546
FILE ID=node127/4084427-1465216775
RUNJOBID= node127-1465216773-5890
PBS_JOBID= 19843202
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084427-1465216775/watcher-4084427-1465216775 -o /tmp/evaluation-result-4084427-1465216775/solver-4084427-1465216775 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5890 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084427-1465216775.opb

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

MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227
RANDOM SEED=499369466

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30747124 kB
Buffers:            1408 kB
Cached:            35104 kB
SwapCached:         1280 kB
Active:            89300 kB
Inactive:          23820 kB
Active(anon):      79268 kB
Inactive(anon):       80 kB
Active(file):      10032 kB
Inactive(file):    23740 kB
Unevictable:     1306504 kB
Mlocked:           16740 kB
SwapTotal:      67108856 kB
SwapFree:       67097516 kB
Dirty:              3216 kB
Writeback:             0 kB
AnonPages:       1381320 kB
Mapped:            14264 kB
Shmem:                 0 kB
Slab:             566356 kB
SReclaimable:       9600 kB
SUnreclaim:       556756 kB
KernelStack:        1584 kB
PageTables:         6884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1995224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1341440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node127 at 2016-06-06 15:09:11