Trace number 3710076

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.09 1790.45

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
MD5SUMc1794605d16cd8196553c490f5507fd9
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.11	c configuring ORDERS
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
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-3710076-1338173948.opb
0.11/0.11	c reading problem ... 
1.09/0.50	c ... done. Wall clock time 0.393s.
1.09/0.50	c declared #vars     400
1.09/0.50	c internal #vars     6626
1.09/0.50	c #constraints  13055
1.09/0.50	c constraints type 
1.09/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1.09/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1.09/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.09/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1.09/0.50	c 13055 constraints processed.
2.91/1.67	c cleaning 2494 clauses out of 5000 with flag 5000/5000
3.90/2.42	c cleaning 4251 clauses out of 8506 with flag 11000/11000
4.81/3.37	c cleaning 5626 clauses out of 11256 with flag 18001/18001
6.02/4.57	c cleaning 6814 clauses out of 13629 with flag 26000/26000
7.25/5.76	c cleaning 7908 clauses out of 15815 with flag 35000/35000
8.46/6.94	c cleaning 8946 clauses out of 17914 with flag 45007/45007
9.99/8.49	c cleaning 9983 clauses out of 19965 with flag 56004/56004
11.59/10.08	c cleaning 10983 clauses out of 21978 with flag 68000/68000
13.32/11.70	c cleaning 11991 clauses out of 23997 with flag 81002/81002
15.33/13.78	c cleaning 13005 clauses out of 26018 with flag 95014/95014
17.75/16.16	c cleaning 13988 clauses out of 28000 with flag 110001/110001
19.77/18.14	c cleaning 15002 clauses out of 30011 with flag 126000/126000
21.67/20.06	c cleaning 16005 clauses out of 32013 with flag 143004/143004
23.98/22.30	c cleaning 16989 clauses out of 34004 with flag 161000/161000
27.12/25.43	c cleaning 18004 clauses out of 36015 with flag 180000/180000
29.63/27.95	c cleaning 19003 clauses out of 38011 with flag 200000/200000
32.17/30.40	c cleaning 19999 clauses out of 40009 with flag 221001/221001
34.90/33.16	c cleaning 20994 clauses out of 42012 with flag 243003/243003
38.02/36.24	c cleaning 21999 clauses out of 44016 with flag 266001/266001
41.84/40.06	c cleaning 23007 clauses out of 46020 with flag 290004/290004
45.46/43.68	c cleaning 23999 clauses out of 48010 with flag 315001/315001
51.70/49.82	c cleaning 25001 clauses out of 50012 with flag 341002/341002
55.85/53.95	c cleaning 26003 clauses out of 52010 with flag 368001/368001
59.86/57.91	c cleaning 27000 clauses out of 54007 with flag 396001/396001
63.50/61.51	c cleaning 28002 clauses out of 56010 with flag 425004/425004
67.41/65.41	c cleaning 28997 clauses out of 58007 with flag 455003/455003
72.44/70.46	c cleaning 30002 clauses out of 60007 with flag 486000/486000
76.55/74.54	c cleaning 30993 clauses out of 62005 with flag 518000/518000
81.37/79.38	c cleaning 32000 clauses out of 64013 with flag 551001/551001
86.41/84.38	c cleaning 32995 clauses out of 66013 with flag 585001/585001
90.95/88.89	c cleaning 34004 clauses out of 68018 with flag 620001/620001
96.55/94.45	c cleaning 34998 clauses out of 70014 with flag 656001/656001
100.87/98.75	c cleaning 35998 clauses out of 72018 with flag 693003/693003
106.63/104.47	c cleaning 37003 clauses out of 74019 with flag 731002/731002
111.66/109.48	c cleaning 37997 clauses out of 76014 with flag 770000/770000
116.21/114.00	c cleaning 39006 clauses out of 78017 with flag 810000/810000
122.75/120.42	c cleaning 39994 clauses out of 80011 with flag 851000/851000
131.26/128.96	c cleaning 41005 clauses out of 82017 with flag 893000/893000
136.98/134.61	c cleaning 41997 clauses out of 84012 with flag 936000/936000
145.20/142.82	c cleaning 43001 clauses out of 86017 with flag 980002/980002
151.25/148.81	c cleaning 44005 clauses out of 88016 with flag 1025002/1025002
159.28/156.86	c cleaning 44996 clauses out of 90010 with flag 1071001/1071001
166.62/164.15	c cleaning 46004 clauses out of 92013 with flag 1118000/1118000
175.36/172.82	c cleaning 47000 clauses out of 94011 with flag 1166002/1166002
181.51/178.93	c cleaning 48001 clauses out of 96009 with flag 1215000/1215000
187.22/184.65	c cleaning 49001 clauses out of 98008 with flag 1265000/1265000
193.53/190.90	c cleaning 49996 clauses out of 100007 with flag 1316000/1316000
200.50/197.88	c cleaning 50999 clauses out of 102011 with flag 1368000/1368000
207.11/204.43	c cleaning 52004 clauses out of 104018 with flag 1421006/1421006
215.97/213.20	c cleaning 52993 clauses out of 106008 with flag 1475000/1475000
221.99/219.23	c cleaning 54003 clauses out of 108016 with flag 1530001/1530001
232.06/229.27	c cleaning 55003 clauses out of 110012 with flag 1586000/1586000
239.35/236.49	c cleaning 55995 clauses out of 112010 with flag 1643001/1643001
246.09/243.17	c cleaning 56998 clauses out of 114014 with flag 1701000/1701000
252.93/249.98	c cleaning 57996 clauses out of 116016 with flag 1760000/1760000
259.86/256.86	c cleaning 59003 clauses out of 118021 with flag 1820001/1820001
267.79/264.78	c cleaning 60002 clauses out of 120017 with flag 1881000/1881000
275.96/272.81	c cleaning 61001 clauses out of 122019 with flag 1943004/1943004
284.60/281.49	c cleaning 62007 clauses out of 124016 with flag 2006002/2006002
293.04/289.82	c cleaning 63001 clauses out of 126010 with flag 2070003/2070003
305.25/302.03	c cleaning 63991 clauses out of 128007 with flag 2135001/2135001
317.60/314.40	c cleaning 65004 clauses out of 130020 with flag 2201005/2201005
326.46/323.18	c cleaning 65994 clauses out of 132011 with flag 2268000/2268000
335.09/331.80	c cleaning 67001 clauses out of 134017 with flag 2336000/2336000
344.61/341.25	c cleaning 68001 clauses out of 136017 with flag 2405001/2405001
353.38/349.99	c cleaning 69003 clauses out of 138018 with flag 2475003/2475003
362.50/359.01	c cleaning 69997 clauses out of 140012 with flag 2546000/2546000
372.93/369.44	c cleaning 70998 clauses out of 142015 with flag 2618000/2618000
382.62/379.05	c cleaning 72005 clauses out of 144017 with flag 2691000/2691000
393.07/389.47	c cleaning 72996 clauses out of 146013 with flag 2765001/2765001
403.64/399.91	c cleaning 73999 clauses out of 148016 with flag 2840000/2840000
415.18/411.47	c cleaning 75002 clauses out of 150020 with flag 2916003/2916003
427.13/423.36	c cleaning 76003 clauses out of 152017 with flag 2993002/2993002
438.32/434.42	c cleaning 77001 clauses out of 154013 with flag 3071001/3071001
449.05/445.14	c cleaning 77998 clauses out of 156011 with flag 3150000/3150000
459.89/455.92	c cleaning 79000 clauses out of 158015 with flag 3230002/3230002
471.45/467.42	c cleaning 80003 clauses out of 160018 with flag 3311005/3311005
485.71/481.68	c cleaning 80985 clauses out of 162010 with flag 3393000/3393000
497.38/493.20	c cleaning 82010 clauses out of 164026 with flag 3476001/3476001
511.01/506.82	c cleaning 82996 clauses out of 166015 with flag 3560000/3560000
524.91/520.68	c cleaning 83998 clauses out of 168019 with flag 3645000/3645000
536.87/532.52	c cleaning 85003 clauses out of 170022 with flag 3731001/3731001
549.75/545.30	c cleaning 86002 clauses out of 172020 with flag 3818002/3818002
563.37/558.82	c cleaning 86995 clauses out of 174017 with flag 3906001/3906001
576.65/572.05	c cleaning 88004 clauses out of 176021 with flag 3995000/3995000
592.12/587.49	c cleaning 89003 clauses out of 178017 with flag 4085000/4085000
608.45/603.71	c cleaning 89999 clauses out of 180016 with flag 4176002/4176002
624.05/619.26	c cleaning 91001 clauses out of 182017 with flag 4268002/4268002
638.11/633.30	c cleaning 91999 clauses out of 184014 with flag 4361000/4361000
656.85/651.92	c cleaning 93000 clauses out of 186015 with flag 4455000/4455000
670.45/665.48	c cleaning 93997 clauses out of 188015 with flag 4550000/4550000
682.95/677.94	c cleaning 95000 clauses out of 190018 with flag 4646000/4646000
696.06/691.04	c cleaning 96006 clauses out of 192022 with flag 4743004/4743004
712.39/707.38	c cleaning 96997 clauses out of 194012 with flag 4841000/4841000
728.66/723.59	c cleaning 98002 clauses out of 196015 with flag 4940000/4940000
742.44/737.21	c cleaning 98997 clauses out of 198013 with flag 5040000/5040000
756.78/751.40	c cleaning 99998 clauses out of 200016 with flag 5141000/5141000
769.45/764.06	c cleaning 101002 clauses out of 202023 with flag 5243005/5243005
784.12/778.67	c cleaning 101994 clauses out of 204018 with flag 5346002/5346002
799.23/793.65	c cleaning 103002 clauses out of 206022 with flag 5450000/5450000
814.80/809.12	c cleaning 104002 clauses out of 208023 with flag 5555003/5555003
831.80/825.94	c cleaning 105002 clauses out of 210020 with flag 5661002/5661002
849.63/843.76	c cleaning 105999 clauses out of 212017 with flag 5768001/5768001
866.74/860.76	c cleaning 106994 clauses out of 214017 with flag 5876000/5876000
884.07/878.03	c cleaning 108009 clauses out of 216027 with flag 5985004/5985004
898.34/892.13	c cleaning 108997 clauses out of 218014 with flag 6095000/6095000
913.47/907.23	c cleaning 109996 clauses out of 220018 with flag 6206001/6206001
931.42/925.12	c cleaning 110997 clauses out of 222022 with flag 6318001/6318001
949.38/943.03	c cleaning 111997 clauses out of 224024 with flag 6431000/6431000
968.16/961.73	c cleaning 113002 clauses out of 226027 with flag 6545000/6545000
987.03/980.54	c cleaning 113996 clauses out of 228025 with flag 6660000/6660000
1005.68/999.13	c cleaning 115015 clauses out of 230038 with flag 6776009/6776009
1022.74/1016.12	c cleaning 116002 clauses out of 232014 with flag 6893000/6893000
1041.71/1035.06	c cleaning 117002 clauses out of 234014 with flag 7011002/7011002
1064.19/1057.39	c cleaning 118002 clauses out of 236010 with flag 7130000/7130000
1084.94/1078.03	c cleaning 119001 clauses out of 238011 with flag 7250003/7250003
1106.48/1099.51	c cleaning 119999 clauses out of 240008 with flag 7371001/7371001
1126.60/1119.43	c cleaning 120993 clauses out of 242008 with flag 7493000/7493000
1147.12/1139.86	c cleaning 121996 clauses out of 244021 with flag 7616006/7616006
1165.06/1157.76	c cleaning 123006 clauses out of 246019 with flag 7740000/7740000
1186.19/1178.88	c cleaning 123995 clauses out of 248013 with flag 7865000/7865000
1209.78/1202.34	c cleaning 125000 clauses out of 250018 with flag 7991000/7991000
1230.83/1223.28	c cleaning 126003 clauses out of 252018 with flag 8118000/8118000
1259.11/1251.42	c cleaning 127005 clauses out of 254015 with flag 8246000/8246000
1278.11/1270.39	c cleaning 127998 clauses out of 256012 with flag 8375002/8375002
1296.88/1289.03	c cleaning 128995 clauses out of 258012 with flag 8505000/8505000
1317.14/1309.23	c cleaning 130000 clauses out of 260018 with flag 8636001/8636001
1336.88/1328.88	c cleaning 130995 clauses out of 262018 with flag 8768001/8768001
1357.24/1349.10	c cleaning 132002 clauses out of 264022 with flag 8901000/8901000
1376.30/1368.14	c cleaning 133003 clauses out of 266020 with flag 9035000/9035000
1399.13/1390.99	c cleaning 133995 clauses out of 268018 with flag 9170001/9170001
1421.01/1412.79	c cleaning 135005 clauses out of 270025 with flag 9306003/9306003
1444.02/1435.67	c cleaning 136000 clauses out of 272017 with flag 9443000/9443000
1479.49/1471.03	c cleaning 137003 clauses out of 274017 with flag 9581000/9581000
1506.61/1498.06	c cleaning 138000 clauses out of 276016 with flag 9720002/9720002
1530.98/1522.31	c cleaning 139000 clauses out of 278014 with flag 9860000/9860000
1555.54/1546.86	c cleaning 140001 clauses out of 280015 with flag 10001001/10001001
1578.84/1570.06	c cleaning 140998 clauses out of 282013 with flag 10143000/10143000
1598.81/1589.99	c cleaning 142005 clauses out of 284016 with flag 10286001/10286001
1617.53/1608.69	c cleaning 143002 clauses out of 286012 with flag 10430002/10430002
1638.97/1630.03	c cleaning 144000 clauses out of 288015 with flag 10575007/10575007
1663.12/1653.94	c cleaning 144999 clauses out of 290009 with flag 10721001/10721001
1683.82/1674.51	c cleaning 145993 clauses out of 292009 with flag 10868000/10868000
1707.05/1697.78	c cleaning 146993 clauses out of 294018 with flag 11016002/11016002
1726.74/1717.37	c cleaning 148005 clauses out of 296026 with flag 11165003/11165003
1753.40/1743.90	c cleaning 148997 clauses out of 298019 with flag 11315001/11315001
1780.89/1771.30	c cleaning 150002 clauses out of 300024 with flag 11466003/11466003
1800.09/1790.41	c starts		: 322
1800.09/1790.41	c conflicts		: 11577578
1800.09/1790.41	c decisions		: 14141089
1800.09/1790.41	c propagations		: 322389110
1800.09/1790.41	c inspects		: 9602398526
1800.09/1790.41	c shortcuts		: 0
1800.09/1790.41	c learnt literals	: 0
1800.09/1790.41	c learnt binary clauses	: 0
1800.09/1790.41	c learnt ternary clauses	: 48007
1800.09/1790.41	c learnt constraints	: 11577579
1800.09/1790.41	c ignored constraints	: 0
1800.09/1790.41	c root simplifications	: 322
1800.09/1790.41	c removed literals (reason simplification)	: 530584700
1800.09/1790.41	c reason swapping (by a shorter reason)	: 0
1800.09/1790.41	c Calls to reduceDB	: 147
1800.09/1790.41	c number of reductions to clauses (during analyze)	: 0
1800.09/1790.41	c number of learned constraints concerned by reduction	: 0
1800.09/1790.41	c number of learning phase by resolution	: 0
1800.09/1790.41	c number of learning phase by cutting planes	: 0
1800.09/1790.41	c speed (assignments/second)	: 180116.32644167755
1800.09/1790.41	c non guided choices	6382
1800.09/1790.44	c learnt constraints type 
1800.09/1790.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 261704
1800.09/1790.44	c constraints type 
1800.09/1790.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1800.09/1790.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.09/1790.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.09/1790.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.09/1790.44	c 13055 constraints processed.
1800.09/1790.44	s UNKNOWN
1800.09/1790.44	c Total wall clock time (in seconds): 1790.332

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-3710076-1338173948/watcher-3710076-1338173948 -o /tmp/evaluation-result-3710076-1338173948/solver-3710076-1338173948 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710076-1338173948.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 6777
/proc/meminfo: memFree=28897628/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 1201 0 0 0 0 0 0 0 20 0 2 0 283520663 94019584 913 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 22954 917 697 9 0 16769 0
[pid=6777/tid=6778] ppid=6775 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) D 6775 6777 3132 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 283520663 94019584 917 33554432000 1073741824 1073778376 140737086666336 139970066173480 259103223079 0 0 4096 0 18446744072100588836 0 0 -1 2 0 0 0 0 0

[startup+0.0801479 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 6777
/proc/meminfo: memFree=28897628/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 3949 0 1 0 6 1 0 0 20 0 18 0 283520663 9787842560 5157 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2389610 5164 2074 9 0 2380296 0
[pid=6777/tid=6778] ppid=6775 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2321 0 1 0 4 2 0 0 20 0 18 0 283520663 9787842560 5177 33554432000 1073741824 1073778376 140737086666336 139970066170792 139969914058211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440

[startup+0.100291 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 6777
/proc/meminfo: memFree=28897628/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9558440 CPUtime=0.11 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 4358 0 1 0 9 2 0 0 20 0 18 0 283520663 9787842560 6077 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2389610 6077 2131 9 0 2380296 0
[pid=6777/tid=6778] ppid=6775 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2485 0 1 0 6 2 0 0 20 0 18 0 283520663 9787842560 6077 33554432000 1073741824 1073778376 140737086666336 139970066176968 259115771149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.300251 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 6777
/proc/meminfo: memFree=28897628/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9558440 CPUtime=0.49 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 5982 0 1 0 47 2 0 0 20 0 18 0 283520663 9787842560 8832 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2389610 8832 2235 9 0 2380296 0
[pid=6777/tid=6778] ppid=6775 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2498 0 1 0 26 2 0 0 20 0 18 0 283520663 9787842560 8832 33554432000 1073741824 1073778376 140737086666336 139970066176968 139969914344544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700258 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 6777
/proc/meminfo: memFree=28897628/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9625004 CPUtime=1.69 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 23234 0 1 0 163 6 0 0 20 0 19 0 283520663 9856004096 26620 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2406251 26620 2263 9 0 2396937 0
[pid=6777/tid=6778] ppid=6775 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2527 0 1 0 65 2 0 0 20 0 19 0 283520663 9856004096 26620 33554432000 1073741824 1073778376 140737086666336 139970066170048 139970070476323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 2.09 2.04 2.01 3/213 6796
/proc/meminfo: memFree=28801640/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9625004 CPUtime=2.91 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 23265 0 1 0 285 6 0 0 20 0 19 0 283520663 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2406251 26532 2268 9 0 2396937 0
[pid=6777/tid=6778] ppid=6775 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2528 0 1 0 145 2 0 0 20 0 19 0 283520663 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139970066178552 139969914678699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6780] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6780/stat : 6780 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139970038631336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6781] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6781/stat : 6781 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139970037578792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6782] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6782/stat : 6782 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139970036525736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6783] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6783/stat : 6783 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139970035473192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6784] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6784/stat : 6784 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139970034420136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6785] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6785/stat : 6785 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139970033367592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6786] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6786/stat : 6786 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969902979240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6787] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6787/stat : 6787 (java) S 6775 6777 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969901926696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6788] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6788/stat : 6788 (java) S 6775 6777 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283520665 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969418980200 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6789] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6789/stat : 6789 (java) S 6775 6777 3132 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969417926520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6790] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6790/stat : 6790 (java) S 6775 6777 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969416873352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6791] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6791/stat : 6791 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969415822096 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6792] ppid=6775 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/6777/task/6792/stat : 6792 (java) S 6775 6777 3132 0 -1 4202560 6087 0 0 0 72 0 0 0 20 0 19 0 283520668 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969414768952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6793] ppid=6775 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/6777/task/6793/stat : 6793 (java) S 6775 6777 3132 0 -1 4202560 13451 0 0 0 65 3 0 0 20 0 19 0 283520668 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969413716408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6794] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6794/stat : 6794 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969412663544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6795] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6795/stat : 6795 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969411611208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6796] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6796/stat : 6796 (java) S 6775 6777 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283520715 9856004096 26532 33554432000 1073741824 1073778376 140737086666336 139969410557480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 2.09 2.04 2.01 3/213 6796
/proc/meminfo: memFree=28778984/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9625004 CPUtime=4.61 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 23351 0 1 0 454 7 0 0 20 0 19 0 283520663 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2406251 33752 2293 9 0 2396937 0
[pid=6777/tid=6778] ppid=6775 vsize=9625004 CPUtime=3.01 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2534 0 1 0 299 2 0 0 20 0 19 0 283520663 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139970066178536 139969914795810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6780] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6780/stat : 6780 (java) S 6775 6777 3132 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139970038631336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6781] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6781/stat : 6781 (java) S 6775 6777 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139970037578792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6782] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6782/stat : 6782 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139970036525736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6783] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6783/stat : 6783 (java) S 6775 6777 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139970035473192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6784] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6784/stat : 6784 (java) S 6775 6777 3132 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139970034420136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6785] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6785/stat : 6785 (java) S 6775 6777 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139970033367592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6786] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6786/stat : 6786 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969902979240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6787] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6787/stat : 6787 (java) S 6775 6777 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969901926696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6788] ppid=6775 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/6777/task/6788/stat : 6788 (java) S 6775 6777 3132 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 283520665 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969418980200 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6789] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6789/stat : 6789 (java) S 6775 6777 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969417926520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6790] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6790/stat : 6790 (java) S 6775 6777 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969416873352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6791] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6791/stat : 6791 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969415822096 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6792] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6792/stat : 6792 (java) S 6775 6777 3132 0 -1 4202560 6090 0 0 0 76 0 0 0 20 0 19 0 283520668 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969414768952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6793] ppid=6775 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/6777/task/6793/stat : 6793 (java) S 6775 6777 3132 0 -1 4202560 13452 0 0 0 67 3 0 0 20 0 19 0 283520668 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969413716408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6794] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6794/stat : 6794 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969412663544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6795] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6795/stat : 6795 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969411611208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6796] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6796/stat : 6796 (java) S 6775 6777 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283520715 9856004096 33752 33554432000 1073741824 1073778376 140737086666336 139969410557480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9625004

[startup+6.3006 s]
/proc/loadavg: 2.08 2.04 2.01 3/213 6796
/proc/meminfo: memFree=28779048/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9625004 CPUtime=7.86 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 23363 0 1 0 779 7 0 0 20 0 19 0 283520663 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2406251 31536 2293 9 0 2396937 0
[pid=6777/tid=6778] ppid=6775 vsize=9625004 CPUtime=6.11 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2536 0 1 0 609 2 0 0 20 0 19 0 283520663 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139970066178352 139969914735164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6780] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6780/stat : 6780 (java) S 6775 6777 3132 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139970038631336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6781] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6781/stat : 6781 (java) S 6775 6777 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139970037578792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6782] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6782/stat : 6782 (java) S 6775 6777 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139970036525736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6783] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6783/stat : 6783 (java) S 6775 6777 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139970035473192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6784] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6784/stat : 6784 (java) S 6775 6777 3132 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139970034420136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6785] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6785/stat : 6785 (java) S 6775 6777 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139970033367592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6786] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6786/stat : 6786 (java) S 6775 6777 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969902979240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6787] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6787/stat : 6787 (java) S 6775 6777 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283520664 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969901926696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6788] ppid=6775 vsize=9625004 CPUtime=0.11 cores=0,2,4,6
/proc/6777/task/6788/stat : 6788 (java) S 6775 6777 3132 0 -1 4202560 36 0 0 0 11 0 0 0 20 0 19 0 283520665 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969418980200 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6789] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6789/stat : 6789 (java) S 6775 6777 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969417926520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6790] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6790/stat : 6790 (java) S 6775 6777 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969416873352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6791] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6791/stat : 6791 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969415822096 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6792] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6792/stat : 6792 (java) S 6775 6777 3132 0 -1 4202560 6090 0 0 0 76 0 0 0 20 0 19 0 283520668 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969414768952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6793] ppid=6775 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/6777/task/6793/stat : 6793 (java) S 6775 6777 3132 0 -1 4202560 13454 0 0 0 71 3 0 0 20 0 19 0 283520668 9856004096 31536 33554432000 1073741824 1073778376 140737086666336 139969413716408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=6777/tid=6792] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6792/stat : 6792 (java) S 6775 6777 3132 0 -1 4202560 6090 0 0 0 76 0 0 0 20 0 19 0 283520668 9856004096 181998 33554432000 1073741824 1073778376 140737086666336 139969414768952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6793] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6793/stat : 6793 (java) S 6775 6777 3132 0 -1 4202560 13457 0 0 0 73 3 0 0 20 0 19 0 283520668 9856004096 181998 33554432000 1073741824 1073778376 140737086666336 139969413716408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6794] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6794/stat : 6794 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 181998 33554432000 1073741824 1073778376 140737086666336 139969412663544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6795] ppid=6775 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/6777/task/6795/stat : 6795 (java) S 6775 6777 3132 0 -1 4202560 97 0 0 0 16 21 0 0 20 0 19 0 283520668 9856004096 181998 33554432000 1073741824 1073778376 140737086666336 139969411611208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6796] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6796/stat : 6796 (java) S 6775 6777 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283520715 9856004096 181998 33554432000 1073741824 1073778376 140737086666336 139969410557480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1671.62
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/213 7292
/proc/meminfo: memFree=28186704/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9625004 CPUtime=1731.81 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 27134 0 1 0 173093 88 0 0 20 0 19 0 283520663 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2406251 181984 2294 9 0 2396937 0
[pid=6777/tid=6778] ppid=6775 vsize=9625004 CPUtime=1705.72 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2722 0 1 0 170542 30 0 0 20 0 19 0 283520663 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139970066178352 139969914214338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6780] ppid=6775 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/6777/task/6780/stat : 6780 (java) S 6775 6777 3132 0 -1 4202560 564 0 0 0 136 9 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139970038631336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6781] ppid=6775 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/6777/task/6781/stat : 6781 (java) S 6775 6777 3132 0 -1 4202560 208 0 0 0 124 6 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139970037578792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6782] ppid=6775 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/6777/task/6782/stat : 6782 (java) S 6775 6777 3132 0 -1 4202560 198 0 0 0 128 7 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139970036525736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6783] ppid=6775 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/6777/task/6783/stat : 6783 (java) S 6775 6777 3132 0 -1 4202560 387 0 0 0 125 9 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139970035473192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6784] ppid=6775 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/6777/task/6784/stat : 6784 (java) S 6775 6777 3132 0 -1 4202560 414 0 0 0 121 5 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139970034420136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6785] ppid=6775 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/6777/task/6785/stat : 6785 (java) S 6775 6777 3132 0 -1 4202560 331 0 0 0 126 9 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139970033367592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6786] ppid=6775 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/6777/task/6786/stat : 6786 (java) S 6775 6777 3132 0 -1 4202560 451 0 0 0 123 7 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969902979240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6787] ppid=6775 vsize=9625004 CPUtime=1.5 cores=0,2,4,6
/proc/6777/task/6787/stat : 6787 (java) S 6775 6777 3132 0 -1 4202560 383 0 0 0 143 7 0 0 20 0 19 0 283520664 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969901926696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6788] ppid=6775 vsize=9625004 CPUtime=9.05 cores=0,2,4,6
/proc/6777/task/6788/stat : 6788 (java) S 6775 6777 3132 0 -1 4202560 645 0 0 0 902 3 0 0 20 0 19 0 283520665 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969418980200 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6789] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6789/stat : 6789 (java) S 6775 6777 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969417926520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6790] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6790/stat : 6790 (java) S 6775 6777 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969416873352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6791] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6791/stat : 6791 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969415822096 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6792] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6792/stat : 6792 (java) S 6775 6777 3132 0 -1 4202560 6090 0 0 0 76 0 0 0 20 0 19 0 283520668 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969414768952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6793] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6793/stat : 6793 (java) S 6775 6777 3132 0 -1 4202560 13457 0 0 0 73 3 0 0 20 0 19 0 283520668 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969413716408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6794] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6794/stat : 6794 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969412663544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6795] ppid=6775 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/6777/task/6795/stat : 6795 (java) S 6775 6777 3132 0 -1 4202560 99 0 0 0 17 22 0 0 20 0 19 0 283520668 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969411611208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6796] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6796/stat : 6796 (java) S 6775 6777 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283520715 9856004096 181984 33554432000 1073741824 1073778376 140737086666336 139969410557480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1731.81
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/213 7292
/proc/meminfo: memFree=28160528/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9625004 CPUtime=1791.99 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 27153 0 1 0 179110 89 0 0 20 0 19 0 283520663 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2406251 181993 2294 9 0 2396937 0
[pid=6777/tid=6778] ppid=6775 vsize=9625004 CPUtime=1765.26 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2724 0 1 0 176495 31 0 0 20 0 19 0 283520663 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970066178352 139969914678863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6780] ppid=6775 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/6777/task/6780/stat : 6780 (java) S 6775 6777 3132 0 -1 4202560 564 0 0 0 140 9 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970038631336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6781] ppid=6775 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/6777/task/6781/stat : 6781 (java) S 6775 6777 3132 0 -1 4202560 208 0 0 0 128 6 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970037578792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6782] ppid=6775 vsize=9625004 CPUtime=1.39 cores=0,2,4,6
/proc/6777/task/6782/stat : 6782 (java) S 6775 6777 3132 0 -1 4202560 198 0 0 0 132 7 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970036525736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6783] ppid=6775 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/6777/task/6783/stat : 6783 (java) S 6775 6777 3132 0 -1 4202560 387 0 0 0 126 9 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970035473192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6784] ppid=6775 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/6777/task/6784/stat : 6784 (java) S 6775 6777 3132 0 -1 4202560 414 0 0 0 125 5 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970034420136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6785] ppid=6775 vsize=9625004 CPUtime=1.38 cores=0,2,4,6
/proc/6777/task/6785/stat : 6785 (java) S 6775 6777 3132 0 -1 4202560 331 0 0 0 129 9 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970033367592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6786] ppid=6775 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/6777/task/6786/stat : 6786 (java) S 6775 6777 3132 0 -1 4202560 451 0 0 0 128 7 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969902979240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6787] ppid=6775 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/6777/task/6787/stat : 6787 (java) S 6775 6777 3132 0 -1 4202560 383 0 0 0 144 7 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969901926696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6788] ppid=6775 vsize=9625004 CPUtime=9.28 cores=0,2,4,6
/proc/6777/task/6788/stat : 6788 (java) S 6775 6777 3132 0 -1 4202560 658 0 0 0 925 3 0 0 20 0 19 0 283520665 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969418980200 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6789] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6789/stat : 6789 (java) S 6775 6777 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969417926520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6790] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6790/stat : 6790 (java) S 6775 6777 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969416873352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6791] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6791/stat : 6791 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969415822096 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6792] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6792/stat : 6792 (java) S 6775 6777 3132 0 -1 4202560 6090 0 0 0 76 0 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969414768952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6793] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6793/stat : 6793 (java) S 6775 6777 3132 0 -1 4202560 13457 0 0 0 73 3 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969413716408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6794] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6794/stat : 6794 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969412663544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6795] ppid=6775 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/6777/task/6795/stat : 6795 (java) S 6775 6777 3132 0 -1 4202560 103 0 0 0 17 23 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969411611208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6796] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6796/stat : 6796 (java) S 6775 6777 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283520715 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969410557480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.4 s]
/proc/loadavg: 2.09 2.05 2.01 3/213 7292
/proc/meminfo: memFree=28152212/32873648 swapFree=6844/6844
[pid=6777] ppid=6775 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/6777/stat : 6777 (java) S 6775 6777 3132 0 -1 4202496 27153 0 1 0 179920 89 0 0 20 0 19 0 283520663 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 140737086657472 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6777/statm: 2406251 181993 2294 9 0 2396937 0
[pid=6777/tid=6778] ppid=6775 vsize=9625004 CPUtime=1773.35 cores=0,2,4,6
/proc/6777/task/6778/stat : 6778 (java) R 6775 6777 3132 0 -1 4202560 2724 0 1 0 177304 31 0 0 20 0 19 0 283520663 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970066178352 139969914756909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6780] ppid=6775 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/6777/task/6780/stat : 6780 (java) S 6775 6777 3132 0 -1 4202560 564 0 0 0 140 9 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970038631336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6777/tid=6781] ppid=6775 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/6777/task/6781/stat : 6781 (java) S 6775 6777 3132 0 -1 4202560 208 0 0 0 128 6 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970037578792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6782] ppid=6775 vsize=9625004 CPUtime=1.39 cores=0,2,4,6
/proc/6777/task/6782/stat : 6782 (java) S 6775 6777 3132 0 -1 4202560 198 0 0 0 132 7 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970036525736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6783] ppid=6775 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/6777/task/6783/stat : 6783 (java) S 6775 6777 3132 0 -1 4202560 387 0 0 0 126 9 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970035473192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6784] ppid=6775 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/6777/task/6784/stat : 6784 (java) S 6775 6777 3132 0 -1 4202560 414 0 0 0 125 5 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970034420136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6785] ppid=6775 vsize=9625004 CPUtime=1.38 cores=0,2,4,6
/proc/6777/task/6785/stat : 6785 (java) S 6775 6777 3132 0 -1 4202560 331 0 0 0 129 9 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139970033367592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6786] ppid=6775 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/6777/task/6786/stat : 6786 (java) S 6775 6777 3132 0 -1 4202560 451 0 0 0 128 7 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969902979240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6787] ppid=6775 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/6777/task/6787/stat : 6787 (java) S 6775 6777 3132 0 -1 4202560 383 0 0 0 144 7 0 0 20 0 19 0 283520664 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969901926696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6788] ppid=6775 vsize=9625004 CPUtime=9.28 cores=0,2,4,6
/proc/6777/task/6788/stat : 6788 (java) S 6775 6777 3132 0 -1 4202560 658 0 0 0 925 3 0 0 20 0 19 0 283520665 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969418980200 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6789] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6789/stat : 6789 (java) S 6775 6777 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969417926520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6790] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6790/stat : 6790 (java) S 6775 6777 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283520666 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969416873352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6791] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6791/stat : 6791 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969415822096 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6792] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6792/stat : 6792 (java) S 6775 6777 3132 0 -1 4202560 6090 0 0 0 76 0 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969414768952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6777/tid=6793] ppid=6775 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/6777/task/6793/stat : 6793 (java) S 6775 6777 3132 0 -1 4202560 13457 0 0 0 73 3 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969413716408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6794] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6794/stat : 6794 (java) S 6775 6777 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969412663544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6777/tid=6795] ppid=6775 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/6777/task/6795/stat : 6795 (java) S 6775 6777 3132 0 -1 4202560 103 0 0 0 17 23 0 0 20 0 19 0 283520668 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969411611208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6777/tid=6796] ppid=6775 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6777/task/6796/stat : 6796 (java) S 6775 6777 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283520715 9856004096 181993 33554432000 1073741824 1073778376 140737086666336 139969410557480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 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 6777 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=668168
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=332797
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.45
CPU time (s): 1800.09
CPU user time (s): 1799.2
CPU system time (s): 0.89
CPU usage (%): 100.538
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 1.3328
maximum resident set size= 728088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27184
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= 42189
involuntary context switches= 22644

runsolver used 6.40103 second user time and 13.6319 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-28 04:59:08
IDJOB=3710076
IDBENCH=48313
IDSOLVER=2289
FILE ID=node124/3710076-1338173948
RUNJOBID= node124-1338143409-3148
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_5_40.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-3710076-1338173948/watcher-3710076-1338173948 -o /tmp/evaluation-result-3710076-1338173948/solver-3710076-1338173948 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710076-1338173948.opb

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

MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9
RANDOM SEED=1367054782

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:        28897628 kB
Buffers:          360176 kB
Cached:          2695540 kB
SwapCached:            0 kB
Active:          1029656 kB
Inactive:        2137572 kB
Active(anon):     113236 kB
Inactive(anon):        0 kB
Active(file):     916420 kB
Inactive(file):  2137572 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:        197128 kB
Mapped:            22732 kB
Shmem:               200 kB
Slab:             670152 kB
SReclaimable:     113752 kB
SUnreclaim:       556400 kB
KernelStack:        1760 kB
PageTables:         4168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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-28 05:29:00