Trace number 3709702

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.1 1793.95

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
MD5SUMd900242764082ad39bc001b38a8b6b82
Bench CategoryDEC-MEDINT (no optimisation, medium integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.192969
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52
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 constraint52
Maximum length of a constraint52
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 5842800
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 78219574
Number of bits of the biggest sum of numbers27
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.08	c version 2.3.2.v20120418
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.09/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.11	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3709702-1338150263.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c ... done. Wall clock time 0.012s.
0.09/0.13	c declared #vars     52
0.09/0.13	c #constraints  2
0.09/0.13	c constraints type 
0.09/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.09/0.13	c 2 constraints processed.
0.69/0.40	c cleaning 2501 clauses out of 5002 with flag 5002/5002
0.82/0.55	c cleaning 4249 clauses out of 8500 with flag 11001/11001
1.06/0.71	c cleaning 5624 clauses out of 11250 with flag 18000/18000
1.27/0.93	c cleaning 6795 clauses out of 13596 with flag 26002/26002
1.52/1.19	c cleaning 7254 clauses out of 14507 with flag 35000/35000
1.82/1.49	c cleaning 8620 clauses out of 17253 with flag 45000/45000
2.56/1.83	c cleaning 9816 clauses out of 19633 with flag 56000/56000
3.01/2.20	c cleaning 10906 clauses out of 21819 with flag 68002/68002
3.41/2.62	c cleaning 11957 clauses out of 23913 with flag 81002/81002
3.81/3.09	c cleaning 12977 clauses out of 25955 with flag 95001/95001
4.43/3.62	c cleaning 13983 clauses out of 27979 with flag 110002/110002
4.94/4.16	c cleaning 14997 clauses out of 29994 with flag 126000/126000
5.54/4.77	c cleaning 15991 clauses out of 31997 with flag 143000/143000
6.27/5.49	c cleaning 17004 clauses out of 34008 with flag 161002/161002
7.06/6.20	c cleaning 17997 clauses out of 36002 with flag 180000/180000
7.78/6.96	c cleaning 18998 clauses out of 38006 with flag 200001/200001
8.61/7.77	c cleaning 20004 clauses out of 40007 with flag 221000/221000
9.61/8.76	c cleaning 21003 clauses out of 42005 with flag 243002/243002
10.61/9.79	c cleaning 22001 clauses out of 44002 with flag 266002/266002
11.63/10.70	c cleaning 22993 clauses out of 46001 with flag 290002/290002
12.73/11.86	c cleaning 24000 clauses out of 48006 with flag 315000/315000
14.16/13.21	c cleaning 24995 clauses out of 50006 with flag 341000/341000
15.29/14.31	c cleaning 26000 clauses out of 52012 with flag 368001/368001
16.61/15.62	c cleaning 27006 clauses out of 54011 with flag 396000/396000
17.83/16.83	c cleaning 28003 clauses out of 56006 with flag 425001/425001
19.25/18.26	c cleaning 28994 clauses out of 58002 with flag 455000/455000
20.68/19.62	c cleaning 30004 clauses out of 60009 with flag 486001/486001
22.29/21.21	c cleaning 30996 clauses out of 62004 with flag 518000/518000
24.82/23.75	c cleaning 32007 clauses out of 64013 with flag 551005/551005
26.86/25.74	c cleaning 32993 clauses out of 66001 with flag 585000/585000
28.48/27.31	c cleaning 34004 clauses out of 68010 with flag 620002/620002
30.31/29.19	c cleaning 35002 clauses out of 70006 with flag 656002/656002
32.81/31.68	c cleaning 35995 clauses out of 72002 with flag 693000/693000
35.13/33.99	c cleaning 37001 clauses out of 74007 with flag 731000/731000
38.34/37.16	c cleaning 38003 clauses out of 76007 with flag 770001/770001
40.86/39.64	c cleaning 38999 clauses out of 78003 with flag 810000/810000
43.18/41.96	c cleaning 40000 clauses out of 80005 with flag 851001/851001
45.72/44.45	c cleaning 40996 clauses out of 82004 with flag 893000/893000
47.83/46.52	c cleaning 41995 clauses out of 84010 with flag 936002/936002
50.33/49.01	c cleaning 43005 clauses out of 86013 with flag 980000/980000
52.95/51.69	c cleaning 43999 clauses out of 88008 with flag 1025000/1025000
56.07/54.78	c cleaning 45001 clauses out of 90009 with flag 1071000/1071000
58.98/57.69	c cleaning 46004 clauses out of 92009 with flag 1118001/1118001
62.18/60.87	c cleaning 46997 clauses out of 94005 with flag 1166001/1166001
64.98/63.62	c cleaning 48003 clauses out of 96008 with flag 1215001/1215001
68.49/67.17	c cleaning 49002 clauses out of 98005 with flag 1265001/1265001
72.40/71.06	c cleaning 49997 clauses out of 100002 with flag 1316000/1316000
75.42/74.06	c cleaning 50996 clauses out of 102005 with flag 1368000/1368000
79.16/77.73	c cleaning 52001 clauses out of 104011 with flag 1421002/1421002
83.48/82.00	c cleaning 52998 clauses out of 106008 with flag 1475000/1475000
87.10/85.69	c cleaning 54000 clauses out of 108012 with flag 1530002/1530002
91.32/89.87	c cleaning 55004 clauses out of 110011 with flag 1586001/1586001
95.34/93.81	c cleaning 56000 clauses out of 112008 with flag 1643002/1643002
99.84/98.39	c cleaning 56999 clauses out of 114006 with flag 1701000/1701000
104.47/102.91	c cleaning 58003 clauses out of 116009 with flag 1760002/1760002
108.68/107.15	c cleaning 58996 clauses out of 118004 with flag 1820000/1820000
114.69/113.13	c cleaning 59998 clauses out of 120009 with flag 1881001/1881001
121.53/119.97	c cleaning 61004 clauses out of 122011 with flag 1943001/1943001
127.91/126.29	c cleaning 61879 clauses out of 123760 with flag 2006001/2006001
131.94/130.24	c cleaning 62935 clauses out of 125880 with flag 2070000/2070000
136.06/134.32	c cleaning 63968 clauses out of 127945 with flag 2135000/2135000
141.01/139.23	c cleaning 64984 clauses out of 129978 with flag 2201001/2201001
147.04/145.28	c cleaning 65995 clauses out of 131993 with flag 2268000/2268000
153.16/151.32	c cleaning 66999 clauses out of 133999 with flag 2336001/2336001
162.39/160.51	c cleaning 67995 clauses out of 136001 with flag 2405002/2405002
167.14/165.20	c cleaning 68993 clauses out of 138006 with flag 2475002/2475002
173.48/171.57	c cleaning 70001 clauses out of 140011 with flag 2546000/2546000
180.27/178.36	c cleaning 71003 clauses out of 142011 with flag 2618001/2618001
185.97/184.03	c cleaning 71994 clauses out of 144007 with flag 2691000/2691000
192.30/190.30	c cleaning 73003 clauses out of 146013 with flag 2765000/2765000
198.92/196.99	c cleaning 74003 clauses out of 148010 with flag 2840000/2840000
205.53/203.50	c cleaning 75000 clauses out of 150007 with flag 2916000/2916000
214.13/212.13	c cleaning 75997 clauses out of 152007 with flag 2993000/2993000
219.15/217.13	c cleaning 76995 clauses out of 154010 with flag 3071000/3071000
226.06/224.06	c cleaning 78002 clauses out of 156015 with flag 3150000/3150000
232.58/230.51	c cleaning 79002 clauses out of 158014 with flag 3230001/3230001
239.40/237.30	c cleaning 79998 clauses out of 160011 with flag 3311000/3311000
246.62/244.51	c cleaning 81002 clauses out of 162015 with flag 3393002/3393002
252.84/250.79	c cleaning 81998 clauses out of 164012 with flag 3476001/3476001
261.16/259.07	c cleaning 83004 clauses out of 166015 with flag 3560002/3560002
270.98/268.85	c cleaning 84001 clauses out of 168009 with flag 3645000/3645000
277.82/275.61	c cleaning 84995 clauses out of 170008 with flag 3731000/3731000
285.85/283.64	c cleaning 86004 clauses out of 172013 with flag 3818000/3818000
293.39/291.15	c cleaning 87001 clauses out of 174010 with flag 3906001/3906001
301.80/299.55	c cleaning 88005 clauses out of 176010 with flag 3995002/3995002
311.64/309.38	c cleaning 88994 clauses out of 178003 with flag 4085000/4085000
322.08/319.70	c cleaning 89999 clauses out of 180010 with flag 4176001/4176001
333.60/331.23	c cleaning 91001 clauses out of 182011 with flag 4268001/4268001
346.41/344.01	c cleaning 92002 clauses out of 184010 with flag 4361001/4361001
360.47/358.09	c cleaning 93000 clauses out of 186008 with flag 4455001/4455001
370.62/368.11	c cleaning 93998 clauses out of 188007 with flag 4550000/4550000
378.68/376.16	c cleaning 95001 clauses out of 190009 with flag 4646000/4646000
387.11/384.53	c cleaning 95996 clauses out of 192008 with flag 4743000/4743000
396.35/393.74	c cleaning 97004 clauses out of 194013 with flag 4841001/4841001
410.99/408.39	c cleaning 98002 clauses out of 196011 with flag 4940003/4940003
421.45/418.78	c cleaning 98998 clauses out of 198006 with flag 5040000/5040000
433.52/430.77	c cleaning 100001 clauses out of 200010 with flag 5141002/5141002
443.44/440.65	c cleaning 101004 clauses out of 202007 with flag 5243000/5243000
458.98/456.12	c cleaning 102000 clauses out of 204005 with flag 5346002/5346002
478.24/475.32	c cleaning 102992 clauses out of 206004 with flag 5450001/5450001
490.21/487.24	c cleaning 104005 clauses out of 208012 with flag 5555001/5555001
501.62/498.67	c cleaning 105003 clauses out of 210007 with flag 5661001/5661001
515.46/512.43	c cleaning 105994 clauses out of 212003 with flag 5768000/5768000
534.89/531.83	c cleaning 107000 clauses out of 214012 with flag 5876003/5876003
549.84/546.73	c cleaning 108003 clauses out of 216009 with flag 5985000/5985000
564.47/561.31	c cleaning 108994 clauses out of 218006 with flag 6095000/6095000
575.49/572.32	c cleaning 110002 clauses out of 220013 with flag 6206001/6206001
588.42/585.29	c cleaning 111000 clauses out of 222010 with flag 6318000/6318000
600.04/596.81	c cleaning 112001 clauses out of 224011 with flag 6431001/6431001
611.98/608.72	c cleaning 112998 clauses out of 226010 with flag 6545001/6545001
624.93/621.62	c cleaning 114004 clauses out of 228013 with flag 6660002/6660002
637.74/634.41	c cleaning 114995 clauses out of 230008 with flag 6776001/6776001
647.78/644.50	c cleaning 116000 clauses out of 232012 with flag 6893000/6893000
659.51/656.19	c cleaning 117004 clauses out of 234012 with flag 7011000/7011000
672.03/668.70	c cleaning 117999 clauses out of 236011 with flag 7130003/7130003
685.86/682.46	c cleaning 119001 clauses out of 238009 with flag 7250000/7250000
700.80/697.37	c cleaning 119997 clauses out of 240009 with flag 7371001/7371001
715.15/711.61	c cleaning 121001 clauses out of 242012 with flag 7493001/7493001
738.17/734.70	c cleaning 121999 clauses out of 244010 with flag 7616000/7616000
751.59/747.99	c cleaning 123003 clauses out of 246012 with flag 7740001/7740001
768.94/765.26	c cleaning 123999 clauses out of 248010 with flag 7865002/7865002
784.26/780.52	c cleaning 125001 clauses out of 250009 with flag 7991000/7991000
802.14/798.35	c cleaning 126001 clauses out of 252010 with flag 8118002/8118002
821.16/817.38	c cleaning 126995 clauses out of 254007 with flag 8246000/8246000
838.12/834.22	c cleaning 128001 clauses out of 256012 with flag 8375000/8375000
855.06/851.19	c cleaning 129003 clauses out of 258011 with flag 8505000/8505000
873.11/869.15	c cleaning 130001 clauses out of 260009 with flag 8636001/8636001
892.62/888.67	c cleaning 131003 clauses out of 262008 with flag 8768001/8768001
910.24/906.26	c cleaning 131997 clauses out of 264005 with flag 8901001/8901001
923.95/919.93	c cleaning 133001 clauses out of 266007 with flag 9035000/9035000
942.37/938.30	c cleaning 133999 clauses out of 268007 with flag 9170001/9170001
961.98/958.00	c cleaning 135002 clauses out of 270007 with flag 9306000/9306000
980.89/976.83	c cleaning 135999 clauses out of 272005 with flag 9443000/9443000
1003.00/998.91	c cleaning 137000 clauses out of 274007 with flag 9581001/9581001
1023.98/1019.83	c cleaning 138000 clauses out of 276006 with flag 9720000/9720000
1045.58/1041.49	c cleaning 138998 clauses out of 278006 with flag 9860000/9860000
1074.14/1069.99	c cleaning 139998 clauses out of 280008 with flag 10001000/10001000
1094.80/1090.53	c cleaning 141001 clauses out of 282011 with flag 10143001/10143001
1111.96/1107.65	c cleaning 142004 clauses out of 284010 with flag 10286001/10286001
1132.99/1128.61	c cleaning 142994 clauses out of 286005 with flag 10430000/10430000
1156.60/1152.22	c cleaning 143998 clauses out of 288011 with flag 10575000/10575000
1175.88/1171.42	c cleaning 145002 clauses out of 290014 with flag 10721001/10721001
1193.90/1189.42	c cleaning 146004 clauses out of 292012 with flag 10868001/10868001
1216.62/1212.15	c cleaning 146995 clauses out of 294007 with flag 11016000/11016000
1234.33/1229.90	c cleaning 148000 clauses out of 296013 with flag 11165001/11165001
1252.75/1248.28	c cleaning 149002 clauses out of 298012 with flag 11315000/11315000
1275.97/1271.44	c cleaning 150003 clauses out of 300012 with flag 11466002/11466002
1297.41/1292.85	c cleaning 151004 clauses out of 302008 with flag 11618001/11618001
1329.30/1324.67	c cleaning 151996 clauses out of 304003 with flag 11771000/11771000
1364.69/1359.96	c cleaning 153001 clauses out of 306007 with flag 11925000/11925000
1389.96/1385.16	c cleaning 153996 clauses out of 308007 with flag 12080001/12080001
1417.78/1412.22	c cleaning 155003 clauses out of 310011 with flag 12236001/12236001
1441.07/1435.47	c cleaning 156002 clauses out of 312007 with flag 12393000/12393000
1464.20/1458.53	c cleaning 156997 clauses out of 314005 with flag 12551000/12551000
1489.81/1484.14	c cleaning 157998 clauses out of 316008 with flag 12710000/12710000
1518.59/1512.89	c cleaning 159004 clauses out of 318011 with flag 12870001/12870001
1542.61/1536.84	c cleaning 159999 clauses out of 320006 with flag 13031000/13031000
1571.92/1566.15	c cleaning 161004 clauses out of 322009 with flag 13193002/13193002
1597.84/1592.07	c cleaning 161998 clauses out of 324003 with flag 13356000/13356000
1622.27/1616.44	c cleaning 162996 clauses out of 326008 with flag 13520003/13520003
1651.79/1645.93	c cleaning 164000 clauses out of 328009 with flag 13685000/13685000
1678.62/1672.73	c cleaning 165001 clauses out of 330010 with flag 13851001/13851001
1712.05/1706.18	c cleaning 165999 clauses out of 332009 with flag 14018001/14018001
1742.43/1736.43	c cleaning 167000 clauses out of 334009 with flag 14186000/14186000
1768.96/1762.89	c cleaning 168002 clauses out of 336010 with flag 14355001/14355001
1800.10/1793.91	c starts		: 325
1800.10/1793.91	c conflicts		: 14525001
1800.10/1793.91	c decisions		: 14534623
1800.10/1793.91	c propagations		: 82721892
1800.10/1793.91	c inspects		: 20399844950
1800.10/1793.91	c shortcuts		: 0
1800.10/1793.91	c learnt literals	: 3
1800.10/1793.91	c learnt binary clauses	: 7
1800.10/1793.91	c learnt ternary clauses	: 7
1800.10/1793.91	c learnt constraints	: 14524998
1800.10/1793.91	c ignored constraints	: 0
1800.10/1793.91	c root simplifications	: 328
1800.10/1793.91	c removed literals (reason simplification)	: 136948698
1800.10/1793.91	c reason swapping (by a shorter reason)	: 0
1800.10/1793.91	c Calls to reduceDB	: 166
1800.10/1793.91	c number of reductions to clauses (during analyze)	: 0
1800.10/1793.91	c number of learned constraints concerned by reduction	: 0
1800.10/1793.91	c number of learning phase by resolution	: 0
1800.10/1793.91	c number of learning phase by cutting planes	: 0
1800.10/1793.91	c speed (assignments/second)	: 46116.040065180896
1800.10/1793.91	c non guided choices	43
1800.10/1793.94	c learnt constraints type 
1800.10/1793.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.10/1793.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 338003
1800.10/1793.94	c constraints type 
1800.10/1793.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.10/1793.94	c 2 constraints processed.
1800.10/1793.94	s UNKNOWN
1800.10/1793.94	c Total wall clock time (in seconds): 1793.827

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-3709702-1338150263/watcher-3709702-1338150263 -o /tmp/evaluation-result-3709702-1338150263/solver-3709702-1338150263 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709702-1338150263.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.02 2.00 3/194 20834
/proc/meminfo: memFree=27295832/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20834/stat : 20834 (java) D 20832 20834 16973 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 281152001 9515008 183 33554432000 1073741824 1073778376 140734324540784 140734324531816 270330052277 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20834/statm: 2323 183 140 9 0 71 0

[startup+0.0730941 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 20834
/proc/meminfo: memFree=27295832/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 3330 0 1 0 4 0 0 0 20 0 18 0 281152001 9787842560 4539 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2389610 4539 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100265 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 20834
/proc/meminfo: memFree=27295832/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 4289 0 1 0 8 1 0 0 20 0 18 0 281152001 9787842560 6007 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2389610 6007 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300218 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 20834
/proc/meminfo: memFree=27295832/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 6944 0 1 0 54 1 0 0 20 0 19 0 281152001 9856004096 8290 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 8291 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625004

[startup+0.700219 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 20834
/proc/meminfo: memFree=27295832/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 7592 0 1 0 105 1 0 0 20 0 19 0 281152001 9856004096 10899 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 10899 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9625004

[startup+1.50056 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 20853
/proc/meminfo: memFree=27258760/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 8823 0 1 0 198 2 0 0 20 0 19 0 281152001 9856004096 12085 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 12085 2274 9 0 2396937 0
[pid=20834/tid=20836] ppid=20832 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/20834/task/20836/stat : 20836 (java) S 20832 20834 16973 0 -1 4202560 2520 0 1 0 139 1 0 0 20 0 19 0 281152002 9856004096 12085 33554432000 1073741824 1073778376 140737251424416 140100778242472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20837] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20837/stat : 20837 (java) S 20832 20834 16973 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12085 33554432000 1073741824 1073778376 140737251424416 140100767304488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20838] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20838/stat : 20838 (java) S 20832 20834 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12085 33554432000 1073741824 1073778376 140737251424416 140100766251688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20839] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20839/stat : 20839 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12085 33554432000 1073741824 1073778376 140737251424416 140100765199400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20840] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20840/stat : 20840 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12085 33554432000 1073741824 1073778376 140737251424416 140100764146600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20841] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20841/stat : 20841 (java) S 20832 20834 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100763093288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20842] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20842/stat : 20842 (java) S 20832 20834 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100762040488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20843] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20843/stat : 20843 (java) S 20832 20834 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100760988200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20844] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20844/stat : 20844 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100614437288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20845] ppid=20832 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/20834/task/20845/stat : 20845 (java) R 20832 20834 16973 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 281152004 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100602238696 270329679764 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20846] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20846/stat : 20846 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100601185784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20847] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20847/stat : 20847 (java) S 20832 20834 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100600133384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20848] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20848/stat : 20848 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100599081872 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20849] ppid=20832 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/20834/task/20849/stat : 20849 (java) R 20832 20834 16973 0 -1 4202560 2396 0 0 0 21 0 0 0 20 0 19 0 281152007 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100598005720 140100784204979 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20850] ppid=20832 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20834/task/20850/stat : 20850 (java) S 20832 20834 16973 0 -1 4202560 2634 0 0 0 26 0 0 0 20 0 19 0 281152007 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100596975672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20851] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20851/stat : 20851 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100595923576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20852] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20852/stat : 20852 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100594870984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20853] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20853/stat : 20853 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152015 9856004096 12086 33554432000 1073741824 1073778376 140737251424416 140100593817000 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9625004

[startup+3.10108 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 20853
/proc/meminfo: memFree=27241272/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=3.93 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 14822 0 1 0 391 2 0 0 20 0 19 0 281152001 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 16425 2274 9 0 2396937 0
[pid=20834/tid=20836] ppid=20832 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/20834/task/20836/stat : 20836 (java) S 20832 20834 16973 0 -1 4202560 2523 0 1 0 293 1 0 0 20 0 19 0 281152002 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100778242472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20837] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20837/stat : 20837 (java) R 20832 20834 16973 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100767304616 270330006663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20838] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20838/stat : 20838 (java) R 20832 20834 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100766251712 270333436341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20839] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20839/stat : 20839 (java) R 20832 20834 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100765199528 270330006663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20840] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20840/stat : 20840 (java) R 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100764146728 140100786287778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20841] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20841/stat : 20841 (java) R 20832 20834 16973 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100763093416 270330006663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20842] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20842/stat : 20842 (java) R 20832 20834 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100762040616 270330006663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20843] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20843/stat : 20843 (java) R 20832 20834 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100760988328 270330006663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20844] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20844/stat : 20844 (java) R 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100614437416 270330006663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20845] ppid=20832 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/20834/task/20845/stat : 20845 (java) R 20832 20834 16973 0 -1 4202560 52 0 0 0 7 0 0 0 20 0 19 0 281152004 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100602238704 270333436341 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20846] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20846/stat : 20846 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100601185784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20847] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20847/stat : 20847 (java) S 20832 20834 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100600133384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20848] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20848/stat : 20848 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100599081872 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20849] ppid=20832 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/20834/task/20849/stat : 20849 (java) S 20832 20834 16973 0 -1 4202560 8248 0 0 0 51 0 0 0 20 0 19 0 281152007 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100598028472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20850] ppid=20832 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20834/task/20850/stat : 20850 (java) S 20832 20834 16973 0 -1 4202560 2734 0 0 0 26 0 0 0 20 0 19 0 281152007 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100596975672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20851] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20851/stat : 20851 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100595923576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20852] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20852/stat : 20852 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100594870984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20853] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20853/stat : 20853 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152015 9856004096 16425 33554432000 1073741824 1073778376 140737251424416 140100593817000 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 20853
/proc/meminfo: memFree=27241292/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=7.17 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 14839 0 1 0 715 2 0 0 20 0 19 0 281152001 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 15740 2274 9 0 2396937 0
[pid=20834/tid=20836] ppid=20832 vsize=9625004 CPUtime=6.03 cores=1,3,5,7
/proc/20834/task/20836/stat : 20836 (java) R 20832 20834 16973 0 -1 4202560 2530 0 1 0 602 1 0 0 20 0 19 0 281152002 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100778242352 140100642463586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20837] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20837/stat : 20837 (java) S 20832 20834 16973 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100767304488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20838] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20838/stat : 20838 (java) S 20832 20834 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100766251688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20839] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20839/stat : 20839 (java) S 20832 20834 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100765199400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20840] ppid=20832 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/20834/task/20840/stat : 20840 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100764146600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20841] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20841/stat : 20841 (java) S 20832 20834 16973 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100763093288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20842] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20842/stat : 20842 (java) S 20832 20834 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100762040488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20843] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20843/stat : 20843 (java) S 20832 20834 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100760988200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20844] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20844/stat : 20844 (java) S 20832 20834 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281152003 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100614437288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20845] ppid=20832 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/20834/task/20845/stat : 20845 (java) S 20832 20834 16973 0 -1 4202560 53 0 0 0 15 0 0 0 20 0 19 0 281152004 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100602239720 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20846] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20846/stat : 20846 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100601185784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20847] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20847/stat : 20847 (java) S 20832 20834 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100600133384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20848] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20848/stat : 20848 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100599081872 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20849] ppid=20832 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/20834/task/20849/stat : 20849 (java) S 20832 20834 16973 0 -1 4202560 8248 0 0 0 52 0 0 0 20 0 19 0 281152007 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100598028472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20850] ppid=20832 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20834/task/20850/stat : 20850 (java) S 20832 20834 16973 0 -1 4202560 2734 0 0 0 26 0 0 0 20 0 19 0 281152007 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100596975672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20851] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20851/stat : 20851 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100595923576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20852] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20852/stat : 20852 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100594870984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20853] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20853/stat : 20853 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152015 9856004096 15740 33554432000 1073741824 1073778376 140737251424416 140100593817000 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=20834/tid=20849] ppid=20832 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/20834/task/20849/stat : 20849 (java) S 20832 20834 16973 0 -1 4202560 12695 0 0 0 91 2 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100598028472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20850] ppid=20832 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/20834/task/20850/stat : 20850 (java) S 20832 20834 16973 0 -1 4202560 6014 0 0 0 66 1 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100596975672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20851] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20851/stat : 20851 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100595923576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20852] ppid=20832 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/20834/task/20852/stat : 20852 (java) S 20832 20834 16973 0 -1 4202560 99 0 0 0 13 18 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100594870984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20853] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20853/stat : 20853 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152015 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100593817000 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.33
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 20928
/proc/meminfo: memFree=26473212/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=1788.5 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 25198 0 1 0 178816 34 0 0 20 0 19 0 281152001 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 50068 2275 9 0 2396937 0
[pid=20834/tid=20836] ppid=20832 vsize=9625004 CPUtime=1769.07 cores=1,3,5,7
/proc/20834/task/20836/stat : 20836 (java) R 20832 20834 16973 0 -1 4202560 2699 0 1 0 176878 29 0 0 20 0 19 0 281152002 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100778242352 140100642444016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20837] ppid=20832 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/20834/task/20837/stat : 20837 (java) S 20832 20834 16973 0 -1 4202560 272 0 0 0 78 0 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100767304488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20838] ppid=20832 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/20834/task/20838/stat : 20838 (java) S 20832 20834 16973 0 -1 4202560 314 0 0 0 75 2 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100766251688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20839] ppid=20832 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/20834/task/20839/stat : 20839 (java) S 20832 20834 16973 0 -1 4202560 260 0 0 0 79 0 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100765199400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20840] ppid=20832 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/20834/task/20840/stat : 20840 (java) S 20832 20834 16973 0 -1 4202560 321 0 0 0 83 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100764146600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20841] ppid=20832 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/20834/task/20841/stat : 20841 (java) S 20832 20834 16973 0 -1 4202560 319 0 0 0 86 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100763093288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20842] ppid=20832 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/20834/task/20842/stat : 20842 (java) S 20832 20834 16973 0 -1 4202560 323 0 0 0 74 2 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100762040488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20843] ppid=20832 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/20834/task/20843/stat : 20843 (java) S 20832 20834 16973 0 -1 4202560 269 0 0 0 87 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100760988200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20844] ppid=20832 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/20834/task/20844/stat : 20844 (java) S 20832 20834 16973 0 -1 4202560 246 0 0 0 84 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100614437288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20845] ppid=20832 vsize=9625004 CPUtime=6.48 cores=1,3,5,7
/proc/20834/task/20845/stat : 20845 (java) S 20832 20834 16973 0 -1 4202560 182 0 0 0 646 2 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100602239720 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20846] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20846/stat : 20846 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100601185784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20847] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20847/stat : 20847 (java) S 20832 20834 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100600133384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20848] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20848/stat : 20848 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100599081872 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20849] ppid=20832 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/20834/task/20849/stat : 20849 (java) S 20832 20834 16973 0 -1 4202560 12695 0 0 0 91 2 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100598028472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20850] ppid=20832 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/20834/task/20850/stat : 20850 (java) S 20832 20834 16973 0 -1 4202560 6014 0 0 0 66 1 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100596975672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20851] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20851/stat : 20851 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100595923576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20852] ppid=20832 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/20834/task/20852/stat : 20852 (java) S 20832 20834 16973 0 -1 4202560 103 0 0 0 13 19 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100594870984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20853] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20853/stat : 20853 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152015 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100593817000 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 20928
/proc/meminfo: memFree=26475448/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 25198 0 1 0 179976 34 0 0 20 0 19 0 281152001 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 50068 2275 9 0 2396937 0
[pid=20834/tid=20836] ppid=20832 vsize=9625004 CPUtime=1780.65 cores=1,3,5,7
/proc/20834/task/20836/stat : 20836 (java) R 20832 20834 16973 0 -1 4202560 2699 0 1 0 178035 30 0 0 20 0 19 0 281152002 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100778242352 140100642281398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20837] ppid=20832 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/20834/task/20837/stat : 20837 (java) S 20832 20834 16973 0 -1 4202560 272 0 0 0 78 0 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100767304488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20838] ppid=20832 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/20834/task/20838/stat : 20838 (java) S 20832 20834 16973 0 -1 4202560 314 0 0 0 75 2 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100766251688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20839] ppid=20832 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/20834/task/20839/stat : 20839 (java) S 20832 20834 16973 0 -1 4202560 260 0 0 0 79 0 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100765199400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20840] ppid=20832 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/20834/task/20840/stat : 20840 (java) S 20832 20834 16973 0 -1 4202560 321 0 0 0 83 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100764146600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20841] ppid=20832 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/20834/task/20841/stat : 20841 (java) S 20832 20834 16973 0 -1 4202560 319 0 0 0 86 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100763093288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20842] ppid=20832 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/20834/task/20842/stat : 20842 (java) S 20832 20834 16973 0 -1 4202560 323 0 0 0 74 2 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100762040488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20843] ppid=20832 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/20834/task/20843/stat : 20843 (java) S 20832 20834 16973 0 -1 4202560 269 0 0 0 87 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100760988200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20844] ppid=20832 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/20834/task/20844/stat : 20844 (java) S 20832 20834 16973 0 -1 4202560 246 0 0 0 84 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100614437288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20845] ppid=20832 vsize=9625004 CPUtime=6.48 cores=1,3,5,7
/proc/20834/task/20845/stat : 20845 (java) S 20832 20834 16973 0 -1 4202560 182 0 0 0 646 2 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100602239720 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20846] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20846/stat : 20846 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100601185784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20847] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20847/stat : 20847 (java) S 20832 20834 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100600133384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20848] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20848/stat : 20848 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100599081872 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20849] ppid=20832 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/20834/task/20849/stat : 20849 (java) S 20832 20834 16973 0 -1 4202560 12695 0 0 0 91 2 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100598028472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20850] ppid=20832 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/20834/task/20850/stat : 20850 (java) S 20832 20834 16973 0 -1 4202560 6014 0 0 0 66 1 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100596975672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20851] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20851/stat : 20851 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100595923576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20852] ppid=20832 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/20834/task/20852/stat : 20852 (java) S 20832 20834 16973 0 -1 4202560 103 0 0 0 13 20 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100594870984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20853] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20853/stat : 20853 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152015 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100593817000 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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

[startup+1793.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 20928
/proc/meminfo: memFree=26475448/32873660 swapFree=7120/7120
[pid=20834] ppid=20832 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7
/proc/20834/stat : 20834 (java) S 20832 20834 16973 0 -1 4202496 25198 0 1 0 179976 34 0 0 20 0 19 0 281152001 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140737251415552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20834/statm: 2406251 50068 2275 9 0 2396937 0
[pid=20834/tid=20836] ppid=20832 vsize=9625004 CPUtime=1780.65 cores=1,3,5,7
/proc/20834/task/20836/stat : 20836 (java) R 20832 20834 16973 0 -1 4202560 2699 0 1 0 178035 30 0 0 20 0 19 0 281152002 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100778242352 140100642281398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20837] ppid=20832 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/20834/task/20837/stat : 20837 (java) S 20832 20834 16973 0 -1 4202560 272 0 0 0 78 0 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100767304488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20838] ppid=20832 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/20834/task/20838/stat : 20838 (java) S 20832 20834 16973 0 -1 4202560 314 0 0 0 75 2 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100766251688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20839] ppid=20832 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/20834/task/20839/stat : 20839 (java) S 20832 20834 16973 0 -1 4202560 260 0 0 0 79 0 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100765199400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20840] ppid=20832 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/20834/task/20840/stat : 20840 (java) S 20832 20834 16973 0 -1 4202560 321 0 0 0 83 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100764146600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20841] ppid=20832 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/20834/task/20841/stat : 20841 (java) S 20832 20834 16973 0 -1 4202560 319 0 0 0 86 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100763093288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20842] ppid=20832 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/20834/task/20842/stat : 20842 (java) S 20832 20834 16973 0 -1 4202560 323 0 0 0 74 2 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100762040488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20843] ppid=20832 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/20834/task/20843/stat : 20843 (java) S 20832 20834 16973 0 -1 4202560 269 0 0 0 87 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100760988200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20844] ppid=20832 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/20834/task/20844/stat : 20844 (java) S 20832 20834 16973 0 -1 4202560 246 0 0 0 84 1 0 0 20 0 19 0 281152003 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100614437288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20845] ppid=20832 vsize=9625004 CPUtime=6.48 cores=1,3,5,7
/proc/20834/task/20845/stat : 20845 (java) S 20832 20834 16973 0 -1 4202560 182 0 0 0 646 2 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100602239720 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20846] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20846/stat : 20846 (java) S 20832 20834 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100601185784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20847] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20847/stat : 20847 (java) S 20832 20834 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281152004 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100600133384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20848] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20848/stat : 20848 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100599081872 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20834/tid=20849] ppid=20832 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/20834/task/20849/stat : 20849 (java) S 20832 20834 16973 0 -1 4202560 12695 0 0 0 91 2 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100598028472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20834/tid=20850] ppid=20832 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/20834/task/20850/stat : 20850 (java) S 20832 20834 16973 0 -1 4202560 6014 0 0 0 66 1 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100596975672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20851] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20851/stat : 20851 (java) S 20832 20834 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100595923576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20834/tid=20852] ppid=20832 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/20834/task/20852/stat : 20852 (java) S 20832 20834 16973 0 -1 4202560 103 0 0 0 13 20 0 0 20 0 19 0 281152007 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100594870984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20834/tid=20853] ppid=20832 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20834/task/20853/stat : 20853 (java) S 20832 20834 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281152015 9856004096 50068 33554432000 1073741824 1073778376 140737251424416 140100593817000 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

Child status: 143

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

Real time (s): 1793.95
CPU time (s): 1800.1
CPU user time (s): 1799.76
CPU system time (s): 0.34
CPU usage (%): 100.343
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 0.770882
maximum resident set size= 208016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25243
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42571
involuntary context switches= 38557

runsolver used 5.73313 second user time and 14.5698 second system time

The end

Launcher Data

Begin job on node117 at 2012-05-27 22:24:23
IDJOB=3709702
IDBENCH=2562
IDSOLVER=2289
FILE ID=node117/3709702-1338150263
RUNJOBID= node117-1338124635-16990
PBS_JOBID= 14624513
Free space on /tmp= 70048 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-prob3.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-3709702-1338150263/watcher-3709702-1338150263 -o /tmp/evaluation-result-3709702-1338150263/solver-3709702-1338150263 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709702-1338150263.opb

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

MD5SUM BENCH= d900242764082ad39bc001b38a8b6b82
RANDOM SEED=637410740

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27296360 kB
Buffers:          332884 kB
Cached:          4046096 kB
SwapCached:            0 kB
Active:          2517800 kB
Inactive:        2186136 kB
Active(anon):     315772 kB
Inactive(anon):    11356 kB
Active(file):    2202028 kB
Inactive(file):  2174780 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:        417540 kB
Mapped:            22624 kB
Shmem:               200 kB
Slab:             735152 kB
SReclaimable:     179396 kB
SUnreclaim:       555756 kB
KernelStack:        1760 kB
PageTables:         4904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     697836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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= 70048 MiB
End job on node117 at 2012-05-27 22:54:18