Trace number 4100005

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.08 1774.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
MD5SUM857268f55ca3006474c2fa40f262a214
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.073987
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint960
Number of terms in the objective function 7936
Biggest coefficient in the objective function 1818
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530569
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530569
Number of bits of the biggest sum of numbers20
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4100005-1466209700.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.52/0.35	c ... done. Wall clock time 0.239s.
0.52/0.35	c declared #vars     7936
0.52/0.35	c #constraints  336
0.52/0.35	c constraints type 
0.52/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.52/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 306
0.52/0.35	c 336 constraints processed.
0.52/0.35	c objective function length is 7936 literals
1.95/1.28	c cleaning 2460 clauses out of 5004 with flag 31111/5004
2.84/1.98	c cleaning 4247 clauses out of 8540 with flag 69591/11000
3.74/2.90	c cleaning 5634 clauses out of 11293 with flag 123719/18000
4.99/4.04	c cleaning 6773 clauses out of 13664 with flag 185417/26005
6.00/5.08	c cleaning 7929 clauses out of 15888 with flag 247732/35002
7.20/6.29	c cleaning 8940 clauses out of 17959 with flag 296724/45002
8.90/7.94	c cleaning 9986 clauses out of 20017 with flag 406827/56000
10.72/9.77	c cleaning 11009 clauses out of 22031 with flag 534320/68000
12.72/11.79	c cleaning 11967 clauses out of 24022 with flag 658636/81000
15.06/14.00	c cleaning 13029 clauses out of 26059 with flag 797535/95004
17.26/16.24	c cleaning 14000 clauses out of 28026 with flag 923351/110000
19.93/18.82	c cleaning 15006 clauses out of 30028 with flag 1108876/126002
23.23/22.12	c cleaning 15995 clauses out of 32022 with flag 1387459/143002
26.50/25.40	c cleaning 16996 clauses out of 34031 with flag 1674602/161006
30.09/28.99	c cleaning 17997 clauses out of 36029 with flag 1972586/180000
34.10/32.80	c cleaning 19004 clauses out of 38032 with flag 2251709/200000
37.77/36.44	c cleaning 19976 clauses out of 40028 with flag 2528677/221000
41.38/39.95	c cleaning 21013 clauses out of 42052 with flag 2785213/243000
45.49/43.93	c cleaning 21947 clauses out of 44039 with flag 3108237/266000
49.69/48.16	c cleaning 23024 clauses out of 46095 with flag 3462940/290003
55.00/53.20	c cleaning 24009 clauses out of 48068 with flag 3838098/315000
60.67/58.83	c cleaning 24999 clauses out of 50059 with flag 4279233/341000
66.03/64.10	c cleaning 25997 clauses out of 52063 with flag 4696018/368003
71.89/69.88	c cleaning 27031 clauses out of 54069 with flag 5191261/396006
78.07/75.95	c cleaning 27980 clauses out of 56032 with flag 5685826/425000
84.63/82.48	c cleaning 29000 clauses out of 58056 with flag 6236211/455004
91.08/88.83	c cleaning 29993 clauses out of 60052 with flag 6830217/486000
97.63/95.35	c cleaning 30974 clauses out of 62059 with flag 7485709/518000
104.71/102.39	c cleaning 32036 clauses out of 64086 with flag 8154759/551001
112.09/109.63	c cleaning 33004 clauses out of 66049 with flag 8795522/585000
119.78/117.20	c cleaning 34006 clauses out of 68045 with flag 9567034/620000
127.96/125.35	c cleaning 34920 clauses out of 70041 with flag 10362477/656002
136.02/133.30	c cleaning 36017 clauses out of 72119 with flag 11132960/693000
144.26/141.47	c cleaning 37030 clauses out of 74104 with flag 11942412/731002
152.93/150.09	c cleaning 37967 clauses out of 76075 with flag 12746461/770003
162.45/159.44	c cleaning 38997 clauses out of 78108 with flag 13681152/810003
172.50/169.36	c cleaning 40032 clauses out of 80110 with flag 14672122/851002
182.23/178.96	c cleaning 41038 clauses out of 82076 with flag 15597213/893000
192.17/188.73	c cleaning 41967 clauses out of 84041 with flag 16673021/936003
201.89/198.30	c cleaning 43007 clauses out of 86071 with flag 17629559/980000
213.56/209.82	c cleaning 43971 clauses out of 88064 with flag 18772018/1025000
224.20/220.33	c cleaning 45011 clauses out of 90093 with flag 19827695/1071000
236.14/232.19	c cleaning 46034 clauses out of 92084 with flag 21023915/1118002
247.52/243.34	c cleaning 46999 clauses out of 94048 with flag 22118897/1166000
259.22/254.85	c cleaning 48026 clauses out of 96051 with flag 23196941/1215002
272.19/267.65	c cleaning 48939 clauses out of 98026 with flag 24459347/1265003
284.45/279.79	c cleaning 50008 clauses out of 100084 with flag 25595282/1316000
297.45/292.51	c cleaning 50998 clauses out of 102076 with flag 26858796/1368000
311.01/305.96	c cleaning 52001 clauses out of 104078 with flag 28206372/1421000
325.02/319.75	c cleaning 53006 clauses out of 106077 with flag 29540323/1475000
339.64/334.10	c cleaning 54013 clauses out of 108071 with flag 30956547/1530000
355.00/349.20	c cleaning 55012 clauses out of 110058 with flag 32415841/1586000
371.78/365.73	c cleaning 56011 clauses out of 112046 with flag 33982988/1643000
387.41/381.14	c cleaning 56993 clauses out of 114035 with flag 35561690/1701000
403.54/397.08	c cleaning 57997 clauses out of 116042 with flag 37082678/1760000
420.29/413.53	c cleaning 59016 clauses out of 118045 with flag 38572662/1820000
438.14/431.13	c cleaning 59990 clauses out of 120030 with flag 40195200/1881001
457.06/449.80	c cleaning 61010 clauses out of 122040 with flag 41885543/1943001
475.86/468.43	c cleaning 61987 clauses out of 124029 with flag 43623346/2006000
495.09/487.36	c cleaning 63008 clauses out of 126042 with flag 45392651/2070000
515.63/507.65	c cleaning 63905 clauses out of 128034 with flag 47237554/2135000
535.54/527.26	c cleaning 65049 clauses out of 130134 with flag 49055595/2201005
555.84/547.38	c cleaning 65961 clauses out of 132080 with flag 50941660/2268000
576.24/567.46	c cleaning 67047 clauses out of 134119 with flag 52789634/2336000
597.80/588.61	c cleaning 67999 clauses out of 136072 with flag 54920529/2405000
619.04/609.55	c cleaning 69000 clauses out of 138074 with flag 56955774/2475001
641.21/631.49	c cleaning 70003 clauses out of 140073 with flag 59053062/2546000
663.34/653.25	c cleaning 70983 clauses out of 142070 with flag 60944700/2618000
688.03/677.64	c cleaning 72000 clauses out of 144088 with flag 63366413/2691001
712.16/701.45	c cleaning 73024 clauses out of 146087 with flag 65670912/2765000
737.24/726.15	c cleaning 74020 clauses out of 148063 with flag 67917085/2840000
761.55/750.20	c cleaning 74999 clauses out of 150043 with flag 70241523/2916000
786.85/775.07	c cleaning 75997 clauses out of 152046 with flag 72536144/2993002
813.73/801.54	c cleaning 76980 clauses out of 154047 with flag 75015390/3071000
841.27/828.74	c cleaning 78034 clauses out of 156067 with flag 77537245/3150000
867.07/854.15	c cleaning 78989 clauses out of 158033 with flag 79871752/3230000
892.86/879.55	c cleaning 79992 clauses out of 160044 with flag 82315829/3311000
919.51/905.87	c cleaning 81011 clauses out of 162052 with flag 84835372/3393000
946.40/932.37	c cleaning 82021 clauses out of 164041 with flag 87300786/3476000
974.50/960.02	c cleaning 82964 clauses out of 166020 with flag 89866780/3560000
1005.16/990.23	c cleaning 84008 clauses out of 168056 with flag 92627024/3645000
1033.78/1018.46	c cleaning 84936 clauses out of 170050 with flag 95310381/3731002
1063.44/1047.69	c cleaning 86058 clauses out of 172116 with flag 98134750/3818004
1094.36/1078.18	c cleaning 87013 clauses out of 174056 with flag 101014794/3906002
1126.01/1109.37	c cleaning 88002 clauses out of 176042 with flag 104020309/3995001
1159.12/1141.91	c cleaning 88993 clauses out of 178039 with flag 107074576/4085000
1190.03/1172.43	c cleaning 90005 clauses out of 180052 with flag 109935627/4176006
1223.74/1205.76	c cleaning 90973 clauses out of 182041 with flag 113101978/4268000
1257.26/1238.89	c cleaning 92009 clauses out of 184068 with flag 116082660/4361000
1292.94/1274.00	c cleaning 92998 clauses out of 186059 with flag 119436811/4455000
1327.98/1308.56	c cleaning 94017 clauses out of 188061 with flag 122569329/4550000
1362.89/1342.94	c cleaning 94988 clauses out of 190044 with flag 125708107/4646000
1399.05/1378.62	c cleaning 96009 clauses out of 192056 with flag 128989596/4743000
1434.80/1413.99	c cleaning 97017 clauses out of 194047 with flag 131908493/4841000
1472.00/1450.64	c cleaning 98004 clauses out of 196030 with flag 135039628/4940000
1509.40/1487.50	c cleaning 98979 clauses out of 198026 with flag 138372337/5040000
1549.48/1527.03	c cleaning 100011 clauses out of 200050 with flag 141759378/5141003
1590.47/1567.57	c cleaning 101006 clauses out of 202036 with flag 145430119/5243000
1633.72/1610.24	c cleaning 102018 clauses out of 204040 with flag 148884967/5346010
1673.88/1649.83	c cleaning 102961 clauses out of 206016 with flag 152385308/5450004
1713.28/1688.69	c cleaning 103994 clauses out of 208052 with flag 155791431/5555001
1757.25/1732.08	c cleaning 105015 clauses out of 210063 with flag 159348013/5661006
1800.08/1774.20	c starts		: 31867
1800.08/1774.20	c conflicts		: 5759757
1800.08/1774.20	c decisions		: 61165194
1800.08/1774.20	c propagations		: 737032083
1800.08/1774.20	c inspects		: 18006391604
1800.08/1774.20	c shortcuts		: 0
1800.08/1774.20	c learnt literals	: 0
1800.08/1774.20	c learnt binary clauses	: 0
1800.08/1774.20	c learnt ternary clauses	: 0
1800.08/1774.20	c learnt constraints	: 5759757
1800.08/1774.20	c ignored constraints	: 0
1800.08/1774.20	c root simplifications	: 0
1800.08/1774.20	c removed literals (reason simplification)	: 0
1800.08/1774.20	c reason swapping (by a shorter reason)	: 0
1800.08/1774.20	c Calls to reduceDB	: 102
1800.08/1774.20	c Number of update (reduction) of LBD	: 3543053
1800.08/1774.20	c Imported unit clauses	: 0
1800.08/1774.20	c number of reductions to clauses (during analyze)	: 0
1800.08/1774.20	c number of learned constraints concerned by reduction	: 0
1800.08/1774.20	c number of learning phase by resolution	: 0
1800.08/1774.20	c number of learning phase by cutting planes	: 0
1800.08/1774.20	c speed (assignments/second)	: 415505.5676449696
1800.08/1774.20	c non guided choices	402
1800.08/1774.20	c timeout
1800.08/1774.23	c learnt constraints type 
1800.08/1774.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 203799
1800.08/1774.23	s UNKNOWN
1800.08/1774.23	c Total wall clock time (in seconds): 1774.117

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-4100005-1466209700/watcher-4100005-1466209700 -o /tmp/evaluation-result-4100005-1466209700/solver-4100005-1466209700 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100005-1466209700.opb 

pid=6774
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.41 2.31 2.20 2/196 6777
/proc/meminfo: memFree=29985876/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/6777/stat : 6777 (java) R 6774 6777 4518 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 23016447 5767168 56 33554432000 1073741824 1073778376 140735666802352 140735666799480 273896533287 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2303 62 48 9 0 35 0

[startup+0.10011 s]
/proc/loadavg: 2.41 2.31 2.20 2/196 6777
/proc/meminfo: memFree=29985876/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 23016447 9787879424 6023 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2389619 6023 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200282 s]
/proc/loadavg: 2.41 2.31 2.20 2/196 6777
/proc/meminfo: memFree=29985876/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 5033 0 1 0 27 2 0 0 20 0 18 0 23016447 9787879424 6980 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2389619 6980 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300308 s]
/proc/loadavg: 2.41 2.31 2.20 2/196 6777
/proc/meminfo: memFree=29985876/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 6614 0 1 0 50 2 0 0 20 0 18 0 23016447 9787879424 10370 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2389619 10370 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700247 s]
/proc/loadavg: 2.41 2.31 2.20 2/196 6777
/proc/meminfo: memFree=29985876/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 11544 0 1 0 132 3 0 0 20 0 19 0 23016447 9856040960 17470 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2406260 17470 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.41 2.31 2.20 4/215 6796
/proc/meminfo: memFree=29902156/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 13691 0 1 0 236 4 0 0 20 0 19 0 23016447 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2406260 26850 2265 9 0 2396937 0
[pid=6777/tid=6779] ppid=6774 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/6777/task/6779/stat : 6779 (java) R 6774 6777 4518 0 -1 4202560 2439 0 1 0 144 2 0 0 20 0 19 0 23016448 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223583707544 140223451866316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6780] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6780/stat : 6780 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223572769704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6781] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6781/stat : 6781 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223571717160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6782] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6782/stat : 6782 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223570664104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6783] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6783/stat : 6783 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223423658792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6784] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6784/stat : 6784 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223422605736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6785] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6785/stat : 6785 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223421553192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6786] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6786/stat : 6786 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223420500136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6787] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6787/stat : 6787 (java) S 6774 6777 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223419447592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6788] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6788/stat : 6788 (java) S 6774 6777 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23016450 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223407250280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6789] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6789/stat : 6789 (java) S 6774 6777 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223406196600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6790] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6790/stat : 6790 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223405143432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6791] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6791/stat : 6791 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223404092176 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6792] ppid=6774 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/6777/task/6792/stat : 6792 (java) S 6774 6777 4518 0 -1 4202560 2547 0 0 0 32 0 0 0 20 0 19 0 23016453 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223403039032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6793] ppid=6774 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6777/task/6793/stat : 6793 (java) S 6774 6777 4518 0 -1 4202560 7434 0 0 0 55 1 0 0 20 0 19 0 23016453 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223401986488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6794] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6794/stat : 6794 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223400933624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6795] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6795/stat : 6795 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223399881288 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6796] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6796/stat : 6796 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016486 9856040960 26850 33554432000 1073741824 1073778376 140735666802352 140223398827560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.37 2.30 2.20 3/215 6796
/proc/meminfo: memFree=29869700/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 13716 0 1 0 400 4 0 0 20 0 19 0 23016447 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2406260 37093 2265 9 0 2396937 0
[pid=6777/tid=6779] ppid=6774 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/6777/task/6779/stat : 6779 (java) R 6774 6777 4518 0 -1 4202560 2461 0 1 0 304 2 0 0 20 0 19 0 23016448 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223583705592 140223452094064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6780] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6780/stat : 6780 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223572769704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6781] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6781/stat : 6781 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223571717160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6782] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6782/stat : 6782 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223570664104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6783] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6783/stat : 6783 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223423658792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6784] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6784/stat : 6784 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223422605736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6785] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6785/stat : 6785 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223421553192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6786] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6786/stat : 6786 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223420500136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6787] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6787/stat : 6787 (java) S 6774 6777 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223419447592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6788] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6788/stat : 6788 (java) S 6774 6777 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23016450 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223407250280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6789] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6789/stat : 6789 (java) S 6774 6777 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223406196600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6790] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6790/stat : 6790 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223405143432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6791] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6791/stat : 6791 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223404092176 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6792] ppid=6774 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/6777/task/6792/stat : 6792 (java) S 6774 6777 4518 0 -1 4202560 2547 0 0 0 35 0 0 0 20 0 19 0 23016453 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223403039032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6793] ppid=6774 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6777/task/6793/stat : 6793 (java) S 6774 6777 4518 0 -1 4202560 7437 0 0 0 58 1 0 0 20 0 19 0 23016453 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223401986488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6794] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6794/stat : 6794 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223400933624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6795] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6795/stat : 6795 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223399881288 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6796] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6796/stat : 6796 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016486 9856040960 37093 33554432000 1073741824 1073778376 140735666802352 140223398827560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.37 2.30 2.20 4/215 6796
/proc/meminfo: memFree=29807700/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9625040 CPUtime=7.3 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 13782 0 1 0 723 7 0 0 20 0 19 0 23016447 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2406260 46213 2279 9 0 2396937 0
[pid=6777/tid=6779] ppid=6774 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/6777/task/6779/stat : 6779 (java) R 6774 6777 4518 0 -1 4202560 2476 0 1 0 620 3 0 0 20 0 19 0 23016448 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223583698624 140223452077211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6780] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6780/stat : 6780 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223572769704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6781] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6781/stat : 6781 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223571717160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6782] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6782/stat : 6782 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223570664104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6783] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6783/stat : 6783 (java) S 6774 6777 4518 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223423658792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6784] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6784/stat : 6784 (java) S 6774 6777 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223422605736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6785] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6785/stat : 6785 (java) S 6774 6777 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223421553192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6786] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6786/stat : 6786 (java) S 6774 6777 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223420500136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6787] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6787/stat : 6787 (java) S 6774 6777 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23016449 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223419447592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6788] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6788/stat : 6788 (java) S 6774 6777 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23016450 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223407250280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6789] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6789/stat : 6789 (java) S 6774 6777 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223406196600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6790] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6790/stat : 6790 (java) S 6774 6777 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223405143432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6791] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6791/stat : 6791 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223404092176 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6792] ppid=6774 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/6777/task/6792/stat : 6792 (java) S 6774 6777 4518 0 -1 4202560 2547 0 0 0 35 0 0 0 20 0 19 0 23016453 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223403039032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6793] ppid=6774 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6777/task/6793/stat : 6793 (java) S 6774 6777 4518 0 -1 4202560 7437 0 0 0 59 1 0 0 20 0 19 0 23016453 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223401986488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6794] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6794/stat : 6794 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223400933624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6795] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6795/stat : 6795 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223399881288 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6796] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6796/stat : 6796 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016486 9856040960 46213 33554432000 1073741824 1073778376 140735666802352 140223398827560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9625040


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

[pid=6777/tid=6796] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6796/stat : 6796 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016486 9856040960 110792 33554432000 1073741824 1073778376 140735666802352 140223398827560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1625.75
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.18 2.19 2.22 3/215 6904
/proc/meminfo: memFree=26258792/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9625040 CPUtime=1686.54 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 31800 0 1 0 168478 176 0 0 20 0 19 0 23016447 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2406260 110506 2288 9 0 2396937 0
[pid=6777/tid=6779] ppid=6774 vsize=9625040 CPUtime=1642.56 cores=1,3,5,7
/proc/6777/task/6779/stat : 6779 (java) R 6774 6777 4518 0 -1 4202560 3141 0 1 0 164225 31 0 0 20 0 19 0 23016448 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223583706464 140223451878897 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6780] ppid=6774 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/6777/task/6780/stat : 6780 (java) S 6774 6777 4518 0 -1 4202560 2155 0 0 0 399 18 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223572769704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6781] ppid=6774 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/6777/task/6781/stat : 6781 (java) S 6774 6777 4518 0 -1 4202560 2960 0 0 0 394 14 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223571717160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6782] ppid=6774 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/6777/task/6782/stat : 6782 (java) S 6774 6777 4518 0 -1 4202560 1755 0 0 0 397 13 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223570664104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6783] ppid=6774 vsize=9625040 CPUtime=4.3 cores=1,3,5,7
/proc/6777/task/6783/stat : 6783 (java) S 6774 6777 4518 0 -1 4202560 1822 0 0 0 413 17 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223423658792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6784] ppid=6774 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/6777/task/6784/stat : 6784 (java) S 6774 6777 4518 0 -1 4202560 2020 0 0 0 390 18 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223422605736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6785] ppid=6774 vsize=9625040 CPUtime=4.28 cores=1,3,5,7
/proc/6777/task/6785/stat : 6785 (java) S 6774 6777 4518 0 -1 4202560 1950 0 0 0 410 18 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223421553192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6786] ppid=6774 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/6777/task/6786/stat : 6786 (java) S 6774 6777 4518 0 -1 4202560 1654 0 0 0 402 17 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223420500136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6787] ppid=6774 vsize=9625040 CPUtime=4.24 cores=1,3,5,7
/proc/6777/task/6787/stat : 6787 (java) S 6774 6777 4518 0 -1 4202560 1920 0 0 0 409 15 0 0 20 0 19 0 23016449 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223419447592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6788] ppid=6774 vsize=9625040 CPUtime=5.21 cores=1,3,5,7
/proc/6777/task/6788/stat : 6788 (java) S 6774 6777 4518 0 -1 4202560 1082 0 0 0 512 9 0 0 20 0 19 0 23016450 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223407250280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6789] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6789/stat : 6789 (java) S 6774 6777 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223406196600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6790] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6790/stat : 6790 (java) S 6774 6777 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223405143432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6791] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6791/stat : 6791 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223404092176 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6792] ppid=6774 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/6777/task/6792/stat : 6792 (java) S 6774 6777 4518 0 -1 4202560 2547 0 0 0 35 0 0 0 20 0 19 0 23016453 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223403039032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6793] ppid=6774 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6777/task/6793/stat : 6793 (java) S 6774 6777 4518 0 -1 4202560 7440 0 0 0 61 1 0 0 20 0 19 0 23016453 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223401986488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6794] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6794/stat : 6794 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223400933624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6795] ppid=6774 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6777/task/6795/stat : 6795 (java) S 6774 6777 4518 0 -1 4202560 97 0 0 0 24 34 0 0 20 0 19 0 23016453 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223399881288 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6796] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6796/stat : 6796 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016486 9856040960 110506 33554432000 1073741824 1073778376 140735666802352 140223398827560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1686.54
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.38 2.25 2.23 3/215 6905
/proc/meminfo: memFree=26220004/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9625040 CPUtime=1747.48 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 32667 0 1 0 174565 183 0 0 20 0 19 0 23016447 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2406260 124587 2288 9 0 2396937 0
[pid=6777/tid=6779] ppid=6774 vsize=9625040 CPUtime=1701.82 cores=1,3,5,7
/proc/6777/task/6779/stat : 6779 (java) R 6774 6777 4518 0 -1 4202560 3164 0 1 0 170150 32 0 0 20 0 19 0 23016448 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223583706432 140223451883115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6780] ppid=6774 vsize=9625040 CPUtime=4.3 cores=1,3,5,7
/proc/6777/task/6780/stat : 6780 (java) S 6774 6777 4518 0 -1 4202560 2163 0 0 0 411 19 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223572769704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6781] ppid=6774 vsize=9625040 CPUtime=4.21 cores=1,3,5,7
/proc/6777/task/6781/stat : 6781 (java) S 6774 6777 4518 0 -1 4202560 2973 0 0 0 406 15 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223571717160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6782] ppid=6774 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/6777/task/6782/stat : 6782 (java) S 6774 6777 4518 0 -1 4202560 1942 0 0 0 414 13 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223570664104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6783] ppid=6774 vsize=9625040 CPUtime=4.45 cores=1,3,5,7
/proc/6777/task/6783/stat : 6783 (java) S 6774 6777 4518 0 -1 4202560 1971 0 0 0 427 18 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223423658792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6784] ppid=6774 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/6777/task/6784/stat : 6784 (java) S 6774 6777 4518 0 -1 4202560 2038 0 0 0 407 18 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223422605736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6785] ppid=6774 vsize=9625040 CPUtime=4.46 cores=1,3,5,7
/proc/6777/task/6785/stat : 6785 (java) S 6774 6777 4518 0 -1 4202560 1997 0 0 0 427 19 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223421553192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6786] ppid=6774 vsize=9625040 CPUtime=4.4 cores=1,3,5,7
/proc/6777/task/6786/stat : 6786 (java) S 6774 6777 4518 0 -1 4202560 1882 0 0 0 422 18 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223420500136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6787] ppid=6774 vsize=9625040 CPUtime=4.43 cores=1,3,5,7
/proc/6777/task/6787/stat : 6787 (java) S 6774 6777 4518 0 -1 4202560 2048 0 0 0 427 16 0 0 20 0 19 0 23016449 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223419447592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6788] ppid=6774 vsize=9625040 CPUtime=5.4 cores=1,3,5,7
/proc/6777/task/6788/stat : 6788 (java) S 6774 6777 4518 0 -1 4202560 1146 0 0 0 531 9 0 0 20 0 19 0 23016450 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223407250280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6789] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6789/stat : 6789 (java) S 6774 6777 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223406196600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6790] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6790/stat : 6790 (java) S 6774 6777 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223405143432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6791] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6791/stat : 6791 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223404092176 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6792] ppid=6774 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/6777/task/6792/stat : 6792 (java) S 6774 6777 4518 0 -1 4202560 2547 0 0 0 35 0 0 0 20 0 19 0 23016453 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223403039032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6793] ppid=6774 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6777/task/6793/stat : 6793 (java) S 6774 6777 4518 0 -1 4202560 7440 0 0 0 61 1 0 0 20 0 19 0 23016453 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223401986488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6794] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6794/stat : 6794 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223400933624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6795] ppid=6774 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6777/task/6795/stat : 6795 (java) S 6774 6777 4518 0 -1 4202560 99 0 0 0 25 35 0 0 20 0 19 0 23016453 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223399881288 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6796] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6796/stat : 6796 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016486 9856040960 124587 33554432000 1073741824 1073778376 140735666802352 140223398827560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1747.48
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.2 s]
/proc/loadavg: 2.38 2.27 2.24 3/215 6906
/proc/meminfo: memFree=26233460/32872528 swapFree=1482636/1662508
[pid=6777] ppid=6774 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/6777/stat : 6777 (java) S 6774 6777 4518 0 -1 4202496 32771 0 1 0 179819 189 0 0 20 0 19 0 23016447 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140735666793488 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6777/statm: 2406260 124887 2288 9 0 2396937 0
[pid=6777/tid=6779] ppid=6774 vsize=9625040 CPUtime=1753.16 cores=1,3,5,7
/proc/6777/task/6779/stat : 6779 (java) R 6774 6777 4518 0 -1 4202560 3181 0 1 0 175283 33 0 0 20 0 19 0 23016448 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223583706416 140223451952497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6780] ppid=6774 vsize=9625040 CPUtime=4.4 cores=1,3,5,7
/proc/6777/task/6780/stat : 6780 (java) S 6774 6777 4518 0 -1 4202560 2169 0 0 0 421 19 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223572769704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6781] ppid=6774 vsize=9625040 CPUtime=4.36 cores=1,3,5,7
/proc/6777/task/6781/stat : 6781 (java) S 6774 6777 4518 0 -1 4202560 2988 0 0 0 421 15 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223571717160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6782] ppid=6774 vsize=9625040 CPUtime=4.4 cores=1,3,5,7
/proc/6777/task/6782/stat : 6782 (java) S 6774 6777 4518 0 -1 4202560 1954 0 0 0 426 14 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223570664104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6777/tid=6783] ppid=6774 vsize=9625040 CPUtime=4.56 cores=1,3,5,7
/proc/6777/task/6783/stat : 6783 (java) S 6774 6777 4518 0 -1 4202560 1981 0 0 0 438 18 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223423658792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6784] ppid=6774 vsize=9625040 CPUtime=4.41 cores=1,3,5,7
/proc/6777/task/6784/stat : 6784 (java) S 6774 6777 4518 0 -1 4202560 2049 0 0 0 422 19 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223422605736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6785] ppid=6774 vsize=9625040 CPUtime=4.58 cores=1,3,5,7
/proc/6777/task/6785/stat : 6785 (java) S 6774 6777 4518 0 -1 4202560 2004 0 0 0 439 19 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223421553192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6786] ppid=6774 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/6777/task/6786/stat : 6786 (java) S 6774 6777 4518 0 -1 4202560 1891 0 0 0 430 19 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223420500136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6787] ppid=6774 vsize=9625040 CPUtime=4.57 cores=1,3,5,7
/proc/6777/task/6787/stat : 6787 (java) S 6774 6777 4518 0 -1 4202560 2053 0 0 0 441 16 0 0 20 0 19 0 23016449 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223419447592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6788] ppid=6774 vsize=9625040 CPUtime=5.52 cores=1,3,5,7
/proc/6777/task/6788/stat : 6788 (java) S 6774 6777 4518 0 -1 4202560 1154 0 0 0 543 9 0 0 20 0 19 0 23016450 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223407250280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6789] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6789/stat : 6789 (java) S 6774 6777 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223406196600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6790] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6790/stat : 6790 (java) S 6774 6777 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016451 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223405143432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6791] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6791/stat : 6791 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223404092176 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6792] ppid=6774 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/6777/task/6792/stat : 6792 (java) S 6774 6777 4518 0 -1 4202560 2547 0 0 0 35 0 0 0 20 0 19 0 23016453 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223403039032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6777/tid=6793] ppid=6774 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6777/task/6793/stat : 6793 (java) S 6774 6777 4518 0 -1 4202560 7440 0 0 0 61 1 0 0 20 0 19 0 23016453 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223401986488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6794] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6794/stat : 6794 (java) S 6774 6777 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016453 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223400933624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6777/tid=6795] ppid=6774 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6777/task/6795/stat : 6795 (java) S 6774 6777 4518 0 -1 4202560 103 0 0 0 26 36 0 0 20 0 19 0 23016453 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223399881288 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6777/tid=6796] ppid=6774 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6777/task/6796/stat : 6796 (java) S 6774 6777 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016486 9856040960 124887 33554432000 1073741824 1073778376 140735666802352 140223398827560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 6777 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6777 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=18267
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=332645
# CPU time returned by wait4() is 1796.35
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1774.24
CPU time (s): 1800.08
CPU user time (s): 1798.19
CPU system time (s): 1.89
CPU usage (%): 101.456
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 2.33264
maximum resident set size= 590980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32812
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59605
involuntary context switches= 71326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2183 second user time and 10.9313 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 02:28:20
IDJOB=4100005
IDBENCH=1561
IDSOLVER=2546
FILE ID=node134/4100005-1466209700
RUNJOBID= node134-1466206058-4535
PBS_JOBID= 19918143
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100005-1466209700/watcher-4100005-1466209700 -o /tmp/evaluation-result-4100005-1466209700/solver-4100005-1466209700 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4100005-1466209700.opb

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

MD5SUM BENCH= 857268f55ca3006474c2fa40f262a214
RANDOM SEED=918772195

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        29986256 kB
Buffers:           41796 kB
Cached:            75552 kB
SwapCached:         1008 kB
Active:           446936 kB
Inactive:          74432 kB
Active(anon):     404696 kB
Inactive(anon):     1580 kB
Active(file):      42240 kB
Inactive(file):    72852 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100076 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:       2128988 kB
Mapped:            15388 kB
Shmem:                 0 kB
Slab:             568592 kB
SReclaimable:      12556 kB
SUnreclaim:       556036 kB
KernelStack:        1776 kB
PageTables:         8332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2211272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    606208 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= 71712 MiB
End job on node134 at 2016-06-18 02:57:55