Trace number 4089754

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.66 1798.46

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb
MD5SUM0ae3ca3759504cec181b2a449ffaf274
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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.029995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213
Total number of constraints71
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
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.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@2b21cc40
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@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4089754-1466033255.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.09/0.14	c ... done. Wall clock time 0.023s.
0.09/0.14	c declared #vars     213
0.09/0.14	c #constraints  142
0.09/0.14	c constraints type 
0.09/0.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 142
0.09/0.14	c 142 constraints processed.
0.67/0.45	c cleaning 2497 clauses out of 5000 with flag 20733/5000
0.93/0.66	c cleaning 4245 clauses out of 8504 with flag 48623/11001
1.27/0.95	c cleaning 5626 clauses out of 11259 with flag 87756/18001
1.67/1.31	c cleaning 6811 clauses out of 13632 with flag 135991/26000
2.09/1.74	c cleaning 7908 clauses out of 15823 with flag 191424/35002
2.69/2.32	c cleaning 8934 clauses out of 17914 with flag 255987/45001
3.19/2.89	c cleaning 9986 clauses out of 19979 with flag 319459/56000
3.89/3.57	c cleaning 10992 clauses out of 21993 with flag 391153/68000
4.89/4.55	c cleaning 11992 clauses out of 24001 with flag 480616/81000
5.79/5.48	c cleaning 12994 clauses out of 26010 with flag 569921/95001
6.89/6.54	c cleaning 14003 clauses out of 28016 with flag 662048/110001
8.09/7.75	c cleaning 14999 clauses out of 30012 with flag 750303/126000
9.39/9.08	c cleaning 15995 clauses out of 32013 with flag 852964/143000
11.29/10.91	c cleaning 17004 clauses out of 34019 with flag 958002/161001
12.89/12.56	c cleaning 17997 clauses out of 36014 with flag 1077889/180000
14.79/14.45	c cleaning 18987 clauses out of 38017 with flag 1217574/200000
17.19/16.88	c cleaning 20006 clauses out of 40030 with flag 1364295/221000
19.69/19.39	c cleaning 21003 clauses out of 42024 with flag 1521743/243000
21.88/21.59	c cleaning 22003 clauses out of 44021 with flag 1678900/266000
24.48/24.16	c cleaning 23001 clauses out of 46020 with flag 1835515/290002
27.19/26.85	c cleaning 24001 clauses out of 48019 with flag 1993441/315002
31.39/31.07	c cleaning 24998 clauses out of 50016 with flag 2189157/341000
34.69/34.39	c cleaning 25999 clauses out of 52019 with flag 2354675/368001
38.79/38.44	c cleaning 27005 clauses out of 54019 with flag 2538303/396000
42.69/42.36	c cleaning 27999 clauses out of 56016 with flag 2734063/425002
46.70/46.33	c cleaning 28998 clauses out of 58015 with flag 2927042/455000
51.89/51.51	c cleaning 29999 clauses out of 60017 with flag 3156032/486000
55.99/55.65	c cleaning 31006 clauses out of 62019 with flag 3334408/518001
60.39/60.07	c cleaning 31997 clauses out of 64013 with flag 3533460/551001
65.25/64.86	c cleaning 32998 clauses out of 66015 with flag 3751461/585000
69.54/69.17	c cleaning 34001 clauses out of 68018 with flag 3970774/620001
75.05/74.69	c cleaning 34999 clauses out of 70016 with flag 4199413/656000
80.34/79.90	c cleaning 36002 clauses out of 72018 with flag 4430599/693001
86.14/85.72	c cleaning 37001 clauses out of 74016 with flag 4693531/731001
91.75/91.37	c cleaning 38002 clauses out of 76017 with flag 4933565/770003
97.74/97.37	c cleaning 38997 clauses out of 78012 with flag 5174791/810000
104.44/104.00	c cleaning 39998 clauses out of 80016 with flag 5438575/851001
111.04/110.61	c cleaning 41002 clauses out of 82017 with flag 5704714/893000
117.84/117.41	c cleaning 41994 clauses out of 84016 with flag 5977304/936001
125.24/124.85	c cleaning 43002 clauses out of 86021 with flag 6270362/980000
132.94/132.56	c cleaning 44003 clauses out of 88019 with flag 6572093/1025000
141.04/140.69	c cleaning 45001 clauses out of 90019 with flag 6872914/1071003
149.64/149.26	c cleaning 45997 clauses out of 92017 with flag 7180413/1118002
157.95/157.53	c cleaning 46994 clauses out of 94018 with flag 7492527/1166000
166.79/166.34	c cleaning 48000 clauses out of 96024 with flag 7805331/1215000
176.50/176.03	c cleaning 49005 clauses out of 98025 with flag 8138116/1265001
185.40/184.97	c cleaning 49993 clauses out of 100021 with flag 8474639/1316002
196.09/195.69	c cleaning 50990 clauses out of 102026 with flag 8896382/1368000
214.09/213.68	c cleaning 52007 clauses out of 104037 with flag 9454909/1421001
225.79/225.31	c cleaning 53005 clauses out of 106029 with flag 9888588/1475000
237.39/236.98	c cleaning 54004 clauses out of 108027 with flag 10259547/1530003
248.39/247.99	c cleaning 54998 clauses out of 110020 with flag 10605598/1586000
259.59/259.15	c cleaning 55998 clauses out of 112022 with flag 10967709/1643000
271.59/271.19	c cleaning 57001 clauses out of 114025 with flag 11400953/1701001
287.60/287.16	c cleaning 58004 clauses out of 116024 with flag 11817102/1760001
301.55/301.02	c cleaning 59000 clauses out of 118019 with flag 12216702/1820000
314.36/313.85	c cleaning 59997 clauses out of 120020 with flag 12634747/1881001
328.56/328.05	c cleaning 61002 clauses out of 122022 with flag 13033864/1943000
343.35/342.88	c cleaning 61997 clauses out of 124020 with flag 13479055/2006000
358.35/357.81	c cleaning 63003 clauses out of 126023 with flag 13922018/2070000
373.66/373.18	c cleaning 64001 clauses out of 128021 with flag 14377342/2135001
388.97/388.50	c cleaning 65001 clauses out of 130019 with flag 14813892/2201000
406.86/406.32	c cleaning 66001 clauses out of 132020 with flag 15310352/2268002
423.38/422.88	c cleaning 66996 clauses out of 134017 with flag 15798485/2336000
440.67/440.05	c cleaning 67998 clauses out of 136021 with flag 16277108/2405000
457.86/457.22	c cleaning 69005 clauses out of 138024 with flag 16749989/2475001
477.27/476.61	c cleaning 69994 clauses out of 140018 with flag 17243479/2546000
494.97/494.39	c cleaning 71010 clauses out of 142025 with flag 17731187/2618001
514.57/513.94	c cleaning 72006 clauses out of 144018 with flag 18231805/2691004
533.47/532.80	c cleaning 72995 clauses out of 146009 with flag 18744017/2765001
555.67/555.08	c cleaning 73996 clauses out of 148013 with flag 19251873/2840000
577.98/577.38	c cleaning 74996 clauses out of 150019 with flag 19772186/2916002
599.58/598.99	c cleaning 75995 clauses out of 152022 with flag 20331164/2993001
622.64/621.94	c cleaning 77001 clauses out of 154026 with flag 20879672/3071000
645.64/644.98	c cleaning 78008 clauses out of 156025 with flag 21434803/3150000
670.13/669.47	c cleaning 78996 clauses out of 158017 with flag 21996285/3230000
703.83/703.17	c cleaning 79999 clauses out of 160023 with flag 22606719/3311002
747.94/747.25	c cleaning 81002 clauses out of 162022 with flag 23233621/3393000
784.94/784.24	c cleaning 82000 clauses out of 164022 with flag 23880203/3476002
815.45/814.79	c cleaning 83004 clauses out of 166022 with flag 24500285/3560002
845.44/844.67	c cleaning 84003 clauses out of 168018 with flag 25136187/3645002
875.45/874.63	c cleaning 84997 clauses out of 170013 with flag 25757851/3731000
919.55/918.79	c cleaning 85984 clauses out of 172017 with flag 26466885/3818001
946.65/945.85	c cleaning 87007 clauses out of 174032 with flag 27070651/3906000
976.15/975.38	c cleaning 88004 clauses out of 176027 with flag 27698078/3995002
1005.56/1004.74	c cleaning 89001 clauses out of 178022 with flag 28302722/4085001
1039.28/1038.32	c cleaning 90000 clauses out of 180021 with flag 28952262/4176001
1072.89/1071.93	c cleaning 90993 clauses out of 182021 with flag 29605095/4268001
1125.90/1124.99	c cleaning 92007 clauses out of 184030 with flag 30312218/4361003
1164.11/1163.15	c cleaning 93002 clauses out of 186020 with flag 30976805/4455000
1198.02/1197.07	c cleaning 93995 clauses out of 188019 with flag 31643386/4550001
1243.55/1242.46	c cleaning 95004 clauses out of 190023 with flag 32362739/4646000
1281.57/1280.43	c cleaning 96004 clauses out of 192019 with flag 33040919/4743000
1319.66/1318.58	c cleaning 96996 clauses out of 194016 with flag 33734176/4841001
1355.97/1354.83	c cleaning 97996 clauses out of 196019 with flag 34428245/4940000
1398.08/1396.95	c cleaning 98994 clauses out of 198024 with flag 35157328/5040001
1435.52/1434.22	c cleaning 100004 clauses out of 200030 with flag 35891397/5141001
1476.23/1474.97	c cleaning 101006 clauses out of 202028 with flag 36609881/5243003
1518.63/1517.35	c cleaning 102001 clauses out of 204019 with flag 37347409/5346000
1558.54/1557.28	c cleaning 103005 clauses out of 206020 with flag 38094980/5450002
1599.52/1598.02	c cleaning 103990 clauses out of 208013 with flag 38823035/5555000
1638.62/1637.18	c cleaning 105005 clauses out of 210025 with flag 39580393/5661002
1684.93/1683.44	c cleaning 106002 clauses out of 212020 with flag 40356971/5768002
1745.83/1744.30	c cleaning 107002 clauses out of 214016 with flag 41189849/5876000
1800.09/1798.40	c starts		: 7929
1800.09/1798.40	c conflicts		: 5981180
1800.09/1798.40	c decisions		: 7576949
1800.09/1798.40	c propagations		: 112877662
1800.09/1798.40	c inspects		: 45322608946
1800.09/1798.40	c shortcuts		: 0
1800.09/1798.40	c learnt literals	: 0
1800.09/1798.40	c learnt binary clauses	: 0
1800.09/1798.40	c learnt ternary clauses	: 0
1800.09/1798.40	c learnt constraints	: 5981180
1800.09/1798.40	c ignored constraints	: 0
1800.09/1798.40	c root simplifications	: 0
1800.09/1798.40	c removed literals (reason simplification)	: 0
1800.09/1798.40	c reason swapping (by a shorter reason)	: 0
1800.09/1798.40	c Calls to reduceDB	: 104
1800.09/1798.40	c Number of update (reduction) of LBD	: 1738937
1800.09/1798.40	c Imported unit clauses	: 0
1800.09/1798.40	c number of reductions to clauses (during analyze)	: 0
1800.09/1798.40	c number of learned constraints concerned by reduction	: 0
1800.09/1798.40	c number of learning phase by resolution	: 0
1800.09/1798.40	c number of learning phase by cutting planes	: 0
1800.09/1798.40	c speed (assignments/second)	: 62770.31750047963
1800.09/1798.40	c non guided choices	9404
1800.09/1798.40	c timeout
1800.09/1798.45	c learnt constraints type 
1800.09/1798.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 212194
1800.09/1798.45	s UNKNOWN
1800.09/1798.45	c Total wall clock time (in seconds): 1798.337

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-4089754-1466033255/watcher-4089754-1466033255 -o /tmp/evaluation-result-4089754-1466033255/solver-4089754-1466033255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466015679-6167 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089754-1466033255.opb 

pid=9000
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.22 2.19 2.12 4/194 9003
/proc/meminfo: memFree=31343456/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/9003/stat : 9003 (java) R 9000 9003 6151 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 5371116 278528 34 33554432000 1073741824 1073778376 140734446825728 140734606903864 206619897127 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 84 41 32 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 2.22 2.19 2.12 4/194 9003
/proc/meminfo: memFree=31343456/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 4410 0 1 0 8 1 0 0 20 0 18 0 5371116 9787879424 6039 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 2.22 2.19 2.12 4/194 9003
/proc/meminfo: memFree=31343456/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 6523 0 1 0 27 2 0 0 20 0 19 0 5371116 9856040960 7237 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 7237 2223 9 0 2396937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040

[startup+0.300224 s]
/proc/loadavg: 2.22 2.19 2.12 4/194 9003
/proc/meminfo: memFree=31343456/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 8812 0 1 0 51 2 0 0 20 0 19 0 5371116 9856040960 8634 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 8634 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040

[startup+0.700233 s]
/proc/loadavg: 2.22 2.19 2.12 4/194 9003
/proc/meminfo: memFree=31343456/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 9803 0 1 0 104 3 0 0 20 0 19 0 5371116 9856040960 9720 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 9720 2239 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.22 2.19 2.12 3/213 9022
/proc/meminfo: memFree=31309788/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 9808 0 1 0 186 3 0 0 20 0 19 0 5371116 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 10746 2240 9 0 2396937 0
[pid=9003/tid=9005] ppid=9000 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/9003/task/9005/stat : 9005 (java) R 9000 9003 6151 0 -1 4202560 2399 0 1 0 146 0 0 0 20 0 19 0 5371117 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023281730040 140023131760756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9006] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9006/stat : 9006 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023254182568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9007] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9007/stat : 9007 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023253130024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9008] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9008/stat : 9008 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023252077480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9009] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9009/stat : 9009 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023251024936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9010] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9010/stat : 9010 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023249971368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9011] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9011/stat : 9011 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023120308520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9012] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9012/stat : 9012 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023119255976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9013] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9013/stat : 9013 (java) S 9000 9003 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140023118203432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9014] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9014/stat : 9014 (java) S 9000 9003 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5371119 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022635256424 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9015] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9015/stat : 9015 (java) S 9000 9003 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022634202744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9016] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9016/stat : 9016 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022633150088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9017] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9017/stat : 9017 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022632098832 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9018] ppid=9000 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9003/task/9018/stat : 9018 (java) S 9000 9003 6151 0 -1 4202560 3451 0 0 0 22 0 0 0 20 0 19 0 5371122 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022631045176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9019] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9019/stat : 9019 (java) S 9000 9003 6151 0 -1 4202560 2688 0 0 0 16 0 0 0 20 0 19 0 5371122 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022629992632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9020] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9020/stat : 9020 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022628940280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9021] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9021/stat : 9021 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022627887944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9022] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9022/stat : 9022 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371131 9856040960 10746 33554432000 1073741824 1073778376 140734446825728 140022626833704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.22 2.19 2.12 3/213 9022
/proc/meminfo: memFree=31305320/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 9811 0 1 0 346 3 0 0 20 0 19 0 5371116 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 12282 2240 9 0 2396937 0
[pid=9003/tid=9005] ppid=9000 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/9003/task/9005/stat : 9005 (java) R 9000 9003 6151 0 -1 4202560 2402 0 1 0 306 0 0 0 20 0 19 0 5371117 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023281721040 140023131760170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9006] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9006/stat : 9006 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023254182568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9007] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9007/stat : 9007 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023253130024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9008] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9008/stat : 9008 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023252077480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9009] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9009/stat : 9009 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023251024936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9010] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9010/stat : 9010 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023249971368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9011] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9011/stat : 9011 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023120308520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9012] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9012/stat : 9012 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023119255976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9013] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9013/stat : 9013 (java) S 9000 9003 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140023118203432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9014] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9014/stat : 9014 (java) S 9000 9003 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5371119 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022635256424 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9015] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9015/stat : 9015 (java) S 9000 9003 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022634202744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9016] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9016/stat : 9016 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022633150088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9017] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9017/stat : 9017 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022632098832 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9018] ppid=9000 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9003/task/9018/stat : 9018 (java) S 9000 9003 6151 0 -1 4202560 3451 0 0 0 22 0 0 0 20 0 19 0 5371122 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022631045176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9019] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9019/stat : 9019 (java) S 9000 9003 6151 0 -1 4202560 2688 0 0 0 16 0 0 0 20 0 19 0 5371122 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022629992632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9020] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9020/stat : 9020 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022628940280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9021] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9021/stat : 9021 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022627887944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9022] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9022/stat : 9022 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371131 9856040960 12282 33554432000 1073741824 1073778376 140734446825728 140022626833704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.28 2.21 2.12 3/213 9022
/proc/meminfo: memFree=31294104/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=6.69 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 9818 0 1 0 666 3 0 0 20 0 19 0 5371116 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 14588 2241 9 0 2396937 0
[pid=9003/tid=9005] ppid=9000 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/9003/task/9005/stat : 9005 (java) R 9000 9003 6151 0 -1 4202560 2408 0 1 0 625 1 0 0 20 0 19 0 5371117 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023281721040 140023131534471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9006] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9006/stat : 9006 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023254182568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9007] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9007/stat : 9007 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023253130024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9008] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9008/stat : 9008 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023252077480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9009] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9009/stat : 9009 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023251024936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9010] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9010/stat : 9010 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023249971368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9011] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9011/stat : 9011 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023120308520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9012] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9012/stat : 9012 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023119255976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9013] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9013/stat : 9013 (java) S 9000 9003 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5371118 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140023118203432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9014] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9014/stat : 9014 (java) S 9000 9003 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5371119 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022635256424 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9015] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9015/stat : 9015 (java) S 9000 9003 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022634202744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9016] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9016/stat : 9016 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022633150088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9017] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9017/stat : 9017 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022632098832 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9018] ppid=9000 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9003/task/9018/stat : 9018 (java) S 9000 9003 6151 0 -1 4202560 3451 0 0 0 22 0 0 0 20 0 19 0 5371122 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022631045176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9019] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9019/stat : 9019 (java) S 9000 9003 6151 0 -1 4202560 2688 0 0 0 16 0 0 0 20 0 19 0 5371122 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022629992632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9020] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9020/stat : 9020 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022628940280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9021] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9021/stat : 9021 (java) S 9000 9003 6151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022627887944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9022] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9022/stat : 9022 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371131 9856040960 14588 33554432000 1073741824 1073778376 140734446825728 140022626833704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 9625040


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

[pid=9003/tid=9015] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9015/stat : 9015 (java) S 9000 9003 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022634202744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9016] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9016/stat : 9016 (java) S 9000 9003 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022633150088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9017] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9017/stat : 9017 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022632098832 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9018] ppid=9000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/9003/task/9018/stat : 9018 (java) S 9000 9003 6151 0 -1 4202560 3505 0 0 0 24 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022631045176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9019] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9019/stat : 9019 (java) S 9000 9003 6151 0 -1 4202560 2688 0 0 0 16 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022629992632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9020] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9020/stat : 9020 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022628940280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9021] ppid=9000 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/9003/task/9021/stat : 9021 (java) S 9000 9003 6151 0 -1 4202560 96 0 0 0 21 26 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022627887944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9022] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9022/stat : 9022 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371131 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022626833704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1663.82
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/213 9132
/proc/meminfo: memFree=30933052/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=1723.83 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 12027 0 1 0 172336 47 0 0 20 0 19 0 5371116 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 88397 2256 9 0 2396937 0
[pid=9003/tid=9005] ppid=9000 vsize=9625040 CPUtime=1721.99 cores=0,2,4,6
/proc/9003/task/9005/stat : 9005 (java) R 9000 9003 6151 0 -1 4202560 2470 0 1 0 172169 30 0 0 20 0 19 0 5371117 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023281721040 140023131760112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9006] ppid=9000 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/9003/task/9006/stat : 9006 (java) S 9000 9003 6151 0 -1 4202560 287 0 0 0 17 3 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023254182568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9007] ppid=9000 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/9003/task/9007/stat : 9007 (java) S 9000 9003 6151 0 -1 4202560 53 0 0 0 9 1 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023253130024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9008] ppid=9000 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9003/task/9008/stat : 9008 (java) S 9000 9003 6151 0 -1 4202560 266 0 0 0 11 3 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023252077480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9009] ppid=9000 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9003/task/9009/stat : 9009 (java) S 9000 9003 6151 0 -1 4202560 250 0 0 0 12 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023251024936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9010] ppid=9000 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9003/task/9010/stat : 9010 (java) S 9000 9003 6151 0 -1 4202560 291 0 0 0 12 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023249971368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9011] ppid=9000 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9003/task/9011/stat : 9011 (java) S 9000 9003 6151 0 -1 4202560 171 0 0 0 13 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023120308520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9012] ppid=9000 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9003/task/9012/stat : 9012 (java) S 9000 9003 6151 0 -1 4202560 401 0 0 0 11 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023119255976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9013] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9013/stat : 9013 (java) S 9000 9003 6151 0 -1 4202560 218 0 0 0 13 3 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023118203432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9014] ppid=9000 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9003/task/9014/stat : 9014 (java) S 9000 9003 6151 0 -1 4202560 69 0 0 0 0 1 0 0 20 0 19 0 5371119 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022635256424 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9015] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9015/stat : 9015 (java) S 9000 9003 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022634202744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9016] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9016/stat : 9016 (java) S 9000 9003 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022633150088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9017] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9017/stat : 9017 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022632098832 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9018] ppid=9000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/9003/task/9018/stat : 9018 (java) S 9000 9003 6151 0 -1 4202560 3505 0 0 0 24 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022631045176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9019] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9019/stat : 9019 (java) S 9000 9003 6151 0 -1 4202560 2688 0 0 0 16 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022629992632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9020] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9020/stat : 9020 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022628940280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9021] ppid=9000 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/9003/task/9021/stat : 9021 (java) S 9000 9003 6151 0 -1 4202560 100 0 0 0 22 27 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022627887944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9022] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9022/stat : 9022 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371131 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022626833704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1723.83
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.04 3/213 9133
/proc/meminfo: memFree=30920640/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=1783.83 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 12031 0 1 0 178335 48 0 0 20 0 19 0 5371116 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 88397 2256 9 0 2396937 0
[pid=9003/tid=9005] ppid=9000 vsize=9625040 CPUtime=1781.99 cores=0,2,4,6
/proc/9003/task/9005/stat : 9005 (java) R 9000 9003 6151 0 -1 4202560 2470 0 1 0 178168 31 0 0 20 0 19 0 5371117 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023281721040 140023131760170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9006] ppid=9000 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/9003/task/9006/stat : 9006 (java) S 9000 9003 6151 0 -1 4202560 287 0 0 0 17 3 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023254182568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9007] ppid=9000 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/9003/task/9007/stat : 9007 (java) S 9000 9003 6151 0 -1 4202560 53 0 0 0 9 1 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023253130024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9008] ppid=9000 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9003/task/9008/stat : 9008 (java) S 9000 9003 6151 0 -1 4202560 266 0 0 0 11 3 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023252077480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9009] ppid=9000 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9003/task/9009/stat : 9009 (java) S 9000 9003 6151 0 -1 4202560 250 0 0 0 12 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023251024936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9010] ppid=9000 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9003/task/9010/stat : 9010 (java) S 9000 9003 6151 0 -1 4202560 291 0 0 0 12 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023249971368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9011] ppid=9000 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9003/task/9011/stat : 9011 (java) S 9000 9003 6151 0 -1 4202560 171 0 0 0 13 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023120308520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9012] ppid=9000 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9003/task/9012/stat : 9012 (java) S 9000 9003 6151 0 -1 4202560 401 0 0 0 11 2 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023119255976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9013] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9013/stat : 9013 (java) S 9000 9003 6151 0 -1 4202560 218 0 0 0 13 3 0 0 20 0 19 0 5371118 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140023118203432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9014] ppid=9000 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9003/task/9014/stat : 9014 (java) S 9000 9003 6151 0 -1 4202560 69 0 0 0 0 1 0 0 20 0 19 0 5371119 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022635256424 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9015] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9015/stat : 9015 (java) S 9000 9003 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022634202744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9016] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9016/stat : 9016 (java) S 9000 9003 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022633150088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9017] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9017/stat : 9017 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022632098832 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9018] ppid=9000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/9003/task/9018/stat : 9018 (java) S 9000 9003 6151 0 -1 4202560 3505 0 0 0 24 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022631045176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9019] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9019/stat : 9019 (java) S 9000 9003 6151 0 -1 4202560 2688 0 0 0 16 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022629992632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9020] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9020/stat : 9020 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022628940280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9021] ppid=9000 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/9003/task/9021/stat : 9021 (java) S 9000 9003 6151 0 -1 4202560 104 0 0 0 23 28 0 0 20 0 19 0 5371122 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022627887944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9022] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9022/stat : 9022 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371131 9856040960 88397 33554432000 1073741824 1073778376 140734446825728 140022626833704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1783.83
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.4 s]
/proc/loadavg: 2.07 2.05 2.03 3/213 9133
/proc/meminfo: memFree=30877640/32872528 swapFree=532444/565148
[pid=9003] ppid=9000 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/9003/stat : 9003 (java) S 9000 9003 6151 0 -1 4202496 12116 0 1 0 179956 53 0 0 20 0 19 0 5371116 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140734446816864 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9003/statm: 2406260 99151 2256 9 0 2396937 0
[pid=9003/tid=9005] ppid=9000 vsize=9625040 CPUtime=1798.04 cores=0,2,4,6
/proc/9003/task/9005/stat : 9005 (java) R 9000 9003 6151 0 -1 4202560 2471 0 1 0 179773 31 0 0 20 0 19 0 5371117 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023281728752 140023131760112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9006] ppid=9000 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9003/task/9006/stat : 9006 (java) S 9000 9003 6151 0 -1 4202560 297 0 0 0 18 4 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023254182568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9007] ppid=9000 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/9003/task/9007/stat : 9007 (java) S 9000 9003 6151 0 -1 4202560 60 0 0 0 10 1 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023253130024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9008] ppid=9000 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9003/task/9008/stat : 9008 (java) S 9000 9003 6151 0 -1 4202560 283 0 0 0 15 4 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023252077480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9003/tid=9009] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9009/stat : 9009 (java) S 9000 9003 6151 0 -1 4202560 257 0 0 0 13 3 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023251024936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9010] ppid=9000 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9003/task/9010/stat : 9010 (java) S 9000 9003 6151 0 -1 4202560 310 0 0 0 16 3 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023249971368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9011] ppid=9000 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/9003/task/9011/stat : 9011 (java) S 9000 9003 6151 0 -1 4202560 177 0 0 0 15 2 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023120308520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9012] ppid=9000 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9003/task/9012/stat : 9012 (java) S 9000 9003 6151 0 -1 4202560 407 0 0 0 13 2 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023119255976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9013] ppid=9000 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/9003/task/9013/stat : 9013 (java) S 9000 9003 6151 0 -1 4202560 228 0 0 0 14 3 0 0 20 0 19 0 5371118 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140023118203432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9014] ppid=9000 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9003/task/9014/stat : 9014 (java) S 9000 9003 6151 0 -1 4202560 71 0 0 0 0 1 0 0 20 0 19 0 5371119 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022635256424 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9015] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9015/stat : 9015 (java) S 9000 9003 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022634202744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9016] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9016/stat : 9016 (java) S 9000 9003 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5371120 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022633150088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9017] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9017/stat : 9017 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022632098832 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9018] ppid=9000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/9003/task/9018/stat : 9018 (java) S 9000 9003 6151 0 -1 4202560 3505 0 0 0 24 0 0 0 20 0 19 0 5371122 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022631045176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9003/tid=9019] ppid=9000 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9003/task/9019/stat : 9019 (java) S 9000 9003 6151 0 -1 4202560 2688 0 0 0 16 0 0 0 20 0 19 0 5371122 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022629992632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9020] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9020/stat : 9020 (java) S 9000 9003 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5371122 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022628940280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9003/tid=9021] ppid=9000 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/9003/task/9021/stat : 9021 (java) S 9000 9003 6151 0 -1 4202560 104 0 0 0 24 29 0 0 20 0 19 0 5371122 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022627887944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9003/tid=9022] ppid=9000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9003/task/9022/stat : 9022 (java) S 9000 9003 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5371131 9856040960 99151 33554432000 1073741824 1073778376 140734446825728 140022626833704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 9003 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.46
CPU time (s): 1800.66
CPU user time (s): 1799.69
CPU system time (s): 0.973851
CPU usage (%): 100.123
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.973851
maximum resident set size= 396760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12160
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38319
involuntary context switches= 4199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.041 second user time and 14.7778 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 01:27:35
IDJOB=4089754
IDBENCH=107451
IDSOLVER=2546
FILE ID=node138/4089754-1466033255
RUNJOBID= node138-1466015679-6167
PBS_JOBID= 19902817
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089754-1466033255/watcher-4089754-1466033255 -o /tmp/evaluation-result-4089754-1466033255/solver-4089754-1466033255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466015679-6167 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4089754-1466033255.opb

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

MD5SUM BENCH= 0ae3ca3759504cec181b2a449ffaf274
RANDOM SEED=1241611800

node138.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.395
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.79
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.395
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.395
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		: 2666.395
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.395
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.395
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.55
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.395
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31343372 kB
Buffers:           22340 kB
Cached:            41984 kB
SwapCached:         1268 kB
Active:           220532 kB
Inactive:          41184 kB
Active(anon):     197676 kB
Inactive(anon):     1708 kB
Active(file):      22856 kB
Inactive(file):    39476 kB
Unevictable:      565148 kB
Mlocked:          532444 kB
SwapTotal:      67108856 kB
SwapFree:       67099932 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:        773720 kB
Mapped:            15500 kB
Shmem:                 0 kB
Slab:             565628 kB
SReclaimable:       9440 kB
SUnreclaim:       556188 kB
KernelStack:        1768 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1253424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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= 71748 MiB
End job on node138 at 2016-06-16 01:57:33