Trace number 3689473

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)165 1800.04 1794.05

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1616732.opb
MD5SUMbb6edae9b271ecf76d3d6c31c88b027d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark159
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints1999
Number of constraints which are clauses1999
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3689473-1337890614.opb
0.10/0.10	c reading problem ... 
0.28/0.23	c ... done. Wall clock time 0.127s.
0.28/0.23	c declared #vars     200
0.28/0.23	c #constraints  1999
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1999
0.28/0.23	c 1999 constraints processed.
0.28/0.23	c objective function length is 200 literals
0.28/0.23	c SATISFIABLE
0.28/0.23	c OPTIMIZING...
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.134
0.28/0.23	o 172
0.28/0.24	c Got one! Elapsed wall clock time (in seconds):0.145
0.28/0.24	o 171
0.86/0.56	c cleaning 2504 clauses out of 5008 with flag 5000/5008
1.11/0.79	c cleaning 4251 clauses out of 8505 with flag 11001/11009
1.46/1.06	c cleaning 5627 clauses out of 11253 with flag 18000/18008
1.86/1.43	c cleaning 6814 clauses out of 13628 with flag 26002/26010
2.42/1.90	c cleaning 7906 clauses out of 15812 with flag 35000/35008
2.94/2.45	c cleaning 8952 clauses out of 17906 with flag 45000/45008
3.67/3.11	c cleaning 9977 clauses out of 19955 with flag 56001/56009
4.48/3.91	c cleaning 10989 clauses out of 21977 with flag 68000/68008
5.39/4.88	c cleaning 11993 clauses out of 23989 with flag 81001/81009
6.40/5.89	c cleaning 12993 clauses out of 25995 with flag 95000/95008
7.51/6.98	c cleaning 13999 clauses out of 28002 with flag 110000/110008
8.74/8.19	c cleaning 14999 clauses out of 30003 with flag 126000/126008
10.16/9.56	c cleaning 16000 clauses out of 32005 with flag 143001/143009
11.90/11.26	c cleaning 17002 clauses out of 34004 with flag 161000/161008
13.93/13.26	c cleaning 18001 clauses out of 36002 with flag 180000/180008
15.94/15.24	c cleaning 19000 clauses out of 38001 with flag 200000/200008
18.37/17.68	c cleaning 19999 clauses out of 40002 with flag 221001/221009
20.77/20.03	c cleaning 21002 clauses out of 42004 with flag 243002/243010
23.29/22.51	c cleaning 21995 clauses out of 44000 with flag 266000/266008
26.33/25.62	c cleaning 23004 clauses out of 46008 with flag 290003/290011
29.76/28.95	c cleaning 23998 clauses out of 48002 with flag 315001/315009
33.07/32.27	c cleaning 25002 clauses out of 50006 with flag 341003/341011
36.51/35.66	c cleaning 26001 clauses out of 52001 with flag 368000/368008
40.83/39.98	c cleaning 26997 clauses out of 54001 with flag 396001/396009
45.25/44.34	c cleaning 27997 clauses out of 56004 with flag 425001/425009
50.87/49.92	c cleaning 29003 clauses out of 58006 with flag 455000/455008
55.40/54.48	c cleaning 29997 clauses out of 60003 with flag 486000/486008
59.63/58.69	c cleaning 30997 clauses out of 62006 with flag 518000/518008
64.36/63.31	c cleaning 31999 clauses out of 64009 with flag 551000/551008
69.30/68.22	c cleaning 33004 clauses out of 66010 with flag 585000/585008
75.22/74.13	c cleaning 34001 clauses out of 68008 with flag 620002/620010
80.76/79.63	c cleaning 34998 clauses out of 70006 with flag 656001/656009
86.80/85.69	c cleaning 36000 clauses out of 72007 with flag 693000/693008
93.34/92.10	c cleaning 36999 clauses out of 74007 with flag 731000/731008
99.78/98.50	c cleaning 38004 clauses out of 76008 with flag 770000/770008
107.34/106.09	c cleaning 39000 clauses out of 78004 with flag 810000/810008
114.87/113.51	c cleaning 39999 clauses out of 80005 with flag 851001/851009
123.52/122.12	c cleaning 40997 clauses out of 82006 with flag 893001/893009
132.76/131.33	c cleaning 42005 clauses out of 84009 with flag 936001/936009
142.53/141.01	c cleaning 42998 clauses out of 86003 with flag 980000/980008
151.38/149.82	c cleaning 44001 clauses out of 88008 with flag 1025003/1025011
162.23/160.68	c cleaning 45003 clauses out of 90006 with flag 1071002/1071010
172.55/170.98	c cleaning 46000 clauses out of 92001 with flag 1118000/1118008
184.20/182.55	c cleaning 46993 clauses out of 94002 with flag 1166001/1166009
195.35/193.62	c cleaning 48002 clauses out of 96010 with flag 1215002/1215010
198.46/196.78	c Got one! Elapsed wall clock time (in seconds):196.68
198.46/196.78	o 170
198.56/196.83	c Got one! Elapsed wall clock time (in seconds):196.734
198.56/196.83	o 169
198.56/196.86	c Got one! Elapsed wall clock time (in seconds):196.758
198.56/196.86	o 168
198.77/197.04	c Got one! Elapsed wall clock time (in seconds):196.937
198.77/197.04	o 167
198.77/197.05	c Got one! Elapsed wall clock time (in seconds):196.951
198.77/197.05	o 166
199.77/198.08	c cleaning 39130 clauses out of 78259 with flag 1000/1245261
200.09/198.34	c Got one! Elapsed wall clock time (in seconds):198.244
200.09/198.34	o 165
200.60/198.83	c cleaning 22538 clauses out of 45076 with flag 2000/1251208
201.13/199.38	c cleaning 14268 clauses out of 28539 with flag 8001/1257209
201.73/199.96	c cleaning 10633 clauses out of 21271 with flag 15001/1264209
202.24/200.47	c cleaning 9318 clauses out of 18638 with flag 23001/1272209
202.85/201.09	c cleaning 9158 clauses out of 18320 with flag 32001/1281209
203.45/201.69	c cleaning 9578 clauses out of 19161 with flag 42000/1291208
204.16/202.38	c cleaning 10288 clauses out of 20584 with flag 53001/1302209
204.87/203.04	c cleaning 11147 clauses out of 22295 with flag 65000/1314208
205.77/203.92	c cleaning 12071 clauses out of 24149 with flag 78001/1327209
206.87/205.06	c cleaning 13038 clauses out of 26078 with flag 92001/1341209
208.09/206.22	c cleaning 14016 clauses out of 28041 with flag 107002/1356210
209.30/207.47	c cleaning 15007 clauses out of 30023 with flag 123000/1372208
210.71/208.80	c cleaning 16007 clauses out of 32016 with flag 140000/1389208
212.25/210.31	c cleaning 17001 clauses out of 34010 with flag 158001/1407209
213.76/211.82	c cleaning 18001 clauses out of 36008 with flag 177000/1426208
215.49/213.53	c cleaning 19000 clauses out of 38007 with flag 197000/1446208
217.22/215.24	c cleaning 20001 clauses out of 40009 with flag 218002/1467210
219.23/217.26	c cleaning 21000 clauses out of 42006 with flag 240000/1489208
221.35/219.31	c cleaning 21997 clauses out of 44006 with flag 263000/1512208
223.59/221.57	c cleaning 23004 clauses out of 46009 with flag 287000/1536208
226.01/223.91	c cleaning 24002 clauses out of 48007 with flag 312002/1561210
228.32/226.20	c cleaning 24999 clauses out of 50004 with flag 338001/1587209
230.76/228.68	c cleaning 26000 clauses out of 52004 with flag 365000/1614208
233.68/231.55	c cleaning 26999 clauses out of 54005 with flag 393001/1642209
236.62/234.48	c cleaning 27996 clauses out of 56006 with flag 422001/1671209
239.32/237.18	c cleaning 29005 clauses out of 58010 with flag 452001/1701209
242.34/240.17	c cleaning 29998 clauses out of 60005 with flag 483001/1732209
246.18/243.92	c cleaning 31000 clauses out of 62006 with flag 515000/1764208
250.61/248.31	c cleaning 32001 clauses out of 64006 with flag 548000/1797208
255.62/253.37	c cleaning 33004 clauses out of 66008 with flag 582003/1831211
261.15/258.85	c cleaning 33998 clauses out of 68002 with flag 617001/1866209
266.37/264.02	c cleaning 35000 clauses out of 70004 with flag 653001/1902209
272.88/270.51	c cleaning 36001 clauses out of 72003 with flag 690000/1939208
280.21/277.86	c cleaning 36998 clauses out of 74004 with flag 728002/1977210
289.25/286.84	c cleaning 37995 clauses out of 76004 with flag 767000/2016208
297.90/295.45	c cleaning 38999 clauses out of 78009 with flag 807000/2056208
307.75/305.23	c cleaning 40003 clauses out of 80010 with flag 848000/2097208
318.29/315.71	c cleaning 41001 clauses out of 82008 with flag 890001/2139209
328.92/326.35	c cleaning 42000 clauses out of 84006 with flag 933000/2182208
340.54/337.93	c cleaning 43004 clauses out of 86007 with flag 977001/2226209
349.96/347.30	c cleaning 43997 clauses out of 88002 with flag 1022000/2271208
359.21/356.54	c cleaning 44999 clauses out of 90007 with flag 1068002/2317210
367.54/364.81	c cleaning 46004 clauses out of 92008 with flag 1115002/2364210
375.37/372.64	c cleaning 46996 clauses out of 94002 with flag 1163000/2412208
384.33/381.60	c cleaning 47996 clauses out of 96006 with flag 1212000/2461208
393.75/390.97	c cleaning 49002 clauses out of 98010 with flag 1262000/2511208
403.90/401.02	c cleaning 49997 clauses out of 100008 with flag 1313000/2562208
417.60/414.63	c cleaning 51005 clauses out of 102015 with flag 1365004/2614212
433.15/430.13	c cleaning 52005 clauses out of 104009 with flag 1418003/2667211
451.23/448.19	c cleaning 53001 clauses out of 106001 with flag 1472000/2721208
471.46/468.23	c cleaning 54002 clauses out of 108003 with flag 1527003/2776211
492.85/489.52	c cleaning 54995 clauses out of 109998 with flag 1583000/2832208
513.41/510.06	c cleaning 56002 clauses out of 112004 with flag 1640001/2889209
535.86/532.44	c cleaning 57001 clauses out of 114001 with flag 1698000/2947208
557.10/553.67	c cleaning 57994 clauses out of 116001 with flag 1757001/3006209
577.25/573.70	c cleaning 59001 clauses out of 118006 with flag 1817000/3066208
592.29/588.76	c cleaning 60004 clauses out of 120007 with flag 1878002/3127210
615.07/611.43	c cleaning 60997 clauses out of 122001 with flag 1940000/3189208
638.61/634.98	c cleaning 62002 clauses out of 124005 with flag 2003001/3252209
659.96/656.20	c cleaning 63000 clauses out of 126003 with flag 2067001/3316209
688.63/684.88	c cleaning 64002 clauses out of 128004 with flag 2132002/3381210
716.88/713.00	c cleaning 64994 clauses out of 130000 with flag 2198000/3447208
736.94/733.02	c cleaning 66001 clauses out of 132006 with flag 2265000/3514208
754.58/750.68	c cleaning 67003 clauses out of 134006 with flag 2333001/3582209
773.14/769.14	c cleaning 67998 clauses out of 136003 with flag 2402001/3651209
796.70/792.69	c cleaning 68995 clauses out of 138004 with flag 2472000/3721208
826.32/822.27	c cleaning 70001 clauses out of 140009 with flag 2543000/3792208
855.16/851.05	c cleaning 70999 clauses out of 142008 with flag 2615000/3864208
883.91/879.77	c cleaning 72002 clauses out of 144009 with flag 2688000/3937208
914.29/910.09	c cleaning 73002 clauses out of 146007 with flag 2762000/4011208
947.03/942.79	c cleaning 73998 clauses out of 148006 with flag 2837001/4086209
977.86/973.59	c cleaning 75001 clauses out of 150007 with flag 2913000/4162208
1012.20/1007.83	c cleaning 76000 clauses out of 152007 with flag 2990001/4239209
1053.62/1049.14	c cleaning 76997 clauses out of 154006 with flag 3068000/4317208
1093.98/1089.48	c cleaning 78002 clauses out of 156009 with flag 3147000/4396208
1127.09/1122.47	c cleaning 79003 clauses out of 158008 with flag 3227001/4476209
1164.07/1159.35	c cleaning 79999 clauses out of 160006 with flag 3308002/4557210
1193.76/1188.94	c cleaning 81001 clauses out of 162007 with flag 3390002/4639210
1222.91/1218.07	c cleaning 82000 clauses out of 164006 with flag 3473002/4722210
1256.28/1251.31	c cleaning 83000 clauses out of 166004 with flag 3557000/4806208
1296.66/1291.66	c cleaning 83998 clauses out of 168006 with flag 3642002/4891210
1327.83/1322.70	c cleaning 84999 clauses out of 170006 with flag 3728000/4977208
1364.21/1359.05	c cleaning 86000 clauses out of 172008 with flag 3815001/5064209
1389.89/1384.60	c cleaning 86999 clauses out of 174007 with flag 3903000/5152208
1421.62/1416.25	c cleaning 88001 clauses out of 176010 with flag 3992002/5241210
1453.55/1448.10	c cleaning 89000 clauses out of 178009 with flag 4082002/5331210
1487.03/1481.53	c cleaning 90002 clauses out of 180007 with flag 4173000/5422208
1517.76/1512.22	c cleaning 90998 clauses out of 182005 with flag 4265000/5514208
1553.34/1547.71	c cleaning 91998 clauses out of 184007 with flag 4358000/5607208
1594.40/1588.73	c cleaning 93003 clauses out of 186009 with flag 4452000/5701208
1642.92/1637.21	c cleaning 93999 clauses out of 188006 with flag 4547000/5796208
1691.88/1686.18	c cleaning 94999 clauses out of 190008 with flag 4643001/5892209
1743.40/1737.56	c cleaning 95996 clauses out of 192010 with flag 4740002/5989210
1782.51/1776.52	c cleaning 97006 clauses out of 194012 with flag 4838000/6087208
1800.04/1794.01	c starts		: 284
1800.04/1794.01	c conflicts		: 6141057
1800.04/1794.01	c decisions		: 6306157
1800.04/1794.01	c propagations		: 32218495
1800.04/1794.01	c inspects		: 20635250604
1800.04/1794.01	c shortcuts		: 0
1800.04/1794.01	c learnt literals	: 0
1800.04/1794.01	c learnt binary clauses	: 0
1800.04/1794.01	c learnt ternary clauses	: 0
1800.04/1794.01	c learnt constraints	: 6141057
1800.04/1794.01	c ignored constraints	: 0
1800.04/1794.01	c root simplifications	: 0
1800.04/1794.01	c removed literals (reason simplification)	: 0
1800.04/1794.01	c reason swapping (by a shorter reason)	: 0
1800.04/1794.01	c Calls to reduceDB	: 140
1800.04/1794.01	c number of reductions to clauses (during analyze)	: 0
1800.04/1794.01	c number of learned constraints concerned by reduction	: 0
1800.04/1794.01	c number of learning phase by resolution	: 0
1800.04/1794.01	c number of learning phase by cutting planes	: 0
1800.04/1794.01	c speed (assignments/second)	: 17961.229916712196
1800.04/1794.01	c non guided choices	0
1800.04/1794.04	c learnt constraints type 
1800.04/1794.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150877
1800.04/1794.04	c constraints type 
1800.04/1794.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1794.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1999
1800.04/1794.04	c 2000 constraints processed.
1800.04/1794.04	s SATISFIABLE
1800.04/1794.04	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 -x101 x102 x103 x104 x105 -x106 x107 x108 x109 -x110 x111 x112 x113 x114 x115 x116 -x117 x118 -x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 -x130 x131 x132 -x133 x134 -x135 x136 -x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 -x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 -x160 -x161 x162 x163 x164 x165 x166 -x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 -x177 x178 x179 -x180 x181 -x182 x183 x184 x185 x186 x187 x188 x189 x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 
1800.04/1794.04	c objective function=165
1800.04/1794.04	c Total wall clock time (in seconds): 1793.945

Verifier Data

OK	165

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

running on 4 cores: 1,3,5,7

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.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/26457/stat : 26457 (java) R 26455 26457 23289 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 255186904 23793664 716 33554432000 1073741824 1073778376 140736039674080 140736039663144 252253878352 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 5809 717 532 9 0 128 0

[startup+0.034877 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 3016 0 1 0 1 0 0 0 20 0 13 0 255186904 9446973440 3714 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2306390 3714 1695 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100263 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 4445 0 1 0 9 1 0 0 20 0 18 0 255186904 9787813888 6109 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2389603 6109 2137 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300192 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6436 0 1 0 49 1 0 0 20 0 19 0 255186904 9855975424 8009 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 8009 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976

[startup+0.700243 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 26457
/proc/meminfo: memFree=29000100/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6844 0 1 0 109 2 0 0 20 0 19 0 255186904 9855975424 11524 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 11524 2268 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 26476
/proc/meminfo: memFree=28956084/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=2.02 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6880 0 1 0 199 3 0 0 20 0 19 0 255186904 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 14617 2268 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2456 0 1 0 139 2 0 0 20 0 19 0 255186904 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534466486680 140534300019041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255186906 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2000 0 0 0 22 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 14617 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 26476
/proc/meminfo: memFree=28947768/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=3.67 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6887 0 1 0 364 3 0 0 20 0 19 0 255186904 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 15644 2268 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2458 0 1 0 293 2 0 0 20 0 19 0 255186904 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534300163056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 255186906 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2000 0 0 0 22 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 15644 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 26476
/proc/meminfo: memFree=28935108/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=6.91 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 6939 0 1 0 687 4 0 0 20 0 19 0 255186904 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 18679 2268 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=6.05 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2464 0 1 0 603 2 0 0 20 0 19 0 255186904 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534466486680 140534300019084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 255186905 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 36 0 0 0 13 0 0 0 20 0 19 0 255186906 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2000 0 0 0 22 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 18679 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 99 0 0 0 38 52 0 0 20 0 19 0 255186909 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 70756 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.2
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26549
/proc/meminfo: memFree=25912532/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1788.33 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 9182 0 1 0 178734 99 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 71284 2270 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1769.67 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2623 0 1 0 176939 28 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534299991609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 212 0 0 0 72 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 174 0 0 0 71 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 135 0 0 0 69 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 118 0 0 0 83 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 409 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 291 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 228 0 0 0 80 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 248 0 0 0 83 1 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=6.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 161 0 0 0 609 4 0 0 20 0 19 0 255186906 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 103 0 0 0 40 54 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.33
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26549
/proc/meminfo: memFree=25912656/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 9182 0 1 0 179905 99 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 71284 2270 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1781.35 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2623 0 1 0 178106 29 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534300012741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 212 0 0 0 72 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 174 0 0 0 71 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 135 0 0 0 69 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 118 0 0 0 83 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 409 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 291 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 228 0 0 0 80 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 248 0 0 0 83 1 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=6.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 161 0 0 0 609 4 0 0 20 0 19 0 255186906 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 103 0 0 0 40 54 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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

[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26549
/proc/meminfo: memFree=25912656/32873852 swapFree=7616/7616
[pid=26457] ppid=26455 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26457 23289 0 -1 4202496 9182 0 1 0 179905 99 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140736039665216 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26457/statm: 2406244 71284 2270 9 0 2396937 0
[pid=26457/tid=26459] ppid=26455 vsize=9624976 CPUtime=1781.35 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) R 26455 26457 23289 0 -1 4202560 2623 0 1 0 178106 29 0 0 20 0 19 0 255186904 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534466486560 140534300012741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26460] ppid=26455 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26457 23289 0 -1 4202560 212 0 0 0 72 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534427978664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26461] ppid=26455 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26457 23289 0 -1 4202560 174 0 0 0 71 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534426926120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26462] ppid=26455 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26457 23289 0 -1 4202560 135 0 0 0 69 2 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534425873064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26463] ppid=26455 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26457 23289 0 -1 4202560 118 0 0 0 83 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534424820520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26464] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26457 23289 0 -1 4202560 409 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534423767464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26465] ppid=26455 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26457 23289 0 -1 4202560 291 0 0 0 76 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534422714920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26457/tid=26466] ppid=26455 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26457 23289 0 -1 4202560 228 0 0 0 80 3 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534421661864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26467] ppid=26455 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26457 23289 0 -1 4202560 248 0 0 0 83 1 0 0 20 0 19 0 255186905 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534420609320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26468] ppid=26455 vsize=9624976 CPUtime=6.13 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26457 23289 0 -1 4202560 161 0 0 0 609 4 0 0 20 0 19 0 255186906 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534290013032 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26469] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26457 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534288959352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26470] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26457 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186907 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534287906184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26471] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534286854928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26472] ppid=26455 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/26457/task/26472/stat : 26472 (java) S 26455 26457 23289 0 -1 4202560 1151 0 0 0 23 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534285801784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26457/tid=26473] ppid=26455 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/26457/task/26473/stat : 26473 (java) S 26455 26457 23289 0 -1 4202560 2150 0 0 0 25 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140534284749240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26474] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26474/stat : 26474 (java) S 26455 26457 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533410294008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26457/tid=26475] ppid=26455 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/26457/task/26475/stat : 26475 (java) S 26455 26457 23289 0 -1 4202560 103 0 0 0 40 54 0 0 20 0 19 0 255186909 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533409241672 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26457/tid=26476] ppid=26455 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26476/stat : 26476 (java) S 26455 26457 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186927 9855975424 71284 33554432000 1073741824 1073778376 140736039674080 140533408187944 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26457 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=359215
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=211815
# CPU time returned by wait4() is 1795.57
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.05
CPU time (s): 1800.04
CPU user time (s): 1799.05
CPU system time (s): 0.99
CPU usage (%): 100.334
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 1.21182
maximum resident set size= 285296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9225
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41708
involuntary context switches= 16517

runsolver used 10.6694 second user time and 11.9142 second system time

The end

Launcher Data

Begin job on node131 at 2012-05-24 22:16:55
IDJOB=3689473
IDBENCH=89835
IDSOLVER=2269
FILE ID=node131/3689473-1337890614
RUNJOBID= node131-1337871881-23306
PBS_JOBID= 14620073
Free space on /tmp= 71576 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689473-1337890614/watcher-3689473-1337890614 -o /tmp/evaluation-result-3689473-1337890614/solver-3689473-1337890614 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689473-1337890614.opb

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

MD5SUM BENCH= bb6edae9b271ecf76d3d6c31c88b027d
RANDOM SEED=2058674001

node131.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.805
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.61
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.805
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.91
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.805
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		: 2666.805
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		: 2666.805
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		: 2666.805
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	: 5331.91
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28999992 kB
Buffers:          223708 kB
Cached:          2167212 kB
SwapCached:            0 kB
Active:          1223212 kB
Inactive:        1868444 kB
Active(anon):     703236 kB
Inactive(anon):        0 kB
Active(file):     519976 kB
Inactive(file):  1868444 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:        724036 kB
Mapped:            22616 kB
Shmem:               204 kB
Slab:             629496 kB
SReclaimable:      71680 kB
SUnreclaim:       557816 kB
KernelStack:        1584 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1593644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    675840 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= 71592 MiB
End job on node131 at 2012-05-24 22:46:51