Trace number 3709700

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshot? (TO) 1800.08 1794.06

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
MD5SUM3fa3d77c564aea49e42df3fe632e1a1c
Bench CategoryDEC-MEDINT (no optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.040993
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables77
Total number of constraints2
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 constraints2
Minimum length of a constraint77
Maximum length of a constraint77
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33367336
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 458257453
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.07	c version 2.3.2.v20120418
0.04/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.07	c java.vm.version	19.1-b02
0.04/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.07	c sun.arch.data.model	64
0.04/0.07	c java.version		1.6.0_24
0.04/0.07	c os.name		Linux
0.04/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.07	c os.arch		amd64
0.04/0.07	c Free memory 		501472288
0.04/0.07	c Max memory 		7480803328
0.04/0.07	c Total memory 		504102912
0.04/0.07	c Number of processors 	8
0.11/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.10	c configuring ORDERS
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=true
0.11/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3709700-1338150573.opb
0.11/0.11	c reading problem ... 
0.11/0.12	c ... done. Wall clock time 0.015s.
0.11/0.12	c declared #vars     77
0.11/0.12	c #constraints  2
0.11/0.12	c constraints type 
0.11/0.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.11/0.12	c 2 constraints processed.
0.64/0.41	c cleaning 2496 clauses out of 5000 with flag 5000/5000
0.94/0.60	c cleaning 4248 clauses out of 8505 with flag 11001/11001
1.14/0.80	c cleaning 5620 clauses out of 11256 with flag 18000/18000
1.36/1.05	c cleaning 6819 clauses out of 13637 with flag 26001/26001
1.67/1.35	c cleaning 7908 clauses out of 15818 with flag 35001/35001
1.98/1.68	c cleaning 8956 clauses out of 17911 with flag 45002/45002
2.39/2.08	c cleaning 9975 clauses out of 19953 with flag 56000/56000
2.79/2.49	c cleaning 10985 clauses out of 21979 with flag 68001/68001
3.51/3.12	c cleaning 11995 clauses out of 23994 with flag 81001/81001
3.91/3.59	c cleaning 12998 clauses out of 26000 with flag 95002/95002
4.62/4.24	c cleaning 13999 clauses out of 28002 with flag 110002/110002
5.24/4.85	c cleaning 14997 clauses out of 30002 with flag 126001/126001
5.85/5.42	c cleaning 16000 clauses out of 32006 with flag 143002/143002
6.67/6.28	c cleaning 17001 clauses out of 34005 with flag 161001/161001
7.69/7.20	c cleaning 17996 clauses out of 36004 with flag 180001/180001
8.39/7.94	c cleaning 19004 clauses out of 38007 with flag 200000/200000
9.39/8.91	c cleaning 19993 clauses out of 40003 with flag 221000/221000
10.42/9.90	c cleaning 21002 clauses out of 42010 with flag 243000/243000
11.53/11.02	c cleaning 22003 clauses out of 44009 with flag 266001/266001
12.45/12.00	c cleaning 23003 clauses out of 46005 with flag 290000/290000
13.79/13.28	c cleaning 23991 clauses out of 48003 with flag 315001/315001
15.18/14.62	c cleaning 24999 clauses out of 50011 with flag 341000/341000
16.60/16.07	c cleaning 26004 clauses out of 52012 with flag 368000/368000
18.32/17.75	c cleaning 27000 clauses out of 54008 with flag 396000/396000
19.53/18.92	c cleaning 28000 clauses out of 56008 with flag 425000/425000
21.24/20.64	c cleaning 29002 clauses out of 58008 with flag 455000/455000
23.17/22.50	c cleaning 29997 clauses out of 60008 with flag 486002/486002
25.68/25.07	c cleaning 31002 clauses out of 62011 with flag 518002/518002
27.79/27.17	c cleaning 31999 clauses out of 64008 with flag 551001/551001
30.01/29.32	c cleaning 33001 clauses out of 66009 with flag 585001/585001
31.73/31.04	c cleaning 33999 clauses out of 68007 with flag 620000/620000
33.44/32.70	c cleaning 34998 clauses out of 70009 with flag 656001/656001
35.25/34.55	c cleaning 36002 clauses out of 72011 with flag 693001/693001
37.17/36.48	c cleaning 37001 clauses out of 74008 with flag 731000/731000
39.90/39.18	c cleaning 37997 clauses out of 76007 with flag 770000/770000
42.10/41.39	c cleaning 39001 clauses out of 78010 with flag 810000/810000
45.51/44.76	c cleaning 39997 clauses out of 80009 with flag 851000/851000
48.65/47.80	c cleaning 41004 clauses out of 82012 with flag 893000/893000
50.78/49.92	c cleaning 42001 clauses out of 84009 with flag 936001/936001
53.10/52.29	c cleaning 43001 clauses out of 86007 with flag 980000/980000
56.55/55.65	c cleaning 44004 clauses out of 88007 with flag 1025001/1025001
61.87/60.90	c cleaning 45001 clauses out of 90003 with flag 1071001/1071001
64.91/63.99	c cleaning 45994 clauses out of 92001 with flag 1118000/1118000
68.81/67.82	c cleaning 46999 clauses out of 94007 with flag 1166000/1166000
71.54/70.59	c cleaning 47995 clauses out of 96010 with flag 1215002/1215002
74.95/73.95	c cleaning 49008 clauses out of 98016 with flag 1265003/1265003
78.87/77.81	c cleaning 50003 clauses out of 100005 with flag 1316000/1316000
82.03/80.90	c cleaning 50997 clauses out of 102002 with flag 1368000/1368000
85.26/84.10	c cleaning 51998 clauses out of 104007 with flag 1421002/1421002
88.89/87.75	c cleaning 52998 clauses out of 106007 with flag 1475000/1475000
93.41/92.24	c cleaning 54002 clauses out of 108009 with flag 1530000/1530000
99.54/98.37	c cleaning 55000 clauses out of 110008 with flag 1586001/1586001
104.39/103.14	c cleaning 55996 clauses out of 112009 with flag 1643002/1643002
108.32/107.06	c cleaning 57002 clauses out of 114012 with flag 1701001/1701001
113.16/111.86	c cleaning 58002 clauses out of 116011 with flag 1760002/1760002
117.76/116.48	c cleaning 58996 clauses out of 118007 with flag 1820000/1820000
122.87/121.52	c cleaning 60005 clauses out of 120013 with flag 1881002/1881002
130.09/128.76	c cleaning 60998 clauses out of 122007 with flag 1943001/1943001
135.64/134.29	c cleaning 62005 clauses out of 124009 with flag 2006001/2006001
139.47/138.04	c cleaning 62995 clauses out of 126003 with flag 2070000/2070000
143.60/142.13	c cleaning 63997 clauses out of 128009 with flag 2135001/2135001
150.42/148.99	c cleaning 65007 clauses out of 130014 with flag 2201003/2201003
157.36/155.81	c cleaning 65997 clauses out of 132004 with flag 2268000/2268000
164.09/162.51	c cleaning 67002 clauses out of 134007 with flag 2336000/2336000
170.92/169.39	c cleaning 67998 clauses out of 136007 with flag 2405002/2405002
177.37/175.72	c cleaning 69004 clauses out of 138008 with flag 2475001/2475001
186.09/184.40	c cleaning 69997 clauses out of 140003 with flag 2546000/2546000
193.13/191.43	c cleaning 71002 clauses out of 142007 with flag 2618001/2618001
199.73/198.09	c cleaning 71997 clauses out of 144004 with flag 2691000/2691000
208.65/206.99	c cleaning 73000 clauses out of 146007 with flag 2765000/2765000
219.36/217.64	c cleaning 74000 clauses out of 148008 with flag 2840001/2840001
228.90/227.15	c cleaning 75001 clauses out of 150008 with flag 2916001/2916001
237.63/235.89	c cleaning 75994 clauses out of 152006 with flag 2993000/2993000
243.48/241.63	c cleaning 77002 clauses out of 154012 with flag 3071000/3071000
249.71/247.88	c cleaning 78000 clauses out of 156011 with flag 3150001/3150001
256.06/254.20	c cleaning 79006 clauses out of 158012 with flag 3230002/3230002
262.48/260.56	c cleaning 79993 clauses out of 160004 with flag 3311000/3311000
268.99/267.00	c cleaning 81003 clauses out of 162011 with flag 3393000/3393000
274.21/272.29	c cleaning 81998 clauses out of 164008 with flag 3476000/3476000
282.32/280.38	c cleaning 83001 clauses out of 166011 with flag 3560001/3560001
289.33/287.33	c cleaning 83997 clauses out of 168009 with flag 3645000/3645000
296.56/294.50	c cleaning 85000 clauses out of 170013 with flag 3731001/3731001
303.27/301.21	c cleaning 86002 clauses out of 172012 with flag 3818000/3818000
311.09/309.03	c cleaning 87007 clauses out of 174013 with flag 3906003/3906003
321.80/319.71	c cleaning 88002 clauses out of 176003 with flag 3995000/3995000
331.35/329.24	c cleaning 88994 clauses out of 178001 with flag 4085000/4085000
340.12/337.90	c cleaning 90000 clauses out of 180007 with flag 4176000/4176000
352.45/350.21	c cleaning 91000 clauses out of 182008 with flag 4268001/4268001
364.20/361.95	c cleaning 92001 clauses out of 184009 with flag 4361002/4361002
375.67/373.39	c cleaning 93001 clauses out of 186007 with flag 4455001/4455001
383.88/381.60	c cleaning 94003 clauses out of 188006 with flag 4550001/4550001
392.03/389.67	c cleaning 94993 clauses out of 190003 with flag 4646001/4646001
404.38/401.99	c cleaning 96005 clauses out of 192009 with flag 4743000/4743000
413.13/410.62	c cleaning 96992 clauses out of 194004 with flag 4841000/4841000
424.66/422.10	c cleaning 98005 clauses out of 196012 with flag 4940000/4940000
436.12/433.50	c cleaning 98999 clauses out of 198009 with flag 5040002/5040002
448.31/445.60	c cleaning 100003 clauses out of 200011 with flag 5141003/5141003
459.53/456.87	c cleaning 100998 clauses out of 202006 with flag 5243001/5243001
475.17/472.41	c cleaning 102001 clauses out of 204007 with flag 5346000/5346000
492.35/489.53	c cleaning 102998 clauses out of 206007 with flag 5450001/5450001
501.71/498.82	c cleaning 103997 clauses out of 208010 with flag 5555002/5555002
518.76/515.89	c cleaning 105004 clauses out of 210013 with flag 5661002/5661002
528.83/525.82	c cleaning 106000 clauses out of 212008 with flag 5768001/5768001
542.45/539.42	c cleaning 107000 clauses out of 214007 with flag 5876000/5876000
558.06/555.07	c cleaning 108004 clauses out of 216008 with flag 5985001/5985001
574.33/571.27	c cleaning 108996 clauses out of 218004 with flag 6095001/6095001
592.86/589.79	c cleaning 110000 clauses out of 220010 with flag 6206003/6206003
609.22/606.08	c cleaning 110998 clauses out of 222009 with flag 6318002/6318002
627.06/623.84	c cleaning 112003 clauses out of 224011 with flag 6431002/6431002
643.50/640.26	c cleaning 113000 clauses out of 226007 with flag 6545001/6545001
660.85/657.52	c cleaning 114002 clauses out of 228008 with flag 6660002/6660002
674.12/670.77	c cleaning 114998 clauses out of 230006 with flag 6776002/6776002
684.87/681.49	c cleaning 115995 clauses out of 232006 with flag 6893000/6893000
701.13/697.67	c cleaning 117001 clauses out of 234012 with flag 7011001/7011001
714.49/710.92	c cleaning 118002 clauses out of 236011 with flag 7130001/7130001
728.01/724.42	c cleaning 119001 clauses out of 238011 with flag 7250003/7250003
744.75/741.16	c cleaning 120002 clauses out of 240008 with flag 7371001/7371001
757.20/753.59	c cleaning 120993 clauses out of 242006 with flag 7493001/7493001
771.52/767.89	c cleaning 122004 clauses out of 244012 with flag 7616000/7616000
786.85/783.11	c cleaning 123003 clauses out of 246008 with flag 7740000/7740000
810.02/806.23	c cleaning 124000 clauses out of 248007 with flag 7865002/7865002
832.88/829.06	c cleaning 124999 clauses out of 250006 with flag 7991001/7991001
850.23/846.34	c cleaning 125999 clauses out of 252008 with flag 8118002/8118002
869.09/865.10	c cleaning 126999 clauses out of 254008 with flag 8246001/8246001
887.62/883.64	c cleaning 128004 clauses out of 256009 with flag 8375001/8375001
904.30/900.26	c cleaning 128999 clauses out of 258006 with flag 8505002/8505002
922.05/917.97	c cleaning 130001 clauses out of 260005 with flag 8636000/8636000
941.61/937.49	c cleaning 130995 clauses out of 262004 with flag 8768000/8768000
960.39/956.15	c cleaning 131998 clauses out of 264009 with flag 8901000/8901000
976.55/972.20	c cleaning 133002 clauses out of 266012 with flag 9035001/9035001
1000.68/996.33	c cleaning 134001 clauses out of 268010 with flag 9170001/9170001
1025.76/1021.30	c cleaning 135002 clauses out of 270009 with flag 9306001/9306001
1057.78/1053.25	c cleaning 135999 clauses out of 272007 with flag 9443001/9443001
1087.47/1082.88	c cleaning 136997 clauses out of 274007 with flag 9581000/9581000
1120.56/1115.83	c cleaning 138003 clauses out of 276011 with flag 9720001/9720001
1142.10/1137.35	c cleaning 138998 clauses out of 278009 with flag 9860002/9860002
1162.20/1157.46	c cleaning 140001 clauses out of 280009 with flag 10001000/10001000
1181.13/1176.33	c cleaning 140999 clauses out of 282008 with flag 10143000/10143000
1195.48/1190.62	c cleaning 142000 clauses out of 284009 with flag 10286000/10286000
1214.31/1209.44	c cleaning 142996 clauses out of 286009 with flag 10430000/10430000
1232.55/1227.66	c cleaning 144004 clauses out of 288015 with flag 10575002/10575002
1266.00/1261.01	c cleaning 145000 clauses out of 290009 with flag 10721000/10721000
1287.63/1282.60	c cleaning 146000 clauses out of 292009 with flag 10868000/10868000
1313.53/1308.57	c cleaning 147003 clauses out of 294009 with flag 11016000/11016000
1333.14/1328.16	c cleaning 147997 clauses out of 296006 with flag 11165000/11165000
1355.40/1350.31	c cleaning 148999 clauses out of 298010 with flag 11315001/11315001
1378.72/1373.67	c cleaning 150001 clauses out of 300010 with flag 11466000/11466000
1403.31/1398.17	c cleaning 151000 clauses out of 302009 with flag 11618000/11618000
1438.24/1433.05	c cleaning 151996 clauses out of 304010 with flag 11771001/11771001
1458.96/1453.66	c cleaning 153001 clauses out of 306013 with flag 11925000/11925000
1480.49/1475.12	c cleaning 154005 clauses out of 308013 with flag 12080001/12080001
1504.52/1499.08	c cleaning 155001 clauses out of 310008 with flag 12236001/12236001
1526.17/1520.69	c cleaning 156000 clauses out of 312006 with flag 12393000/12393000
1549.69/1544.13	c cleaning 157001 clauses out of 314008 with flag 12551002/12551002
1574.63/1569.07	c cleaning 158000 clauses out of 316006 with flag 12710001/12710001
1612.09/1606.45	c cleaning 159002 clauses out of 318006 with flag 12870001/12870001
1655.15/1649.45	c cleaning 159999 clauses out of 320003 with flag 13031000/13031000
1707.13/1701.31	c cleaning 161002 clauses out of 322006 with flag 13193002/13193002
1740.06/1734.11	c cleaning 161995 clauses out of 324004 with flag 13356002/13356002
1759.80/1753.82	c cleaning 162999 clauses out of 326008 with flag 13520001/13520001
1786.85/1780.83	c cleaning 164000 clauses out of 328008 with flag 13685000/13685000
1800.08/1794.02	c starts		: 325
1800.08/1794.02	c conflicts		: 13818643
1800.08/1794.02	c decisions		: 13829556
1800.08/1794.02	c propagations		: 74159001
1800.08/1794.02	c inspects		: 17674318478
1800.08/1794.02	c shortcuts		: 0
1800.08/1794.02	c learnt literals	: 0
1800.08/1794.02	c learnt binary clauses	: 0
1800.08/1794.02	c learnt ternary clauses	: 0
1800.08/1794.02	c learnt constraints	: 13818645
1800.08/1794.02	c ignored constraints	: 0
1800.08/1794.02	c root simplifications	: 325
1800.08/1794.02	c removed literals (reason simplification)	: 119538125
1800.08/1794.02	c reason swapping (by a shorter reason)	: 0
1800.08/1794.02	c Calls to reduceDB	: 161
1800.08/1794.02	c number of reductions to clauses (during analyze)	: 0
1800.08/1794.02	c number of learned constraints concerned by reduction	: 0
1800.08/1794.02	c number of learning phase by resolution	: 0
1800.08/1794.02	c number of learning phase by cutting planes	: 0
1800.08/1794.02	c speed (assignments/second)	: 41339.75587145484
1800.08/1794.02	c non guided choices	66
1800.08/1794.05	c learnt constraints type 
1800.08/1794.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 297894
1800.08/1794.05	c constraints type 
1800.08/1794.05	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.08/1794.05	c 2 constraints processed.
1800.08/1794.05	s UNKNOWN
1800.08/1794.05	c Total wall clock time (in seconds): 1793.943

Verifier Data

ERROR: no interpretation found !

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-3709700-1338150573/watcher-3709700-1338150573 -o /tmp/evaluation-result-3709700-1338150573/solver-3709700-1338150573 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709700-1338150573.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.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3836/stat : 3836 (java) R 3834 3836 3132 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 281183190 23793664 717 33554432000 1073741824 1073778376 140735977501936 140735977491000 259103176784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 5809 719 533 9 0 128 0

[startup+0.053485 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 3201 0 1 0 4 0 0 0 20 0 18 0 281183190 9787842560 4409 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2389610 4409 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100202 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 4384 0 1 0 10 1 0 0 20 0 18 0 281183190 9787842560 6096 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2389610 6096 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 6799 0 1 0 50 1 0 0 20 0 19 0 281183190 9856004096 8852 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 8852 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004

[startup+0.700948 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7381 0 1 0 102 2 0 0 20 0 19 0 281183190 9856004096 11492 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 11492 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625004

[startup+1.50157 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3904
/proc/meminfo: memFree=28929852/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7593 0 1 0 186 2 0 0 20 0 19 0 281183190 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 12540 2274 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2516 0 1 0 141 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569759699368 140569599165760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 281183192 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1696 0 0 0 19 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9625004

[startup+3.10153 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3904
/proc/meminfo: memFree=28907884/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=3.51 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7609 0 1 0 349 2 0 0 20 0 19 0 281183190 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 13572 2274 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=2.96 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2519 0 1 0 296 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599362143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 281183192 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1696 0 0 0 19 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3904
/proc/meminfo: memFree=28869060/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=6.79 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7651 0 1 0 676 3 0 0 20 0 19 0 281183190 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 14103 2274 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=6.05 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) S 3834 3836 3132 0 -1 4202560 2526 0 1 0 605 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569759699368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) R 3834 3836 3132 0 -1 4202560 33 0 0 0 14 0 0 0 20 0 19 0 281183192 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569583392112 140569762971318 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1696 0 0 0 19 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 9625004

[startup+12.7014 s]

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

[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 95 0 0 0 18 21 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.13
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 3919
/proc/meminfo: memFree=27685668/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1728.25 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 10242 0 1 0 172782 43 0 0 20 0 19 0 281183190 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 69224 2275 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1708.65 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2696 0 1 0 170837 28 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599185450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 367 0 0 0 94 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 257 0 0 0 84 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=1.05 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 175 0 0 0 103 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 102 0 0 0 87 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 273 0 0 0 85 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=1.07 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 440 0 0 0 104 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 125 0 0 0 91 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 391 0 0 0 91 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=6.93 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 163 0 0 0 690 3 0 0 20 0 19 0 281183192 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 99 0 0 0 18 23 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.25
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 2.00 2/193 3922
/proc/meminfo: memFree=28741032/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1788.37 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 10255 0 1 0 178793 44 0 0 20 0 19 0 281183190 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 69224 2275 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1768.17 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2699 0 1 0 176788 29 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599217700 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 367 0 0 0 98 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 257 0 0 0 88 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=1.08 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 175 0 0 0 106 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 102 0 0 0 88 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 273 0 0 0 86 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 440 0 0 0 106 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 125 0 0 0 92 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 391 0 0 0 93 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=7.18 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 169 0 0 0 715 3 0 0 20 0 19 0 281183192 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794 s]
/proc/loadavg: 2.03 2.00 2.00 3/213 3978
/proc/meminfo: memFree=28602456/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 10255 0 1 0 179964 44 0 0 20 0 19 0 281183190 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 69224 2275 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1779.85 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2699 0 1 0 177955 30 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599267862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 367 0 0 0 98 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 257 0 0 0 88 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=1.08 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 175 0 0 0 106 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 102 0 0 0 88 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 273 0 0 0 86 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 440 0 0 0 106 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 125 0 0 0 92 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 391 0 0 0 93 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=7.18 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 169 0 0 0 715 3 0 0 20 0 19 0 281183192 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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 3836 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=48111
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=902862
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.06
CPU time (s): 1800.08
CPU user time (s): 1799.64
CPU system time (s): 0.44
CPU usage (%): 100.336
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 0.902862
maximum resident set size= 277060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10299
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42502
involuntary context switches= 22538

runsolver used 6.13107 second user time and 14.4338 second system time

The end

Launcher Data

Begin job on node124 at 2012-05-27 22:29:33
IDJOB=3709700
IDBENCH=2566
IDSOLVER=2289
FILE ID=node124/3709700-1338150573
RUNJOBID= node124-1338143409-3149
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob1.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709700-1338150573/watcher-3709700-1338150573 -o /tmp/evaluation-result-3709700-1338150573/solver-3709700-1338150573 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709700-1338150573.opb

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

MD5SUM BENCH= 3fa3d77c564aea49e42df3fe632e1a1c
RANDOM SEED=16137545

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29014524 kB
Buffers:          350884 kB
Cached:          2688212 kB
SwapCached:            0 kB
Active:           922172 kB
Inactive:        2130380 kB
Active(anon):      16084 kB
Inactive(anon):        0 kB
Active(file):     906088 kB
Inactive(file):  2130380 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               896 kB
Writeback:            44 kB
AnonPages:         38588 kB
Mapped:            14380 kB
Shmem:               200 kB
Slab:             669360 kB
SReclaimable:     113308 kB
SUnreclaim:       556052 kB
KernelStack:        1608 kB
PageTables:         3572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71432 MiB
End job on node124 at 2012-05-27 22:59:29