Trace number 4085412

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)12 1800.09 1798.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
MD5SUM7e1b8a9f40a52781f7629bf04a2d5793
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark500.006
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-4085412-1465242470.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.09/0.16	c ... done. Wall clock time 0.048s.
0.09/0.16	c declared #vars     100
0.09/0.16	c #constraints  100
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.09/0.16	c 100 constraints processed.
0.09/0.16	c objective function length is 100 literals
0.09/0.16	c SATISFIABLE
0.09/0.16	c OPTIMIZING...
0.09/0.16	c Got one! Elapsed wall clock time (in seconds):0.052
0.09/0.16	o 16
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.063
0.09/0.18	o 15
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.081
0.09/0.19	o 14
0.26/0.29	c Got one! Elapsed wall clock time (in seconds):0.18
0.26/0.29	o 13
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.261
0.51/0.37	o 12
0.64/0.48	c cleaning 2958 clauses out of 5915 with flag 5611/5915
1.08/0.67	c cleaning 4480 clauses out of 8961 with flag 20955/11919
1.38/0.88	c cleaning 5729 clauses out of 11476 with flag 38681/18914
1.69/1.19	c cleaning 6867 clauses out of 13748 with flag 58531/26915
2.10/1.53	c cleaning 7941 clauses out of 15882 with flag 81566/35916
2.60/2.00	c cleaning 8970 clauses out of 17940 with flag 107952/45915
3.10/2.59	c cleaning 9988 clauses out of 19976 with flag 135848/56921
3.80/3.29	c cleaning 10989 clauses out of 21981 with flag 166339/68914
4.65/4.00	c cleaning 11997 clauses out of 23995 with flag 199584/81917
5.55/4.94	c cleaning 12994 clauses out of 25996 with flag 235066/95915
6.45/5.89	c cleaning 14001 clauses out of 28002 with flag 272949/110915
7.85/7.20	c cleaning 14998 clauses out of 30000 with flag 314144/126914
9.05/8.45	c cleaning 15994 clauses out of 32002 with flag 357944/143914
10.56/9.92	c cleaning 17004 clauses out of 34009 with flag 403870/161915
12.16/11.58	c cleaning 17998 clauses out of 36004 with flag 451693/180914
13.66/13.00	c cleaning 18998 clauses out of 38012 with flag 502715/200920
15.26/14.62	c cleaning 20006 clauses out of 40012 with flag 556422/221918
17.06/16.45	c cleaning 20997 clauses out of 42003 with flag 612488/243915
19.06/18.46	c cleaning 22001 clauses out of 44007 with flag 671454/266916
21.15/20.51	c cleaning 22999 clauses out of 46006 with flag 733155/290916
23.25/22.64	c cleaning 23996 clauses out of 48005 with flag 796507/315914
25.45/24.86	c cleaning 24995 clauses out of 50009 with flag 862127/341914
27.95/27.38	c cleaning 25996 clauses out of 52014 with flag 934298/368914
30.55/29.95	c cleaning 27003 clauses out of 54019 with flag 1007362/396915
33.25/32.60	c cleaning 28001 clauses out of 56015 with flag 1081907/425914
36.25/35.62	c cleaning 28994 clauses out of 58014 with flag 1158648/455914
39.45/38.81	c cleaning 30008 clauses out of 60022 with flag 1240112/486916
42.95/42.32	c cleaning 31000 clauses out of 62013 with flag 1324606/518915
46.75/46.16	c cleaning 32000 clauses out of 64013 with flag 1409859/551915
50.46/49.80	c cleaning 33005 clauses out of 66013 with flag 1499186/585915
54.36/53.74	c cleaning 34000 clauses out of 68007 with flag 1589026/620914
58.66/58.03	c cleaning 35000 clauses out of 70007 with flag 1681443/656914
62.36/61.78	c cleaning 35993 clauses out of 72008 with flag 1775974/693915
66.15/65.54	c cleaning 37004 clauses out of 74015 with flag 1871183/731915
70.15/69.53	c cleaning 38004 clauses out of 76010 with flag 1974689/770914
74.65/74.08	c cleaning 38988 clauses out of 78006 with flag 2081283/810914
79.05/78.41	c cleaning 40008 clauses out of 80019 with flag 2189820/851915
84.55/83.98	c cleaning 40999 clauses out of 82010 with flag 2300684/893914
89.47/88.88	c cleaning 41992 clauses out of 84011 with flag 2414420/936914
94.67/94.04	c cleaning 43004 clauses out of 86021 with flag 2527952/980916
99.68/99.04	c cleaning 43997 clauses out of 88015 with flag 2645119/1025914
105.07/104.40	c cleaning 44997 clauses out of 90018 with flag 2762685/1071914
111.07/110.43	c cleaning 46010 clauses out of 92024 with flag 2882266/1118917
116.77/116.11	c cleaning 46999 clauses out of 94011 with flag 3007271/1166914
123.27/122.63	c cleaning 48001 clauses out of 96012 with flag 3134250/1215914
129.57/128.94	c cleaning 48994 clauses out of 98011 with flag 3267431/1265914
135.98/135.39	c cleaning 50005 clauses out of 100017 with flag 3405856/1316914
143.17/142.56	c cleaning 50999 clauses out of 102012 with flag 3545452/1368914
150.18/149.60	c cleaning 52001 clauses out of 104013 with flag 3687762/1421914
158.18/157.57	c cleaning 52998 clauses out of 106012 with flag 3823887/1475914
165.28/164.63	c cleaning 53997 clauses out of 108015 with flag 3966988/1530915
173.39/172.79	c cleaning 54999 clauses out of 110017 with flag 4113579/1586914
181.58/180.98	c cleaning 55998 clauses out of 112018 with flag 4261695/1643914
190.88/190.20	c cleaning 56999 clauses out of 114021 with flag 4414316/1701915
200.58/199.98	c cleaning 57994 clauses out of 116021 with flag 4567424/1760914
210.48/209.80	c cleaning 59004 clauses out of 118028 with flag 4722130/1820915
221.65/220.90	c cleaning 60009 clauses out of 120026 with flag 4876174/1881917
231.25/230.55	c cleaning 60993 clauses out of 122014 with flag 5033049/1943914
241.87/241.12	c cleaning 62006 clauses out of 124023 with flag 5200267/2006916
252.97/252.29	c cleaning 63007 clauses out of 126016 with flag 5380024/2070915
264.37/263.64	c cleaning 63996 clauses out of 128008 with flag 5558570/2135914
276.27/275.53	c cleaning 64999 clauses out of 130012 with flag 5740396/2201914
287.38/286.66	c cleaning 66005 clauses out of 132013 with flag 5915709/2268914
299.38/298.61	c cleaning 66999 clauses out of 134008 with flag 6095544/2336914
310.98/310.30	c cleaning 67997 clauses out of 136009 with flag 6277977/2405914
324.19/323.49	c cleaning 69008 clauses out of 138017 with flag 6463708/2475919
336.08/335.30	c cleaning 70000 clauses out of 140004 with flag 6652092/2546914
349.88/349.12	c cleaning 70995 clauses out of 142004 with flag 6842285/2618914
362.69/361.99	c cleaning 72001 clauses out of 144012 with flag 7030630/2691917
374.38/373.60	c cleaning 72996 clauses out of 146009 with flag 7234082/2765915
387.75/386.94	c cleaning 74001 clauses out of 148013 with flag 7444167/2840915
401.45/400.68	c cleaning 75001 clauses out of 150013 with flag 7660811/2916916
415.95/415.12	c cleaning 76000 clauses out of 152011 with flag 7863712/2993915
433.07/432.24	c cleaning 77004 clauses out of 154010 with flag 8066912/3071914
452.26/451.45	c cleaning 78005 clauses out of 156009 with flag 8270931/3150917
469.16/468.38	c cleaning 78993 clauses out of 158003 with flag 8476819/3230916
485.06/484.22	c cleaning 79998 clauses out of 160008 with flag 8689473/3311914
504.27/503.47	c cleaning 80988 clauses out of 162011 with flag 8901091/3393915
523.17/522.38	c cleaning 81996 clauses out of 164022 with flag 9123712/3476914
543.18/542.39	c cleaning 83001 clauses out of 166026 with flag 9348973/3560914
564.78/563.91	c cleaning 84006 clauses out of 168025 with flag 9572892/3645914
583.58/582.71	c cleaning 84998 clauses out of 170020 with flag 9795243/3731915
604.72/603.83	c cleaning 86001 clauses out of 172021 with flag 10021584/3818914
625.62/624.80	c cleaning 87005 clauses out of 174023 with flag 10258030/3906917
647.13/646.25	c cleaning 88005 clauses out of 176016 with flag 10499605/3995915
667.43/666.52	c cleaning 88995 clauses out of 178011 with flag 10744424/4085915
689.65/688.74	c cleaning 89999 clauses out of 180015 with flag 10982580/4176914
711.94/711.06	c cleaning 91011 clauses out of 182024 with flag 11219101/4268922
735.54/734.60	c cleaning 91994 clauses out of 184006 with flag 11457058/4361915
758.34/757.49	c cleaning 92997 clauses out of 186011 with flag 11698577/4455914
780.96/780.07	c cleaning 94006 clauses out of 188017 with flag 11950305/4550917
806.75/805.81	c cleaning 94994 clauses out of 190008 with flag 12202728/4646914
831.82/830.85	c cleaning 96001 clauses out of 192015 with flag 12462212/4743915
856.52/855.55	c cleaning 97003 clauses out of 194014 with flag 12726990/4841915
883.32/882.31	c cleaning 98001 clauses out of 196013 with flag 12989544/4940917
908.72/907.75	c cleaning 99000 clauses out of 198011 with flag 13254844/5040916
934.23/933.20	c cleaning 99993 clauses out of 200010 with flag 13530459/5141915
963.03/962.02	c cleaning 101006 clauses out of 202016 with flag 13797126/5243914
990.44/989.49	c cleaning 101998 clauses out of 204010 with flag 14067358/5346914
1018.95/1017.96	c cleaning 103005 clauses out of 206017 with flag 14357946/5450919
1050.34/1049.30	c cleaning 103998 clauses out of 208008 with flag 14647778/5555915
1079.03/1077.91	c cleaning 105000 clauses out of 210009 with flag 14940167/5661914
1106.24/1105.10	c cleaning 105997 clauses out of 212009 with flag 15245541/5768914
1137.14/1136.03	c cleaning 106994 clauses out of 214012 with flag 15543658/5876914
1166.15/1165.08	c cleaning 107998 clauses out of 216018 with flag 15846869/5985914
1200.36/1199.23	c cleaning 108999 clauses out of 218024 with flag 16162034/6095918
1232.36/1231.24	c cleaning 110000 clauses out of 220021 with flag 16481810/6206914
1266.96/1265.88	c cleaning 111000 clauses out of 222021 with flag 16784595/6318914
1301.76/1300.64	c cleaning 111994 clauses out of 224021 with flag 17097601/6431914
1335.57/1334.36	c cleaning 113000 clauses out of 226028 with flag 17411736/6545915
1369.57/1368.40	c cleaning 114010 clauses out of 228029 with flag 17736362/6660916
1405.78/1404.52	c cleaning 115000 clauses out of 230017 with flag 18068752/6776914
1438.88/1437.61	c cleaning 115998 clauses out of 232017 with flag 18409840/6893914
1474.29/1473.04	c cleaning 117005 clauses out of 234020 with flag 18754060/7011915
1506.21/1504.94	c cleaning 117994 clauses out of 236014 with flag 19111889/7130914
1542.81/1541.60	c cleaning 119002 clauses out of 238022 with flag 19452956/7250916
1575.94/1574.53	c cleaning 119995 clauses out of 240018 with flag 19800711/7371914
1614.44/1613.01	c cleaning 121003 clauses out of 242027 with flag 20151687/7493918
1652.56/1651.11	c cleaning 121997 clauses out of 244021 with flag 20500880/7616915
1691.17/1689.76	c cleaning 123009 clauses out of 246023 with flag 20860178/7740914
1732.66/1731.26	c cleaning 124002 clauses out of 248014 with flag 21208650/7865914
1774.68/1773.27	c cleaning 125000 clauses out of 250014 with flag 21581622/7991916
1800.09/1798.61	c starts		: 1831
1800.09/1798.61	c conflicts		: 8083361
1800.09/1798.61	c decisions		: 17083200
1800.09/1798.61	c propagations		: 107065970
1800.09/1798.61	c inspects		: 41307223571
1800.09/1798.61	c shortcuts		: 0
1800.09/1798.61	c learnt literals	: 0
1800.09/1798.61	c learnt binary clauses	: 0
1800.09/1798.61	c learnt ternary clauses	: 0
1800.09/1798.61	c learnt constraints	: 8083361
1800.09/1798.61	c ignored constraints	: 0
1800.09/1798.61	c root simplifications	: 0
1800.09/1798.61	c removed literals (reason simplification)	: 0
1800.09/1798.61	c reason swapping (by a shorter reason)	: 0
1800.09/1798.61	c Calls to reduceDB	: 122
1800.09/1798.61	c Number of update (reduction) of LBD	: 1898851
1800.09/1798.61	c Imported unit clauses	: 0
1800.09/1798.61	c number of reductions to clauses (during analyze)	: 0
1800.09/1798.61	c number of learned constraints concerned by reduction	: 0
1800.09/1798.61	c number of learning phase by resolution	: 0
1800.09/1798.61	c number of learning phase by cutting planes	: 0
1800.09/1798.61	c speed (assignments/second)	: 59532.45772602696
1800.09/1798.61	c non guided choices	0
1800.09/1798.64	c learnt constraints type 
1800.09/1798.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 216459
1800.09/1798.64	s SATISFIABLE
1800.09/1798.64	c Found 5 solution(s)
1800.09/1798.64	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 x29 x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.09/1798.64	c objective function=12
1800.09/1798.64	c Total wall clock time (in seconds): 1798.53

Verifier Data 

OK	12

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-4085412-1465242470/watcher-4085412-1465242470 -o /tmp/evaluation-result-4085412-1465242470/solver-4085412-1465242470 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7010 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085412-1465242470.opb 

pid=7605
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.23 2.19 2.18 4/194 7608
/proc/meminfo: memFree=30174884/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/7608/stat : 7608 (java) R 7605 7608 4042 0 -1 4202496 487 0 0 0 0 0 0 0 20 0 1 0 106180284 9515008 142 33554432000 1073741824 1073778376 140734837398096 140734837395224 239872783033 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2323 147 107 9 0 71 0

[startup+0.100115 s]
/proc/loadavg: 2.23 2.19 2.18 4/194 7608
/proc/meminfo: memFree=30174884/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 4404 0 1 0 9 0 0 0 20 0 18 0 106180284 9787879424 6031 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.23 2.19 2.18 4/194 7608
/proc/meminfo: memFree=30174884/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 6163 0 1 0 25 1 0 0 20 0 19 0 106180284 9856040960 7377 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 7378 2225 9 0 2396937 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040

[startup+0.3002 s]
/proc/loadavg: 2.23 2.19 2.18 4/194 7608
/proc/meminfo: memFree=30174884/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 7592 0 1 0 50 1 0 0 20 0 19 0 106180284 9856040960 8396 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 8396 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700235 s]
/proc/loadavg: 2.23 2.19 2.18 4/194 7608
/proc/meminfo: memFree=30174884/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 15019 0 1 0 126 2 0 0 20 0 19 0 106180284 9856040960 14136 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 14136 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.23 2.19 2.18 4/213 7627
/proc/meminfo: memFree=30124208/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 15027 0 1 0 208 2 0 0 20 0 19 0 106180284 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 14654 2256 9 0 2396937 0
[pid=7608/tid=7610] ppid=7605 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/7608/task/7610/stat : 7610 (java) R 7605 7608 4042 0 -1 4202560 2421 0 1 0 146 0 0 0 20 0 19 0 106180284 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922272807480 139922132926807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7611] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7611/stat : 7611 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922115820584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7612] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7612/stat : 7612 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922114767784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7613] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7613/stat : 7613 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922113714984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7614] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7614/stat : 7614 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922112662184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7615] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7615/stat : 7615 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922111609384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7616] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7616/stat : 7616 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922110556584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7617] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7617/stat : 7617 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922109503784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7618] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7618/stat : 7618 (java) S 7605 7608 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922108450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7619] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7619/stat : 7619 (java) S 7605 7608 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922096253928 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7620] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7620/stat : 7620 (java) S 7605 7608 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922095199992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7621] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7621/stat : 7621 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922094147080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7622] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7622/stat : 7622 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922093095568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7623] ppid=7605 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7608/task/7623/stat : 7623 (java) S 7605 7608 4042 0 -1 4202560 8269 0 0 0 37 0 0 0 20 0 19 0 106180289 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922092042680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7624] ppid=7605 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/7608/task/7624/stat : 7624 (java) S 7605 7608 4042 0 -1 4202560 3065 0 0 0 24 0 0 0 20 0 19 0 106180289 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922090989880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7625] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7625/stat : 7625 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922089937272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7626] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7626/stat : 7626 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922088884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7627] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7627/stat : 7627 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180300 9856040960 14654 33554432000 1073741824 1073778376 140734837398096 139922087831208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.23 2.19 2.18 4/213 7627
/proc/meminfo: memFree=30121664/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 15030 0 1 0 368 2 0 0 20 0 19 0 106180284 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 16190 2256 9 0 2396937 0
[pid=7608/tid=7610] ppid=7605 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/7608/task/7610/stat : 7610 (java) R 7605 7608 4042 0 -1 4202560 2424 0 1 0 306 0 0 0 20 0 19 0 106180284 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922272800448 139922132941728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7611] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7611/stat : 7611 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922115820584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7612] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7612/stat : 7612 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922114767784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7613] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7613/stat : 7613 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922113714984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7614] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7614/stat : 7614 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922112662184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7615] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7615/stat : 7615 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922111609384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7616] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7616/stat : 7616 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922110556584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7617] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7617/stat : 7617 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922109503784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7618] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7618/stat : 7618 (java) S 7605 7608 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922108450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7619] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7619/stat : 7619 (java) S 7605 7608 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922096253928 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7620] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7620/stat : 7620 (java) S 7605 7608 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922095199992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7621] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7621/stat : 7621 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922094147080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7622] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7622/stat : 7622 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922093095568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7623] ppid=7605 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7608/task/7623/stat : 7623 (java) S 7605 7608 4042 0 -1 4202560 8269 0 0 0 37 0 0 0 20 0 19 0 106180289 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922092042680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7624] ppid=7605 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/7608/task/7624/stat : 7624 (java) S 7605 7608 4042 0 -1 4202560 3065 0 0 0 24 0 0 0 20 0 19 0 106180289 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922090989880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7625] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7625/stat : 7625 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922089937272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7626] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7626/stat : 7626 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922088884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7627] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7627/stat : 7627 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180300 9856040960 16190 33554432000 1073741824 1073778376 140734837398096 139922087831208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.29 2.20 2.18 3/213 7627
/proc/meminfo: memFree=30130420/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=6.95 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 15925 0 1 0 693 2 0 0 20 0 19 0 106180284 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 13246 2258 9 0 2396937 0
[pid=7608/tid=7610] ppid=7605 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/7608/task/7610/stat : 7610 (java) R 7605 7608 4042 0 -1 4202560 2428 0 1 0 625 0 0 0 20 0 19 0 106180284 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922272800448 139922132928241 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7611] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7611/stat : 7611 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922115820584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7612] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7612/stat : 7612 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922114767784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7613] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7613/stat : 7613 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922113714984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7614] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7614/stat : 7614 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922112662184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7615] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7615/stat : 7615 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922111609384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7616] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7616/stat : 7616 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922110556584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7617] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7617/stat : 7617 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922109503784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7618] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7618/stat : 7618 (java) S 7605 7608 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106180286 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922108450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7619] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7619/stat : 7619 (java) S 7605 7608 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922096253928 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7620] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7620/stat : 7620 (java) S 7605 7608 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922095199992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7621] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7621/stat : 7621 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922094147080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7622] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7622/stat : 7622 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922093095568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7623] ppid=7605 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7608/task/7623/stat : 7623 (java) S 7605 7608 4042 0 -1 4202560 8269 0 0 0 37 0 0 0 20 0 19 0 106180289 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922092042680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7624] ppid=7605 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7608/task/7624/stat : 7624 (java) S 7605 7608 4042 0 -1 4202560 3955 0 0 0 29 0 0 0 20 0 19 0 106180289 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922090989880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7625] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7625/stat : 7625 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922089937272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7626] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7626/stat : 7626 (java) S 7605 7608 4042 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922088884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7627] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7627/stat : 7627 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180300 9856040960 13246 33554432000 1073741824 1073778376 140734837398096 139922087831208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 9625040


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

[pid=7608/tid=7627] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7627/stat : 7627 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180300 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922087831208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1663.75
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/213 7824
/proc/meminfo: memFree=29594148/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=1723.76 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 16840 0 1 0 172338 38 0 0 20 0 19 0 106180284 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 65238 2272 9 0 2396937 0
[pid=7608/tid=7610] ppid=7605 vsize=9625040 CPUtime=1717.65 cores=0,2,4,6
/proc/7608/task/7610/stat : 7610 (java) R 7605 7608 4042 0 -1 4202560 2491 0 1 0 171737 28 0 0 20 0 19 0 106180284 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922272800432 139922132941859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7611] ppid=7605 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/7608/task/7611/stat : 7611 (java) S 7605 7608 4042 0 -1 4202560 66 0 0 0 8 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922115820584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7612] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7612/stat : 7612 (java) S 7605 7608 4042 0 -1 4202560 132 0 0 0 6 1 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922114767784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7613] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7613/stat : 7613 (java) S 7605 7608 4042 0 -1 4202560 26 0 0 0 6 1 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922113714984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7614] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7614/stat : 7614 (java) S 7605 7608 4042 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922112662184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7615] ppid=7605 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/7608/task/7615/stat : 7615 (java) S 7605 7608 4042 0 -1 4202560 178 0 0 0 8 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922111609384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7616] ppid=7605 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/7608/task/7616/stat : 7616 (java) S 7605 7608 4042 0 -1 4202560 128 0 0 0 6 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922110556584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7617] ppid=7605 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/7608/task/7617/stat : 7617 (java) S 7605 7608 4042 0 -1 4202560 114 0 0 0 6 0 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922109503784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7618] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7618/stat : 7618 (java) S 7605 7608 4042 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922108450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7619] ppid=7605 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/7608/task/7619/stat : 7619 (java) S 7605 7608 4042 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922096253928 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7620] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7620/stat : 7620 (java) S 7605 7608 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922095199992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7621] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7621/stat : 7621 (java) S 7605 7608 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922094147080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7622] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7622/stat : 7622 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922093095568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7623] ppid=7605 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7608/task/7623/stat : 7623 (java) S 7605 7608 4042 0 -1 4202560 8269 0 0 0 37 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922092042680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7624] ppid=7605 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/7608/task/7624/stat : 7624 (java) S 7605 7608 4042 0 -1 4202560 3961 0 0 0 31 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922090989880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7625] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7625/stat : 7625 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922089937272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7626] ppid=7605 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/7608/task/7626/stat : 7626 (java) S 7605 7608 4042 0 -1 4202560 100 0 0 0 32 31 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922088884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7627] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7627/stat : 7627 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180300 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922087831208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1723.76
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/213 7825
/proc/meminfo: memFree=29593672/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=1783.77 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 16844 0 1 0 178338 39 0 0 20 0 19 0 106180284 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 65238 2272 9 0 2396937 0
[pid=7608/tid=7610] ppid=7605 vsize=9625040 CPUtime=1777.49 cores=0,2,4,6
/proc/7608/task/7610/stat : 7610 (java) R 7605 7608 4042 0 -1 4202560 2491 0 1 0 177720 29 0 0 20 0 19 0 106180284 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922272800432 139922132924831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7611] ppid=7605 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/7608/task/7611/stat : 7611 (java) S 7605 7608 4042 0 -1 4202560 66 0 0 0 8 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922115820584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7612] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7612/stat : 7612 (java) S 7605 7608 4042 0 -1 4202560 132 0 0 0 6 1 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922114767784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7613] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7613/stat : 7613 (java) S 7605 7608 4042 0 -1 4202560 26 0 0 0 6 1 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922113714984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7614] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7614/stat : 7614 (java) S 7605 7608 4042 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922112662184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7615] ppid=7605 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/7608/task/7615/stat : 7615 (java) S 7605 7608 4042 0 -1 4202560 178 0 0 0 8 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922111609384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7616] ppid=7605 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/7608/task/7616/stat : 7616 (java) S 7605 7608 4042 0 -1 4202560 128 0 0 0 6 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922110556584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7617] ppid=7605 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/7608/task/7617/stat : 7617 (java) S 7605 7608 4042 0 -1 4202560 114 0 0 0 6 0 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922109503784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7618] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7618/stat : 7618 (java) S 7605 7608 4042 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922108450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7619] ppid=7605 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/7608/task/7619/stat : 7619 (java) S 7605 7608 4042 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922096253928 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7620] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7620/stat : 7620 (java) S 7605 7608 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922095199992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7621] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7621/stat : 7621 (java) S 7605 7608 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922094147080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7622] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7622/stat : 7622 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922093095568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7623] ppid=7605 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7608/task/7623/stat : 7623 (java) S 7605 7608 4042 0 -1 4202560 8269 0 0 0 37 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922092042680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7624] ppid=7605 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/7608/task/7624/stat : 7624 (java) S 7605 7608 4042 0 -1 4202560 3961 0 0 0 31 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922090989880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7625] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7625/stat : 7625 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922089937272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7626] ppid=7605 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/7608/task/7626/stat : 7626 (java) S 7605 7608 4042 0 -1 4202560 104 0 0 0 33 32 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922088884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7627] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7627/stat : 7627 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180300 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922087831208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1783.77
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.61 s]
/proc/loadavg: 2.23 2.22 2.18 3/213 7826
/proc/meminfo: memFree=29598452/32872528 swapFree=15272/1656604
[pid=7608] ppid=7605 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/7608/stat : 7608 (java) S 7605 7608 4042 0 -1 4202496 16844 0 1 0 179969 40 0 0 20 0 19 0 106180284 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 140734837389232 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7608/statm: 2406260 65238 2272 9 0 2396937 0
[pid=7608/tid=7610] ppid=7605 vsize=9625040 CPUtime=1793.76 cores=0,2,4,6
/proc/7608/task/7610/stat : 7610 (java) R 7605 7608 4042 0 -1 4202560 2491 0 1 0 179347 29 0 0 20 0 19 0 106180284 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922272800432 139922132928500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7611] ppid=7605 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/7608/task/7611/stat : 7611 (java) S 7605 7608 4042 0 -1 4202560 66 0 0 0 8 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922115820584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7612] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7612/stat : 7612 (java) S 7605 7608 4042 0 -1 4202560 132 0 0 0 6 1 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922114767784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7613] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7613/stat : 7613 (java) S 7605 7608 4042 0 -1 4202560 26 0 0 0 6 1 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922113714984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7614] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7614/stat : 7614 (java) S 7605 7608 4042 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922112662184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7615] ppid=7605 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/7608/task/7615/stat : 7615 (java) S 7605 7608 4042 0 -1 4202560 178 0 0 0 8 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922111609384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7616] ppid=7605 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/7608/task/7616/stat : 7616 (java) S 7605 7608 4042 0 -1 4202560 128 0 0 0 6 2 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922110556584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7617] ppid=7605 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/7608/task/7617/stat : 7617 (java) S 7605 7608 4042 0 -1 4202560 114 0 0 0 6 0 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922109503784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7618] ppid=7605 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/7608/task/7618/stat : 7618 (java) S 7605 7608 4042 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 106180286 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922108450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7619] ppid=7605 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/7608/task/7619/stat : 7619 (java) S 7605 7608 4042 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922096253928 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7608/tid=7620] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7620/stat : 7620 (java) S 7605 7608 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922095199992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7621] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7621/stat : 7621 (java) S 7605 7608 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106180287 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922094147080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7622] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7622/stat : 7622 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922093095568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7623] ppid=7605 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7608/task/7623/stat : 7623 (java) S 7605 7608 4042 0 -1 4202560 8269 0 0 0 37 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922092042680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7608/tid=7624] ppid=7605 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/7608/task/7624/stat : 7624 (java) S 7605 7608 4042 0 -1 4202560 3961 0 0 0 31 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922090989880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7625] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7625/stat : 7625 (java) S 7605 7608 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922089937272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7608/tid=7626] ppid=7605 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/7608/task/7626/stat : 7626 (java) S 7605 7608 4042 0 -1 4202560 104 0 0 0 34 32 0 0 20 0 19 0 106180289 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922088884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7608/tid=7627] ppid=7605 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7608/task/7627/stat : 7627 (java) S 7605 7608 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106180300 9856040960 65238 33554432000 1073741824 1073778376 140734837398096 139922087831208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 7608 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7608 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=230083
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=850870
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.65
CPU time (s): 1800.09
CPU user time (s): 1799.69
CPU system time (s): 0.4
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.23
system time used= 0.85087
maximum resident set size= 261120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16892
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38230
involuntary context switches= 2868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2408 second user time and 9.50555 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-06 21:47:50
IDJOB=4085412
IDBENCH=2874
IDSOLVER=2546
FILE ID=node136/4085412-1465242470
RUNJOBID= node136-1465237111-7010
PBS_JOBID= 19843227
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085412-1465242470/watcher-4085412-1465242470 -o /tmp/evaluation-result-4085412-1465242470/solver-4085412-1465242470 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7010 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085412-1465242470.opb

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

MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793
RANDOM SEED=848741257

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30174884 kB
Buffers:           24252 kB
Cached:           105088 kB
SwapCached:          804 kB
Active:           247792 kB
Inactive:          78620 kB
Active(anon):     198488 kB
Inactive(anon):     1208 kB
Active(file):      49304 kB
Inactive(file):    77412 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:       1865692 kB
Mapped:            15332 kB
Shmem:                 0 kB
Slab:             567064 kB
SReclaimable:      10956 kB
SUnreclaim:       556108 kB
KernelStack:        1568 kB
PageTables:         7844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2345436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1841152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node136 at 2016-06-06 22:17:48