Trace number 4106876

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.82 1792.94

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
MD5SUM4bc8406e35a3f2674c743b72d3a1792a
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4106876-1466280147.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
0.49/0.39	c ... done. Wall clock time 0.287s.
0.49/0.39	c declared #vars     200
0.49/0.39	c internal #vars     3270
0.49/0.39	c #constraints  6443
0.49/0.39	c constraints type 
0.49/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3070
0.49/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
0.49/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.49/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3070
0.49/0.39	c 6443 constraints processed.
1.94/0.95	c cleaning 2493 clauses out of 5000 with flag 15119/5000
2.19/1.20	c cleaning 4247 clauses out of 8507 with flag 33019/11000
2.62/1.53	c cleaning 5622 clauses out of 11260 with flag 56740/18000
3.02/1.94	c cleaning 6815 clauses out of 13639 with flag 83047/26001
3.54/2.44	c cleaning 7905 clauses out of 15825 with flag 115705/35002
4.14/3.02	c cleaning 8945 clauses out of 17918 with flag 154049/45000
4.75/3.67	c cleaning 9985 clauses out of 19975 with flag 198543/56002
5.44/4.40	c cleaning 10982 clauses out of 21989 with flag 243948/68001
6.35/5.26	c cleaning 11998 clauses out of 24006 with flag 298883/81000
7.35/6.24	c cleaning 12998 clauses out of 26008 with flag 358184/95000
8.45/7.32	c cleaning 13995 clauses out of 28010 with flag 423979/110000
9.45/8.37	c cleaning 14999 clauses out of 30015 with flag 476775/126000
10.85/9.77	c cleaning 15995 clauses out of 32016 with flag 558439/143000
12.25/11.13	c cleaning 16998 clauses out of 34022 with flag 622400/161001
13.74/12.64	c cleaning 17992 clauses out of 36023 with flag 690786/180000
15.34/14.27	c cleaning 19004 clauses out of 38031 with flag 761854/200000
17.18/16.06	c cleaning 19998 clauses out of 40027 with flag 838157/221000
19.08/17.97	c cleaning 21006 clauses out of 42033 with flag 926039/243004
21.09/19.91	c cleaning 22008 clauses out of 44024 with flag 1009402/266001
23.29/22.17	c cleaning 23004 clauses out of 46017 with flag 1089846/290002
25.78/24.67	c cleaning 23996 clauses out of 48012 with flag 1181670/315001
28.48/27.31	c cleaning 24995 clauses out of 50017 with flag 1275534/341002
30.99/29.86	c cleaning 25999 clauses out of 52020 with flag 1369303/368000
33.58/32.44	c cleaning 27004 clauses out of 54021 with flag 1481020/396000
36.28/35.12	c cleaning 28003 clauses out of 56018 with flag 1596004/425001
39.33/38.18	c cleaning 29002 clauses out of 58015 with flag 1732821/455001
42.73/41.56	c cleaning 29996 clauses out of 60012 with flag 1883344/486000
46.03/44.82	c cleaning 30999 clauses out of 62017 with flag 2006779/518001
49.33/48.18	c cleaning 31999 clauses out of 64017 with flag 2136305/551000
53.24/52.01	c cleaning 32989 clauses out of 66018 with flag 2287495/585000
57.14/55.97	c cleaning 34007 clauses out of 68030 with flag 2431926/620001
61.64/60.47	c cleaning 34994 clauses out of 70023 with flag 2604802/656001
66.62/65.36	c cleaning 35999 clauses out of 72028 with flag 2783325/693000
71.52/70.23	c cleaning 37000 clauses out of 74029 with flag 2963078/731000
76.42/75.18	c cleaning 38004 clauses out of 76029 with flag 3141882/770000
81.62/80.32	c cleaning 39007 clauses out of 78025 with flag 3316122/810000
87.32/86.02	c cleaning 39992 clauses out of 80018 with flag 3516436/851000
92.83/91.51	c cleaning 41000 clauses out of 82026 with flag 3701090/893000
98.83/97.48	c cleaning 41993 clauses out of 84026 with flag 3884322/936000
105.23/103.83	c cleaning 43007 clauses out of 86033 with flag 4092765/980000
112.03/110.62	c cleaning 44005 clauses out of 88027 with flag 4297073/1025001
119.93/118.60	c cleaning 45000 clauses out of 90021 with flag 4492224/1071000
127.94/126.57	c cleaning 46006 clauses out of 92022 with flag 4710367/1118001
136.26/134.72	c cleaning 47002 clauses out of 94015 with flag 4923398/1166000
144.06/142.51	c cleaning 47998 clauses out of 96013 with flag 5117890/1215000
151.86/150.31	c cleaning 48994 clauses out of 98015 with flag 5301570/1265000
160.66/159.13	c cleaning 49998 clauses out of 100021 with flag 5508152/1316000
168.66/167.17	c cleaning 51001 clauses out of 102024 with flag 5722854/1368001
177.47/175.75	c cleaning 51999 clauses out of 104023 with flag 5944007/1421001
185.67/183.96	c cleaning 52999 clauses out of 106023 with flag 6165836/1475000
194.17/192.50	c cleaning 54014 clauses out of 108027 with flag 6376563/1530003
205.57/203.87	c cleaning 55005 clauses out of 110010 with flag 6610517/1586000
217.99/216.05	c cleaning 55997 clauses out of 112006 with flag 6838331/1643001
230.39/228.49	c cleaning 57001 clauses out of 114008 with flag 7086286/1701000
242.68/240.74	c cleaning 58002 clauses out of 116007 with flag 7316367/1760000
255.51/253.36	c cleaning 58999 clauses out of 118006 with flag 7546739/1820001
268.31/266.16	c cleaning 59998 clauses out of 120006 with flag 7780625/1881000
281.82/279.65	c cleaning 60998 clauses out of 122009 with flag 8008770/1943001
296.19/293.84	c cleaning 61996 clauses out of 124011 with flag 8251927/2006001
311.39/309.08	c cleaning 63006 clauses out of 126017 with flag 8506785/2070003
325.54/323.08	c cleaning 63993 clauses out of 128010 with flag 8768759/2135002
339.46/336.95	c cleaning 65002 clauses out of 130017 with flag 9031238/2201002
354.96/352.43	c cleaning 65993 clauses out of 132016 with flag 9283340/2268003
370.56/367.99	c cleaning 67006 clauses out of 134020 with flag 9547399/2336000
386.56/383.97	c cleaning 68008 clauses out of 136015 with flag 9803299/2405001
402.92/400.24	c cleaning 68990 clauses out of 138007 with flag 10076668/2475001
420.24/417.52	c cleaning 69990 clauses out of 140016 with flag 10344634/2546000
437.33/434.51	c cleaning 71009 clauses out of 142027 with flag 10604251/2618001
455.93/453.16	c cleaning 72005 clauses out of 144017 with flag 10891782/2691000
474.00/471.12	c cleaning 73001 clauses out of 146012 with flag 11172870/2765000
491.10/488.26	c cleaning 73996 clauses out of 148011 with flag 11495425/2840000
509.23/506.29	c cleaning 75001 clauses out of 150017 with flag 11814251/2916002
527.94/524.90	c cleaning 75986 clauses out of 152014 with flag 12129546/2993000
548.56/545.60	c cleaning 76990 clauses out of 154028 with flag 12451221/3071000
569.17/566.12	c cleaning 78016 clauses out of 156038 with flag 12745641/3150000
589.09/586.07	c cleaning 79008 clauses out of 158024 with flag 13035909/3230002
610.67/607.56	c cleaning 79973 clauses out of 160014 with flag 13374158/3311000
634.26/631.16	c cleaning 81019 clauses out of 162041 with flag 13689734/3393000
658.82/655.67	c cleaning 82010 clauses out of 164025 with flag 14002156/3476003
682.18/678.97	c cleaning 83006 clauses out of 166012 with flag 14326211/3560000
699.98/696.71	c cleaning 83991 clauses out of 168006 with flag 14782296/3645000
721.06/717.70	c cleaning 84999 clauses out of 170015 with flag 15294899/3731000
741.50/737.59	c cleaning 85997 clauses out of 172017 with flag 15752408/3818001
760.88/756.51	c cleaning 87004 clauses out of 174019 with flag 16209141/3906000
781.17/776.79	c cleaning 87996 clauses out of 176017 with flag 16666205/3995002
801.34/796.89	c cleaning 88993 clauses out of 178021 with flag 17045984/4085002
822.35/817.81	c cleaning 90012 clauses out of 180027 with flag 17507473/4176001
844.21/839.66	c cleaning 91003 clauses out of 182016 with flag 17955222/4268002
867.21/862.51	c cleaning 91990 clauses out of 184012 with flag 18433839/4361001
889.91/885.11	c cleaning 93005 clauses out of 186021 with flag 18836323/4455000
915.52/910.80	c cleaning 93997 clauses out of 188016 with flag 19330823/4550000
941.68/936.86	c cleaning 95003 clauses out of 190019 with flag 19802005/4646000
967.59/962.68	c cleaning 96002 clauses out of 192018 with flag 20269437/4743002
993.95/988.92	c cleaning 96995 clauses out of 194016 with flag 20705199/4841002
1021.19/1016.16	c cleaning 97997 clauses out of 196020 with flag 21168355/4940001
1051.59/1046.41	c cleaning 98998 clauses out of 198024 with flag 21633702/5040002
1081.57/1076.32	c cleaning 99996 clauses out of 200024 with flag 22045843/5141000
1111.76/1106.46	c cleaning 100971 clauses out of 202028 with flag 22469910/5243000
1143.55/1138.16	c cleaning 102026 clauses out of 204060 with flag 22894606/5346003
1177.03/1171.55	c cleaning 103008 clauses out of 206032 with flag 23321996/5450001
1210.54/1204.96	c cleaning 104009 clauses out of 208025 with flag 23768793/5555002
1245.04/1239.33	c cleaning 104986 clauses out of 210014 with flag 24251612/5661000
1279.49/1273.72	c cleaning 106002 clauses out of 212028 with flag 24741837/5768000
1313.86/1308.08	c cleaning 107004 clauses out of 214026 with flag 25232412/5876000
1350.35/1344.44	c cleaning 108007 clauses out of 216025 with flag 25796295/5985003
1387.80/1381.80	c cleaning 109001 clauses out of 218015 with flag 26288972/6095000
1423.46/1417.44	c cleaning 109999 clauses out of 220015 with flag 26757785/6206001
1462.40/1456.20	c cleaning 111000 clauses out of 222015 with flag 27342723/6318000
1500.60/1494.37	c cleaning 111995 clauses out of 224015 with flag 27824007/6431000
1537.61/1531.24	c cleaning 113002 clauses out of 226021 with flag 28267880/6545001
1578.06/1571.62	c cleaning 114001 clauses out of 228021 with flag 28736875/6660003
1607.54/1601.05	c cleaning 114996 clauses out of 230017 with flag 29205514/6776000
1639.60/1633.02	c cleaning 115985 clauses out of 232021 with flag 29692033/6893000
1674.33/1667.66	c cleaning 117010 clauses out of 234036 with flag 30211585/7011000
1713.42/1706.64	c cleaning 118004 clauses out of 236027 with flag 30711693/7130001
1752.38/1745.43	c cleaning 118997 clauses out of 238022 with flag 31211011/7250000
1789.26/1782.20	c cleaning 119991 clauses out of 240025 with flag 31691805/7371000
1800.01/1792.90	c starts		: 864
1800.01/1792.90	c conflicts		: 7418968
1800.01/1792.90	c decisions		: 12856587
1800.01/1792.90	c propagations		: 235990442
1800.01/1792.90	c inspects		: 31057426164
1800.01/1792.90	c shortcuts		: 0
1800.01/1792.90	c learnt literals	: 0
1800.01/1792.90	c learnt binary clauses	: 1
1800.01/1792.90	c learnt ternary clauses	: 36132
1800.01/1792.90	c learnt constraints	: 7418968
1800.01/1792.90	c ignored constraints	: 0
1800.01/1792.90	c root simplifications	: 0
1800.01/1792.90	c removed literals (reason simplification)	: 0
1800.01/1792.90	c reason swapping (by a shorter reason)	: 0
1800.01/1792.90	c Calls to reduceDB	: 117
1800.01/1792.90	c Number of update (reduction) of LBD	: 2735402
1800.01/1792.90	c Imported unit clauses	: 0
1800.01/1792.90	c number of reductions to clauses (during analyze)	: 0
1800.01/1792.90	c number of learned constraints concerned by reduction	: 0
1800.01/1792.90	c number of learning phase by resolution	: 0
1800.01/1792.90	c number of learning phase by cutting planes	: 0
1800.01/1792.90	c speed (assignments/second)	: 131653.62647907124
1800.01/1792.90	c non guided choices	3137
1800.01/1792.90	c timeout
1800.01/1792.93	c learnt constraints type 
1800.01/1792.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.01/1792.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 168001
1800.01/1792.93	s UNKNOWN
1800.01/1792.93	c Total wall clock time (in seconds): 1792.831

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-4106876-1466280147/watcher-4106876-1466280147 -o /tmp/evaluation-result-4106876-1466280147/solver-4106876-1466280147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466265085-26685 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106876-1466280147.opb 

pid=29891
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.02 2.02 2.04 3/194 29894
/proc/meminfo: memFree=31168476/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 30064677 98570240 976 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 24065 976 743 9 0 16771 0
[pid=29894/tid=29895] ppid=29891 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 30064677 98570240 976 33554432000 1073741824 1073778376 140734118137632 140025609846312 224922518912 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.02 2.02 2.04 3/194 29894
/proc/meminfo: memFree=31168476/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 4491 0 1 0 10 1 0 0 20 0 18 0 30064677 9787879424 6121 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2389619 6121 2157 9 0 2380296 0
[pid=29894/tid=29895] ppid=29891 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2375 0 1 0 7 0 0 0 20 0 18 0 30064677 9787879424 6121 33554432000 1073741824 1073778376 140734118137632 140025609848072 224925902093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200265 s]
/proc/loadavg: 2.02 2.02 2.04 3/194 29894
/proc/meminfo: memFree=31168476/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 4690 0 1 0 24 1 0 0 20 0 18 0 30064677 9787879424 6772 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2389619 6772 2213 9 0 2380296 0
[pid=29894/tid=29895] ppid=29891 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2394 0 1 0 17 0 0 0 20 0 18 0 30064677 9787879424 6772 33554432000 1073741824 1073778376 140734118137632 140025609848072 224925891640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300259 s]
/proc/loadavg: 2.02 2.02 2.04 3/194 29894
/proc/meminfo: memFree=31168476/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 6120 0 1 0 47 2 0 0 20 0 18 0 30064677 9787879424 9312 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2389619 9313 2243 9 0 2380296 0
[pid=29894/tid=29895] ppid=29891 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2399 0 1 0 27 0 0 0 20 0 18 0 30064677 9787879424 9321 33554432000 1073741824 1073778376 140734118137632 140025609848072 140025480344672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700304 s]
/proc/loadavg: 2.02 2.02 2.04 3/194 29894
/proc/meminfo: memFree=31168476/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 15229 0 1 0 157 4 0 0 20 0 19 0 30064677 9856040960 16441 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2406260 16441 2265 9 0 2396937 0
[pid=29894/tid=29895] ppid=29891 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2413 0 1 0 66 1 0 0 20 0 19 0 30064677 9856040960 16441 33554432000 1073741824 1073778376 140734118137632 140025609851520 140025480148481 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.02 2.02 2.04 3/213 29913
/proc/meminfo: memFree=31105240/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 15277 0 1 0 258 4 0 0 20 0 19 0 30064677 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2406260 19043 2275 9 0 2396937 0
[pid=29894/tid=29895] ppid=29891 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2419 0 1 0 146 2 0 0 20 0 19 0 30064677 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025609850216 140025480760387 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29897] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29897/stat : 29897 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025598912808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29898] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29898/stat : 29898 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025452509352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29899] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29899/stat : 29899 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025451457064 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29900] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29900/stat : 29900 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025450404264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29901] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29901/stat : 29901 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025449351976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29902] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29902/stat : 29902 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025448299176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29903] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29903/stat : 29903 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025447246888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29904] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29904/stat : 29904 (java) S 29891 29894 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025446194088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29905] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29905/stat : 29905 (java) S 29891 29894 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025433995496 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29906] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29906/stat : 29906 (java) S 29891 29894 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025432941560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29907] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29907/stat : 29907 (java) S 29891 29894 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025431889160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29908] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29908/stat : 29908 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025430837648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29909] ppid=29891 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/29894/task/29909/stat : 29909 (java) S 29891 29894 26669 0 -1 4202560 6255 0 0 0 54 2 0 0 20 0 19 0 30064681 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025429785272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29910] ppid=29891 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/29894/task/29910/stat : 29910 (java) S 29891 29894 26669 0 -1 4202560 5327 0 0 0 54 1 0 0 20 0 19 0 30064681 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025428732472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29911] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29911/stat : 29911 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025427680376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29912] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29912/stat : 29912 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025426627784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29913] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29913/stat : 29913 (java) S 29891 29894 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30064716 9856040960 19043 33554432000 1073741824 1073778376 140734118137632 140025425572776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.02 2.02 2.04 3/213 29913
/proc/meminfo: memFree=31092580/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 15286 0 1 0 420 4 0 0 20 0 19 0 30064677 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2406260 23139 2275 9 0 2396937 0
[pid=29894/tid=29895] ppid=29891 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2428 0 1 0 306 2 0 0 20 0 19 0 30064677 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025609842384 140025480833387 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29897] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29897/stat : 29897 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025598912808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29898] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29898/stat : 29898 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025452509352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29899] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29899/stat : 29899 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025451457064 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29900] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29900/stat : 29900 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025450404264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29901] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29901/stat : 29901 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025449351976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29902] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29902/stat : 29902 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025448299176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29903] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29903/stat : 29903 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025447246888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29904] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29904/stat : 29904 (java) S 29891 29894 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025446194088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29905] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29905/stat : 29905 (java) S 29891 29894 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025433995496 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29906] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29906/stat : 29906 (java) S 29891 29894 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025432941560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29907] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29907/stat : 29907 (java) S 29891 29894 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025431889160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29908] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29908/stat : 29908 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025430837648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29909] ppid=29891 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/29894/task/29909/stat : 29909 (java) S 29891 29894 26669 0 -1 4202560 6255 0 0 0 54 2 0 0 20 0 19 0 30064681 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025429785272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29910] ppid=29891 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/29894/task/29910/stat : 29910 (java) S 29891 29894 26669 0 -1 4202560 5327 0 0 0 56 2 0 0 20 0 19 0 30064681 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025428732472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29911] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29911/stat : 29911 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025427680376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29912] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29912/stat : 29912 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025426627784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29913] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29913/stat : 29913 (java) S 29891 29894 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30064716 9856040960 23139 33554432000 1073741824 1073778376 140734118137632 140025425572776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.02 2.02 2.04 3/213 29913
/proc/meminfo: memFree=31063948/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9625040 CPUtime=7.45 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 15301 0 1 0 740 5 0 0 20 0 19 0 30064677 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2406260 29498 2276 9 0 2396937 0
[pid=29894/tid=29895] ppid=29891 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2442 0 1 0 625 3 0 0 20 0 19 0 30064677 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025609842384 140025480828215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29897] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29897/stat : 29897 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025598912808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29898] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29898/stat : 29898 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025452509352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29899] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29899/stat : 29899 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025451457064 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29900] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29900/stat : 29900 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025450404264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29901] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29901/stat : 29901 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025449351976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29902] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29902/stat : 29902 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025448299176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29903] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29903/stat : 29903 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025447246888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29904] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29904/stat : 29904 (java) S 29891 29894 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30064678 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025446194088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29905] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29905/stat : 29905 (java) S 29891 29894 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025433995496 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29906] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29906/stat : 29906 (java) S 29891 29894 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025432941560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29907] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29907/stat : 29907 (java) S 29891 29894 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025431889160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29908] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29908/stat : 29908 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025430837648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29909] ppid=29891 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/29894/task/29909/stat : 29909 (java) S 29891 29894 26669 0 -1 4202560 6255 0 0 0 55 2 0 0 20 0 19 0 30064681 9856040960 29498 33554432000 1073741824 1073778376 140734118137632 140025429785272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29910] ppid=29891 vsize=9625040 CPUtime=0.58 cores=0,2,4,6

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

[pid=29894/tid=29906] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29906/stat : 29906 (java) S 29891 29894 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025432941560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29907] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29907/stat : 29907 (java) S 29891 29894 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025431889160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29908] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29908/stat : 29908 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025430837648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29909] ppid=29891 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/29894/task/29909/stat : 29909 (java) S 29891 29894 26669 0 -1 4202560 16774 0 0 0 141 4 0 0 20 0 19 0 30064681 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025429785272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29910] ppid=29891 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29894/task/29910/stat : 29910 (java) S 29891 29894 26669 0 -1 4202560 5327 0 0 0 58 2 0 0 20 0 19 0 30064681 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025428732472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29911] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29911/stat : 29911 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025427680376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29912] ppid=29891 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/29894/task/29912/stat : 29912 (java) S 29891 29894 26669 0 -1 4202560 100 0 0 0 32 36 0 0 20 0 19 0 30064681 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025426627784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29913] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29913/stat : 29913 (java) S 29891 29894 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30064716 9856040960 104599 33554432000 1073741824 1073778376 140734118137632 140025425572776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1729.18
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/213 30152
/proc/meminfo: memFree=30790272/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9625040 CPUtime=1789.36 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 29097 0 1 0 178841 95 0 0 20 0 19 0 30064677 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2406260 103236 2299 9 0 2396937 0
[pid=29894/tid=29895] ppid=29891 vsize=9625040 CPUtime=1779.84 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2533 0 1 0 177952 32 0 0 20 0 19 0 30064677 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025609850064 140025480832543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29897] ppid=29891 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/29894/task/29897/stat : 29897 (java) S 29891 29894 26669 0 -1 4202560 312 0 0 0 76 8 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025598912808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29898] ppid=29891 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/29894/task/29898/stat : 29898 (java) S 29891 29894 26669 0 -1 4202560 304 0 0 0 78 7 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025452509352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29899] ppid=29891 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/29894/task/29899/stat : 29899 (java) S 29891 29894 26669 0 -1 4202560 196 0 0 0 78 8 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025451457064 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29900] ppid=29891 vsize=9625040 CPUtime=0.8 cores=0,2,4,6
/proc/29894/task/29900/stat : 29900 (java) S 29891 29894 26669 0 -1 4202560 383 0 0 0 74 6 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025450404264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29901] ppid=29891 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/29894/task/29901/stat : 29901 (java) S 29891 29894 26669 0 -1 4202560 475 0 0 0 69 8 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025449351976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29902] ppid=29891 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/29894/task/29902/stat : 29902 (java) S 29891 29894 26669 0 -1 4202560 402 0 0 0 74 9 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025448299176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29903] ppid=29891 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/29894/task/29903/stat : 29903 (java) S 29891 29894 26669 0 -1 4202560 398 0 0 0 76 5 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025447246888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29904] ppid=29891 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/29894/task/29904/stat : 29904 (java) S 29891 29894 26669 0 -1 4202560 344 0 0 0 75 8 0 0 20 0 19 0 30064678 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025446194088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29905] ppid=29891 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/29894/task/29905/stat : 29905 (java) S 29891 29894 26669 0 -1 4202560 283 0 0 0 60 4 0 0 20 0 19 0 30064679 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025433995496 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29906] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29906/stat : 29906 (java) S 29891 29894 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025432941560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29907] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29907/stat : 29907 (java) S 29891 29894 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025431889160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29908] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29908/stat : 29908 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025430837648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29909] ppid=29891 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/29894/task/29909/stat : 29909 (java) S 29891 29894 26669 0 -1 4202560 16774 0 0 0 141 4 0 0 20 0 19 0 30064681 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025429785272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29910] ppid=29891 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29894/task/29910/stat : 29910 (java) S 29891 29894 26669 0 -1 4202560 5327 0 0 0 58 2 0 0 20 0 19 0 30064681 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025428732472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29911] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29911/stat : 29911 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025427680376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29912] ppid=29891 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29894/task/29912/stat : 29912 (java) S 29891 29894 26669 0 -1 4202560 104 0 0 0 34 37 0 0 20 0 19 0 30064681 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025426627784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29913] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29913/stat : 29913 (java) S 29891 29894 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30064716 9856040960 103236 33554432000 1073741824 1073778376 140734118137632 140025425572776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1789.36
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 30153
/proc/meminfo: memFree=30792380/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 29100 0 1 0 179906 95 0 0 20 0 19 0 30064677 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2406260 102707 2299 9 0 2396937 0
[pid=29894/tid=29895] ppid=29891 vsize=9625040 CPUtime=1790.42 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2534 0 1 0 179010 32 0 0 20 0 19 0 30064677 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025609850064 140025480931404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29897] ppid=29891 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/29894/task/29897/stat : 29897 (java) S 29891 29894 26669 0 -1 4202560 312 0 0 0 77 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025598912808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29898] ppid=29891 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/29894/task/29898/stat : 29898 (java) S 29891 29894 26669 0 -1 4202560 304 0 0 0 80 7 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025452509352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29899] ppid=29891 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/29894/task/29899/stat : 29899 (java) S 29891 29894 26669 0 -1 4202560 196 0 0 0 78 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025451457064 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29900] ppid=29891 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/29894/task/29900/stat : 29900 (java) S 29891 29894 26669 0 -1 4202560 383 0 0 0 76 6 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025450404264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29901] ppid=29891 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/29894/task/29901/stat : 29901 (java) S 29891 29894 26669 0 -1 4202560 475 0 0 0 70 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025449351976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29902] ppid=29891 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/29894/task/29902/stat : 29902 (java) S 29891 29894 26669 0 -1 4202560 402 0 0 0 75 9 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025448299176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29903] ppid=29891 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/29894/task/29903/stat : 29903 (java) S 29891 29894 26669 0 -1 4202560 398 0 0 0 77 5 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025447246888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29904] ppid=29891 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/29894/task/29904/stat : 29904 (java) S 29891 29894 26669 0 -1 4202560 344 0 0 0 76 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025446194088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29905] ppid=29891 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/29894/task/29905/stat : 29905 (java) S 29891 29894 26669 0 -1 4202560 285 0 0 0 60 4 0 0 20 0 19 0 30064679 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025433995496 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29906] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29906/stat : 29906 (java) S 29891 29894 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025432941560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29907] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29907/stat : 29907 (java) S 29891 29894 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025431889160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29908] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29908/stat : 29908 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025430837648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29909] ppid=29891 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/29894/task/29909/stat : 29909 (java) S 29891 29894 26669 0 -1 4202560 16774 0 0 0 141 4 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025429785272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29910] ppid=29891 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29894/task/29910/stat : 29910 (java) S 29891 29894 26669 0 -1 4202560 5327 0 0 0 58 2 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025428732472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29911] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29911/stat : 29911 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025427680376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29912] ppid=29891 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29894/task/29912/stat : 29912 (java) S 29891 29894 26669 0 -1 4202560 104 0 0 0 34 37 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025426627784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29913] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29913/stat : 29913 (java) S 29891 29894 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30064716 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025425572776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 29894 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1792.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 30153
/proc/meminfo: memFree=30792380/32872528 swapFree=163656/177964
[pid=29894] ppid=29891 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/29894/stat : 29894 (java) S 29891 29894 26669 0 -1 4202496 29100 0 1 0 179906 95 0 0 20 0 19 0 30064677 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140734118128768 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29894/statm: 2406260 102707 2299 9 0 2396937 0
[pid=29894/tid=29895] ppid=29891 vsize=9625040 CPUtime=1790.42 cores=0,2,4,6
/proc/29894/task/29895/stat : 29895 (java) R 29891 29894 26669 0 -1 4202560 2534 0 1 0 179010 32 0 0 20 0 19 0 30064677 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025609850064 140025480931404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29897] ppid=29891 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/29894/task/29897/stat : 29897 (java) S 29891 29894 26669 0 -1 4202560 312 0 0 0 77 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025598912808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29898] ppid=29891 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/29894/task/29898/stat : 29898 (java) S 29891 29894 26669 0 -1 4202560 304 0 0 0 80 7 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025452509352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29899] ppid=29891 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/29894/task/29899/stat : 29899 (java) S 29891 29894 26669 0 -1 4202560 196 0 0 0 78 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025451457064 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29900] ppid=29891 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/29894/task/29900/stat : 29900 (java) S 29891 29894 26669 0 -1 4202560 383 0 0 0 76 6 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025450404264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29894/tid=29901] ppid=29891 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/29894/task/29901/stat : 29901 (java) S 29891 29894 26669 0 -1 4202560 475 0 0 0 70 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025449351976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29902] ppid=29891 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/29894/task/29902/stat : 29902 (java) S 29891 29894 26669 0 -1 4202560 402 0 0 0 75 9 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025448299176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29903] ppid=29891 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/29894/task/29903/stat : 29903 (java) S 29891 29894 26669 0 -1 4202560 398 0 0 0 77 5 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025447246888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29904] ppid=29891 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/29894/task/29904/stat : 29904 (java) S 29891 29894 26669 0 -1 4202560 344 0 0 0 76 8 0 0 20 0 19 0 30064678 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025446194088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29905] ppid=29891 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/29894/task/29905/stat : 29905 (java) S 29891 29894 26669 0 -1 4202560 285 0 0 0 60 4 0 0 20 0 19 0 30064679 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025433995496 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29906] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29906/stat : 29906 (java) S 29891 29894 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025432941560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29907] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29907/stat : 29907 (java) S 29891 29894 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30064679 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025431889160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29908] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29908/stat : 29908 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025430837648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29909] ppid=29891 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/29894/task/29909/stat : 29909 (java) S 29891 29894 26669 0 -1 4202560 16774 0 0 0 141 4 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025429785272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29910] ppid=29891 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29894/task/29910/stat : 29910 (java) S 29891 29894 26669 0 -1 4202560 5327 0 0 0 58 2 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025428732472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29894/tid=29911] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29911/stat : 29911 (java) S 29891 29894 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025427680376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29894/tid=29912] ppid=29891 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29894/task/29912/stat : 29912 (java) S 29891 29894 26669 0 -1 4202560 104 0 0 0 34 37 0 0 20 0 19 0 30064681 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025426627784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29894/tid=29913] ppid=29891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29894/task/29913/stat : 29913 (java) S 29891 29894 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30064716 9856040960 102707 33554432000 1073741824 1073778376 140734118137632 140025425572776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1792.94
CPU time (s): 1800.82
CPU user time (s): 1799.3
CPU system time (s): 1.52177
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 1.52177
maximum resident set size= 702344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29131
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39514
involuntary context switches= 11741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36403 second user time and 7.12792 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 22:02:28
IDJOB=4106876
IDBENCH=48302
IDSOLVER=2546
FILE ID=node105/4106876-1466280147
RUNJOBID= node105-1466265085-26685
PBS_JOBID= 19918230
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106876-1466280147/watcher-4106876-1466280147 -o /tmp/evaluation-result-4106876-1466280147/solver-4106876-1466280147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466265085-26685 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106876-1466280147.opb

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

MD5SUM BENCH= 4bc8406e35a3f2674c743b72d3a1792a
RANDOM SEED=2025861409

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31168632 kB
Buffers:           96384 kB
Cached:           182588 kB
SwapCached:         1684 kB
Active:           593464 kB
Inactive:         194548 kB
Active(anon):     506600 kB
Inactive(anon):     4796 kB
Active(file):      86864 kB
Inactive(file):   189752 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:               920 kB
Writeback:            20 kB
AnonPages:        686376 kB
Mapped:            15360 kB
Shmem:                 0 kB
Slab:             605312 kB
SReclaimable:      48732 kB
SUnreclaim:       556580 kB
KernelStack:        1584 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     831608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    491520 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 node105 at 2016-06-18 22:32:21