Trace number 3190352

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) 1301.36 1300.05

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf
MD5SUM0c1f90cdbd54dc48a7f7e4333f537217
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark60.0699
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 530000
Number of clauses of size over 50

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.09	c no version file found!!!
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		6997539544
0.01/0.09	c Max memory 		7034241024
0.01/0.09	c Total memory 		7034241024
0.01/0.09	c Number of processors 	8
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483647s
0.11/0.10	c DB Simplification allowed=true
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3190352-1302598930.cnf
0.11/0.10	c reading problem ... 
0.30/0.24	c ... done. Wall clock time 0.128s.
0.30/0.24	c #vars     1500
0.30/0.24	c #constraints  30000
0.30/0.24	c constraints type 
0.30/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30000
1.71/1.38	c cleaning 2499 clauses out of 5001 with flag 5001/5001
3.05/2.45	c cleaning 4241 clauses out of 8501 with flag 11000/11000
4.36/3.72	c cleaning 5627 clauses out of 11261 with flag 18001/18001
5.77/5.19	c cleaning 6812 clauses out of 13633 with flag 26000/26000
7.48/6.86	c cleaning 7905 clauses out of 15822 with flag 35001/35001
9.39/8.76	c cleaning 8956 clauses out of 17916 with flag 45000/45000
11.49/10.85	c cleaning 9977 clauses out of 19960 with flag 56000/56000
13.89/13.27	c cleaning 10989 clauses out of 21984 with flag 68001/68001
16.49/15.86	c cleaning 11991 clauses out of 23994 with flag 81000/81000
19.40/18.74	c cleaning 13001 clauses out of 26003 with flag 95000/95000
22.60/21.95	c cleaning 13993 clauses out of 28003 with flag 110001/110001
26.10/25.41	c cleaning 14999 clauses out of 30010 with flag 126001/126001
29.70/29.08	c cleaning 15999 clauses out of 32010 with flag 143000/143000
33.61/32.99	c cleaning 17000 clauses out of 34012 with flag 161001/161001
37.91/37.25	c cleaning 18001 clauses out of 36011 with flag 180000/180000
42.41/41.80	c cleaning 18999 clauses out of 38010 with flag 200000/200000
47.32/46.67	c cleaning 19999 clauses out of 40011 with flag 221000/221000
52.43/51.78	c cleaning 21001 clauses out of 42012 with flag 243000/243000
57.82/57.18	c cleaning 22005 clauses out of 44014 with flag 266003/266003
63.52/62.82	c cleaning 22998 clauses out of 46007 with flag 290001/290001
69.52/68.89	c cleaning 24000 clauses out of 48009 with flag 315001/315001
76.03/75.37	c cleaning 24997 clauses out of 50008 with flag 341000/341000
82.94/82.26	c cleaning 26002 clauses out of 52011 with flag 368000/368000
89.95/89.26	c cleaning 27002 clauses out of 54010 with flag 396001/396001
97.56/96.88	c cleaning 27996 clauses out of 56007 with flag 425000/425000
105.55/104.85	c cleaning 29001 clauses out of 58012 with flag 455001/455001
113.26/112.60	c cleaning 29496 clauses out of 59011 with flag 485001/485001
121.56/120.89	c cleaning 29750 clauses out of 59514 with flag 515000/515000
129.27/128.50	c cleaning 29880 clauses out of 59765 with flag 545001/545001
137.27/136.58	c cleaning 29934 clauses out of 59885 with flag 575001/575001
144.98/144.24	c cleaning 29969 clauses out of 59950 with flag 605000/605000
153.08/152.35	c cleaning 29985 clauses out of 59983 with flag 635002/635002
160.78/160.05	c cleaning 29982 clauses out of 59996 with flag 665000/665000
168.99/168.26	c cleaning 30004 clauses out of 60017 with flag 695003/695003
176.59/175.86	c cleaning 29997 clauses out of 60011 with flag 725001/725001
184.79/184.04	c cleaning 29997 clauses out of 60013 with flag 755000/755000
192.60/191.87	c cleaning 29996 clauses out of 60017 with flag 785001/785001
200.20/199.49	c cleaning 30005 clauses out of 60020 with flag 815000/815000
208.50/207.71	c cleaning 30004 clauses out of 60016 with flag 845001/845001
216.11/215.33	c cleaning 29997 clauses out of 60011 with flag 875000/875000
223.71/222.99	c cleaning 30006 clauses out of 60017 with flag 905003/905003
231.91/231.15	c cleaning 29998 clauses out of 60009 with flag 935001/935001
239.52/238.78	c cleaning 29999 clauses out of 60010 with flag 965000/965000
247.32/246.50	c cleaning 30000 clauses out of 60014 with flag 995003/995003
255.42/254.63	c cleaning 29997 clauses out of 60012 with flag 1025001/1025001
263.02/262.29	c cleaning 30005 clauses out of 60016 with flag 1055002/1055002
270.62/269.85	c cleaning 29996 clauses out of 60012 with flag 1085003/1085003
278.43/277.67	c cleaning 30001 clauses out of 60014 with flag 1115001/1115001
286.53/285.75	c cleaning 30004 clauses out of 60012 with flag 1145000/1145000
294.14/293.36	c cleaning 29993 clauses out of 60009 with flag 1175001/1175001
301.94/301.13	c cleaning 29994 clauses out of 60016 with flag 1205001/1205001
309.95/309.16	c cleaning 30003 clauses out of 60022 with flag 1235001/1235001
317.74/316.92	c cleaning 29999 clauses out of 60018 with flag 1265000/1265000
325.55/324.74	c cleaning 30007 clauses out of 60019 with flag 1295000/1295000
333.35/332.53	c cleaning 29997 clauses out of 60013 with flag 1325001/1325001
341.26/340.41	c cleaning 29997 clauses out of 60016 with flag 1355001/1355001
349.37/348.54	c cleaning 29998 clauses out of 60020 with flag 1385002/1385002
357.07/356.20	c cleaning 30003 clauses out of 60020 with flag 1415000/1415000
364.98/364.14	c cleaning 29994 clauses out of 60017 with flag 1445000/1445000
372.68/371.88	c cleaning 30000 clauses out of 60024 with flag 1475001/1475001
381.08/380.22	c cleaning 30007 clauses out of 60023 with flag 1505000/1505000
388.78/387.99	c cleaning 30002 clauses out of 60016 with flag 1535000/1535000
396.58/395.72	c cleaning 29997 clauses out of 60015 with flag 1565001/1565001
404.49/403.65	c cleaning 29995 clauses out of 60018 with flag 1595001/1595001
412.30/411.45	c cleaning 30001 clauses out of 60022 with flag 1625000/1625000
420.39/419.58	c cleaning 30005 clauses out of 60023 with flag 1655002/1655002
428.50/427.66	c cleaning 30002 clauses out of 60016 with flag 1685000/1685000
436.10/435.28	c cleaning 30001 clauses out of 60015 with flag 1715001/1715001
444.00/443.11	c cleaning 30001 clauses out of 60013 with flag 1745000/1745000
451.91/451.09	c cleaning 30002 clauses out of 60015 with flag 1775003/1775003
460.20/459.31	c cleaning 29995 clauses out of 60010 with flag 1805000/1805000
468.91/468.02	c cleaning 30004 clauses out of 60015 with flag 1835000/1835000
476.71/475.88	c cleaning 30000 clauses out of 60011 with flag 1865000/1865000
484.63/483.71	c cleaning 29997 clauses out of 60011 with flag 1895000/1895000
492.54/491.63	c cleaning 30004 clauses out of 60015 with flag 1925001/1925001
500.54/499.63	c cleaning 29998 clauses out of 60010 with flag 1955000/1955000
508.74/507.82	c cleaning 29996 clauses out of 60013 with flag 1985001/1985001
517.35/516.40	c cleaning 30005 clauses out of 60017 with flag 2015001/2015001
525.35/524.48	c cleaning 30000 clauses out of 60015 with flag 2045004/2045004
533.05/532.13	c cleaning 29996 clauses out of 60011 with flag 2075000/2075000
540.86/539.99	c cleaning 29994 clauses out of 60015 with flag 2105000/2105000
549.16/548.23	c cleaning 30010 clauses out of 60024 with flag 2135003/2135003
557.37/556.46	c cleaning 29990 clauses out of 60011 with flag 2165000/2165000
565.47/564.59	c cleaning 30004 clauses out of 60021 with flag 2195000/2195000
574.47/573.50	c cleaning 30003 clauses out of 60020 with flag 2225003/2225003
582.48/581.50	c cleaning 30001 clauses out of 60015 with flag 2255001/2255001
590.18/589.20	c cleaning 29993 clauses out of 60013 with flag 2285000/2285000
597.98/597.09	c cleaning 29991 clauses out of 60020 with flag 2315000/2315000
605.99/605.09	c cleaning 30001 clauses out of 60030 with flag 2345001/2345001
614.09/613.17	c cleaning 30011 clauses out of 60029 with flag 2375001/2375001
622.19/621.21	c cleaning 29994 clauses out of 60018 with flag 2405001/2405001
630.50/629.58	c cleaning 29991 clauses out of 60023 with flag 2435000/2435000
639.10/638.17	c cleaning 30007 clauses out of 60032 with flag 2465000/2465000
646.91/645.99	c cleaning 30001 clauses out of 60025 with flag 2495000/2495000
654.71/653.73	c cleaning 30002 clauses out of 60024 with flag 2525000/2525000
662.51/661.55	c cleaning 29992 clauses out of 60022 with flag 2555000/2555000
670.82/669.80	c cleaning 30003 clauses out of 60030 with flag 2585000/2585000
679.02/678.02	c cleaning 29994 clauses out of 60027 with flag 2615000/2615000
687.22/686.22	c cleaning 30001 clauses out of 60033 with flag 2645000/2645000
695.73/694.76	c cleaning 30001 clauses out of 60032 with flag 2675000/2675000
705.04/704.05	c cleaning 30014 clauses out of 60031 with flag 2705000/2705000
713.04/712.01	c cleaning 30002 clauses out of 60017 with flag 2735000/2735000
720.74/719.77	c cleaning 29994 clauses out of 60016 with flag 2765001/2765001
728.94/727.93	c cleaning 29989 clauses out of 60022 with flag 2795001/2795001
737.04/736.01	c cleaning 30009 clauses out of 60032 with flag 2825000/2825000
745.34/744.33	c cleaning 30002 clauses out of 60025 with flag 2855002/2855002
753.75/752.76	c cleaning 30000 clauses out of 60022 with flag 2885001/2885001
762.15/761.18	c cleaning 29999 clauses out of 60022 with flag 2915001/2915001
770.55/769.55	c cleaning 30002 clauses out of 60023 with flag 2945001/2945001
779.16/778.16	c cleaning 29997 clauses out of 60020 with flag 2975000/2975000
787.48/786.40	c cleaning 30012 clauses out of 60025 with flag 3005002/3005002
795.18/794.17	c cleaning 29997 clauses out of 60011 with flag 3035000/3035000
803.17/802.14	c cleaning 29997 clauses out of 60016 with flag 3065002/3065002
811.18/810.16	c cleaning 30000 clauses out of 60019 with flag 3095002/3095002
819.49/818.42	c cleaning 29999 clauses out of 60017 with flag 3125000/3125000
827.78/826.70	c cleaning 29998 clauses out of 60021 with flag 3155003/3155003
836.09/835.02	c cleaning 30005 clauses out of 60020 with flag 3185000/3185000
844.59/843.55	c cleaning 30005 clauses out of 60016 with flag 3215001/3215001
853.09/852.07	c cleaning 29993 clauses out of 60011 with flag 3245001/3245001
862.00/861.00	c cleaning 29998 clauses out of 60017 with flag 3275000/3275000
870.30/869.27	c cleaning 29995 clauses out of 60019 with flag 3305000/3305000
878.20/877.10	c cleaning 30002 clauses out of 60024 with flag 3335000/3335000
886.11/885.07	c cleaning 29993 clauses out of 60022 with flag 3365000/3365000
894.32/893.24	c cleaning 29999 clauses out of 60030 with flag 3395001/3395001
902.61/901.52	c cleaning 29996 clauses out of 60030 with flag 3425000/3425000
911.12/910.01	c cleaning 30006 clauses out of 60034 with flag 3455000/3455000
919.72/918.61	c cleaning 29999 clauses out of 60028 with flag 3485000/3485000
928.43/927.33	c cleaning 29993 clauses out of 60029 with flag 3515000/3515000
937.63/936.54	c cleaning 30006 clauses out of 60036 with flag 3545000/3545000
946.44/945.33	c cleaning 30002 clauses out of 60030 with flag 3575000/3575000
955.44/954.31	c cleaning 30003 clauses out of 60029 with flag 3605001/3605001
963.84/962.78	c cleaning 30002 clauses out of 60025 with flag 3635000/3635000
971.75/970.64	c cleaning 30004 clauses out of 60024 with flag 3665001/3665001
979.75/978.66	c cleaning 30002 clauses out of 60019 with flag 3695000/3695000
987.65/986.57	c cleaning 30002 clauses out of 60017 with flag 3725000/3725000
995.95/994.89	c cleaning 30003 clauses out of 60015 with flag 3755000/3755000
1004.36/1003.21	c cleaning 30003 clauses out of 60014 with flag 3785002/3785002
1012.76/1011.65	c cleaning 29997 clauses out of 60009 with flag 3815000/3815000
1021.37/1020.24	c cleaning 30003 clauses out of 60015 with flag 3845003/3845003
1029.87/1028.77	c cleaning 29992 clauses out of 60010 with flag 3875001/3875001
1038.27/1037.20	c cleaning 29998 clauses out of 60017 with flag 3905000/3905000
1046.77/1045.61	c cleaning 30000 clauses out of 60020 with flag 3935001/3935001
1055.38/1054.24	c cleaning 29998 clauses out of 60020 with flag 3965001/3965001
1064.18/1063.09	c cleaning 30004 clauses out of 60022 with flag 3995001/3995001
1072.18/1071.08	c cleaning 30001 clauses out of 60017 with flag 4025000/4025000
1080.19/1079.09	c cleaning 30005 clauses out of 60016 with flag 4055000/4055000
1088.19/1087.03	c cleaning 29988 clauses out of 60011 with flag 4085000/4085000
1096.29/1095.15	c cleaning 30002 clauses out of 60023 with flag 4115000/4115000
1104.69/1103.59	c cleaning 29993 clauses out of 60022 with flag 4145001/4145001
1113.20/1112.04	c cleaning 29996 clauses out of 60028 with flag 4175000/4175000
1121.70/1120.57	c cleaning 30000 clauses out of 60033 with flag 4205001/4205001
1130.61/1129.49	c cleaning 29999 clauses out of 60032 with flag 4235000/4235000
1139.41/1138.22	c cleaning 30004 clauses out of 60033 with flag 4265000/4265000
1148.01/1146.88	c cleaning 30006 clauses out of 60032 with flag 4295003/4295003
1156.72/1155.57	c cleaning 29995 clauses out of 60023 with flag 4325000/4325000
1165.52/1164.34	c cleaning 30000 clauses out of 60030 with flag 4355002/4355002
1175.33/1174.16	c cleaning 29995 clauses out of 60029 with flag 4385001/4385001
1183.53/1182.35	c cleaning 30011 clauses out of 60033 with flag 4415000/4415000
1191.63/1190.47	c cleaning 30002 clauses out of 60022 with flag 4445000/4445000
1199.73/1198.51	c cleaning 29997 clauses out of 60021 with flag 4475001/4475001
1207.84/1206.61	c cleaning 30000 clauses out of 60023 with flag 4505000/4505000
1216.04/1214.86	c cleaning 30000 clauses out of 60023 with flag 4535000/4535000
1224.35/1223.15	c cleaning 30001 clauses out of 60023 with flag 4565000/4565000
1232.95/1231.78	c cleaning 30007 clauses out of 60025 with flag 4595003/4595003
1241.55/1240.33	c cleaning 30001 clauses out of 60017 with flag 4625002/4625002
1249.85/1248.69	c cleaning 29994 clauses out of 60014 with flag 4655000/4655000
1258.66/1257.46	c cleaning 29991 clauses out of 60021 with flag 4685001/4685001
1267.86/1266.69	c cleaning 30003 clauses out of 60030 with flag 4715001/4715001
1276.87/1275.61	c cleaning 30007 clauses out of 60026 with flag 4745000/4745000
1285.57/1284.34	c cleaning 29995 clauses out of 60022 with flag 4775003/4775003
1294.17/1292.90	c cleaning 30000 clauses out of 60024 with flag 4805000/4805000
1301.28/1300.01	c starts		: 2080
1301.28/1300.01	c conflicts		: 4828474
1301.28/1300.01	c decisions		: 6943436
1301.28/1300.01	c propagations		: 524397918
1301.28/1300.01	c inspects		: 10189931094
1301.28/1300.01	c shortcuts		: 0
1301.28/1300.01	c learnt literals	: 0
1301.28/1300.01	c learnt binary clauses	: 0
1301.28/1300.01	c learnt ternary clauses	: 0
1301.28/1300.01	c learnt constraints	: 4828474
1301.28/1300.01	c ignored constraints	: 0
1301.28/1300.01	c root simplifications	: 2080
1301.28/1300.01	c removed literals (reason simplification)	: 64627780
1301.28/1300.01	c reason swapping (by a shorter reason)	: 0
1301.28/1300.01	c Calls to reduceDB	: 171
1301.28/1300.01	c speed (assignments/second)	: 403447.3050708844
1301.28/1300.01	c non guided choices	462
1301.28/1300.03	c learnt constraints type 
1301.28/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 53513
1301.28/1300.03	c constraints type 
1301.28/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30000
1301.28/1300.03	s UNKNOWN
1301.28/1300.03	c Total wall clock time (in seconds) : 1299.922

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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

running on 2 cores: 5,7

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: 4.06 3.96 3.28 8/214 22762
/proc/meminfo: memFree=12027652/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=24056 CPUtime=0 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 1150 0 0 0 0 0 0 0 25 0 2 0 450123646 24633344 884 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 6535 888 674 9 0 381 0
[pid=22762/tid=22765] ppid=22760 vsize=26088 CPUtime=0 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 2 0 450123647 26714112 894 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260905390085 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0228729 s]
/proc/loadavg: 4.06 3.96 3.28 8/214 22762
/proc/meminfo: memFree=12027652/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7551740 CPUtime=0.01 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 7965 0 1 0 0 1 0 0 25 0 10 0 450123646 7732981760 7661 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1887935 7668 1363 9 0 1878683 0
[pid=22762/tid=22765] ppid=22760 vsize=7551740 CPUtime=0 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 6851 0 1 0 0 0 0 0 19 0 10 0 450123647 7732981760 7672 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912504009831 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551740

[startup+0.10086 s]
/proc/loadavg: 4.06 3.96 3.28 8/214 22762
/proc/meminfo: memFree=12027652/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7635904 CPUtime=0.11 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 10424 0 1 0 9 2 0 0 25 0 18 0 450123646 7819165696 10118 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1908976 10118 2094 9 0 1899714 0
[pid=22762/tid=22765] ppid=22760 vsize=7635904 CPUtime=0.08 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 8652 0 1 0 7 1 0 0 18 0 18 0 450123647 7819165696 10118 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505212343 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7635904

[startup+0.300825 s]
/proc/loadavg: 4.06 3.96 3.28 8/214 22762
/proc/meminfo: memFree=12027652/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=0.49 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 13714 0 1 0 47 2 0 0 25 0 19 0 450123646 7822532608 12589 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 12589 2210 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=0.28 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 9900 0 1 0 27 1 0 0 19 0 19 0 450123647 7822532608 12589 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505215938 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7639192

[startup+0.700754 s]
/proc/loadavg: 4.06 3.96 3.28 8/214 22762
/proc/meminfo: memFree=12027652/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=1.06 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 15265 0 1 0 104 2 0 0 25 0 19 0 450123646 7822532608 12967 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 12967 2224 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=0.68 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 10326 0 1 0 67 1 0 0 19 0 19 0 450123647 7822532608 12967 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505595761 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7639192

[startup+1.56259 s]
/proc/loadavg: 5.26 4.21 3.37 8/262 22810
/proc/meminfo: memFree=11874056/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=2.15 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 27026 0 1 0 210 5 0 0 25 0 19 0 450123646 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 21528 2253 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=1.52 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 10974 0 1 0 150 2 0 0 20 0 19 0 450123647 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505595756 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22441 0 -1 4202560 627 0 0 0 0 0 0 0 17 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22782] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22782/stat : 22782 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22783] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22783/stat : 22783 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22784] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22784/stat : 22784 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22785] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22785/stat : 22785 (java) S 22760 22762 22441 0 -1 4202560 521 0 0 0 0 0 0 0 17 0 19 0 450123648 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22787] ppid=22760 vsize=7639192 CPUtime=0.01 cores=5,7
/proc/22762/task/22787/stat : 22787 (java) S 22760 22762 22441 0 -1 4202560 1152 0 0 0 1 0 0 0 16 0 19 0 450123649 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 0 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22793] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22793/stat : 22793 (java) S 22760 22762 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22795] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22795/stat : 22795 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22802] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22802/stat : 22802 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 450123652 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917217713 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22803] ppid=22760 vsize=7639192 CPUtime=0.31 cores=5,7
/proc/22762/task/22803/stat : 22803 (java) R 22760 22762 22441 0 -1 4202560 9371 0 0 0 30 1 0 0 16 0 19 0 450123652 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 47879121046710 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22762/tid=22804] ppid=22760 vsize=7639192 CPUtime=0.26 cores=5,7
/proc/22762/task/22804/stat : 22804 (java) R 22760 22762 22441 0 -1 4202560 3222 0 0 0 26 0 0 0 17 0 19 0 450123652 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22762/tid=22805] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22805/stat : 22805 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123652 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22806] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22806/stat : 22806 (java) R 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123652 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22762/tid=22808] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22808/stat : 22808 (java) S 22760 22762 22441 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450123669 7822532608 21528 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 7639192

[startup+3.10131 s]
/proc/loadavg: 5.26 4.21 3.37 6/262 22810
/proc/meminfo: memFree=11834500/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=3.76 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 28117 0 1 0 371 5 0 0 25 0 19 0 450123646 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 22368 2255 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=3.04 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 10977 0 1 0 302 2 0 0 25 0 19 0 450123647 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505595761 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22441 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22782] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22782/stat : 22782 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22783] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22783/stat : 22783 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22784] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22784/stat : 22784 (java) S 22760 22762 22441 0 -1 4202560 410 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22785] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22785/stat : 22785 (java) S 22760 22762 22441 0 -1 4202560 924 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22787] ppid=22760 vsize=7639192 CPUtime=0.03 cores=5,7
/proc/22762/task/22787/stat : 22787 (java) S 22760 22762 22441 0 -1 4202560 1374 0 0 0 3 0 0 0 16 0 19 0 450123649 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 0 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22793] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22793/stat : 22793 (java) S 22760 22762 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22795] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22795/stat : 22795 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22802] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22802/stat : 22802 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 450123652 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917217713 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22803] ppid=22760 vsize=7639192 CPUtime=0.34 cores=5,7
/proc/22762/task/22803/stat : 22803 (java) S 22760 22762 22441 0 -1 4202560 9423 0 0 0 33 1 0 0 15 0 19 0 450123652 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22804] ppid=22760 vsize=7639192 CPUtime=0.29 cores=5,7
/proc/22762/task/22804/stat : 22804 (java) S 22760 22762 22441 0 -1 4202560 3224 0 0 0 29 0 0 0 15 0 19 0 450123652 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22805] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22805/stat : 22805 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123652 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22806] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22806/stat : 22806 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123652 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22808] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22808/stat : 22808 (java) S 22760 22762 22441 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450123669 7822532608 22368 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 7639192

[startup+6.30073 s]
/proc/loadavg: 5.16 4.21 3.37 6/262 22810
/proc/meminfo: memFree=11752708/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=6.98 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 28684 0 1 0 693 5 0 0 25 0 19 0 450123646 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 22473 2255 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=6.18 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 10981 0 1 0 616 2 0 0 25 0 19 0 450123647 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505595787 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22441 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22441 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 22441 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22782] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22782/stat : 22782 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22783] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22783/stat : 22783 (java) S 22760 22762 22441 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22784] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22784/stat : 22784 (java) S 22760 22762 22441 0 -1 4202560 410 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22785] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22785/stat : 22785 (java) S 22760 22762 22441 0 -1 4202560 924 0 0 0 0 0 0 0 15 0 19 0 450123648 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22787] ppid=22760 vsize=7639192 CPUtime=0.08 cores=5,7
/proc/22762/task/22787/stat : 22787 (java) S 22760 22762 22441 0 -1 4202560 1536 0 0 0 8 0 0 0 15 0 19 0 450123649 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 0 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22793] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22793/stat : 22793 (java) S 22760 22762 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22795] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22795/stat : 22795 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22802] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22802/stat : 22802 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 450123652 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917217713 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22803] ppid=22760 vsize=7639192 CPUtime=0.35 cores=5,7
/proc/22762/task/22803/stat : 22803 (java) S 22760 22762 22441 0 -1 4202560 9423 0 0 0 34 1 0 0 15 0 19 0 450123652 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22804] ppid=22760 vsize=7639192 CPUtime=0.3 cores=5,7
/proc/22762/task/22804/stat : 22804 (java) S 22760 22762 22441 0 -1 4202560 3228 0 0 0 30 0 0 0 15 0 19 0 450123652 7822532608 22473 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0

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

[pid=22762/tid=22783] ppid=22760 vsize=7639192 CPUtime=0.14 cores=5,7
/proc/22762/task/22783/stat : 22783 (java) S 22760 22762 22441 0 -1 4202560 776 0 0 0 14 0 0 0 15 0 19 0 450123648 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22784] ppid=22760 vsize=7639192 CPUtime=0.14 cores=5,7
/proc/22762/task/22784/stat : 22784 (java) S 22760 22762 22441 0 -1 4202560 2651 0 0 0 14 0 0 0 16 0 19 0 450123648 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22785] ppid=22760 vsize=7639192 CPUtime=0.16 cores=5,7
/proc/22762/task/22785/stat : 22785 (java) S 22760 22762 22441 0 -1 4202560 1485 0 0 0 16 0 0 0 15 0 19 0 450123648 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22787] ppid=22760 vsize=7639192 CPUtime=4.73 cores=5,7
/proc/22762/task/22787/stat : 22787 (java) S 22760 22762 22441 0 -1 4202560 3926 0 0 0 472 1 0 0 15 0 19 0 450123649 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 0 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22793] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22793/stat : 22793 (java) S 22760 22762 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22795] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22795/stat : 22795 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22802] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22802/stat : 22802 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 450123652 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917217713 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22803] ppid=22760 vsize=7639192 CPUtime=0.35 cores=5,7
/proc/22762/task/22803/stat : 22803 (java) S 22760 22762 22441 0 -1 4202560 9423 0 0 0 34 1 0 0 15 0 19 0 450123652 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22804] ppid=22760 vsize=7639192 CPUtime=0.33 cores=5,7
/proc/22762/task/22804/stat : 22804 (java) S 22760 22762 22441 0 -1 4202560 3252 0 0 0 33 0 0 0 15 0 19 0 450123652 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22805] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22805/stat : 22805 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123652 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22806] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22806/stat : 22806 (java) S 22760 22762 22441 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 450123652 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22808] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22808/stat : 22808 (java) S 22760 22762 22441 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450123669 7822532608 34051 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.51
Current children cumulated vsize (KiB) 7639192

[startup+1182.3 s]
/proc/loadavg: 4.10 4.04 3.83 6/262 22842
/proc/meminfo: memFree=11125200/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=1183.53 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 40612 0 1 0 118344 9 0 0 25 0 19 0 450123646 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 34107 2256 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=1176.68 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 14784 0 1 0 117664 4 0 0 25 0 19 0 450123647 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505655584 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=7639192 CPUtime=0.12 cores=5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22441 0 -1 4202560 940 0 0 0 12 0 0 0 15 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=7639192 CPUtime=0.12 cores=5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22441 0 -1 4202560 655 0 0 0 12 0 0 0 15 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=7639192 CPUtime=0.14 cores=5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 14 0 0 0 16 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=7639192 CPUtime=0.18 cores=5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 22441 0 -1 4202560 183 0 0 0 18 0 0 0 15 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22782] ppid=22760 vsize=7639192 CPUtime=0.13 cores=5,7
/proc/22762/task/22782/stat : 22782 (java) S 22760 22762 22441 0 -1 4202560 1250 0 0 0 13 0 0 0 15 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22783] ppid=22760 vsize=7639192 CPUtime=0.15 cores=5,7
/proc/22762/task/22783/stat : 22783 (java) S 22760 22762 22441 0 -1 4202560 777 0 0 0 15 0 0 0 15 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22784] ppid=22760 vsize=7639192 CPUtime=0.14 cores=5,7
/proc/22762/task/22784/stat : 22784 (java) S 22760 22762 22441 0 -1 4202560 2651 0 0 0 14 0 0 0 15 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22785] ppid=22760 vsize=7639192 CPUtime=0.16 cores=5,7
/proc/22762/task/22785/stat : 22785 (java) S 22760 22762 22441 0 -1 4202560 1485 0 0 0 16 0 0 0 15 0 19 0 450123648 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22787] ppid=22760 vsize=7639192 CPUtime=4.93 cores=5,7
/proc/22762/task/22787/stat : 22787 (java) S 22760 22762 22441 0 -1 4202560 3982 0 0 0 492 1 0 0 15 0 19 0 450123649 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 0 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22793] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22793/stat : 22793 (java) S 22760 22762 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22795] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22795/stat : 22795 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22802] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22802/stat : 22802 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 450123652 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917217713 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22803] ppid=22760 vsize=7639192 CPUtime=0.35 cores=5,7
/proc/22762/task/22803/stat : 22803 (java) S 22760 22762 22441 0 -1 4202560 9423 0 0 0 34 1 0 0 15 0 19 0 450123652 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22804] ppid=22760 vsize=7639192 CPUtime=0.33 cores=5,7
/proc/22762/task/22804/stat : 22804 (java) S 22760 22762 22441 0 -1 4202560 3252 0 0 0 33 0 0 0 15 0 19 0 450123652 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22805] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22805/stat : 22805 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123652 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22806] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22806/stat : 22806 (java) S 22760 22762 22441 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450123652 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22808] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22808/stat : 22808 (java) S 22760 22762 22441 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450123669 7822532608 34107 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.53
Current children cumulated vsize (KiB) 7639192

[startup+1242.3 s]
/proc/loadavg: 4.04 4.03 3.84 6/262 22843
/proc/meminfo: memFree=11123156/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=1243.55 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 40660 0 1 0 124346 9 0 0 25 0 19 0 450123646 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 34139 2256 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=1236.37 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 14792 0 1 0 123633 4 0 0 25 0 19 0 450123647 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505596258 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=7639192 CPUtime=0.13 cores=5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22441 0 -1 4202560 942 0 0 0 13 0 0 0 16 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=7639192 CPUtime=0.13 cores=5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22441 0 -1 4202560 655 0 0 0 13 0 0 0 15 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=7639192 CPUtime=0.14 cores=5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 14 0 0 0 15 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=7639192 CPUtime=0.19 cores=5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 22441 0 -1 4202560 184 0 0 0 19 0 0 0 15 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22782] ppid=22760 vsize=7639192 CPUtime=0.13 cores=5,7
/proc/22762/task/22782/stat : 22782 (java) S 22760 22762 22441 0 -1 4202560 1250 0 0 0 13 0 0 0 15 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22783] ppid=22760 vsize=7639192 CPUtime=0.16 cores=5,7
/proc/22762/task/22783/stat : 22783 (java) S 22760 22762 22441 0 -1 4202560 777 0 0 0 16 0 0 0 16 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22784] ppid=22760 vsize=7639192 CPUtime=0.15 cores=5,7
/proc/22762/task/22784/stat : 22784 (java) S 22760 22762 22441 0 -1 4202560 2651 0 0 0 15 0 0 0 15 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22785] ppid=22760 vsize=7639192 CPUtime=0.17 cores=5,7
/proc/22762/task/22785/stat : 22785 (java) S 22760 22762 22441 0 -1 4202560 1485 0 0 0 17 0 0 0 15 0 19 0 450123648 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22787] ppid=22760 vsize=7639192 CPUtime=5.2 cores=5,7
/proc/22762/task/22787/stat : 22787 (java) S 22760 22762 22441 0 -1 4202560 4015 0 0 0 519 1 0 0 15 0 19 0 450123649 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 0 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22793] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22793/stat : 22793 (java) S 22760 22762 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22795] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22795/stat : 22795 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22802] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22802/stat : 22802 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 450123652 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917217713 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22803] ppid=22760 vsize=7639192 CPUtime=0.35 cores=5,7
/proc/22762/task/22803/stat : 22803 (java) S 22760 22762 22441 0 -1 4202560 9423 0 0 0 34 1 0 0 15 0 19 0 450123652 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22804] ppid=22760 vsize=7639192 CPUtime=0.33 cores=5,7
/proc/22762/task/22804/stat : 22804 (java) S 22760 22762 22441 0 -1 4202560 3252 0 0 0 33 0 0 0 15 0 19 0 450123652 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22805] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22805/stat : 22805 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123652 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22806] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22806/stat : 22806 (java) S 22760 22762 22441 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 450123652 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22808] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22808/stat : 22808 (java) S 22760 22762 22441 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450123669 7822532608 34139 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.55
Current children cumulated vsize (KiB) 7639192



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.33 4.09 3.86 7/245 22851
/proc/meminfo: memFree=11390588/32950928 swapFree=67111528/67111528
[pid=22762] ppid=22760 vsize=7639192 CPUtime=1301.28 cores=5,7
/proc/22762/stat : 22762 (java) S 22760 22762 22441 0 -1 4202496 40903 0 1 0 130119 9 0 0 25 0 19 0 450123646 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22762/statm: 1909798 34370 2256 9 0 1900536 0
[pid=22762/tid=22765] ppid=22760 vsize=7639192 CPUtime=1293.85 cores=5,7
/proc/22762/task/22765/stat : 22765 (java) R 22760 22762 22441 0 -1 4202560 14911 0 1 0 129381 4 0 0 25 0 19 0 450123647 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 46912505595787 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=7639192 CPUtime=0.14 cores=5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22441 0 -1 4202560 944 0 0 0 14 0 0 0 15 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=7639192 CPUtime=0.14 cores=5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22441 0 -1 4202560 656 0 0 0 14 0 0 0 15 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=7639192 CPUtime=0.15 cores=5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 15 0 0 0 15 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=7639192 CPUtime=0.19 cores=5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 22441 0 -1 4202560 185 0 0 0 19 0 0 0 16 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22782] ppid=22760 vsize=7639192 CPUtime=0.13 cores=5,7
/proc/22762/task/22782/stat : 22782 (java) S 22760 22762 22441 0 -1 4202560 1250 0 0 0 13 0 0 0 15 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22783] ppid=22760 vsize=7639192 CPUtime=0.17 cores=5,7
/proc/22762/task/22783/stat : 22783 (java) S 22760 22762 22441 0 -1 4202560 777 0 0 0 17 0 0 0 16 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22784] ppid=22760 vsize=7639192 CPUtime=0.16 cores=5,7
/proc/22762/task/22784/stat : 22784 (java) S 22760 22762 22441 0 -1 4202560 2651 0 0 0 16 0 0 0 15 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22785] ppid=22760 vsize=7639192 CPUtime=0.17 cores=5,7
/proc/22762/task/22785/stat : 22785 (java) S 22760 22762 22441 0 -1 4202560 1485 0 0 0 17 0 0 0 15 0 19 0 450123648 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22787] ppid=22760 vsize=7639192 CPUtime=5.4 cores=5,7
/proc/22762/task/22787/stat : 22787 (java) S 22760 22762 22441 0 -1 4202560 4131 0 0 0 539 1 0 0 15 0 19 0 450123649 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 0 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22793] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22793/stat : 22793 (java) S 22760 22762 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22795] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22795/stat : 22795 (java) S 22760 22762 22441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123650 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22802] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22802/stat : 22802 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 450123652 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917217713 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22803] ppid=22760 vsize=7639192 CPUtime=0.35 cores=5,7
/proc/22762/task/22803/stat : 22803 (java) S 22760 22762 22441 0 -1 4202560 9423 0 0 0 34 1 0 0 15 0 19 0 450123652 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22804] ppid=22760 vsize=7639192 CPUtime=0.33 cores=5,7
/proc/22762/task/22804/stat : 22804 (java) S 22760 22762 22441 0 -1 4202560 3252 0 0 0 33 0 0 0 15 0 19 0 450123652 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22805] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22805/stat : 22805 (java) S 22760 22762 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123652 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210009 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
[pid=22762/tid=22806] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22806/stat : 22806 (java) S 22760 22762 22441 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450123652 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 7 0 0 0
[pid=22762/tid=22808] ppid=22760 vsize=7639192 CPUtime=0 cores=5,7
/proc/22762/task/22808/stat : 22808 (java) S 22760 22762 22441 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450123669 7822532608 34370 33554432000 1073741824 1073778376 140736304398656 18446744073709551615 260917210624 0 4 0 16800975 18446604463751047040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.28
Current children cumulated vsize (KiB) 7639192

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.05
CPU time (s): 1301.36
CPU user time (s): 1301.25
CPU system time (s): 0.108983
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 7639192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.25
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40954
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= 31696
involuntary context switches= 7046

runsolver used 2.06968 second user time and 5.11322 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-12 11:02:10
IDJOB=3190352
IDBENCH=82683
IDSOLVER=1611
FILE ID=node116/3190352-1302598930
RUNJOBID= node116-1302597627-22462
PBS_JOBID= 12958106
Free space on /tmp= 71444 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.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-3190352-1302598930/watcher-3190352-1302598930 -o /tmp/evaluation-result-3190352-1302598930/solver-3190352-1302598930 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190352-1302598930.cnf

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

MD5SUM BENCH= 0c1f90cdbd54dc48a7f7e4333f537217
RANDOM SEED=105676680

node116.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.826
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.65
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.826
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.15
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.826
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.826
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.75
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.826
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.77
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.826
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.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12028180 kB
Buffers:        734732 kB
Cached:       19592180 kB
SwapCached:          0 kB
Active:        7756320 kB
Inactive:     12698956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12028180 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7060 kB
Writeback:           0 kB
AnonPages:      128620 kB
Mapped:          23028 kB
Slab:           403020 kB
PageTables:       5548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 14706296 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= 71444 MiB
End job on node116 at 2011-04-12 11:23:52