Trace number 3249586

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 core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1302.25 1300.07

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-9x32.cnf
MD5SUMbcc12436eba65ad776b55f23c6f42298
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1152
Number of clauses73440
Sum of the clauses size290304
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21728
Number of clauses of size 30
Number of clauses of size 471712
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
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.09/0.12	c no version file found!!!
0.09/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.12	c java.vm.version	19.1-b02
0.09/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.12	c sun.arch.data.model	64
0.09/0.12	c java.version		1.6.0_24
0.09/0.12	c os.name		Linux
0.09/0.12	c os.version		2.6.18-164.el5
0.09/0.12	c os.arch		amd64
0.09/0.12	c Free memory 		6997539544
0.09/0.12	c Max memory 		7034241024
0.09/0.12	c Total memory 		7034241024
0.09/0.12	c Number of processors 	8
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
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=2147483647s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3249586-1303513023.cnf
0.09/0.12	c reading problem ... 
0.28/0.24	c ... done. Wall clock time 0.147s.
0.28/0.24	c #vars     1152
0.28/0.24	c #constraints  73440
0.28/0.24	c constraints type 
0.28/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71712
0.28/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1728
1.23/0.87	c cleaning 2496 clauses out of 5000 with flag 5000/5000
1.99/1.35	c cleaning 4236 clauses out of 8504 with flag 11000/11000
2.49/1.84	c cleaning 5634 clauses out of 11270 with flag 18002/18002
3.11/2.41	c cleaning 6816 clauses out of 13634 with flag 26000/26000
3.71/3.01	c cleaning 7904 clauses out of 15818 with flag 35000/35000
4.31/3.66	c cleaning 8944 clauses out of 17915 with flag 45001/45001
5.02/4.37	c cleaning 9982 clauses out of 19970 with flag 56000/56000
5.82/5.19	c cleaning 10991 clauses out of 21991 with flag 68003/68003
6.72/6.04	c cleaning 11984 clauses out of 24000 with flag 81003/81003
7.62/6.97	c cleaning 13003 clauses out of 26014 with flag 95001/95001
8.63/7.98	c cleaning 13984 clauses out of 28010 with flag 110000/110000
9.74/9.03	c cleaning 14992 clauses out of 30026 with flag 126000/126000
10.84/10.14	c cleaning 16009 clauses out of 32038 with flag 143004/143004
12.04/11.31	c cleaning 17007 clauses out of 34025 with flag 161000/161000
13.24/12.58	c cleaning 17992 clauses out of 36020 with flag 180002/180002
14.64/13.92	c cleaning 18994 clauses out of 38029 with flag 200003/200003
16.06/15.36	c cleaning 19996 clauses out of 40032 with flag 221000/221000
17.56/16.87	c cleaning 21004 clauses out of 42036 with flag 243000/243000
19.16/18.42	c cleaning 21998 clauses out of 44034 with flag 266002/266002
20.66/19.98	c cleaning 23002 clauses out of 46034 with flag 290000/290000
22.46/21.74	c cleaning 24008 clauses out of 48032 with flag 315000/315000
24.27/23.54	c cleaning 24978 clauses out of 50024 with flag 341000/341000
26.27/25.53	c cleaning 26005 clauses out of 52047 with flag 368001/368001
28.07/27.39	c cleaning 27010 clauses out of 54044 with flag 396003/396003
30.17/29.43	c cleaning 27989 clauses out of 56031 with flag 425000/425000
32.28/31.59	c cleaning 29006 clauses out of 58043 with flag 455001/455001
34.38/33.68	c cleaning 29990 clauses out of 60036 with flag 486000/486000
36.78/36.08	c cleaning 31006 clauses out of 62047 with flag 518001/518001
39.29/38.58	c cleaning 32014 clauses out of 64040 with flag 551000/551000
41.69/40.92	c cleaning 32974 clauses out of 66026 with flag 585000/585000
44.39/43.69	c cleaning 34001 clauses out of 68052 with flag 620000/620000
47.00/46.22	c cleaning 34994 clauses out of 70054 with flag 656003/656003
49.90/49.17	c cleaning 36015 clauses out of 72059 with flag 693002/693002
52.80/52.04	c cleaning 36977 clauses out of 74043 with flag 731001/731001
55.92/55.18	c cleaning 38002 clauses out of 76065 with flag 770000/770000
59.13/58.38	c cleaning 38998 clauses out of 78064 with flag 810001/810001
62.52/61.76	c cleaning 40009 clauses out of 80065 with flag 851000/851000
65.83/65.05	c cleaning 41000 clauses out of 82059 with flag 893003/893003
69.43/68.63	c cleaning 42010 clauses out of 84058 with flag 936002/936002
72.84/72.02	c cleaning 43001 clauses out of 86049 with flag 980003/980003
76.65/75.89	c cleaning 43993 clauses out of 88045 with flag 1025000/1025000
80.05/79.23	c cleaning 45002 clauses out of 90053 with flag 1071001/1071001
84.35/83.53	c cleaning 46005 clauses out of 92050 with flag 1118000/1118000
87.95/87.14	c cleaning 46999 clauses out of 94045 with flag 1166000/1166000
92.16/91.36	c cleaning 47981 clauses out of 96049 with flag 1215003/1215003
96.66/95.83	c cleaning 49015 clauses out of 98065 with flag 1265000/1265000
100.88/100.07	c cleaning 49987 clauses out of 100050 with flag 1316000/1316000
106.18/105.38	c cleaning 50995 clauses out of 102063 with flag 1368000/1368000
110.29/109.47	c cleaning 52011 clauses out of 104070 with flag 1421002/1421002
115.59/114.70	c cleaning 52997 clauses out of 106057 with flag 1475000/1475000
120.60/119.79	c cleaning 53980 clauses out of 108062 with flag 1530002/1530002
125.30/124.42	c cleaning 54992 clauses out of 110082 with flag 1586002/1586002
130.72/129.81	c cleaning 56031 clauses out of 112090 with flag 1643002/1643002
135.82/134.94	c cleaning 57002 clauses out of 114058 with flag 1701001/1701001
141.12/140.28	c cleaning 58003 clauses out of 116055 with flag 1760000/1760000
147.13/146.25	c cleaning 58982 clauses out of 118053 with flag 1820001/1820001
152.03/151.14	c cleaning 60027 clauses out of 120070 with flag 1881000/1881000
157.34/156.40	c cleaning 61016 clauses out of 122043 with flag 1943000/1943000
162.74/161.89	c cleaning 61974 clauses out of 124027 with flag 2006000/2006000
168.05/167.12	c cleaning 63015 clauses out of 126053 with flag 2070000/2070000
174.26/173.37	c cleaning 63982 clauses out of 128039 with flag 2135001/2135001
181.47/180.52	c cleaning 64977 clauses out of 130056 with flag 2201000/2201000
187.88/186.93	c cleaning 66034 clauses out of 132079 with flag 2268000/2268000
194.18/193.26	c cleaning 66969 clauses out of 134046 with flag 2336001/2336001
201.19/200.24	c cleaning 67998 clauses out of 136076 with flag 2405000/2405000
209.19/208.28	c cleaning 69008 clauses out of 138079 with flag 2475001/2475001
215.70/214.73	c cleaning 70026 clauses out of 140070 with flag 2546000/2546000
223.31/222.33	c cleaning 70967 clauses out of 142046 with flag 2618002/2618002
231.42/230.43	c cleaning 72001 clauses out of 144078 with flag 2691001/2691001
238.13/237.17	c cleaning 73012 clauses out of 146076 with flag 2765000/2765000
245.24/244.28	c cleaning 73502 clauses out of 147066 with flag 2839002/2839002
254.26/253.25	c cleaning 73751 clauses out of 147562 with flag 2913000/2913000
263.57/262.51	c cleaning 73892 clauses out of 147811 with flag 2987000/2987000
269.39/268.38	c cleaning 73921 clauses out of 147920 with flag 3061001/3061001
276.89/275.88	c cleaning 73967 clauses out of 148002 with flag 3135004/3135004
286.30/285.25	c cleaning 73978 clauses out of 148032 with flag 3209001/3209001
295.81/294.72	c cleaning 74010 clauses out of 148053 with flag 3283000/3283000
302.12/301.02	c cleaning 73980 clauses out of 148044 with flag 3357001/3357001
309.52/308.43	c cleaning 73995 clauses out of 148063 with flag 3431000/3431000
318.22/317.19	c cleaning 73992 clauses out of 148071 with flag 3505003/3505003
326.83/325.79	c cleaning 73985 clauses out of 148076 with flag 3579000/3579000
334.64/333.55	c cleaning 73995 clauses out of 148094 with flag 3653003/3653003
341.25/340.17	c cleaning 74029 clauses out of 148097 with flag 3727001/3727001
348.16/347.02	c cleaning 73981 clauses out of 148067 with flag 3801000/3801000
357.06/355.99	c cleaning 74001 clauses out of 148089 with flag 3875003/3875003
368.17/367.02	c cleaning 74012 clauses out of 148086 with flag 3949001/3949001
376.48/375.31	c cleaning 74008 clauses out of 148073 with flag 4023000/4023000
383.40/382.20	c cleaning 73979 clauses out of 148065 with flag 4097000/4097000
390.70/389.54	c cleaning 74022 clauses out of 148089 with flag 4171003/4171003
399.31/398.14	c cleaning 74001 clauses out of 148064 with flag 4245000/4245000
409.92/408.73	c cleaning 74008 clauses out of 148063 with flag 4319000/4319000
420.43/419.23	c cleaning 74002 clauses out of 148055 with flag 4393000/4393000
427.05/425.85	c cleaning 74014 clauses out of 148055 with flag 4467002/4467002
434.35/433.16	c cleaning 74008 clauses out of 148040 with flag 4541001/4541001
442.05/440.87	c cleaning 73981 clauses out of 148031 with flag 4615000/4615000
451.36/450.18	c cleaning 74019 clauses out of 148052 with flag 4689002/4689002
461.27/460.05	c cleaning 73999 clauses out of 148032 with flag 4763001/4763001
472.28/471.00	c cleaning 74010 clauses out of 148032 with flag 4837000/4837000
478.30/477.09	c cleaning 73989 clauses out of 148022 with flag 4911000/4911000
485.21/483.95	c cleaning 73966 clauses out of 148034 with flag 4985001/4985001
493.71/492.49	c cleaning 74016 clauses out of 148067 with flag 5059000/5059000
502.62/501.30	c cleaning 73990 clauses out of 148053 with flag 5133002/5133002
513.13/511.83	c cleaning 73988 clauses out of 148061 with flag 5207000/5207000
522.44/521.13	c cleaning 74006 clauses out of 148073 with flag 5281000/5281000
532.15/530.82	c cleaning 74011 clauses out of 148067 with flag 5355000/5355000
539.06/537.71	c cleaning 73997 clauses out of 148058 with flag 5429002/5429002
546.76/545.43	c cleaning 74003 clauses out of 148060 with flag 5503001/5503001
554.57/553.28	c cleaning 73993 clauses out of 148058 with flag 5577002/5577002
564.28/562.92	c cleaning 73986 clauses out of 148063 with flag 5651000/5651000
574.50/573.19	c cleaning 74005 clauses out of 148077 with flag 5725000/5725000
585.00/583.67	c cleaning 73992 clauses out of 148072 with flag 5799000/5799000
596.42/595.02	c cleaning 74024 clauses out of 148080 with flag 5873000/5873000
602.42/601.04	c cleaning 74010 clauses out of 148056 with flag 5947000/5947000
609.83/608.41	c cleaning 73997 clauses out of 148046 with flag 6021000/6021000
617.94/616.55	c cleaning 73970 clauses out of 148049 with flag 6095000/6095000
627.84/626.42	c cleaning 74019 clauses out of 148080 with flag 6169001/6169001
636.75/635.35	c cleaning 73999 clauses out of 148060 with flag 6243000/6243000
647.46/646.05	c cleaning 73989 clauses out of 148063 with flag 6317002/6317002
657.68/656.25	c cleaning 73998 clauses out of 148072 with flag 6391000/6391000
670.39/668.92	c cleaning 74027 clauses out of 148074 with flag 6465000/6465000
676.91/675.49	c cleaning 73993 clauses out of 148048 with flag 6539001/6539001
684.81/683.31	c cleaning 73979 clauses out of 148055 with flag 6613001/6613001
692.82/691.31	c cleaning 73999 clauses out of 148077 with flag 6687002/6687002
701.83/700.32	c cleaning 74010 clauses out of 148078 with flag 6761002/6761002
711.34/709.88	c cleaning 74013 clauses out of 148068 with flag 6835002/6835002
723.05/721.55	c cleaning 73980 clauses out of 148053 with flag 6909000/6909000
733.36/731.88	c cleaning 73991 clauses out of 148074 with flag 6983001/6983001
745.17/743.64	c cleaning 74016 clauses out of 148082 with flag 7057000/7057000
754.78/753.30	c cleaning 73998 clauses out of 148066 with flag 7131000/7131000
761.59/760.08	c cleaning 73997 clauses out of 148068 with flag 7205000/7205000
769.79/768.20	c cleaning 73979 clauses out of 148071 with flag 7279000/7279000
778.10/776.50	c cleaning 74030 clauses out of 148092 with flag 7353000/7353000
787.20/785.68	c cleaning 74002 clauses out of 148062 with flag 7427000/7427000
797.22/795.62	c cleaning 73990 clauses out of 148062 with flag 7501002/7501002
807.33/805.71	c cleaning 74002 clauses out of 148073 with flag 7575003/7575003
818.64/817.07	c cleaning 74009 clauses out of 148068 with flag 7649000/7649000
829.55/827.93	c cleaning 74010 clauses out of 148059 with flag 7723000/7723000
840.77/839.15	c cleaning 73975 clauses out of 148050 with flag 7797001/7797001
848.88/847.24	c cleaning 74008 clauses out of 148077 with flag 7871003/7871003
856.30/854.68	c cleaning 73990 clauses out of 148066 with flag 7945000/7945000
864.20/862.52	c cleaning 74018 clauses out of 148077 with flag 8019001/8019001
873.01/871.39	c cleaning 73977 clauses out of 148061 with flag 8093003/8093003
882.72/881.02	c cleaning 74019 clauses out of 148084 with flag 8167003/8167003
892.33/890.61	c cleaning 74007 clauses out of 148063 with flag 8241001/8241001
903.04/901.37	c cleaning 74015 clauses out of 148056 with flag 8315001/8315001
911.25/909.54	c cleaning 73964 clauses out of 148042 with flag 8389002/8389002
922.85/921.10	c cleaning 73987 clauses out of 148077 with flag 8463001/8463001
937.47/935.78	c cleaning 74025 clauses out of 148092 with flag 8537003/8537003
954.78/953.05	c cleaning 74002 clauses out of 148065 with flag 8611001/8611001
960.90/959.13	c cleaning 73995 clauses out of 148062 with flag 8685000/8685000
968.40/966.65	c cleaning 73990 clauses out of 148068 with flag 8759001/8759001
977.11/975.39	c cleaning 73990 clauses out of 148078 with flag 8833001/8833001
986.02/984.23	c cleaning 73999 clauses out of 148087 with flag 8907000/8907000
995.82/994.04	c cleaning 73999 clauses out of 148089 with flag 8981001/8981001
1005.23/1003.47	c cleaning 74019 clauses out of 148092 with flag 9055003/9055003
1016.24/1014.43	c cleaning 73961 clauses out of 148070 with flag 9129000/9129000
1027.15/1025.34	c cleaning 74001 clauses out of 148109 with flag 9203000/9203000
1039.86/1038.01	c cleaning 74015 clauses out of 148109 with flag 9277001/9277001
1050.88/1049.03	c cleaning 74010 clauses out of 148094 with flag 9351001/9351001
1063.88/1062.05	c cleaning 73997 clauses out of 148084 with flag 9425001/9425001
1075.89/1074.01	c cleaning 74003 clauses out of 148086 with flag 9499000/9499000
1082.31/1080.47	c cleaning 74001 clauses out of 148084 with flag 9573001/9573001
1089.72/1087.88	c cleaning 74020 clauses out of 148082 with flag 9647000/9647000
1098.22/1096.30	c cleaning 73995 clauses out of 148063 with flag 9721001/9721001
1106.43/1104.55	c cleaning 73979 clauses out of 148068 with flag 9795001/9795001
1115.74/1113.85	c cleaning 73988 clauses out of 148088 with flag 9869000/9869000
1125.35/1123.49	c cleaning 74015 clauses out of 148100 with flag 9943000/9943000
1136.26/1134.39	c cleaning 74009 clauses out of 148085 with flag 10017000/10017000
1147.77/1145.89	c cleaning 74012 clauses out of 148077 with flag 10091001/10091001
1158.09/1156.12	c cleaning 73979 clauses out of 148066 with flag 10165002/10165002
1171.49/1169.54	c cleaning 74017 clauses out of 148086 with flag 10239001/10239001
1183.11/1181.11	c cleaning 73987 clauses out of 148068 with flag 10313000/10313000
1195.82/1193.85	c cleaning 74001 clauses out of 148082 with flag 10387001/10387001
1208.43/1206.41	c cleaning 74010 clauses out of 148080 with flag 10461000/10461000
1215.45/1213.44	c cleaning 74020 clauses out of 148070 with flag 10535000/10535000
1223.15/1221.19	c cleaning 73992 clauses out of 148051 with flag 10609001/10609001
1230.96/1228.96	c cleaning 73995 clauses out of 148060 with flag 10683002/10683002
1239.27/1237.27	c cleaning 73966 clauses out of 148063 with flag 10757000/10757000
1247.87/1245.88	c cleaning 74030 clauses out of 148097 with flag 10831000/10831000
1257.39/1255.32	c cleaning 74009 clauses out of 148067 with flag 10905000/10905000
1267.40/1265.37	c cleaning 73996 clauses out of 148058 with flag 10979000/10979000
1279.71/1277.69	c cleaning 74010 clauses out of 148064 with flag 11053002/11053002
1291.03/1288.93	c cleaning 73985 clauses out of 148052 with flag 11127000/11127000
1302.14/1300.01	c starts		: 2698
1302.14/1300.01	c conflicts		: 11199586
1302.14/1300.01	c decisions		: 18091937
1302.14/1300.01	c propagations		: 402415718
1302.14/1300.01	c inspects		: 11855113091
1302.14/1300.01	c shortcuts		: 0
1302.14/1300.01	c learnt literals	: 0
1302.14/1300.01	c learnt binary clauses	: 0
1302.14/1300.01	c learnt ternary clauses	: 0
1302.14/1300.01	c learnt constraints	: 11199586
1302.14/1300.01	c ignored constraints	: 0
1302.14/1300.01	c root simplifications	: 2698
1302.14/1300.01	c removed literals (reason simplification)	: 57385379
1302.14/1300.01	c reason swapping (by a shorter reason)	: 0
1302.14/1300.01	c Calls to reduceDB	: 183
1302.14/1300.01	c speed (assignments/second)	: 309605.56683533767
1302.14/1300.01	c non guided choices	199325
1302.14/1300.06	c learnt constraints type 
1302.14/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146815
1302.14/1300.06	c constraints type 
1302.14/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71712
1302.14/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1728
1302.14/1300.06	s UNKNOWN
1302.14/1300.06	c Total wall clock time (in seconds) : 1299.916

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3249586-1303513023/watcher-3249586-1303513023 -o /tmp/evaluation-result-3249586-1303513023/solver-3249586-1303513023 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249586-1303513023.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.39 3.84 3.61 2/200 18094
/proc/meminfo: memFree=16283008/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=30540 CPUtime=0 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 1250 0 0 0 0 0 0 0 25 0 2 0 462902700 31272960 968 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 7635 969 741 9 0 386 0
[pid=18094/tid=18095] ppid=18092 vsize=30540 CPUtime=0 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 135 0 0 0 0 0 0 0 25 0 2 0 462902700 31272960 969 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253640859451 0 0 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.097312 s]
/proc/loadavg: 3.39 3.84 3.61 2/200 18094
/proc/meminfo: memFree=16283008/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7569940 CPUtime=0.08 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 9675 0 1 0 7 1 0 0 25 0 18 0 462902700 7751618560 9371 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1892485 9372 1756 9 0 1883223 0
[pid=18094/tid=18095] ppid=18092 vsize=7569940 CPUtime=0.08 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 8501 0 1 0 7 1 0 0 25 0 18 0 462902700 7751618560 9372 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 47192004021187 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940

[startup+0.100271 s]
/proc/loadavg: 3.39 3.84 3.61 2/200 18094
/proc/meminfo: memFree=16283008/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7570236 CPUtime=0.09 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 9942 0 1 0 8 1 0 0 25 0 18 0 462902700 7751921664 9637 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1892559 9654 1917 9 0 1883297 0
[pid=18094/tid=18095] ppid=18092 vsize=7570236 CPUtime=0.08 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 8579 0 1 0 7 1 0 0 25 0 18 0 462902700 7751921664 9666 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 47192004019848 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7570236

[startup+0.300196 s]
/proc/loadavg: 3.39 3.84 3.61 2/200 18094
/proc/meminfo: memFree=16283008/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7638796 CPUtime=0.45 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 13648 0 1 0 43 2 0 0 25 0 19 0 462902700 7822127104 12836 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1909699 12836 2207 9 0 1900437 0
[pid=18094/tid=18095] ppid=18092 vsize=7638796 CPUtime=0.28 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 10510 0 1 0 27 1 0 0 25 0 19 0 462902700 7822127104 12836 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505217361 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 7638796

[startup+0.701193 s]
/proc/loadavg: 3.39 3.84 3.61 2/200 18094
/proc/meminfo: memFree=16283008/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7638516 CPUtime=1.13 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 16317 0 1 0 111 2 0 0 25 0 19 0 462902700 7821840384 14265 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1909629 14265 2226 9 0 1900367 0
[pid=18094/tid=18095] ppid=18092 vsize=7638516 CPUtime=0.68 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 10867 0 1 0 67 1 0 0 25 0 19 0 462902700 7821840384 14265 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505590082 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 7638516

[startup+1.50102 s]
/proc/loadavg: 3.39 3.84 3.61 8/239 18204
/proc/meminfo: memFree=16074128/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7638924 CPUtime=2.19 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 27693 0 1 0 215 4 0 0 25 0 19 0 462902700 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1909731 22944 2254 9 0 1900469 0
[pid=18094/tid=18095] ppid=18092 vsize=7638924 CPUtime=1.39 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 10994 0 1 0 138 1 0 0 25 0 19 0 462902700 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505642928 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18094/tid=18097] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18097/stat : 18097 (java) S 18092 18094 16143 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18098] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18098/stat : 18098 (java) S 18092 18094 16143 0 -1 4202560 1000 0 0 0 0 0 0 0 16 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18099] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18099/stat : 18099 (java) S 18092 18094 16143 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18100] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18100/stat : 18100 (java) S 18092 18094 16143 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18101] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18101/stat : 18101 (java) S 18092 18094 16143 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18102] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18102/stat : 18102 (java) S 18092 18094 16143 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18103] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18103/stat : 18103 (java) S 18092 18094 16143 0 -1 4202560 428 0 0 0 0 0 0 0 16 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18104] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18104/stat : 18104 (java) S 18092 18094 16143 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 462902702 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18114] ppid=18092 vsize=7638924 CPUtime=0.05 cores=0,2
/proc/18094/task/18114/stat : 18114 (java) S 18092 18094 16143 0 -1 4202560 1899 0 0 0 5 0 0 0 16 0 19 0 462902703 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 0 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18119] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18119/stat : 18119 (java) S 18092 18094 16143 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 462902703 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18122] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18122/stat : 18122 (java) S 18092 18094 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902703 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18125] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18125/stat : 18125 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652683185 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18126] ppid=18092 vsize=7638924 CPUtime=0.58 cores=0,2
/proc/18094/task/18126/stat : 18126 (java) S 18092 18094 16143 0 -1 4202560 10650 0 0 0 56 2 0 0 16 0 19 0 462902706 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18127] ppid=18092 vsize=7638924 CPUtime=0.1 cores=0,2
/proc/18094/task/18127/stat : 18127 (java) S 18092 18094 16143 0 -1 4202560 913 0 0 0 10 0 0 0 18 0 19 0 462902706 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18128] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18128/stat : 18128 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18129] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18129/stat : 18129 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462902706 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18157] ppid=18092 vsize=7638924 CPUtime=0 cores=0,2
/proc/18094/task/18157/stat : 18157 (java) S 18092 18094 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902725 7822258176 22944 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 7638924

[startup+3.10073 s]
/proc/loadavg: 3.39 3.84 3.61 5/262 18232
/proc/meminfo: memFree=15986108/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7639228 CPUtime=3.81 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 28229 0 1 0 377 4 0 0 25 0 19 0 462902700 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1909807 23477 2254 9 0 1900545 0
[pid=18094/tid=18095] ppid=18092 vsize=7639228 CPUtime=2.89 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 10997 0 1 0 288 1 0 0 25 0 19 0 462902700 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505590082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18094/tid=18097] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18097/stat : 18097 (java) S 18092 18094 16143 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18098] ppid=18092 vsize=7639228 CPUtime=0.01 cores=0,2
/proc/18094/task/18098/stat : 18098 (java) S 18092 18094 16143 0 -1 4202560 1000 0 0 0 1 0 0 0 15 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18099] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18099/stat : 18099 (java) S 18092 18094 16143 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18100] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18100/stat : 18100 (java) S 18092 18094 16143 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18101] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18101/stat : 18101 (java) S 18092 18094 16143 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18102] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18102/stat : 18102 (java) S 18092 18094 16143 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18103] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18103/stat : 18103 (java) S 18092 18094 16143 0 -1 4202560 429 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18104] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18104/stat : 18104 (java) S 18092 18094 16143 0 -1 4202560 274 0 0 0 0 0 0 0 16 0 19 0 462902702 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18114] ppid=18092 vsize=7639228 CPUtime=0.14 cores=0,2
/proc/18094/task/18114/stat : 18114 (java) S 18092 18094 16143 0 -1 4202560 2092 0 0 0 14 0 0 0 16 0 19 0 462902703 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 0 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18119] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18119/stat : 18119 (java) S 18092 18094 16143 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 462902703 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18122] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18122/stat : 18122 (java) S 18092 18094 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902703 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18125] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18125/stat : 18125 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652683185 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18126] ppid=18092 vsize=7639228 CPUtime=0.58 cores=0,2
/proc/18094/task/18126/stat : 18126 (java) S 18092 18094 16143 0 -1 4202560 10651 0 0 0 56 2 0 0 15 0 19 0 462902706 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18127] ppid=18092 vsize=7639228 CPUtime=0.13 cores=0,2
/proc/18094/task/18127/stat : 18127 (java) S 18092 18094 16143 0 -1 4202560 987 0 0 0 13 0 0 0 15 0 19 0 462902706 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18128] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18128/stat : 18128 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18129] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18129/stat : 18129 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462902706 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18157] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18157/stat : 18157 (java) S 18092 18094 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902725 7822569472 23477 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 7639228

[startup+6.30116 s]
/proc/loadavg: 3.76 3.91 3.63 5/262 18233
/proc/meminfo: memFree=15911396/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7639228 CPUtime=7.02 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 28354 0 1 0 698 4 0 0 25 0 19 0 462902700 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1909807 23127 2254 9 0 1900545 0
[pid=18094/tid=18095] ppid=18092 vsize=7639228 CPUtime=5.95 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 11002 0 1 0 594 1 0 0 25 0 19 0 462902700 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505662685 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18094/tid=18097] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18097/stat : 18097 (java) S 18092 18094 16143 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18098] ppid=18092 vsize=7639228 CPUtime=0.01 cores=0,2
/proc/18094/task/18098/stat : 18098 (java) S 18092 18094 16143 0 -1 4202560 1000 0 0 0 1 0 0 0 15 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18099] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18099/stat : 18099 (java) S 18092 18094 16143 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18100] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18100/stat : 18100 (java) S 18092 18094 16143 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18101] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18101/stat : 18101 (java) S 18092 18094 16143 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18102] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18102/stat : 18102 (java) S 18092 18094 16143 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18103] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18103/stat : 18103 (java) S 18092 18094 16143 0 -1 4202560 429 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18104] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18104/stat : 18104 (java) S 18092 18094 16143 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 462902702 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18114] ppid=18092 vsize=7639228 CPUtime=0.28 cores=0,2
/proc/18094/task/18114/stat : 18114 (java) S 18092 18094 16143 0 -1 4202560 2206 0 0 0 28 0 0 0 16 0 19 0 462902703 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 0 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18119] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18119/stat : 18119 (java) S 18092 18094 16143 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 462902703 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18122] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18122/stat : 18122 (java) S 18092 18094 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902703 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18125] ppid=18092 vsize=7639228 CPUtime=0 cores=0,2
/proc/18094/task/18125/stat : 18125 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652683185 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18126] ppid=18092 vsize=7639228 CPUtime=0.58 cores=0,2
/proc/18094/task/18126/stat : 18126 (java) S 18092 18094 16143 0 -1 4202560 10651 0 0 0 56 2 0 0 15 0 19 0 462902706 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18127] ppid=18092 vsize=7639228 CPUtime=0.13 cores=0,2
/proc/18094/task/18127/stat : 18127 (java) S 18092 18094 16143 0 -1 4202560 987 0 0 0 13 0 0 0 15 0 19 0 462902706 7822569472 23127 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0

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

[pid=18094/tid=18102] ppid=18092 vsize=7640472 CPUtime=0.32 cores=0,2
/proc/18094/task/18102/stat : 18102 (java) S 18092 18094 16143 0 -1 4202560 269 0 0 0 32 0 0 0 15 0 19 0 462902702 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18103] ppid=18092 vsize=7640472 CPUtime=0.33 cores=0,2
/proc/18094/task/18103/stat : 18103 (java) S 18092 18094 16143 0 -1 4202560 1416 0 0 0 33 0 0 0 15 0 19 0 462902702 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18104] ppid=18092 vsize=7640472 CPUtime=0.31 cores=0,2
/proc/18094/task/18104/stat : 18104 (java) S 18092 18094 16143 0 -1 4202560 1004 0 0 0 31 0 0 0 15 0 19 0 462902702 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18114] ppid=18092 vsize=7640472 CPUtime=10.18 cores=0,2
/proc/18094/task/18114/stat : 18114 (java) S 18092 18094 16143 0 -1 4202560 11363 0 0 0 1015 3 0 0 15 0 19 0 462902703 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 0 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18119] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18119/stat : 18119 (java) S 18092 18094 16143 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18122] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18122/stat : 18122 (java) S 18092 18094 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18125] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18125/stat : 18125 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652683185 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18126] ppid=18092 vsize=7640472 CPUtime=0.58 cores=0,2
/proc/18094/task/18126/stat : 18126 (java) S 18092 18094 16143 0 -1 4202560 10651 0 0 0 56 2 0 0 15 0 19 0 462902706 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18127] ppid=18092 vsize=7640472 CPUtime=0.16 cores=0,2
/proc/18094/task/18127/stat : 18127 (java) S 18092 18094 16143 0 -1 4202560 1240 0 0 0 16 0 0 0 15 0 19 0 462902706 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18128] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18128/stat : 18128 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18129] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18129/stat : 18129 (java) S 18092 18094 16143 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 462902706 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18157] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18157/stat : 18157 (java) S 18092 18094 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902725 7823843328 46349 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1124.25
Current children cumulated vsize (KiB) 7640472

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.89 6/262 18276
/proc/meminfo: memFree=15434380/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7640472 CPUtime=1184.32 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 52255 0 1 0 118419 13 0 0 25 0 19 0 462902700 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1910118 46722 2255 9 0 1900856 0
[pid=18094/tid=18095] ppid=18092 vsize=7640472 CPUtime=1170.21 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 16556 0 1 0 117016 5 0 0 25 0 19 0 462902700 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505662642 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18094/tid=18097] ppid=18092 vsize=7640472 CPUtime=0.29 cores=0,2
/proc/18094/task/18097/stat : 18097 (java) S 18092 18094 16143 0 -1 4202560 1467 0 0 0 29 0 0 0 15 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18098] ppid=18092 vsize=7640472 CPUtime=0.3 cores=0,2
/proc/18094/task/18098/stat : 18098 (java) S 18092 18094 16143 0 -1 4202560 1231 0 0 0 30 0 0 0 15 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18099] ppid=18092 vsize=7640472 CPUtime=0.33 cores=0,2
/proc/18094/task/18099/stat : 18099 (java) S 18092 18094 16143 0 -1 4202560 1675 0 0 0 33 0 0 0 15 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18100] ppid=18092 vsize=7640472 CPUtime=0.36 cores=0,2
/proc/18094/task/18100/stat : 18100 (java) S 18092 18094 16143 0 -1 4202560 2164 0 0 0 36 0 0 0 15 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18101] ppid=18092 vsize=7640472 CPUtime=0.31 cores=0,2
/proc/18094/task/18101/stat : 18101 (java) S 18092 18094 16143 0 -1 4202560 1622 0 0 0 31 0 0 0 15 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18102] ppid=18092 vsize=7640472 CPUtime=0.35 cores=0,2
/proc/18094/task/18102/stat : 18102 (java) S 18092 18094 16143 0 -1 4202560 270 0 0 0 35 0 0 0 16 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18103] ppid=18092 vsize=7640472 CPUtime=0.35 cores=0,2
/proc/18094/task/18103/stat : 18103 (java) S 18092 18094 16143 0 -1 4202560 1419 0 0 0 35 0 0 0 15 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18104] ppid=18092 vsize=7640472 CPUtime=0.32 cores=0,2
/proc/18094/task/18104/stat : 18104 (java) S 18092 18094 16143 0 -1 4202560 1004 0 0 0 32 0 0 0 15 0 19 0 462902702 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18114] ppid=18092 vsize=7640472 CPUtime=10.65 cores=0,2
/proc/18094/task/18114/stat : 18114 (java) S 18092 18094 16143 0 -1 4202560 11736 0 0 0 1062 3 0 0 15 0 19 0 462902703 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 0 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18119] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18119/stat : 18119 (java) S 18092 18094 16143 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18122] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18122/stat : 18122 (java) S 18092 18094 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18125] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18125/stat : 18125 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652683185 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18126] ppid=18092 vsize=7640472 CPUtime=0.58 cores=0,2
/proc/18094/task/18126/stat : 18126 (java) S 18092 18094 16143 0 -1 4202560 10651 0 0 0 56 2 0 0 15 0 19 0 462902706 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18127] ppid=18092 vsize=7640472 CPUtime=0.16 cores=0,2
/proc/18094/task/18127/stat : 18127 (java) S 18092 18094 16143 0 -1 4202560 1240 0 0 0 16 0 0 0 15 0 19 0 462902706 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18128] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18128/stat : 18128 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18129] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18129/stat : 18129 (java) S 18092 18094 16143 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 462902706 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18157] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18157/stat : 18157 (java) S 18092 18094 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902725 7823843328 46722 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1184.32
Current children cumulated vsize (KiB) 7640472

[startup+1242.3 s]
/proc/loadavg: 4.04 4.01 3.90 5/262 18277
/proc/meminfo: memFree=15403348/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7640472 CPUtime=1244.37 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 52492 0 1 0 124424 13 0 0 25 0 19 0 462902700 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1910118 46945 2255 9 0 1900856 0
[pid=18094/tid=18095] ppid=18092 vsize=7640472 CPUtime=1229.71 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 16562 0 1 0 122966 5 0 0 25 0 19 0 462902700 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505662627 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18094/tid=18097] ppid=18092 vsize=7640472 CPUtime=0.29 cores=0,2
/proc/18094/task/18097/stat : 18097 (java) S 18092 18094 16143 0 -1 4202560 1467 0 0 0 29 0 0 0 15 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18098] ppid=18092 vsize=7640472 CPUtime=0.32 cores=0,2
/proc/18094/task/18098/stat : 18098 (java) S 18092 18094 16143 0 -1 4202560 1235 0 0 0 32 0 0 0 15 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18099] ppid=18092 vsize=7640472 CPUtime=0.34 cores=0,2
/proc/18094/task/18099/stat : 18099 (java) S 18092 18094 16143 0 -1 4202560 1675 0 0 0 34 0 0 0 16 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18100] ppid=18092 vsize=7640472 CPUtime=0.38 cores=0,2
/proc/18094/task/18100/stat : 18100 (java) S 18092 18094 16143 0 -1 4202560 2164 0 0 0 38 0 0 0 15 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18101] ppid=18092 vsize=7640472 CPUtime=0.33 cores=0,2
/proc/18094/task/18101/stat : 18101 (java) S 18092 18094 16143 0 -1 4202560 1627 0 0 0 33 0 0 0 15 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18102] ppid=18092 vsize=7640472 CPUtime=0.38 cores=0,2
/proc/18094/task/18102/stat : 18102 (java) S 18092 18094 16143 0 -1 4202560 275 0 0 0 38 0 0 0 15 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18103] ppid=18092 vsize=7640472 CPUtime=0.37 cores=0,2
/proc/18094/task/18103/stat : 18103 (java) S 18092 18094 16143 0 -1 4202560 1419 0 0 0 37 0 0 0 15 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18104] ppid=18092 vsize=7640472 CPUtime=0.32 cores=0,2
/proc/18094/task/18104/stat : 18104 (java) S 18092 18094 16143 0 -1 4202560 1004 0 0 0 32 0 0 0 15 0 19 0 462902702 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18114] ppid=18092 vsize=7640472 CPUtime=11.1 cores=0,2
/proc/18094/task/18114/stat : 18114 (java) S 18092 18094 16143 0 -1 4202560 11949 0 0 0 1107 3 0 0 15 0 19 0 462902703 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 0 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18119] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18119/stat : 18119 (java) S 18092 18094 16143 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18122] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18122/stat : 18122 (java) S 18092 18094 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18125] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18125/stat : 18125 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652683185 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18126] ppid=18092 vsize=7640472 CPUtime=0.58 cores=0,2
/proc/18094/task/18126/stat : 18126 (java) S 18092 18094 16143 0 -1 4202560 10651 0 0 0 56 2 0 0 15 0 19 0 462902706 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18127] ppid=18092 vsize=7640472 CPUtime=0.16 cores=0,2
/proc/18094/task/18127/stat : 18127 (java) S 18092 18094 16143 0 -1 4202560 1240 0 0 0 16 0 0 0 15 0 19 0 462902706 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18128] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18128/stat : 18128 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18129] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18129/stat : 18129 (java) S 18092 18094 16143 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 462902706 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18157] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18157/stat : 18157 (java) S 18092 18094 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902725 7823843328 46945 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1244.37
Current children cumulated vsize (KiB) 7640472



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.05 4.02 3.91 4/242 18282
/proc/meminfo: memFree=15673912/32951124 swapFree=67111528/67111528
[pid=18094] ppid=18092 vsize=7640472 CPUtime=1302.14 cores=0,2
/proc/18094/stat : 18094 (java) S 18092 18094 16143 0 -1 4202496 52959 0 1 0 130201 13 0 0 25 0 19 0 462902700 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18094/statm: 1910118 47401 2255 9 0 1900856 0
[pid=18094/tid=18095] ppid=18092 vsize=7640472 CPUtime=1286.96 cores=0,2
/proc/18094/task/18095/stat : 18095 (java) R 18092 18094 16143 0 -1 4202560 16575 0 1 0 128691 5 0 0 25 0 19 0 462902700 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 46912505596668 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18094/tid=18097] ppid=18092 vsize=7640472 CPUtime=0.3 cores=0,2
/proc/18094/task/18097/stat : 18097 (java) S 18092 18094 16143 0 -1 4202560 1467 0 0 0 30 0 0 0 15 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18098] ppid=18092 vsize=7640472 CPUtime=0.33 cores=0,2
/proc/18094/task/18098/stat : 18098 (java) S 18092 18094 16143 0 -1 4202560 1237 0 0 0 33 0 0 0 15 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18099] ppid=18092 vsize=7640472 CPUtime=0.37 cores=0,2
/proc/18094/task/18099/stat : 18099 (java) S 18092 18094 16143 0 -1 4202560 1676 0 0 0 37 0 0 0 15 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18100] ppid=18092 vsize=7640472 CPUtime=0.39 cores=0,2
/proc/18094/task/18100/stat : 18100 (java) S 18092 18094 16143 0 -1 4202560 2164 0 0 0 39 0 0 0 15 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18101] ppid=18092 vsize=7640472 CPUtime=0.36 cores=0,2
/proc/18094/task/18101/stat : 18101 (java) S 18092 18094 16143 0 -1 4202560 1627 0 0 0 36 0 0 0 15 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18102] ppid=18092 vsize=7640472 CPUtime=0.41 cores=0,2
/proc/18094/task/18102/stat : 18102 (java) S 18092 18094 16143 0 -1 4202560 275 0 0 0 41 0 0 0 16 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18103] ppid=18092 vsize=7640472 CPUtime=0.4 cores=0,2
/proc/18094/task/18103/stat : 18103 (java) S 18092 18094 16143 0 -1 4202560 1425 0 0 0 40 0 0 0 15 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18104] ppid=18092 vsize=7640472 CPUtime=0.32 cores=0,2
/proc/18094/task/18104/stat : 18104 (java) S 18092 18094 16143 0 -1 4202560 1004 0 0 0 32 0 0 0 15 0 19 0 462902702 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18114] ppid=18092 vsize=7640472 CPUtime=11.49 cores=0,2
/proc/18094/task/18114/stat : 18114 (java) S 18092 18094 16143 0 -1 4202560 12390 0 0 0 1146 3 0 0 15 0 19 0 462902703 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 0 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18119] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18119/stat : 18119 (java) S 18092 18094 16143 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18122] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18122/stat : 18122 (java) S 18092 18094 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902703 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18125] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18125/stat : 18125 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652683185 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18126] ppid=18092 vsize=7640472 CPUtime=0.58 cores=0,2
/proc/18094/task/18126/stat : 18126 (java) S 18092 18094 16143 0 -1 4202560 10651 0 0 0 56 2 0 0 15 0 19 0 462902706 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18127] ppid=18092 vsize=7640472 CPUtime=0.16 cores=0,2
/proc/18094/task/18127/stat : 18127 (java) S 18092 18094 16143 0 -1 4202560 1240 0 0 0 16 0 0 0 15 0 19 0 462902706 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18128] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18128/stat : 18128 (java) S 18092 18094 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902706 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652675481 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
[pid=18094/tid=18129] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18129/stat : 18129 (java) S 18092 18094 16143 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 462902706 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 2 0 0 0
[pid=18094/tid=18157] ppid=18092 vsize=7640472 CPUtime=0 cores=0,2
/proc/18094/task/18157/stat : 18157 (java) S 18092 18094 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902725 7823843328 47401 33554432000 1073741824 1073778376 140733273067024 18446744073709551615 253652676096 0 4 0 16800975 18446604453882878016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1302.14
Current children cumulated vsize (KiB) 7640472

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

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

Child status: 143
Real time (s): 1300.07
CPU time (s): 1302.25
CPU user time (s): 1302.1
CPU system time (s): 0.146977
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 7640472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.1
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53012
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32141
involuntary context switches= 7347

runsolver used 2.25166 second user time and 4.86526 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-23 00:57:03
IDJOB=3249586
IDBENCH=83177
IDSOLVER=1611
FILE ID=node106/3249586-1303513023
RUNJOBID= node106-1303513022-17933
PBS_JOBID= 13134227
Free space on /tmp= 71348 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-9x32.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249586-1303513023/watcher-3249586-1303513023 -o /tmp/evaluation-result-3249586-1303513023/solver-3249586-1303513023 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249586-1303513023.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= bcc12436eba65ad776b55f23c6f42298
RANDOM SEED=1056415095

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16283288 kB
Buffers:       1571340 kB
Cached:       14417492 kB
SwapCached:          0 kB
Active:        9399352 kB
Inactive:      6713420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16283288 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6528 kB
Writeback:           0 kB
AnonPages:      124632 kB
Mapped:          23024 kB
Slab:           490316 kB
PageTables:       5460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7486444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71344 MiB
End job on node106 at 2011-04-23 01:18:45