Trace number 4084417

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.83 1795.04

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
MD5SUM3d28f31cd61cfb39466f429c599fdb4f
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark43.1854
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables428
Total number of constraints644
Number of constraints which are clauses354
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint2
Maximum length of a constraint144
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 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 165
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-4084417-1465218569.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  no objective function found
0.27/0.21	c ... done. Wall clock time 0.102s.
0.27/0.21	c declared #vars     428
0.27/0.21	c #constraints  644
0.27/0.21	c constraints type 
0.27/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 132
0.27/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.27/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 222
0.27/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 288
0.27/0.23	c 644 constraints processed.
1.04/0.69	c cleaning 2499 clauses out of 5000 with flag 20283/5000
1.62/1.12	c cleaning 4249 clauses out of 8501 with flag 41909/11000
2.11/1.64	c cleaning 5620 clauses out of 11252 with flag 66550/18000
2.82/2.35	c cleaning 6802 clauses out of 13632 with flag 99563/26000
3.63/3.16	c cleaning 7914 clauses out of 15831 with flag 134216/35001
4.63/4.11	c cleaning 8951 clauses out of 17916 with flag 171809/45000
5.63/5.19	c cleaning 9979 clauses out of 19965 with flag 209706/56000
7.03/6.51	c cleaning 10988 clauses out of 21988 with flag 252709/68002
8.43/7.95	c cleaning 11991 clauses out of 23998 with flag 299876/81000
10.03/9.55	c cleaning 12995 clauses out of 26008 with flag 347364/95001
11.93/11.45	c cleaning 13993 clauses out of 28013 with flag 396491/110001
14.03/13.57	c cleaning 15006 clauses out of 30019 with flag 446725/126000
16.43/15.94	c cleaning 16000 clauses out of 32013 with flag 506650/143000
19.21/18.62	c cleaning 17002 clauses out of 34015 with flag 568507/161002
21.81/21.26	c cleaning 17987 clauses out of 36011 with flag 631089/180000
24.82/24.28	c cleaning 19002 clauses out of 38024 with flag 694143/200000
28.12/27.54	c cleaning 20004 clauses out of 40022 with flag 766253/221000
31.52/30.99	c cleaning 21007 clauses out of 42021 with flag 837597/243003
35.71/35.13	c cleaning 21984 clauses out of 44011 with flag 911704/266000
40.01/39.40	c cleaning 23006 clauses out of 46027 with flag 991210/290000
45.01/44.44	c cleaning 24001 clauses out of 48021 with flag 1074954/315000
49.35/48.66	c cleaning 24997 clauses out of 50020 with flag 1168967/341000
53.66/52.93	c cleaning 25990 clauses out of 52024 with flag 1275418/368001
59.55/58.89	c cleaning 27001 clauses out of 54033 with flag 1391416/396000
65.55/64.89	c cleaning 28000 clauses out of 56032 with flag 1499705/425000
71.26/70.59	c cleaning 28989 clauses out of 58033 with flag 1608258/455001
76.76/76.07	c cleaning 30010 clauses out of 60045 with flag 1719295/486002
83.01/82.19	c cleaning 31001 clauses out of 62034 with flag 1834298/518001
89.91/89.04	c cleaning 32008 clauses out of 64032 with flag 1946766/551000
98.71/97.90	c cleaning 32998 clauses out of 66024 with flag 2070818/585000
108.61/107.74	c cleaning 33995 clauses out of 68026 with flag 2190270/620000
118.01/117.12	c cleaning 34992 clauses out of 70031 with flag 2316264/656000
126.12/125.08	c cleaning 36011 clauses out of 72040 with flag 2451763/693001
134.72/133.67	c cleaning 37010 clauses out of 74029 with flag 2581807/731001
143.62/142.50	c cleaning 37997 clauses out of 76018 with flag 2713701/770000
153.52/152.42	c cleaning 38994 clauses out of 78021 with flag 2847968/810000
163.41/162.14	c cleaning 39996 clauses out of 80027 with flag 2984690/851000
174.21/172.99	c cleaning 41001 clauses out of 82031 with flag 3124478/893000
186.12/184.86	c cleaning 41996 clauses out of 84030 with flag 3268555/936000
198.22/196.97	c cleaning 43012 clauses out of 86034 with flag 3426820/980000
212.95/211.50	c cleaning 43992 clauses out of 88022 with flag 3584637/1025000
228.16/226.79	c cleaning 44989 clauses out of 90030 with flag 3757264/1071000
244.35/242.93	c cleaning 45972 clauses out of 92041 with flag 3942670/1118000
259.46/257.84	c cleaning 47029 clauses out of 94069 with flag 4116100/1166000
274.27/272.68	c cleaning 48011 clauses out of 96041 with flag 4284931/1215001
294.57/292.97	c cleaning 49008 clauses out of 98031 with flag 4469100/1265002
313.35/311.45	c cleaning 50004 clauses out of 100025 with flag 4662311/1316004
334.84/332.96	c cleaning 50950 clauses out of 102017 with flag 4861879/1368000
364.77/362.64	c cleaning 52019 clauses out of 104069 with flag 5067401/1421002
396.49/394.34	c cleaning 53003 clauses out of 106048 with flag 5276873/1475000
416.98/414.64	c cleaning 53993 clauses out of 108045 with flag 5463473/1530000
439.68/437.37	c cleaning 55007 clauses out of 110052 with flag 5657147/1586000
466.27/463.85	c cleaning 55986 clauses out of 112045 with flag 5863391/1643000
489.07/486.62	c cleaning 57009 clauses out of 114063 with flag 6095471/1701004
515.07/512.52	c cleaning 57996 clauses out of 116050 with flag 6359336/1760000
539.51/536.89	c cleaning 59002 clauses out of 118054 with flag 6583258/1820000
564.81/562.19	c cleaning 60007 clauses out of 120052 with flag 6821508/1881000
592.40/589.62	c cleaning 61006 clauses out of 122045 with flag 7063401/1943000
625.81/623.06	c cleaning 61999 clauses out of 124040 with flag 7307515/2006001
664.21/661.39	c cleaning 63005 clauses out of 126040 with flag 7552228/2070000
697.88/694.99	c cleaning 63983 clauses out of 128035 with flag 7802267/2135000
734.28/731.22	c cleaning 64993 clauses out of 130052 with flag 8057026/2201000
771.60/768.55	c cleaning 66019 clauses out of 132062 with flag 8318892/2268003
814.48/811.36	c cleaning 67004 clauses out of 134040 with flag 8584381/2336000
848.79/845.52	c cleaning 68003 clauses out of 136036 with flag 8840999/2405000
882.90/879.52	c cleaning 69000 clauses out of 138033 with flag 9099600/2475000
920.39/916.91	c cleaning 70012 clauses out of 140033 with flag 9356837/2546000
964.98/961.55	c cleaning 70990 clauses out of 142022 with flag 9643004/2618001
1005.96/1002.46	c cleaning 71994 clauses out of 144031 with flag 9930984/2691000
1064.75/1061.12	c cleaning 72990 clauses out of 146037 with flag 10240069/2765000
1108.35/1104.68	c cleaning 74012 clauses out of 148047 with flag 10537412/2840000
1157.57/1153.74	c cleaning 74991 clauses out of 150038 with flag 10878193/2916003
1209.94/1206.09	c cleaning 75982 clauses out of 152044 with flag 11183713/2993000
1271.15/1267.12	c cleaning 77017 clauses out of 154062 with flag 11504996/3071000
1320.04/1315.91	c cleaning 78016 clauses out of 156045 with flag 11816769/3150000
1385.22/1381.04	c cleaning 79000 clauses out of 158031 with flag 12138970/3230002
1431.63/1427.31	c cleaning 80005 clauses out of 160031 with flag 12399298/3311002
1478.16/1473.75	c cleaning 81008 clauses out of 162024 with flag 12644293/3393000
1527.87/1523.34	c cleaning 82001 clauses out of 164016 with flag 12886494/3476000
1580.53/1575.95	c cleaning 83008 clauses out of 166021 with flag 13157761/3560006
1634.10/1629.46	c cleaning 83995 clauses out of 168007 with flag 13448022/3645000
1696.25/1691.42	c cleaning 84984 clauses out of 170012 with flag 13760841/3731000
1767.84/1762.98	c cleaning 85987 clauses out of 172028 with flag 14140693/3818000
1800.07/1795.00	c starts		: 1700
1800.07/1795.00	c conflicts		: 3863866
1800.07/1795.00	c decisions		: 10006901
1800.07/1795.00	c propagations		: 145414217
1800.07/1795.00	c inspects		: 25574474405
1800.07/1795.00	c shortcuts		: 0
1800.07/1795.00	c learnt literals	: 0
1800.07/1795.00	c learnt binary clauses	: 0
1800.07/1795.00	c learnt ternary clauses	: 0
1800.07/1795.00	c learnt constraints	: 3863866
1800.07/1795.00	c ignored constraints	: 0
1800.07/1795.00	c root simplifications	: 0
1800.07/1795.00	c removed literals (reason simplification)	: 0
1800.07/1795.00	c reason swapping (by a shorter reason)	: 0
1800.07/1795.00	c Calls to reduceDB	: 83
1800.07/1795.00	c Number of update (reduction) of LBD	: 1322134
1800.07/1795.00	c Imported unit clauses	: 0
1800.07/1795.00	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.00	c number of learned constraints concerned by reduction	: 0
1800.07/1795.00	c number of learning phase by resolution	: 0
1800.07/1795.00	c number of learning phase by cutting planes	: 0
1800.07/1795.00	c speed (assignments/second)	: 81020.41080129375
1800.07/1795.00	c non guided choices	52
1800.07/1795.00	c timeout
1800.07/1795.03	c learnt constraints type 
1800.07/1795.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 131908
1800.07/1795.03	s UNKNOWN
1800.07/1795.03	c Total wall clock time (in seconds): 1794.918

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

pid=6329
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.25 2.10 3/194 6332
/proc/meminfo: memFree=30724140/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 103789515 94019584 917 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 22954 917 697 9 0 16769 0
[pid=6332/tid=6333] ppid=6329 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 103789515 94019584 918 33554432000 1073741824 1073778376 140733780579776 140002874461736 214537047956 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.20 2.25 2.10 3/194 6332
/proc/meminfo: memFree=30724140/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 4411 0 1 0 9 1 0 0 20 0 18 0 103789515 9787879424 6040 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2389619 6040 2125 9 0 2380296 0
[pid=6332/tid=6333] ppid=6329 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2378 0 1 0 7 0 0 0 20 0 18 0 103789515 9787879424 6040 33554432000 1073741824 1073778376 140733780579776 140002874465184 214540805389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200266 s]
/proc/loadavg: 2.20 2.25 2.10 3/194 6332
/proc/meminfo: memFree=30724140/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 4812 0 1 0 26 1 0 0 20 0 18 0 103789515 9787879424 6863 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2389619 6863 2212 9 0 2380296 0
[pid=6332/tid=6333] ppid=6329 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2400 0 1 0 17 0 0 0 20 0 18 0 103789515 9787879424 6863 33554432000 1073741824 1073778376 140733780579776 140002874466152 140002730304211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300261 s]
/proc/loadavg: 2.20 2.25 2.10 3/194 6332
/proc/meminfo: memFree=30724140/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 7009 0 1 0 51 1 0 0 20 0 19 0 103789515 9856040960 8656 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 8656 2244 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2410 0 1 0 27 0 0 0 20 0 19 0 103789515 9856040960 8656 33554432000 1073741824 1073778376 140733780579776 140002874466944 140002730410528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700325 s]
/proc/loadavg: 2.20 2.25 2.10 3/194 6332
/proc/meminfo: memFree=30724140/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 8392 0 1 0 116 2 0 0 20 0 19 0 103789515 9856040960 9724 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 9724 2256 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2412 0 1 0 67 0 0 0 20 0 19 0 103789515 9856040960 9724 33554432000 1073741824 1073778376 140733780579776 140002874466552 140002730664291 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625040

[startup+1.50081 s]
/proc/loadavg: 2.20 2.25 2.10 4/213 6351
/proc/meminfo: memFree=30687648/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=2.01 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 8401 0 1 0 199 2 0 0 20 0 19 0 103789515 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 12287 2258 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2418 0 1 0 146 1 0 0 20 0 19 0 103789515 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002874466856 140002730736750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6335] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6335/stat : 6335 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002852567592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6336] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6336/stat : 6336 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002851514792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6337] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6337/stat : 6337 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002850461992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6338] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6338/stat : 6338 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002849409192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6339] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6339/stat : 6339 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002512071720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6340] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6340/stat : 6340 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002511018920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6341] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6341/stat : 6341 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002509966120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6342] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6342/stat : 6342 (java) S 6329 6332 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002508913320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6343] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6343/stat : 6343 (java) S 6329 6332 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 103789517 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002496715240 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6344] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6344/stat : 6344 (java) S 6329 6332 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002495661304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6345] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6345/stat : 6345 (java) S 6329 6332 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002494608392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6346] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6346/stat : 6346 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002493556880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6347] ppid=6329 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/6332/task/6347/stat : 6347 (java) S 6329 6332 5873 0 -1 4202560 2843 0 0 0 29 0 0 0 20 0 19 0 103789520 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002492505016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6348] ppid=6329 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/6332/task/6348/stat : 6348 (java) S 6329 6332 5873 0 -1 4202560 1862 0 0 0 20 0 0 0 20 0 19 0 103789520 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002491452216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6349] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6349/stat : 6349 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002490399608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6350] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6350/stat : 6350 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789521 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002489347016 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6351] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6351/stat : 6351 (java) S 6329 6332 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 103789537 9856040960 12287 33554432000 1073741824 1073778376 140733780579776 140002488292520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.20 2.25 2.10 4/213 6351
/proc/meminfo: memFree=30671140/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 8409 0 1 0 361 2 0 0 20 0 19 0 103789515 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 15871 2258 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2426 0 1 0 306 1 0 0 20 0 19 0 103789515 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002874466584 140002730736770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6335] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6335/stat : 6335 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002852567592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6336] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6336/stat : 6336 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002851514792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6337] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6337/stat : 6337 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002850461992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6338] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6338/stat : 6338 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002849409192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6339] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6339/stat : 6339 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002512071720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6340] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6340/stat : 6340 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002511018920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6341] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6341/stat : 6341 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002509966120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6342] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6342/stat : 6342 (java) S 6329 6332 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002508913320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6343] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6343/stat : 6343 (java) S 6329 6332 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 103789517 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002496715240 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6344] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6344/stat : 6344 (java) S 6329 6332 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002495661304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6345] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6345/stat : 6345 (java) S 6329 6332 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002494608392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6346] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6346/stat : 6346 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002493556880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6347] ppid=6329 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/6332/task/6347/stat : 6347 (java) S 6329 6332 5873 0 -1 4202560 2843 0 0 0 30 0 0 0 20 0 19 0 103789520 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002492505016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6348] ppid=6329 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/6332/task/6348/stat : 6348 (java) S 6329 6332 5873 0 -1 4202560 1862 0 0 0 21 0 0 0 20 0 19 0 103789520 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002491452216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6349] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6349/stat : 6349 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002490399608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6350] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6350/stat : 6350 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789521 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002489347016 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6351] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6351/stat : 6351 (java) S 6329 6332 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 103789537 9856040960 15871 33554432000 1073741824 1073778376 140733780579776 140002488292520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.19 2.24 2.10 3/213 6351
/proc/meminfo: memFree=30637236/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=6.83 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 8423 0 1 0 681 2 0 0 20 0 19 0 103789515 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 21632 2259 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2439 0 1 0 626 1 0 0 20 0 19 0 103789515 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002874457792 140002730736809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6335] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6335/stat : 6335 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002852567592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6336] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6336/stat : 6336 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002851514792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6337] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6337/stat : 6337 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002850461992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6338] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6338/stat : 6338 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002849409192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6339] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6339/stat : 6339 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002512071720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6340] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6340/stat : 6340 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002511018920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6341] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6341/stat : 6341 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002509966120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6342] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6342/stat : 6342 (java) S 6329 6332 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103789516 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002508913320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6343] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6343/stat : 6343 (java) S 6329 6332 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 103789517 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002496715240 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6344] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6344/stat : 6344 (java) S 6329 6332 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002495661304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6345] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6345/stat : 6345 (java) S 6329 6332 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002494608392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6346] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6346/stat : 6346 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002493556880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6347] ppid=6329 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/6332/task/6347/stat : 6347 (java) S 6329 6332 5873 0 -1 4202560 2843 0 0 0 30 0 0 0 20 0 19 0 103789520 9856040960 21632 33554432000 1073741824 1073778376 140733780579776 140002492505016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6348] ppid=6329 vsize=9625040 CPUtime=0.22 cores=0,2,4,6

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

[pid=6332/tid=6344] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6344/stat : 6344 (java) S 6329 6332 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002495661304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6345] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6345/stat : 6345 (java) S 6329 6332 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002494608392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6346] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6346/stat : 6346 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002493556880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6347] ppid=6329 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/6332/task/6347/stat : 6347 (java) S 6329 6332 5873 0 -1 4202560 2843 0 0 0 30 0 0 0 20 0 19 0 103789520 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002492505016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6348] ppid=6329 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/6332/task/6348/stat : 6348 (java) S 6329 6332 5873 0 -1 4202560 1981 0 0 0 24 0 0 0 20 0 19 0 103789520 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002491452216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6349] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6349/stat : 6349 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002490399608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6350] ppid=6329 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/6332/task/6350/stat : 6350 (java) S 6329 6332 5873 0 -1 4202560 96 0 0 0 41 31 0 0 20 0 19 0 103789521 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002489347016 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6351] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6351/stat : 6351 (java) S 6329 6332 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 103789537 9856040960 130580 33554432000 1073741824 1073778376 140733780579776 140002488292520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1667.06
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.12 2.16 2.11 4/213 7497
/proc/meminfo: memFree=29447264/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=1727.16 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 12360 0 1 0 172623 93 0 0 20 0 19 0 103789515 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 129260 2281 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=1720.22 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2513 0 1 0 171993 29 0 0 20 0 19 0 103789515 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002874457792 140002730736750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6335] ppid=6329 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6332/task/6335/stat : 6335 (java) S 6329 6332 5873 0 -1 4202560 432 0 0 0 56 6 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002852567592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6336] ppid=6329 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/6332/task/6336/stat : 6336 (java) S 6329 6332 5873 0 -1 4202560 412 0 0 0 62 10 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002851514792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6337] ppid=6329 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6332/task/6337/stat : 6337 (java) S 6329 6332 5873 0 -1 4202560 341 0 0 0 59 8 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002850461992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6338] ppid=6329 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/6332/task/6338/stat : 6338 (java) S 6329 6332 5873 0 -1 4202560 568 0 0 0 64 13 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002849409192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6339] ppid=6329 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/6332/task/6339/stat : 6339 (java) S 6329 6332 5873 0 -1 4202560 455 0 0 0 68 8 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002512071720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6340] ppid=6329 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/6332/task/6340/stat : 6340 (java) S 6329 6332 5873 0 -1 4202560 344 0 0 0 51 7 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002511018920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6341] ppid=6329 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/6332/task/6341/stat : 6341 (java) S 6329 6332 5873 0 -1 4202560 381 0 0 0 54 5 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002509966120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6342] ppid=6329 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6332/task/6342/stat : 6342 (java) S 6329 6332 5873 0 -1 4202560 382 0 0 0 56 11 0 0 20 0 19 0 103789516 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002508913320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6343] ppid=6329 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/6332/task/6343/stat : 6343 (java) S 6329 6332 5873 0 -1 4202560 344 0 0 0 66 3 0 0 20 0 19 0 103789517 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002496715240 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6344] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6344/stat : 6344 (java) S 6329 6332 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002495661304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6345] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6345/stat : 6345 (java) S 6329 6332 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002494608392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6346] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6346/stat : 6346 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002493556880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6347] ppid=6329 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/6332/task/6347/stat : 6347 (java) S 6329 6332 5873 0 -1 4202560 2843 0 0 0 30 0 0 0 20 0 19 0 103789520 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002492505016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6348] ppid=6329 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/6332/task/6348/stat : 6348 (java) S 6329 6332 5873 0 -1 4202560 1981 0 0 0 24 0 0 0 20 0 19 0 103789520 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002491452216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6349] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6349/stat : 6349 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002490399608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6350] ppid=6329 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/6332/task/6350/stat : 6350 (java) S 6329 6332 5873 0 -1 4202560 100 0 0 0 42 33 0 0 20 0 19 0 103789521 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002489347016 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6351] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6351/stat : 6351 (java) S 6329 6332 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 103789537 9856040960 129260 33554432000 1073741824 1073778376 140733780579776 140002488292520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1727.16
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.25 2.19 2.12 3/213 7499
/proc/meminfo: memFree=29456704/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=1787.25 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 12374 0 1 0 178631 94 0 0 20 0 19 0 103789515 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 126798 2281 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=1780.2 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2514 0 1 0 177990 30 0 0 20 0 19 0 103789515 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002874457792 140002730736688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6335] ppid=6329 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/6332/task/6335/stat : 6335 (java) S 6329 6332 5873 0 -1 4202560 439 0 0 0 59 6 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002852567592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6336] ppid=6329 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/6332/task/6336/stat : 6336 (java) S 6329 6332 5873 0 -1 4202560 412 0 0 0 64 10 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002851514792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6337] ppid=6329 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6332/task/6337/stat : 6337 (java) S 6329 6332 5873 0 -1 4202560 341 0 0 0 60 8 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002850461992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6338] ppid=6329 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/6332/task/6338/stat : 6338 (java) S 6329 6332 5873 0 -1 4202560 568 0 0 0 65 13 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002849409192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6339] ppid=6329 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/6332/task/6339/stat : 6339 (java) S 6329 6332 5873 0 -1 4202560 455 0 0 0 69 8 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002512071720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6340] ppid=6329 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/6332/task/6340/stat : 6340 (java) S 6329 6332 5873 0 -1 4202560 344 0 0 0 53 7 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002511018920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6341] ppid=6329 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/6332/task/6341/stat : 6341 (java) S 6329 6332 5873 0 -1 4202560 381 0 0 0 54 5 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002509966120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6342] ppid=6329 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6332/task/6342/stat : 6342 (java) S 6329 6332 5873 0 -1 4202560 382 0 0 0 57 11 0 0 20 0 19 0 103789516 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002508913320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6343] ppid=6329 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/6332/task/6343/stat : 6343 (java) S 6329 6332 5873 0 -1 4202560 346 0 0 0 66 3 0 0 20 0 19 0 103789517 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002496715240 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6344] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6344/stat : 6344 (java) S 6329 6332 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002495661304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6345] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6345/stat : 6345 (java) S 6329 6332 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002494608392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6346] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6346/stat : 6346 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002493556880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6347] ppid=6329 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/6332/task/6347/stat : 6347 (java) S 6329 6332 5873 0 -1 4202560 2843 0 0 0 30 0 0 0 20 0 19 0 103789520 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002492505016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6348] ppid=6329 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/6332/task/6348/stat : 6348 (java) S 6329 6332 5873 0 -1 4202560 1981 0 0 0 24 0 0 0 20 0 19 0 103789520 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002491452216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6349] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6349/stat : 6349 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002490399608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6350] ppid=6329 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/6332/task/6350/stat : 6350 (java) S 6329 6332 5873 0 -1 4202560 104 0 0 0 44 34 0 0 20 0 19 0 103789521 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002489347016 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6351] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6351/stat : 6351 (java) S 6329 6332 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 103789537 9856040960 126798 33554432000 1073741824 1073778376 140733780579776 140002488292520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1787.25
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795 s]
/proc/loadavg: 2.27 2.20 2.12 3/213 7499
/proc/meminfo: memFree=29462476/32872528 swapFree=16740/1306504
[pid=6332] ppid=6329 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/6332/stat : 6332 (java) S 6329 6332 5873 0 -1 4202496 12377 0 1 0 179912 95 0 0 20 0 19 0 103789515 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140733780570912 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6332/statm: 2406260 125436 2281 9 0 2396937 0
[pid=6332/tid=6333] ppid=6329 vsize=9625040 CPUtime=1792.85 cores=0,2,4,6
/proc/6332/task/6333/stat : 6333 (java) R 6329 6332 5873 0 -1 4202560 2515 0 1 0 179255 30 0 0 20 0 19 0 103789515 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002874465504 140002730736750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6335] ppid=6329 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/6332/task/6335/stat : 6335 (java) S 6329 6332 5873 0 -1 4202560 439 0 0 0 60 6 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002852567592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6336] ppid=6329 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/6332/task/6336/stat : 6336 (java) S 6329 6332 5873 0 -1 4202560 412 0 0 0 65 10 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002851514792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6337] ppid=6329 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/6332/task/6337/stat : 6337 (java) S 6329 6332 5873 0 -1 4202560 341 0 0 0 61 8 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002850461992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6338] ppid=6329 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/6332/task/6338/stat : 6338 (java) S 6329 6332 5873 0 -1 4202560 568 0 0 0 68 13 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002849409192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6339] ppid=6329 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/6332/task/6339/stat : 6339 (java) S 6329 6332 5873 0 -1 4202560 455 0 0 0 71 8 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002512071720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6340] ppid=6329 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6332/task/6340/stat : 6340 (java) S 6329 6332 5873 0 -1 4202560 344 0 0 0 55 7 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002511018920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6341] ppid=6329 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/6332/task/6341/stat : 6341 (java) S 6329 6332 5873 0 -1 4202560 381 0 0 0 56 5 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002509966120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6332/tid=6342] ppid=6329 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/6332/task/6342/stat : 6342 (java) S 6329 6332 5873 0 -1 4202560 382 0 0 0 61 11 0 0 20 0 19 0 103789516 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002508913320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6332/tid=6343] ppid=6329 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/6332/task/6343/stat : 6343 (java) S 6329 6332 5873 0 -1 4202560 348 0 0 0 66 3 0 0 20 0 19 0 103789517 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002496715240 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6344] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6344/stat : 6344 (java) S 6329 6332 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002495661304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6345] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6345/stat : 6345 (java) S 6329 6332 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103789518 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002494608392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6346] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6346/stat : 6346 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002493556880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6347] ppid=6329 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/6332/task/6347/stat : 6347 (java) S 6329 6332 5873 0 -1 4202560 2843 0 0 0 30 0 0 0 20 0 19 0 103789520 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002492505016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6332/tid=6348] ppid=6329 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/6332/task/6348/stat : 6348 (java) S 6329 6332 5873 0 -1 4202560 1981 0 0 0 24 0 0 0 20 0 19 0 103789520 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002491452216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6349] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6349/stat : 6349 (java) S 6329 6332 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103789520 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002490399608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6350] ppid=6329 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/6332/task/6350/stat : 6350 (java) S 6329 6332 5873 0 -1 4202560 104 0 0 0 44 34 0 0 20 0 19 0 103789521 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002489347016 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6332/tid=6351] ppid=6329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6332/task/6351/stat : 6351 (java) S 6329 6332 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 103789537 9856040960 125436 33554432000 1073741824 1073778376 140733780579776 140002488292520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 6332 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1795.04
CPU time (s): 1800.83
CPU user time (s): 1799.33
CPU system time (s): 1.50277
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.50277
maximum resident set size= 728552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12420
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38944
involuntary context switches= 8586

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01609 second user time and 9.07362 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-06 15:09:29
IDJOB=4084417
IDBENCH=1168
IDSOLVER=2546
FILE ID=node127/4084417-1465218569
RUNJOBID= node127-1465216773-5889
PBS_JOBID= 19843202
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 3d28f31cd61cfb39466f429c599fdb4f
RANDOM SEED=384005054

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:        30725056 kB
Buffers:            3572 kB
Cached:            38092 kB
SwapCached:         1772 kB
Active:           107412 kB
Inactive:          21216 kB
Active(anon):      88708 kB
Inactive(anon):      900 kB
Active(file):      18704 kB
Inactive(file):    20316 kB
Unevictable:     1306504 kB
Mlocked:           16740 kB
SwapTotal:      67108856 kB
SwapFree:       67098464 kB
Dirty:              1796 kB
Writeback:             0 kB
AnonPages:       1403112 kB
Mapped:            15176 kB
Shmem:                 0 kB
Slab:             565828 kB
SReclaimable:       9820 kB
SUnreclaim:       556008 kB
KernelStack:        1608 kB
PageTables:         7224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1995288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1370112 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= 71732 MiB
End job on node127 at 2016-06-06 15:39:25