Trace number 3688655

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)6 1800.07 1795.45

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.08083
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint40
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)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
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.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688655-1337886240.opb
0.08/0.12	c reading problem ... 
0.43/0.34	c ... done. Wall clock time 0.221s.
0.43/0.34	c declared #vars     100
0.43/0.34	c internal #vars     3162
0.43/0.34	c #constraints  6224
0.43/0.34	c constraints type 
0.43/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
0.43/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.43/0.34	c 6224 constraints processed.
0.43/0.34	c objective function length is 100 literals
0.43/0.36	c SATISFIABLE
0.43/0.36	c OPTIMIZING...
0.43/0.36	c Got one! Elapsed wall clock time (in seconds):0.249
0.43/0.37	o 8
0.70/0.47	c Got one! Elapsed wall clock time (in seconds):0.357
0.70/0.47	o 7
2.46/1.89	c cleaning 2538 clauses out of 5075 with flag 5001/5075
4.23/3.52	c cleaning 4262 clauses out of 8538 with flag 11002/11076
5.43/4.73	c Got one! Elapsed wall clock time (in seconds):4.615
5.43/4.73	o 6
5.53/4.84	c cleaning 4882 clauses out of 9774 with flag 1006/16574
6.94/6.24	c cleaning 5437 clauses out of 10890 with flag 7004/22572
8.79/8.05	c cleaning 6220 clauses out of 12450 with flag 14001/29569
10.80/10.05	c cleaning 7106 clauses out of 14229 with flag 22000/37568
13.01/12.21	c cleaning 8062 clauses out of 16123 with flag 31000/46568
15.41/14.69	c cleaning 9026 clauses out of 18063 with flag 41002/56570
18.11/17.34	c cleaning 10018 clauses out of 20035 with flag 52000/67568
21.12/20.30	c cleaning 10991 clauses out of 22018 with flag 64001/79569
24.32/23.55	c cleaning 12013 clauses out of 24029 with flag 77003/92571
28.03/27.24	c cleaning 13006 clauses out of 26013 with flag 91000/106568
31.83/31.02	c cleaning 13997 clauses out of 28008 with flag 106001/121569
35.95/35.14	c cleaning 14991 clauses out of 30010 with flag 122000/137568
40.25/39.49	c cleaning 15992 clauses out of 32019 with flag 139000/154568
45.07/44.20	c cleaning 16997 clauses out of 34028 with flag 157001/172569
49.89/49.02	c cleaning 18010 clauses out of 36031 with flag 176001/191569
55.01/54.11	c cleaning 19001 clauses out of 38020 with flag 196000/211568
60.32/59.42	c cleaning 19991 clauses out of 40020 with flag 217001/232569
65.94/65.02	c cleaning 21007 clauses out of 42028 with flag 239000/254568
71.65/70.77	c cleaning 21995 clauses out of 44028 with flag 262007/277575
77.57/76.65	c cleaning 23001 clauses out of 46026 with flag 286000/301568
83.68/82.77	c cleaning 24004 clauses out of 48025 with flag 311000/326568
90.09/89.13	c cleaning 24999 clauses out of 50021 with flag 337000/352568
96.30/95.33	c cleaning 26001 clauses out of 52022 with flag 364000/379568
103.62/102.65	c cleaning 26999 clauses out of 54021 with flag 392000/407568
110.64/109.60	c cleaning 28012 clauses out of 56025 with flag 421003/436571
117.55/116.58	c cleaning 29001 clauses out of 58012 with flag 451002/466570
124.37/123.35	c cleaning 29985 clauses out of 60009 with flag 482000/497568
132.17/131.12	c cleaning 31008 clauses out of 62024 with flag 514000/529568
140.80/139.78	c cleaning 31993 clauses out of 64016 with flag 547000/562568
149.11/147.96	c cleaning 33008 clauses out of 66025 with flag 581002/596570
159.01/157.56	c cleaning 33993 clauses out of 68016 with flag 616001/631569
168.82/167.37	c cleaning 34987 clauses out of 70022 with flag 652000/667568
178.94/177.48	c cleaning 36009 clauses out of 72035 with flag 689000/704568
188.46/186.96	c cleaning 36999 clauses out of 74029 with flag 727003/742571
198.58/197.00	c cleaning 38015 clauses out of 76031 with flag 766004/781572
209.80/208.24	c cleaning 39009 clauses out of 78022 with flag 806010/821578
220.11/218.57	c cleaning 39997 clauses out of 80003 with flag 847000/862568
231.72/230.16	c cleaning 40990 clauses out of 82007 with flag 889001/904569
243.67/242.03	c cleaning 42005 clauses out of 84018 with flag 932002/947570
256.09/254.47	c cleaning 43004 clauses out of 86015 with flag 976004/991572
268.16/266.39	c cleaning 43997 clauses out of 88007 with flag 1021000/1036568
281.53/279.22	c cleaning 44992 clauses out of 90010 with flag 1067000/1082568
293.79/291.31	c cleaning 46009 clauses out of 92020 with flag 1114002/1129570
307.96/305.44	c cleaning 47004 clauses out of 94010 with flag 1162001/1177569
321.78/319.21	c cleaning 48003 clauses out of 96009 with flag 1211004/1226572
334.51/331.93	c cleaning 48986 clauses out of 98002 with flag 1261000/1276568
349.04/346.48	c cleaning 50000 clauses out of 100016 with flag 1312000/1327568
362.77/360.13	c cleaning 50974 clauses out of 102016 with flag 1364000/1379568
377.19/374.51	c cleaning 52014 clauses out of 104044 with flag 1417002/1432570
391.60/388.91	c cleaning 53007 clauses out of 106030 with flag 1471002/1486570
406.33/403.65	c cleaning 53986 clauses out of 108025 with flag 1526004/1541572
421.43/418.79	c cleaning 55015 clauses out of 110035 with flag 1582000/1597568
437.87/435.19	c cleaning 56004 clauses out of 112020 with flag 1639000/1654568
452.98/450.20	c cleaning 56999 clauses out of 114016 with flag 1697000/1712568
469.81/467.01	c cleaning 57987 clauses out of 116019 with flag 1756002/1771570
485.74/482.91	c cleaning 59006 clauses out of 118030 with flag 1816000/1831568
501.16/498.30	c cleaning 59989 clauses out of 120026 with flag 1877002/1892570
517.78/514.92	c cleaning 60989 clauses out of 122036 with flag 1939001/1954569
534.52/531.66	c cleaning 62018 clauses out of 124046 with flag 2002000/2017568
553.14/550.27	c cleaning 63011 clauses out of 126033 with flag 2066005/2081573
571.15/568.22	c cleaning 64000 clauses out of 128020 with flag 2131003/2146571
590.30/587.36	c cleaning 64989 clauses out of 130017 with flag 2197000/2212568
609.02/606.05	c cleaning 65998 clauses out of 132028 with flag 2264000/2279568
629.23/626.22	c cleaning 67000 clauses out of 134030 with flag 2332000/2347568
649.86/646.86	c cleaning 67992 clauses out of 136030 with flag 2401000/2416568
670.97/667.95	c cleaning 69012 clauses out of 138040 with flag 2471002/2486570
692.42/689.33	c cleaning 70002 clauses out of 140027 with flag 2542001/2557569
712.75/709.68	c cleaning 71002 clauses out of 142024 with flag 2614000/2629568
734.60/731.42	c cleaning 71984 clauses out of 144023 with flag 2687001/2702569
755.23/752.06	c cleaning 73004 clauses out of 146039 with flag 2761001/2776569
777.45/774.20	c cleaning 74013 clauses out of 148037 with flag 2836003/2851571
798.49/795.30	c cleaning 74997 clauses out of 150023 with flag 2912002/2927570
820.43/817.19	c cleaning 75997 clauses out of 152024 with flag 2989000/3004568
845.25/841.99	c cleaning 77007 clauses out of 154030 with flag 3067003/3082571
865.79/862.41	c cleaning 77987 clauses out of 156030 with flag 3146010/3161578
887.61/884.24	c cleaning 78987 clauses out of 158036 with flag 3226003/3241571
908.87/905.45	c cleaning 80018 clauses out of 160048 with flag 3307002/3322570
929.80/926.32	c cleaning 80998 clauses out of 162028 with flag 3389000/3404568
951.85/948.30	c cleaning 81994 clauses out of 164031 with flag 3472002/3487570
974.16/970.67	c cleaning 82995 clauses out of 166038 with flag 3556003/3571571
995.19/991.64	c cleaning 83992 clauses out of 168040 with flag 3641000/3656568
1021.42/1017.82	c cleaning 85010 clauses out of 170054 with flag 3727006/3742574
1047.96/1044.35	c cleaning 86014 clauses out of 172040 with flag 3814002/3829570
1074.29/1070.64	c cleaning 86990 clauses out of 174024 with flag 3902000/3917568
1101.16/1097.45	c cleaning 88012 clauses out of 176034 with flag 3991000/4006568
1126.49/1122.73	c cleaning 88999 clauses out of 178022 with flag 4081000/4096568
1153.25/1149.44	c cleaning 90009 clauses out of 180027 with flag 4172004/4187572
1178.68/1174.84	c cleaning 90999 clauses out of 182014 with flag 4264000/4279568
1203.71/1199.85	c cleaning 91998 clauses out of 184017 with flag 4357002/4372570
1227.64/1223.76	c cleaning 93000 clauses out of 186018 with flag 4451001/4466569
1252.96/1249.04	c cleaning 94003 clauses out of 188016 with flag 4546000/4561568
1286.49/1282.52	c cleaning 94992 clauses out of 190013 with flag 4642000/4657568
1318.72/1314.76	c cleaning 95985 clauses out of 192024 with flag 4739003/4754571
1352.16/1348.14	c cleaning 97018 clauses out of 194036 with flag 4837000/4852568
1384.30/1380.26	c cleaning 98007 clauses out of 196020 with flag 4936002/4951570
1416.74/1412.62	c cleaning 98997 clauses out of 198011 with flag 5036000/5051568
1446.53/1442.35	c cleaning 99999 clauses out of 200014 with flag 5137000/5152568
1478.57/1474.35	c cleaning 100997 clauses out of 202015 with flag 5239000/5254568
1512.71/1508.41	c cleaning 101999 clauses out of 204022 with flag 5342004/5357572
1546.56/1542.29	c cleaning 102999 clauses out of 206019 with flag 5446000/5461568
1581.09/1576.75	c cleaning 103996 clauses out of 208021 with flag 5551001/5566569
1615.85/1611.46	c cleaning 104983 clauses out of 210025 with flag 5657001/5672569
1650.76/1646.31	c cleaning 106012 clauses out of 212045 with flag 5764004/5779572
1683.60/1679.14	c cleaning 106976 clauses out of 214030 with flag 5872001/5887569
1718.13/1713.67	c cleaning 108026 clauses out of 216053 with flag 5981000/5996568
1756.05/1751.51	c cleaning 109005 clauses out of 218035 with flag 6091008/6106576
1792.02/1787.47	c cleaning 110006 clauses out of 220022 with flag 6202000/6217568
1800.07/1795.41	c starts		: 279
1800.07/1795.41	c conflicts		: 6245038
1800.07/1795.41	c decisions		: 10272961
1800.07/1795.41	c propagations		: 1846371091
1800.07/1795.41	c inspects		: 19784133455
1800.07/1795.41	c shortcuts		: 0
1800.07/1795.41	c learnt literals	: 2
1800.07/1795.41	c learnt binary clauses	: 13
1800.07/1795.41	c learnt ternary clauses	: 75
1800.07/1795.41	c learnt constraints	: 6245036
1800.07/1795.41	c ignored constraints	: 0
1800.07/1795.41	c root simplifications	: 0
1800.07/1795.41	c removed literals (reason simplification)	: 0
1800.07/1795.41	c reason swapping (by a shorter reason)	: 0
1800.07/1795.41	c Calls to reduceDB	: 109
1800.07/1795.41	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.41	c number of learned constraints concerned by reduction	: 0
1800.07/1795.41	c number of learning phase by resolution	: 0
1800.07/1795.41	c number of learning phase by cutting planes	: 0
1800.07/1795.41	c speed (assignments/second)	: 1028580.8992087761
1800.07/1795.41	c non guided choices	0
1800.07/1795.44	c learnt constraints type 
1800.07/1795.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 13
1800.07/1795.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 137556
1800.07/1795.44	c constraints type 
1800.07/1795.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
1800.07/1795.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1795.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
1800.07/1795.44	c 6225 constraints processed.
1800.07/1795.44	s SATISFIABLE
1800.07/1795.44	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.07/1795.44	c objective function=6
1800.07/1795.44	c Total wall clock time (in seconds): 1795.324

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688655-1337886240/watcher-3688655-1337886240 -o /tmp/evaluation-result-3688655-1337886240/solver-3688655-1337886240 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688655-1337886240.opb 

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: 1.92 1.98 1.99 3/193 22509
/proc/meminfo: memFree=29796624/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22509/stat : 22509 (runsolver) D 22507 22509 20833 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 254752547 12095488 50 33554432000 4194304 5436572 140737375603280 140737375599576 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/22509/statm: 2953 50 31 304 0 2645 0

[startup+0.00715004 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 22509
/proc/meminfo: memFree=29796624/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22509/stat : 22509 (runsolver) D 22507 22509 20833 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 254752547 12095488 55 33554432000 4194304 5436572 140737375603280 140737375599160 5057063 0 0 4096 24578 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/22509/statm: 2953 55 36 304 0 2645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11812

[startup+0.100192 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 22509
/proc/meminfo: memFree=29796624/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 4267 0 1 0 7 1 0 0 20 0 18 0 254752547 9787813888 5459 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2389603 5459 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300156 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 22509
/proc/meminfo: memFree=29796624/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9558412 CPUtime=0.43 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 5338 0 1 0 41 2 0 0 20 0 18 0 254752547 9787813888 7752 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2389603 7752 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412

[startup+0.700265 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 22509
/proc/meminfo: memFree=29796624/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9624976 CPUtime=1.31 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 9918 0 1 0 128 3 0 0 20 0 19 0 254752547 9855975424 10877 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2406244 10877 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 1.92 1.98 1.99 3/212 22528
/proc/meminfo: memFree=29761860/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9624976 CPUtime=2.16 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 10347 0 1 0 212 4 0 0 20 0 19 0 254752547 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2406244 10881 2257 9 0 2396937 0
[pid=22509/tid=22511] ppid=22507 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22509/task/22511/stat : 22511 (java) R 22507 22509 20833 0 -1 4202560 2473 0 1 0 143 2 0 0 20 0 19 0 254752549 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716859937720 140716701934985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22512/stat : 22512 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716821428648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22513] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22513/stat : 22513 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716820376104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22514] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22514/stat : 22514 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716701378728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22515] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22515/stat : 22515 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716700326184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22516] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22516/stat : 22516 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716699274152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22517] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22517/stat : 22517 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716698221608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22518] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22518/stat : 22518 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716697168552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22519] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22519/stat : 22519 (java) S 22507 22509 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716696116008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22520] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22520/stat : 22520 (java) S 22507 22509 20833 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716213786984 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22521] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22521/stat : 22521 (java) S 22507 22509 20833 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716212733304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22522] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22522/stat : 22522 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716211680136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22523] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22523/stat : 22523 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716210628880 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22524] ppid=22507 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22509/task/22524/stat : 22524 (java) S 22507 22509 20833 0 -1 4202560 4061 0 0 0 34 2 0 0 20 0 19 0 254752554 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716209576760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22525] ppid=22507 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/22509/task/22525/stat : 22525 (java) S 22507 22509 20833 0 -1 4202560 2620 0 0 0 31 0 0 0 20 0 19 0 254752554 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716208524216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22526] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22526/stat : 22526 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716207471352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22527] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22527/stat : 22527 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716206419016 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22528] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22528/stat : 22528 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752582 9855975424 10881 33554432000 1073741824 1073778376 140734189964944 140716204868648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22529
/proc/meminfo: memFree=29748324/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9624976 CPUtime=3.81 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 10516 0 1 0 377 4 0 0 20 0 19 0 254752547 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2406244 14003 2282 9 0 2396937 0
[pid=22509/tid=22511] ppid=22507 vsize=9624976 CPUtime=3.03 cores=0,2,4,6
/proc/22509/task/22511/stat : 22511 (java) R 22507 22509 20833 0 -1 4202560 2477 0 1 0 301 2 0 0 20 0 19 0 254752549 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716859937144 140716701934944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22512/stat : 22512 (java) S 22507 22509 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716821428648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22513] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22513/stat : 22513 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716820376104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22514] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22514/stat : 22514 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716701378728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22515] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22515/stat : 22515 (java) S 22507 22509 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716700326184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22516] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22516/stat : 22516 (java) S 22507 22509 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716699274152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22517] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22517/stat : 22517 (java) S 22507 22509 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716698221608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22518] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22518/stat : 22518 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716697168552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22519] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22519/stat : 22519 (java) S 22507 22509 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716696116008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22520] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22520/stat : 22520 (java) S 22507 22509 20833 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716213786984 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22521] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22521/stat : 22521 (java) S 22507 22509 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716212733304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22522] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22522/stat : 22522 (java) S 22507 22509 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716211680136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22523] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22523/stat : 22523 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716210628880 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22524] ppid=22507 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22509/task/22524/stat : 22524 (java) S 22507 22509 20833 0 -1 4202560 4063 0 0 0 36 2 0 0 20 0 19 0 254752554 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716209576760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22525] ppid=22507 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/22509/task/22525/stat : 22525 (java) S 22507 22509 20833 0 -1 4202560 2735 0 0 0 33 0 0 0 20 0 19 0 254752554 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716208524216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22526] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22526/stat : 22526 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716207471352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22527] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22527/stat : 22527 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716206419016 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22528] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22528/stat : 22528 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752582 9855975424 14003 33554432000 1073741824 1073778376 140734189964944 140716204868648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 22529
/proc/meminfo: memFree=29745576/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9624976 CPUtime=7.09 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 10996 0 1 0 705 4 0 0 20 0 19 0 254752547 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2406244 14520 2282 9 0 2396937 0
[pid=22509/tid=22511] ppid=22507 vsize=9624976 CPUtime=6.16 cores=0,2,4,6
/proc/22509/task/22511/stat : 22511 (java) R 22507 22509 20833 0 -1 4202560 2479 0 1 0 614 2 0 0 20 0 19 0 254752549 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716859937176 140716701979115 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22512/stat : 22512 (java) S 22507 22509 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716821428648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22513] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22513/stat : 22513 (java) S 22507 22509 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716820376104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22514] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22514/stat : 22514 (java) S 22507 22509 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716701378728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22515] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22515/stat : 22515 (java) S 22507 22509 20833 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716700326184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22516] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22516/stat : 22516 (java) S 22507 22509 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716699274152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22517] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22517/stat : 22517 (java) S 22507 22509 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716698221608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22518] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22518/stat : 22518 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716697168552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22519] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22519/stat : 22519 (java) S 22507 22509 20833 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254752550 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716696116008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22520] ppid=22507 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/22509/task/22520/stat : 22520 (java) S 22507 22509 20833 0 -1 4202560 52 0 0 0 5 0 0 0 20 0 19 0 254752551 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716213786984 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22521] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22521/stat : 22521 (java) S 22507 22509 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716212733304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22522] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22522/stat : 22522 (java) S 22507 22509 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716211680136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22523] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22523/stat : 22523 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716210628880 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22524] ppid=22507 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/22509/task/22524/stat : 22524 (java) S 22507 22509 20833 0 -1 4202560 4069 0 0 0 38 2 0 0 20 0 19 0 254752554 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716209576760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22525] ppid=22507 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22509/task/22525/stat : 22525 (java) S 22507 22509 20833 0 -1 4202560 3176 0 0 0 39 0 0 0 20 0 19 0 254752554 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716208524216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22526] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22526/stat : 22526 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716207471352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22527] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22527/stat : 22527 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716206419016 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22528] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22528/stat : 22528 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752582 9855975424 14520 33554432000 1073741824 1073778376 140734189964944 140716204868648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=22509/tid=22524] ppid=22507 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22509/task/22524/stat : 22524 (java) S 22507 22509 20833 0 -1 4202560 4069 0 0 0 39 2 0 0 20 0 19 0 254752554 9855975424 50988 33554432000 1073741824 1073778376 140734189964944 140716209576760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22525] ppid=22507 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22509/task/22525/stat : 22525 (java) S 22507 22509 20833 0 -1 4202560 18115 0 0 0 149 4 0 0 20 0 19 0 254752554 9855975424 50988 33554432000 1073741824 1073778376 140734189964944 140716208524216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22526] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22526/stat : 22526 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 50988 33554432000 1073741824 1073778376 140734189964944 140716207471352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22527] ppid=22507 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22509/task/22527/stat : 22527 (java) S 22507 22509 20833 0 -1 4202560 95 0 0 0 26 22 0 0 20 0 19 0 254752554 9855975424 50988 33554432000 1073741824 1073778376 140734189964944 140716206419016 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22528] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22528/stat : 22528 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752582 9855975424 50988 33554432000 1073741824 1073778376 140734189964944 140716204868648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1666.81
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 22603
/proc/meminfo: memFree=27827596/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9624976 CPUtime=1726.85 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 27514 0 1 0 172642 43 0 0 20 0 19 0 254752547 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2406244 50991 2283 9 0 2396937 0
[pid=22509/tid=22511] ppid=22507 vsize=9624976 CPUtime=1712.44 cores=0,2,4,6
/proc/22509/task/22511/stat : 22511 (java) R 22507 22509 20833 0 -1 4202560 2602 0 1 0 171213 31 0 0 20 0 19 0 254752549 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716859937056 140716701979212 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22509/task/22512/stat : 22512 (java) S 22507 22509 20833 0 -1 4202560 173 0 0 0 42 2 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716821428648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22513] ppid=22507 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22509/task/22513/stat : 22513 (java) S 22507 22509 20833 0 -1 4202560 119 0 0 0 41 2 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716820376104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22514] ppid=22507 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22509/task/22514/stat : 22514 (java) S 22507 22509 20833 0 -1 4202560 205 0 0 0 41 0 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716701378728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22515] ppid=22507 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22509/task/22515/stat : 22515 (java) S 22507 22509 20833 0 -1 4202560 294 0 0 0 47 2 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716700326184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22516] ppid=22507 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22509/task/22516/stat : 22516 (java) S 22507 22509 20833 0 -1 4202560 60 0 0 0 41 0 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716699274152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22517] ppid=22507 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22509/task/22517/stat : 22517 (java) S 22507 22509 20833 0 -1 4202560 68 0 0 0 45 0 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716698221608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22518] ppid=22507 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22509/task/22518/stat : 22518 (java) S 22507 22509 20833 0 -1 4202560 173 0 0 0 41 2 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716697168552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22519] ppid=22507 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22509/task/22519/stat : 22519 (java) S 22507 22509 20833 0 -1 4202560 185 0 0 0 46 0 0 0 20 0 19 0 254752550 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716696116008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22520] ppid=22507 vsize=9624976 CPUtime=4.24 cores=0,2,4,6
/proc/22509/task/22520/stat : 22520 (java) S 22507 22509 20833 0 -1 4202560 172 0 0 0 422 2 0 0 20 0 19 0 254752551 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716213786984 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22521] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22521/stat : 22521 (java) S 22507 22509 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716212733304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22522] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22522/stat : 22522 (java) S 22507 22509 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716211680136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22523] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22523/stat : 22523 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716210628880 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22524] ppid=22507 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22509/task/22524/stat : 22524 (java) S 22507 22509 20833 0 -1 4202560 4069 0 0 0 39 2 0 0 20 0 19 0 254752554 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716209576760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22525] ppid=22507 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22509/task/22525/stat : 22525 (java) S 22507 22509 20833 0 -1 4202560 18115 0 0 0 149 4 0 0 20 0 19 0 254752554 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716208524216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22526] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22526/stat : 22526 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716207471352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22527] ppid=22507 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/22509/task/22527/stat : 22527 (java) S 22507 22509 20833 0 -1 4202560 99 0 0 0 26 24 0 0 20 0 19 0 254752554 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716206419016 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22528] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22528/stat : 22528 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752582 9855975424 50991 33554432000 1073741824 1073778376 140734189964944 140716204868648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.85
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 22603
/proc/meminfo: memFree=27818720/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9624976 CPUtime=1786.92 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 27543 0 1 0 178649 43 0 0 20 0 19 0 254752547 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2406244 51013 2283 9 0 2396937 0
[pid=22509/tid=22511] ppid=22507 vsize=9624976 CPUtime=1772.17 cores=0,2,4,6
/proc/22509/task/22511/stat : 22511 (java) R 22507 22509 20833 0 -1 4202560 2603 0 1 0 177186 31 0 0 20 0 19 0 254752549 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716859937056 140716702050538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22509/task/22512/stat : 22512 (java) S 22507 22509 20833 0 -1 4202560 173 0 0 0 43 2 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716821428648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22513] ppid=22507 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22509/task/22513/stat : 22513 (java) S 22507 22509 20833 0 -1 4202560 119 0 0 0 42 2 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716820376104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22514] ppid=22507 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22509/task/22514/stat : 22514 (java) S 22507 22509 20833 0 -1 4202560 227 0 0 0 43 0 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716701378728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22515] ppid=22507 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/22509/task/22515/stat : 22515 (java) S 22507 22509 20833 0 -1 4202560 294 0 0 0 48 2 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716700326184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22516] ppid=22507 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/22509/task/22516/stat : 22516 (java) S 22507 22509 20833 0 -1 4202560 60 0 0 0 42 0 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716699274152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22517] ppid=22507 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22509/task/22517/stat : 22517 (java) S 22507 22509 20833 0 -1 4202560 68 0 0 0 46 0 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716698221608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22518] ppid=22507 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22509/task/22518/stat : 22518 (java) S 22507 22509 20833 0 -1 4202560 173 0 0 0 42 2 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716697168552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22519] ppid=22507 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/22509/task/22519/stat : 22519 (java) S 22507 22509 20833 0 -1 4202560 185 0 0 0 47 0 0 0 20 0 19 0 254752550 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716696116008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22520] ppid=22507 vsize=9624976 CPUtime=4.32 cores=0,2,4,6
/proc/22509/task/22520/stat : 22520 (java) S 22507 22509 20833 0 -1 4202560 174 0 0 0 430 2 0 0 20 0 19 0 254752551 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716213786984 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22521] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22521/stat : 22521 (java) S 22507 22509 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716212733304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22522] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22522/stat : 22522 (java) S 22507 22509 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716211680136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22523] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22523/stat : 22523 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716210628880 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22524] ppid=22507 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22509/task/22524/stat : 22524 (java) S 22507 22509 20833 0 -1 4202560 4069 0 0 0 39 2 0 0 20 0 19 0 254752554 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716209576760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22525] ppid=22507 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22509/task/22525/stat : 22525 (java) S 22507 22509 20833 0 -1 4202560 18115 0 0 0 149 4 0 0 20 0 19 0 254752554 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716208524216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22526] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22526/stat : 22526 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716207471352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22527] ppid=22507 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22509/task/22527/stat : 22527 (java) S 22507 22509 20833 0 -1 4202560 103 0 0 0 28 25 0 0 20 0 19 0 254752554 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716206419016 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22528] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22528/stat : 22528 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752582 9855975424 51013 33554432000 1073741824 1073778376 140734189964944 140716204868648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.92
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 22603
/proc/meminfo: memFree=27818596/32873844 swapFree=7100/7100
[pid=22509] ppid=22507 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22509/stat : 22509 (java) S 22507 22509 20833 0 -1 4202496 27576 0 1 0 179963 44 0 0 20 0 19 0 254752547 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140734189956080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22509/statm: 2406244 51043 2283 9 0 2396937 0
[pid=22509/tid=22511] ppid=22507 vsize=9624976 CPUtime=1785.16 cores=0,2,4,6
/proc/22509/task/22511/stat : 22511 (java) R 22507 22509 20833 0 -1 4202560 2604 0 1 0 178484 32 0 0 20 0 19 0 254752549 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716859937056 140716701979780 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22509/task/22512/stat : 22512 (java) S 22507 22509 20833 0 -1 4202560 173 0 0 0 44 2 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716821428648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22513] ppid=22507 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22509/task/22513/stat : 22513 (java) S 22507 22509 20833 0 -1 4202560 119 0 0 0 43 2 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716820376104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22514] ppid=22507 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22509/task/22514/stat : 22514 (java) S 22507 22509 20833 0 -1 4202560 227 0 0 0 43 0 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716701378728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22515] ppid=22507 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/22509/task/22515/stat : 22515 (java) S 22507 22509 20833 0 -1 4202560 324 0 0 0 49 2 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716700326184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22516] ppid=22507 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/22509/task/22516/stat : 22516 (java) S 22507 22509 20833 0 -1 4202560 60 0 0 0 42 0 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716699274152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22517] ppid=22507 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/22509/task/22517/stat : 22517 (java) S 22507 22509 20833 0 -1 4202560 68 0 0 0 47 0 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716698221608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22518] ppid=22507 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22509/task/22518/stat : 22518 (java) S 22507 22509 20833 0 -1 4202560 173 0 0 0 42 2 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716697168552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22519] ppid=22507 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22509/task/22519/stat : 22519 (java) S 22507 22509 20833 0 -1 4202560 185 0 0 0 48 0 0 0 20 0 19 0 254752550 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716696116008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22509/tid=22520] ppid=22507 vsize=9624976 CPUtime=4.38 cores=0,2,4,6
/proc/22509/task/22520/stat : 22520 (java) S 22507 22509 20833 0 -1 4202560 176 0 0 0 436 2 0 0 20 0 19 0 254752551 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716213786984 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22521] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22521/stat : 22521 (java) S 22507 22509 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716212733304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22522] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22522/stat : 22522 (java) S 22507 22509 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254752551 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716211680136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22523] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22523/stat : 22523 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716210628880 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22524] ppid=22507 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22509/task/22524/stat : 22524 (java) S 22507 22509 20833 0 -1 4202560 4069 0 0 0 39 2 0 0 20 0 19 0 254752554 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716209576760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22509/tid=22525] ppid=22507 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22509/task/22525/stat : 22525 (java) S 22507 22509 20833 0 -1 4202560 18115 0 0 0 149 4 0 0 20 0 19 0 254752554 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716208524216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22526] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22526/stat : 22526 (java) S 22507 22509 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254752554 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716207471352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22509/tid=22527] ppid=22507 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22509/task/22527/stat : 22527 (java) S 22507 22509 20833 0 -1 4202560 103 0 0 0 28 25 0 0 20 0 19 0 254752554 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716206419016 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22509/tid=22528] ppid=22507 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22509/task/22528/stat : 22528 (java) S 22507 22509 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254752582 9855975424 51043 33554432000 1073741824 1073778376 140734189964944 140716204868648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1795.45
CPU time (s): 1800.07
CPU user time (s): 1799.63
CPU system time (s): 0.44
CPU usage (%): 100.257
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.15
system time used= 0.871867
maximum resident set size= 206340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27608
page faults= 1
swaps= 0
block input operations= 240
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40872
involuntary context switches= 20837

runsolver used 5.71213 second user time and 15.1137 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-24 21:04:00
IDJOB=3688655
IDBENCH=48159
IDSOLVER=2269
FILE ID=node102/3688655-1337886240
RUNJOBID= node102-1337871881-20849
PBS_JOBID= 14620102
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688655-1337886240/watcher-3688655-1337886240 -o /tmp/evaluation-result-3688655-1337886240/solver-3688655-1337886240 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688655-1337886240.opb

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=2125905352

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29796632 kB
Buffers:          206076 kB
Cached:          1951136 kB
SwapCached:            0 kB
Active:           788508 kB
Inactive:        1520372 kB
Active(anon):     153892 kB
Inactive(anon):        0 kB
Active(file):     634616 kB
Inactive(file):  1520372 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               536 kB
Writeback:             0 kB
AnonPages:        164584 kB
Mapped:            22540 kB
Shmem:               200 kB
Slab:             623160 kB
SReclaimable:      65712 kB
SUnreclaim:       557448 kB
KernelStack:        1592 kB
PageTables:         4728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node102 at 2012-05-24 21:33:58