Trace number 3261864

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-06UNSAT 544.33 543.121

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
MD5SUM7c7070bd15b57ddd9a06dd3709baef54
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark157.607
Satisfiable
(Un)Satisfiability was proved
Number of variables527
Number of clauses12692
Sum of the clauses size38748
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 312356
Number of clauses of size 40
Number of clauses of size 5336
Number of clauses of size over 50

Solver Data 

0.04/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.27	c See www.sat4j.org for details.
0.04/0.27	c no version file found!!!
0.04/0.27	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.27	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.27	c java.vm.version	19.1-b02
0.04/0.27	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.27	c sun.arch.data.model	64
0.04/0.27	c java.version		1.6.0_24
0.04/0.27	c os.name		Linux
0.04/0.27	c os.version		2.6.18-164.el5
0.04/0.27	c os.arch		amd64
0.04/0.27	c Free memory 		6997539544
0.04/0.27	c Max memory 		7034241024
0.04/0.27	c Total memory 		7034241024
0.04/0.27	c Number of processors 	8
0.04/0.29	c --- Begin Solver configuration ---
0.04/0.29	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.29	c Learn all clauses as in MiniSAT
0.04/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.29	c Expensive reason simplification
0.04/0.29	c Armin Biere (Picosat) restarts strategy
0.04/0.29	c Glucose learned constraints deletion strategy
0.04/0.29	c timeout=2147483647s
0.04/0.29	c DB Simplification allowed=true
0.04/0.29	c --- End Solver configuration ---
0.04/0.29	c solving HOME/instance-3261864-1303545371.cnf
0.04/0.29	c reading problem ... 
0.11/0.38	c ... done. Wall clock time 0.091s.
0.11/0.38	c #vars     527
0.11/0.38	c #constraints  12692
0.11/0.38	c constraints type 
0.11/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12692
0.95/0.83	c cleaning 2496 clauses out of 5000 with flag 5000/5000
1.46/1.20	c cleaning 4251 clauses out of 8505 with flag 11001/11001
1.97/1.63	c cleaning 5622 clauses out of 11254 with flag 18001/18001
2.48/2.18	c cleaning 6811 clauses out of 13631 with flag 26000/26000
3.19/2.83	c cleaning 7903 clauses out of 15820 with flag 35000/35000
3.99/3.68	c cleaning 8954 clauses out of 17918 with flag 45001/45001
5.09/4.72	c cleaning 9982 clauses out of 19963 with flag 56000/56000
6.29/5.92	c cleaning 10987 clauses out of 21981 with flag 68000/68000
7.59/7.24	c cleaning 11997 clauses out of 23995 with flag 81001/81001
8.99/8.62	c cleaning 12497 clauses out of 24997 with flag 94000/94000
10.39/10.08	c cleaning 12746 clauses out of 25501 with flag 107001/107001
11.79/11.43	c cleaning 12869 clauses out of 25754 with flag 120000/120000
13.09/12.76	c cleaning 12940 clauses out of 25886 with flag 133001/133001
14.49/14.14	c cleaning 12967 clauses out of 25945 with flag 146000/146000
15.89/15.52	c cleaning 12983 clauses out of 25978 with flag 159000/159000
17.19/16.86	c cleaning 12996 clauses out of 25995 with flag 172000/172000
18.49/18.17	c cleaning 12995 clauses out of 25999 with flag 185000/185000
19.89/19.57	c cleaning 12997 clauses out of 26006 with flag 198002/198002
21.19/20.89	c cleaning 12996 clauses out of 26008 with flag 211001/211001
22.59/22.23	c cleaning 13002 clauses out of 26013 with flag 224002/224002
23.89/23.59	c cleaning 13001 clauses out of 26010 with flag 237001/237001
25.39/25.00	c cleaning 13000 clauses out of 26009 with flag 250001/250001
26.80/26.43	c cleaning 13000 clauses out of 26008 with flag 263000/263000
28.09/27.78	c cleaning 12998 clauses out of 26008 with flag 276000/276000
29.39/29.07	c cleaning 13001 clauses out of 26011 with flag 289001/289001
30.79/30.48	c cleaning 12995 clauses out of 26009 with flag 302000/302000
32.20/31.87	c cleaning 12999 clauses out of 26014 with flag 315000/315000
33.59/33.28	c cleaning 13001 clauses out of 26015 with flag 328000/328000
35.09/34.70	c cleaning 13000 clauses out of 26014 with flag 341000/341000
36.49/36.10	c cleaning 13001 clauses out of 26015 with flag 354001/354001
37.79/37.46	c cleaning 13003 clauses out of 26013 with flag 367000/367000
39.20/38.85	c cleaning 12996 clauses out of 26011 with flag 380001/380001
40.60/40.24	c cleaning 13000 clauses out of 26014 with flag 393000/393000
41.90/41.56	c cleaning 13003 clauses out of 26017 with flag 406003/406003
43.20/42.88	c cleaning 13002 clauses out of 26012 with flag 419001/419001
44.50/44.17	c cleaning 12995 clauses out of 26011 with flag 432002/432002
45.80/45.42	c cleaning 12999 clauses out of 26015 with flag 445001/445001
47.10/46.79	c cleaning 12995 clauses out of 26015 with flag 458000/458000
48.50/48.11	c cleaning 12999 clauses out of 26022 with flag 471002/471002
49.80/49.49	c cleaning 13005 clauses out of 26021 with flag 484000/484000
51.20/50.83	c cleaning 13000 clauses out of 26016 with flag 497000/497000
52.60/52.25	c cleaning 13000 clauses out of 26017 with flag 510001/510001
53.90/53.59	c cleaning 12995 clauses out of 26016 with flag 523000/523000
55.41/55.06	c cleaning 12999 clauses out of 26021 with flag 536000/536000
56.70/56.38	c cleaning 13003 clauses out of 26022 with flag 549000/549000
58.10/57.76	c cleaning 13004 clauses out of 26020 with flag 562001/562001
59.40/59.05	c cleaning 12998 clauses out of 26016 with flag 575001/575001
60.70/60.36	c cleaning 13003 clauses out of 26019 with flag 588002/588002
62.10/61.73	c cleaning 13002 clauses out of 26014 with flag 601000/601000
63.41/63.06	c cleaning 12996 clauses out of 26012 with flag 614000/614000
64.81/64.49	c cleaning 13001 clauses out of 26016 with flag 627000/627000
66.21/65.85	c cleaning 13002 clauses out of 26017 with flag 640002/640002
67.51/67.16	c cleaning 12998 clauses out of 26013 with flag 653000/653000
68.91/68.50	c cleaning 13002 clauses out of 26017 with flag 666002/666002
70.31/69.91	c cleaning 13002 clauses out of 26014 with flag 679001/679001
71.61/71.30	c cleaning 12990 clauses out of 26011 with flag 692000/692000
72.91/72.58	c cleaning 13008 clauses out of 26022 with flag 705001/705001
74.31/73.90	c cleaning 13001 clauses out of 26013 with flag 718000/718000
75.61/75.27	c cleaning 12999 clauses out of 26012 with flag 731000/731000
76.91/76.59	c cleaning 12996 clauses out of 26013 with flag 744000/744000
78.31/77.94	c cleaning 13007 clauses out of 26017 with flag 757000/757000
79.61/79.26	c cleaning 13000 clauses out of 26011 with flag 770001/770001
81.01/80.62	c cleaning 12998 clauses out of 26011 with flag 783001/783001
82.31/81.98	c cleaning 12999 clauses out of 26013 with flag 796001/796001
83.71/83.35	c cleaning 13002 clauses out of 26014 with flag 809001/809001
85.02/84.70	c cleaning 13000 clauses out of 26012 with flag 822001/822001
86.41/86.01	c cleaning 12996 clauses out of 26011 with flag 835000/835000
87.71/87.30	c cleaning 13003 clauses out of 26015 with flag 848000/848000
89.01/88.61	c cleaning 12999 clauses out of 26013 with flag 861001/861001
90.21/89.89	c cleaning 13003 clauses out of 26013 with flag 874000/874000
91.62/91.21	c cleaning 12993 clauses out of 26010 with flag 887000/887000
92.91/92.53	c cleaning 12999 clauses out of 26018 with flag 900001/900001
94.11/93.79	c cleaning 13001 clauses out of 26018 with flag 913000/913000
95.41/95.08	c cleaning 13005 clauses out of 26018 with flag 926001/926001
96.63/96.29	c cleaning 13003 clauses out of 26013 with flag 939001/939001
98.03/97.61	c cleaning 12995 clauses out of 26009 with flag 952000/952000
99.23/98.88	c cleaning 12995 clauses out of 26014 with flag 965000/965000
100.63/100.22	c cleaning 12998 clauses out of 26019 with flag 978000/978000
101.93/101.59	c cleaning 12999 clauses out of 26021 with flag 991000/991000
103.23/102.89	c cleaning 13001 clauses out of 26022 with flag 1004000/1004000
104.53/104.17	c cleaning 12999 clauses out of 26021 with flag 1017000/1017000
105.83/105.44	c cleaning 13004 clauses out of 26023 with flag 1030001/1030001
107.04/106.70	c cleaning 13002 clauses out of 26018 with flag 1043000/1043000
108.33/107.97	c cleaning 12998 clauses out of 26016 with flag 1056000/1056000
109.63/109.27	c cleaning 13001 clauses out of 26018 with flag 1069000/1069000
110.93/110.58	c cleaning 12999 clauses out of 26017 with flag 1082000/1082000
112.23/111.85	c cleaning 12996 clauses out of 26018 with flag 1095000/1095000
113.53/113.17	c cleaning 13001 clauses out of 26023 with flag 1108001/1108001
114.93/114.51	c cleaning 13001 clauses out of 26021 with flag 1121000/1121000
116.24/115.80	c cleaning 13000 clauses out of 26020 with flag 1134000/1134000
117.54/117.11	c cleaning 13003 clauses out of 26021 with flag 1147001/1147001
118.83/118.41	c cleaning 12999 clauses out of 26017 with flag 1160000/1160000
120.13/119.70	c cleaning 13001 clauses out of 26018 with flag 1173000/1173000
121.34/120.97	c cleaning 13001 clauses out of 26018 with flag 1186001/1186001
122.64/122.27	c cleaning 13002 clauses out of 26016 with flag 1199000/1199000
124.04/123.63	c cleaning 12999 clauses out of 26014 with flag 1212000/1212000
125.34/124.90	c cleaning 13000 clauses out of 26015 with flag 1225000/1225000
126.54/126.16	c cleaning 13002 clauses out of 26016 with flag 1238001/1238001
127.84/127.47	c cleaning 12998 clauses out of 26013 with flag 1251000/1251000
129.15/128.71	c cleaning 13004 clauses out of 26015 with flag 1264000/1264000
130.44/130.02	c cleaning 12999 clauses out of 26013 with flag 1277002/1277002
131.74/131.34	c cleaning 12999 clauses out of 26012 with flag 1290000/1290000
133.04/132.61	c cleaning 12993 clauses out of 26013 with flag 1303000/1303000
134.24/133.85	c cleaning 12998 clauses out of 26020 with flag 1316000/1316000
135.54/135.14	c cleaning 13009 clauses out of 26023 with flag 1329001/1329001
136.85/136.45	c cleaning 12997 clauses out of 26013 with flag 1342000/1342000
138.14/137.77	c cleaning 13004 clauses out of 26018 with flag 1355002/1355002
139.54/139.12	c cleaning 12992 clauses out of 26012 with flag 1368000/1368000
140.84/140.41	c cleaning 13004 clauses out of 26020 with flag 1381000/1381000
142.04/141.68	c cleaning 12994 clauses out of 26016 with flag 1394000/1394000
143.35/142.97	c cleaning 13007 clauses out of 26023 with flag 1407001/1407001
144.65/144.26	c cleaning 13002 clauses out of 26015 with flag 1420000/1420000
145.94/145.51	c cleaning 12997 clauses out of 26013 with flag 1433000/1433000
147.25/146.82	c cleaning 13000 clauses out of 26016 with flag 1446000/1446000
148.55/148.16	c cleaning 13001 clauses out of 26017 with flag 1459001/1459001
149.85/149.48	c cleaning 12997 clauses out of 26015 with flag 1472000/1472000
151.05/150.69	c cleaning 12999 clauses out of 26019 with flag 1485001/1485001
152.35/151.92	c cleaning 12999 clauses out of 26020 with flag 1498001/1498001
153.65/153.22	c cleaning 13002 clauses out of 26020 with flag 1511000/1511000
154.85/154.45	c cleaning 12999 clauses out of 26018 with flag 1524000/1524000
156.15/155.76	c cleaning 13001 clauses out of 26021 with flag 1537002/1537002
157.45/157.06	c cleaning 13001 clauses out of 26018 with flag 1550000/1550000
158.76/158.37	c cleaning 12999 clauses out of 26018 with flag 1563001/1563001
160.15/159.72	c cleaning 12997 clauses out of 26018 with flag 1576000/1576000
161.45/161.01	c cleaning 13002 clauses out of 26022 with flag 1589001/1589001
162.75/162.30	c cleaning 13005 clauses out of 26019 with flag 1602000/1602000
164.05/163.63	c cleaning 13000 clauses out of 26017 with flag 1615003/1615003
165.36/164.91	c cleaning 12998 clauses out of 26014 with flag 1628000/1628000
166.65/166.23	c cleaning 12998 clauses out of 26019 with flag 1641003/1641003
167.96/167.52	c cleaning 13003 clauses out of 26018 with flag 1654000/1654000
169.26/168.85	c cleaning 12997 clauses out of 26015 with flag 1667000/1667000
170.56/170.17	c cleaning 13005 clauses out of 26018 with flag 1680000/1680000
171.86/171.45	c cleaning 12998 clauses out of 26015 with flag 1693002/1693002
173.16/172.74	c cleaning 12997 clauses out of 26015 with flag 1706000/1706000
174.36/173.98	c cleaning 13003 clauses out of 26018 with flag 1719000/1719000
175.76/175.33	c cleaning 13000 clauses out of 26015 with flag 1732000/1732000
177.06/176.64	c cleaning 12990 clauses out of 26015 with flag 1745000/1745000
178.36/177.94	c cleaning 13006 clauses out of 26025 with flag 1758000/1758000
179.66/179.23	c cleaning 13003 clauses out of 26020 with flag 1771001/1771001
180.96/180.54	c cleaning 13003 clauses out of 26017 with flag 1784001/1784001
182.26/181.88	c cleaning 13002 clauses out of 26015 with flag 1797002/1797002
183.66/183.22	c cleaning 12996 clauses out of 26011 with flag 1810000/1810000
184.96/184.56	c cleaning 13001 clauses out of 26016 with flag 1823001/1823001
186.27/185.89	c cleaning 12998 clauses out of 26015 with flag 1836001/1836001
187.66/187.21	c cleaning 12999 clauses out of 26016 with flag 1849000/1849000
188.96/188.53	c cleaning 13000 clauses out of 26018 with flag 1862001/1862001
190.26/189.82	c cleaning 13003 clauses out of 26017 with flag 1875000/1875000
191.56/191.16	c cleaning 12999 clauses out of 26016 with flag 1888002/1888002
192.87/192.46	c cleaning 13001 clauses out of 26015 with flag 1901000/1901000
194.26/193.82	c cleaning 13002 clauses out of 26016 with flag 1914002/1914002
195.66/195.24	c cleaning 12996 clauses out of 26012 with flag 1927000/1927000
197.06/196.61	c cleaning 13002 clauses out of 26016 with flag 1940000/1940000
198.37/197.94	c cleaning 12997 clauses out of 26015 with flag 1953001/1953001
199.76/199.30	c cleaning 12997 clauses out of 26017 with flag 1966000/1966000
201.07/200.65	c cleaning 13000 clauses out of 26020 with flag 1979000/1979000
202.37/201.97	c cleaning 12998 clauses out of 26023 with flag 1992003/1992003
203.77/203.32	c cleaning 13008 clauses out of 26023 with flag 2005001/2005001
205.07/204.69	c cleaning 12998 clauses out of 26014 with flag 2018000/2018000
206.47/206.04	c cleaning 12999 clauses out of 26016 with flag 2031000/2031000
207.77/207.39	c cleaning 13001 clauses out of 26017 with flag 2044000/2044000
209.17/208.72	c cleaning 13004 clauses out of 26016 with flag 2057000/2057000
210.48/210.07	c cleaning 13001 clauses out of 26013 with flag 2070001/2070001
211.77/211.37	c cleaning 13003 clauses out of 26011 with flag 2083000/2083000
213.07/212.67	c cleaning 12995 clauses out of 26008 with flag 2096000/2096000
214.37/213.94	c cleaning 12995 clauses out of 26013 with flag 2109000/2109000
215.77/215.31	c cleaning 12995 clauses out of 26018 with flag 2122000/2122000
216.97/216.57	c cleaning 13008 clauses out of 26025 with flag 2135002/2135002
218.28/217.82	c cleaning 12995 clauses out of 26015 with flag 2148000/2148000
219.57/219.14	c cleaning 13006 clauses out of 26020 with flag 2161000/2161000
220.88/220.45	c cleaning 12991 clauses out of 26014 with flag 2174000/2174000
222.18/221.78	c cleaning 12997 clauses out of 26024 with flag 2187001/2187001
223.48/223.09	c cleaning 13004 clauses out of 26027 with flag 2200001/2200001
224.78/224.40	c cleaning 13002 clauses out of 26022 with flag 2213000/2213000
226.19/225.72	c cleaning 13003 clauses out of 26020 with flag 2226000/2226000
227.49/227.07	c cleaning 12995 clauses out of 26018 with flag 2239001/2239001
228.79/228.38	c cleaning 13001 clauses out of 26023 with flag 2252001/2252001
230.09/229.65	c cleaning 13001 clauses out of 26021 with flag 2265000/2265000
231.39/230.95	c cleaning 12998 clauses out of 26020 with flag 2278000/2278000
232.69/232.26	c cleaning 13004 clauses out of 26022 with flag 2291000/2291000
234.09/233.60	c cleaning 13001 clauses out of 26019 with flag 2304001/2304001
235.39/234.97	c cleaning 12996 clauses out of 26017 with flag 2317000/2317000
236.69/236.27	c cleaning 13006 clauses out of 26022 with flag 2330001/2330001
237.99/237.59	c cleaning 13003 clauses out of 26016 with flag 2343001/2343001
239.29/238.84	c cleaning 12996 clauses out of 26012 with flag 2356000/2356000
240.59/240.13	c cleaning 12995 clauses out of 26016 with flag 2369000/2369000
241.79/241.37	c cleaning 12999 clauses out of 26021 with flag 2382000/2382000
242.99/242.58	c cleaning 13005 clauses out of 26022 with flag 2395000/2395000
244.29/243.81	c cleaning 12998 clauses out of 26017 with flag 2408000/2408000
245.49/245.05	c cleaning 12998 clauses out of 26019 with flag 2421000/2421000
246.80/246.36	c cleaning 12998 clauses out of 26021 with flag 2434000/2434000
248.19/247.72	c cleaning 13002 clauses out of 26024 with flag 2447001/2447001
249.49/249.03	c cleaning 13002 clauses out of 26021 with flag 2460000/2460000
250.79/250.32	c cleaning 13007 clauses out of 26020 with flag 2473001/2473001
251.99/251.59	c cleaning 12998 clauses out of 26012 with flag 2486000/2486000
253.29/252.84	c cleaning 12993 clauses out of 26014 with flag 2499000/2499000
254.50/254.09	c cleaning 13002 clauses out of 26022 with flag 2512001/2512001
255.79/255.39	c cleaning 13001 clauses out of 26019 with flag 2525000/2525000
257.09/256.64	c cleaning 13004 clauses out of 26020 with flag 2538002/2538002
258.39/257.91	c cleaning 13002 clauses out of 26014 with flag 2551000/2551000
259.59/259.17	c cleaning 12996 clauses out of 26012 with flag 2564000/2564000
260.89/260.45	c cleaning 13000 clauses out of 26016 with flag 2577000/2577000
262.20/261.73	c cleaning 13000 clauses out of 26016 with flag 2590000/2590000
263.40/263.00	c cleaning 12995 clauses out of 26016 with flag 2603000/2603000
264.69/264.28	c cleaning 13006 clauses out of 26023 with flag 2616002/2616002
265.99/265.52	c cleaning 12989 clauses out of 26015 with flag 2629000/2629000
267.19/266.75	c cleaning 13003 clauses out of 26026 with flag 2642000/2642000
268.50/268.01	c cleaning 13000 clauses out of 26023 with flag 2655000/2655000
269.70/269.21	c cleaning 13001 clauses out of 26023 with flag 2668000/2668000
270.91/270.46	c cleaning 12999 clauses out of 26022 with flag 2681000/2681000
272.21/271.76	c cleaning 13003 clauses out of 26023 with flag 2694000/2694000
273.50/273.00	c cleaning 13002 clauses out of 26021 with flag 2707001/2707001
274.81/274.34	c cleaning 13004 clauses out of 26018 with flag 2720000/2720000
276.11/275.68	c cleaning 12999 clauses out of 26014 with flag 2733000/2733000
277.41/276.98	c cleaning 13001 clauses out of 26015 with flag 2746000/2746000
278.81/278.32	c cleaning 12998 clauses out of 26016 with flag 2759002/2759002
280.01/279.59	c cleaning 13000 clauses out of 26017 with flag 2772001/2772001
281.31/280.87	c cleaning 13002 clauses out of 26016 with flag 2785000/2785000
282.71/282.20	c cleaning 12999 clauses out of 26014 with flag 2798000/2798000
283.91/283.48	c cleaning 12998 clauses out of 26015 with flag 2811000/2811000
285.21/284.75	c cleaning 13001 clauses out of 26018 with flag 2824001/2824001
286.52/286.02	c cleaning 13005 clauses out of 26017 with flag 2837001/2837001
287.71/287.25	c cleaning 12994 clauses out of 26011 with flag 2850000/2850000
288.91/288.46	c cleaning 13007 clauses out of 26018 with flag 2863001/2863001
290.21/289.70	c cleaning 12997 clauses out of 26011 with flag 2876001/2876001
291.41/290.95	c cleaning 12996 clauses out of 26013 with flag 2889000/2889000
292.71/292.23	c cleaning 13003 clauses out of 26017 with flag 2902000/2902000
294.01/293.50	c cleaning 12994 clauses out of 26014 with flag 2915000/2915000
295.22/294.75	c cleaning 13003 clauses out of 26020 with flag 2928000/2928000
296.42/295.97	c cleaning 13002 clauses out of 26017 with flag 2941000/2941000
297.71/297.27	c cleaning 13000 clauses out of 26016 with flag 2954001/2954001
299.01/298.53	c cleaning 12998 clauses out of 26017 with flag 2967002/2967002
300.31/299.81	c cleaning 13003 clauses out of 26017 with flag 2980000/2980000
301.51/301.06	c cleaning 13000 clauses out of 26016 with flag 2993002/2993002
302.71/302.27	c cleaning 12998 clauses out of 26014 with flag 3006000/3006000
304.02/303.52	c cleaning 12995 clauses out of 26016 with flag 3019000/3019000
305.31/304.82	c cleaning 13001 clauses out of 26021 with flag 3032000/3032000
306.62/306.16	c cleaning 12999 clauses out of 26021 with flag 3045001/3045001
307.92/307.45	c cleaning 12993 clauses out of 26022 with flag 3058001/3058001
309.22/308.73	c cleaning 13009 clauses out of 26028 with flag 3071000/3071000
310.42/309.99	c cleaning 12997 clauses out of 26019 with flag 3084000/3084000
311.72/311.24	c cleaning 13001 clauses out of 26022 with flag 3097000/3097000
312.92/312.45	c cleaning 13005 clauses out of 26022 with flag 3110001/3110001
314.12/313.67	c cleaning 13002 clauses out of 26017 with flag 3123001/3123001
315.42/314.90	c cleaning 12996 clauses out of 26014 with flag 3136000/3136000
316.62/316.14	c cleaning 13002 clauses out of 26019 with flag 3149001/3149001
317.82/317.38	c cleaning 12998 clauses out of 26019 with flag 3162003/3162003
319.12/318.61	c cleaning 12997 clauses out of 26019 with flag 3175001/3175001
320.32/319.87	c cleaning 12999 clauses out of 26021 with flag 3188000/3188000
321.63/321.10	c cleaning 12996 clauses out of 26023 with flag 3201001/3201001
322.83/322.39	c cleaning 12995 clauses out of 26026 with flag 3214000/3214000
324.12/323.68	c cleaning 13007 clauses out of 26031 with flag 3227000/3227000
325.42/324.98	c cleaning 12996 clauses out of 26024 with flag 3240000/3240000
326.72/326.28	c cleaning 13007 clauses out of 26028 with flag 3253000/3253000
328.12/327.60	c cleaning 13004 clauses out of 26021 with flag 3266000/3266000
329.33/328.84	c cleaning 13001 clauses out of 26019 with flag 3279002/3279002
330.62/330.18	c cleaning 13006 clauses out of 26019 with flag 3292003/3292003
331.92/331.40	c cleaning 12997 clauses out of 26011 with flag 3305001/3305001
333.13/332.64	c cleaning 12999 clauses out of 26013 with flag 3318000/3318000
334.43/333.93	c cleaning 12997 clauses out of 26014 with flag 3331000/3331000
335.63/335.13	c cleaning 12990 clauses out of 26017 with flag 3344000/3344000
336.83/336.39	c cleaning 13002 clauses out of 26027 with flag 3357000/3357000
338.13/337.68	c cleaning 13003 clauses out of 26025 with flag 3370000/3370000
339.33/338.89	c cleaning 12999 clauses out of 26022 with flag 3383000/3383000
340.73/340.21	c cleaning 13002 clauses out of 26023 with flag 3396000/3396000
342.03/341.50	c cleaning 13006 clauses out of 26021 with flag 3409000/3409000
343.33/342.83	c cleaning 12995 clauses out of 26015 with flag 3422000/3422000
344.63/344.15	c cleaning 13008 clauses out of 26023 with flag 3435003/3435003
345.93/345.48	c cleaning 13001 clauses out of 26013 with flag 3448001/3448001
347.23/346.76	c cleaning 13001 clauses out of 26013 with flag 3461002/3461002
348.53/348.00	c cleaning 13002 clauses out of 26011 with flag 3474001/3474001
349.73/349.22	c cleaning 12997 clauses out of 26010 with flag 3487002/3487002
350.93/350.49	c cleaning 12993 clauses out of 26011 with flag 3500000/3500000
352.23/351.75	c cleaning 12993 clauses out of 26018 with flag 3513000/3513000
353.53/353.01	c cleaning 13006 clauses out of 26026 with flag 3526001/3526001
354.74/354.28	c cleaning 13003 clauses out of 26019 with flag 3539000/3539000
356.03/355.56	c cleaning 13003 clauses out of 26018 with flag 3552002/3552002
357.33/356.85	c cleaning 13000 clauses out of 26015 with flag 3565002/3565002
358.63/358.13	c cleaning 12994 clauses out of 26014 with flag 3578001/3578001
359.94/359.40	c cleaning 13006 clauses out of 26019 with flag 3591000/3591000
361.25/360.71	c cleaning 13004 clauses out of 26013 with flag 3604000/3604000
362.54/362.03	c cleaning 13000 clauses out of 26009 with flag 3617000/3617000
363.84/363.33	c cleaning 12998 clauses out of 26009 with flag 3630000/3630000
365.14/364.64	c cleaning 12995 clauses out of 26011 with flag 3643000/3643000
366.45/365.97	c cleaning 13001 clauses out of 26018 with flag 3656002/3656002
367.75/367.24	c cleaning 13000 clauses out of 26015 with flag 3669000/3669000
368.95/368.49	c cleaning 12996 clauses out of 26015 with flag 3682000/3682000
370.35/369.84	c cleaning 12999 clauses out of 26019 with flag 3695000/3695000
371.65/371.15	c cleaning 13002 clauses out of 26021 with flag 3708001/3708001
372.95/372.45	c cleaning 13001 clauses out of 26019 with flag 3721001/3721001
374.25/373.77	c cleaning 13006 clauses out of 26018 with flag 3734001/3734001
375.55/375.05	c cleaning 12993 clauses out of 26013 with flag 3747002/3747002
376.85/376.38	c cleaning 12998 clauses out of 26020 with flag 3760002/3760002
378.15/377.70	c cleaning 13000 clauses out of 26022 with flag 3773002/3773002
379.45/378.98	c cleaning 13005 clauses out of 26020 with flag 3786000/3786000
380.75/380.27	c cleaning 12993 clauses out of 26015 with flag 3799000/3799000
382.05/381.55	c cleaning 13000 clauses out of 26024 with flag 3812002/3812002
383.25/382.80	c cleaning 13007 clauses out of 26024 with flag 3825002/3825002
384.55/384.09	c cleaning 13001 clauses out of 26016 with flag 3838001/3838001
385.85/385.37	c cleaning 12997 clauses out of 26014 with flag 3851000/3851000
387.15/386.65	c cleaning 13002 clauses out of 26018 with flag 3864001/3864001
388.35/387.89	c cleaning 13002 clauses out of 26015 with flag 3877000/3877000
389.65/389.17	c cleaning 13004 clauses out of 26015 with flag 3890002/3890002
390.96/390.45	c cleaning 12998 clauses out of 26010 with flag 3903001/3903001
392.25/391.76	c cleaning 12994 clauses out of 26012 with flag 3916001/3916001
393.56/393.03	c cleaning 13004 clauses out of 26019 with flag 3929002/3929002
394.85/394.33	c cleaning 13002 clauses out of 26014 with flag 3942001/3942001
396.16/395.64	c cleaning 12998 clauses out of 26012 with flag 3955001/3955001
397.46/396.92	c cleaning 13000 clauses out of 26013 with flag 3968000/3968000
398.76/398.22	c cleaning 12997 clauses out of 26013 with flag 3981000/3981000
400.06/399.51	c cleaning 13002 clauses out of 26017 with flag 3994001/3994001
401.26/400.74	c cleaning 12995 clauses out of 26014 with flag 4007000/4007000
402.56/402.02	c cleaning 12993 clauses out of 26019 with flag 4020000/4020000
403.76/403.26	c cleaning 12999 clauses out of 26026 with flag 4033000/4033000
405.06/404.51	c cleaning 13011 clauses out of 26029 with flag 4046002/4046002
406.26/405.79	c cleaning 12998 clauses out of 26016 with flag 4059000/4059000
407.57/407.06	c cleaning 12997 clauses out of 26019 with flag 4072001/4072001
408.86/408.39	c cleaning 13003 clauses out of 26024 with flag 4085003/4085003
410.16/409.68	c cleaning 13000 clauses out of 26019 with flag 4098001/4098001
411.46/410.99	c cleaning 13003 clauses out of 26018 with flag 4111000/4111000
412.76/412.30	c cleaning 12992 clauses out of 26017 with flag 4124002/4124002
414.07/413.54	c cleaning 12994 clauses out of 26023 with flag 4137000/4137000
415.27/414.77	c cleaning 13010 clauses out of 26029 with flag 4150000/4150000
416.57/416.01	c cleaning 12990 clauses out of 26019 with flag 4163000/4163000
417.77/417.29	c cleaning 13010 clauses out of 26030 with flag 4176001/4176001
419.07/418.58	c cleaning 13001 clauses out of 26020 with flag 4189001/4189001
420.27/419.79	c cleaning 13004 clauses out of 26019 with flag 4202001/4202001
421.57/421.02	c cleaning 12994 clauses out of 26014 with flag 4215000/4215000
422.77/422.29	c cleaning 13005 clauses out of 26021 with flag 4228001/4228001
424.07/423.52	c cleaning 12996 clauses out of 26015 with flag 4241000/4241000
425.27/424.73	c cleaning 13002 clauses out of 26019 with flag 4254000/4254000
426.47/425.96	c cleaning 13001 clauses out of 26018 with flag 4267001/4267001
427.67/427.18	c cleaning 13001 clauses out of 26016 with flag 4280000/4280000
429.15/428.55	c cleaning 13003 clauses out of 26016 with flag 4293001/4293001
430.88/429.88	c cleaning 12997 clauses out of 26012 with flag 4306000/4306000
432.20/431.19	c cleaning 13003 clauses out of 26016 with flag 4319001/4319001
433.59/432.51	c cleaning 12999 clauses out of 26012 with flag 4332000/4332000
434.79/433.76	c cleaning 13000 clauses out of 26014 with flag 4345001/4345001
436.09/435.01	c cleaning 12993 clauses out of 26014 with flag 4358001/4358001
437.30/436.29	c cleaning 13001 clauses out of 26020 with flag 4371000/4371000
438.61/437.59	c cleaning 13005 clauses out of 26019 with flag 4384000/4384000
439.92/438.89	c cleaning 12996 clauses out of 26014 with flag 4397000/4397000
441.21/440.15	c cleaning 12998 clauses out of 26018 with flag 4410000/4410000
442.42/441.34	c cleaning 13010 clauses out of 26021 with flag 4423001/4423001
443.62/442.56	c cleaning 12998 clauses out of 26011 with flag 4436001/4436001
444.92/443.86	c cleaning 12995 clauses out of 26015 with flag 4449003/4449003
446.22/445.10	c cleaning 13000 clauses out of 26018 with flag 4462001/4462001
447.42/446.33	c cleaning 12998 clauses out of 26017 with flag 4475000/4475000
448.73/447.63	c cleaning 13003 clauses out of 26021 with flag 4488002/4488002
450.02/448.93	c cleaning 12998 clauses out of 26018 with flag 4501002/4501002
451.32/450.24	c cleaning 13002 clauses out of 26018 with flag 4514000/4514000
452.63/451.50	c cleaning 13001 clauses out of 26016 with flag 4527000/4527000
453.83/452.76	c cleaning 12997 clauses out of 26015 with flag 4540000/4540000
455.13/454.05	c cleaning 13001 clauses out of 26018 with flag 4553000/4553000
456.43/455.34	c cleaning 13004 clauses out of 26017 with flag 4566000/4566000
457.73/456.62	c cleaning 12997 clauses out of 26013 with flag 4579000/4579000
459.03/457.90	c cleaning 13003 clauses out of 26017 with flag 4592001/4592001
460.33/459.26	c cleaning 13005 clauses out of 26013 with flag 4605000/4605000
461.53/460.49	c cleaning 12998 clauses out of 26008 with flag 4618000/4618000
462.85/461.73	c cleaning 12995 clauses out of 26010 with flag 4631000/4631000
464.15/463.01	c cleaning 13002 clauses out of 26016 with flag 4644001/4644001
465.25/464.20	c cleaning 12996 clauses out of 26013 with flag 4657000/4657000
466.55/465.44	c cleaning 12994 clauses out of 26017 with flag 4670000/4670000
467.74/466.69	c cleaning 13001 clauses out of 26023 with flag 4683000/4683000
469.05/467.94	c cleaning 13001 clauses out of 26023 with flag 4696001/4696001
470.35/469.21	c cleaning 13001 clauses out of 26023 with flag 4709002/4709002
471.55/470.46	c cleaning 13001 clauses out of 26020 with flag 4722000/4722000
472.85/471.73	c cleaning 13003 clauses out of 26021 with flag 4735002/4735002
474.05/472.97	c cleaning 13001 clauses out of 26017 with flag 4748001/4748001
475.35/474.21	c cleaning 12994 clauses out of 26015 with flag 4761000/4761000
476.65/475.51	c cleaning 13000 clauses out of 26021 with flag 4774000/4774000
477.85/476.76	c cleaning 13002 clauses out of 26021 with flag 4787000/4787000
479.05/477.98	c cleaning 13001 clauses out of 26020 with flag 4800001/4800001
480.35/479.23	c cleaning 12998 clauses out of 26018 with flag 4813000/4813000
481.65/480.50	c cleaning 12998 clauses out of 26020 with flag 4826000/4826000
482.86/481.73	c cleaning 13008 clauses out of 26023 with flag 4839001/4839001
484.06/482.95	c cleaning 13002 clauses out of 26014 with flag 4852000/4852000
485.35/484.21	c cleaning 12998 clauses out of 26012 with flag 4865000/4865000
486.55/485.45	c cleaning 12992 clauses out of 26014 with flag 4878000/4878000
487.75/486.67	c cleaning 13000 clauses out of 26022 with flag 4891000/4891000
488.95/487.89	c cleaning 13002 clauses out of 26022 with flag 4904000/4904000
490.25/489.11	c cleaning 13002 clauses out of 26020 with flag 4917000/4917000
491.55/490.40	c cleaning 13001 clauses out of 26018 with flag 4930000/4930000
492.76/491.63	c cleaning 13005 clauses out of 26017 with flag 4943000/4943000
493.96/492.84	c cleaning 13002 clauses out of 26012 with flag 4956000/4956000
495.16/494.08	c cleaning 13001 clauses out of 26011 with flag 4969001/4969001
496.46/495.35	c cleaning 12997 clauses out of 26009 with flag 4982000/4982000
497.76/496.60	c cleaning 12998 clauses out of 26013 with flag 4995001/4995001
498.96/497.86	c cleaning 13000 clauses out of 26016 with flag 5008002/5008002
500.16/499.07	c cleaning 12991 clauses out of 26014 with flag 5021000/5021000
501.36/500.26	c cleaning 13006 clauses out of 26024 with flag 5034001/5034001
502.56/501.49	c cleaning 13000 clauses out of 26017 with flag 5047000/5047000
503.87/502.76	c cleaning 12995 clauses out of 26018 with flag 5060001/5060001
505.16/504.01	c cleaning 13008 clauses out of 26025 with flag 5073003/5073003
506.36/505.22	c cleaning 12996 clauses out of 26015 with flag 5086001/5086001
507.56/506.48	c cleaning 13002 clauses out of 26018 with flag 5099000/5099000
508.86/507.76	c cleaning 13006 clauses out of 26016 with flag 5112000/5112000
510.17/509.01	c cleaning 13000 clauses out of 26010 with flag 5125000/5125000
511.37/510.21	c cleaning 12042 clauses out of 24098 with flag 5138000/5138000
512.58/511.45	c cleaning 12514 clauses out of 25056 with flag 5151000/5151000
513.87/512.70	c cleaning 12768 clauses out of 25542 with flag 5164000/5164000
515.07/514.00	c cleaning 12885 clauses out of 25774 with flag 5177000/5177000
516.37/515.28	c cleaning 12941 clauses out of 25889 with flag 5190000/5190000
517.77/516.60	c cleaning 12971 clauses out of 25950 with flag 5203002/5203002
519.07/517.92	c cleaning 12978 clauses out of 25977 with flag 5216000/5216000
520.28/519.18	c cleaning 12995 clauses out of 26000 with flag 5229001/5229001
521.57/520.41	c cleaning 12994 clauses out of 26006 with flag 5242002/5242002
522.78/521.64	c cleaning 12996 clauses out of 26011 with flag 5255001/5255001
524.08/522.93	c cleaning 13000 clauses out of 26015 with flag 5268001/5268001
525.28/524.19	c cleaning 12997 clauses out of 26014 with flag 5281000/5281000
526.58/525.47	c cleaning 13002 clauses out of 26017 with flag 5294000/5294000
527.78/526.69	c cleaning 13002 clauses out of 26016 with flag 5307001/5307001
529.09/527.92	c cleaning 13002 clauses out of 26013 with flag 5320000/5320000
530.29/529.12	c cleaning 8836 clauses out of 17684 with flag 5333001/5333001
531.39/530.26	c cleaning 10924 clauses out of 21847 with flag 5346000/5346000
532.49/531.37	c cleaning 9475 clauses out of 18962 with flag 5359001/5359001
533.69/532.52	c cleaning 11243 clauses out of 22486 with flag 5372000/5372000
534.89/533.74	c cleaning 12114 clauses out of 24243 with flag 5385000/5385000
536.09/534.91	c cleaning 9366 clauses out of 18739 with flag 5398000/5398000
537.19/536.08	c cleaning 11176 clauses out of 22373 with flag 5411000/5411000
538.50/537.31	c cleaning 12093 clauses out of 24197 with flag 5424000/5424000
539.60/538.49	c cleaning 9762 clauses out of 19526 with flag 5437000/5437000
540.80/539.69	c cleaning 7001 clauses out of 14022 with flag 5450000/5450000
542.00/540.80	c cleaning 10012 clauses out of 20023 with flag 5463002/5463002
543.20/542.02	c cleaning 5669 clauses out of 11355 with flag 5476000/5476000
544.10/542.93	c cleaning 6837 clauses out of 13685 with flag 5489001/5489001
544.30/543.11	c starts		: 2145
544.30/543.11	c conflicts		: 5491486
544.30/543.11	c decisions		: 5947613
544.30/543.11	c propagations		: 224830725
544.30/543.11	c inspects		: 7494711800
544.30/543.11	c shortcuts		: 0
544.30/543.11	c learnt literals	: 16
544.30/543.11	c learnt binary clauses	: 155
544.30/543.11	c learnt ternary clauses	: 944
544.30/543.11	c learnt constraints	: 5491469
544.30/543.11	c ignored constraints	: 0
544.30/543.11	c root simplifications	: 2160
544.30/543.11	c removed literals (reason simplification)	: 48772354
544.30/543.11	c reason swapping (by a shorter reason)	: 0
544.30/543.11	c Calls to reduceDB	: 425
544.30/543.11	c speed (assignments/second)	: 414263.4654078316
544.30/543.11	c non guided choices	39
544.30/543.11	c learnt constraints type 
544.30/543.11	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
544.30/543.11	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 3920
544.30/543.11	c constraints type 
544.30/543.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12692
544.30/543.11	s UNSATISFIABLE
544.30/543.11	c Total wall clock time (in seconds) : 542.818

Verifier Data 

No possible verification on an UNSAT instance

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-3261864-1303545371/watcher-3261864-1303545371 -o /tmp/evaluation-result-3261864-1303545371/solver-3261864-1303545371 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3261864-1303545371.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: 1.36 3.00 3.41 2/174 11294
/proc/meminfo: memFree=14501784/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=3528 CPUtime=0 cores=0,2
/proc/11294/stat : 11294 (java) D 11292 11294 10350 0 -1 4194304 90 0 1 0 0 0 0 0 17 0 1 0 466135029 3612672 44 33554432000 1073741824 1073778376 140735917688672 18446744073709551615 228239428518 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 0
/proc/11294/statm: 882 44 35 9 0 27 0

[startup+0.0718469 s]
/proc/loadavg: 1.36 3.00 3.41 2/174 11294
/proc/meminfo: memFree=14501784/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=23028 CPUtime=0 cores=0,2
/proc/11294/stat : 11294 (java) D 11292 11294 10350 0 -1 4202496 971 0 46 0 0 0 0 0 17 0 1 0 466135029 23580672 760 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 47220527952544 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 5
/proc/11294/statm: 5757 760 559 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100856 s]
/proc/loadavg: 1.36 3.00 3.41 2/174 11294
/proc/meminfo: memFree=14501784/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=27172 CPUtime=0 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 1121 0 58 0 0 0 0 0 17 0 2 0 466135029 27824128 906 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 6793 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27172

[startup+0.305824 s]
/proc/loadavg: 1.36 3.00 3.41 2/174 11294
/proc/meminfo: memFree=14501784/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7636844 CPUtime=0.11 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 10377 0 108 0 10 1 0 0 17 0 18 0 466135029 7820128256 10180 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1909211 10180 2093 9 0 1899949 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636844

[startup+0.700729 s]
/proc/loadavg: 1.36 3.00 3.41 2/174 11294
/proc/meminfo: memFree=14501784/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7641796 CPUtime=0.82 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 12538 0 108 0 80 2 0 0 17 0 19 0 466135029 7825199104 11846 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1910449 11846 2223 9 0 1901187 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 7641796

[startup+1.50059 s]
/proc/loadavg: 1.36 3.00 3.41 9/262 11397
/proc/meminfo: memFree=14290640/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7666160 CPUtime=1.87 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 21212 0 108 0 184 3 0 0 17 0 19 0 466135029 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1916540 18581 2255 9 0 1907278 0
[pid=11294/tid=11315] ppid=11292 vsize=7666160 CPUtime=1.22 cores=0,2
/proc/11294/task/11315/stat : 11315 (java) R 11292 11294 10350 0 -1 4202560 9178 0 51 0 121 1 0 0 18 0 19 0 466135039 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 46912505598670 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=11294/tid=11330] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11330/stat : 11330 (java) S 11292 11294 10350 0 -1 4202560 345 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11332] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11332/stat : 11332 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11334] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11334/stat : 11334 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11336] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11336/stat : 11336 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11338] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11338/stat : 11338 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11340] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11340/stat : 11340 (java) S 11292 11294 10350 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11342] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11342/stat : 11342 (java) S 11292 11294 10350 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11344] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11344/stat : 11344 (java) S 11292 11294 10350 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11363] ppid=11292 vsize=7666160 CPUtime=0.02 cores=0,2
/proc/11294/task/11363/stat : 11363 (java) S 11292 11294 10350 0 -1 4202560 597 0 0 0 2 0 0 0 16 0 19 0 466135045 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 0 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11368] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11368/stat : 11368 (java) S 11292 11294 10350 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 466135046 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11372] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11372/stat : 11372 (java) S 11292 11294 10350 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 466135046 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11374] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11374/stat : 11374 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256172465 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11376] ppid=11292 vsize=7666160 CPUtime=0.04 cores=0,2
/proc/11294/task/11376/stat : 11376 (java) S 11292 11294 10350 0 -1 4202560 329 0 0 0 4 0 0 0 16 0 19 0 466135053 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11382] ppid=11292 vsize=7666160 CPUtime=0.54 cores=0,2
/proc/11294/task/11382/stat : 11382 (java) S 11292 11294 10350 0 -1 4202560 9335 0 0 0 54 0 0 0 15 0 19 0 466135053 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11384] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11384/stat : 11384 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11388] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11388/stat : 11388 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11394] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11394/stat : 11394 (java) S 11292 11294 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135069 7850147840 18581 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 7666160

[startup+3.10131 s]
/proc/loadavg: 1.36 3.00 3.41 5/262 11397
/proc/meminfo: memFree=14197876/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7666160 CPUtime=3.49 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 21462 0 108 0 346 3 0 0 17 0 19 0 466135029 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1916540 18828 2255 9 0 1907278 0
[pid=11294/tid=11315] ppid=11292 vsize=7666160 CPUtime=2.77 cores=0,2
/proc/11294/task/11315/stat : 11315 (java) R 11292 11294 10350 0 -1 4202560 9179 0 51 0 276 1 0 0 20 0 19 0 466135039 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 46912505626881 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=11294/tid=11330] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11330/stat : 11330 (java) S 11292 11294 10350 0 -1 4202560 383 0 0 0 0 0 0 0 16 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11332] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11332/stat : 11332 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11334] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11334/stat : 11334 (java) S 11292 11294 10350 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11336] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11336/stat : 11336 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11338] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11338/stat : 11338 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11340] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11340/stat : 11340 (java) S 11292 11294 10350 0 -1 4202560 138 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11342] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11342/stat : 11342 (java) S 11292 11294 10350 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11344] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11344/stat : 11344 (java) S 11292 11294 10350 0 -1 4202560 106 0 0 0 0 0 0 0 16 0 19 0 466135042 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11363] ppid=11292 vsize=7666160 CPUtime=0.06 cores=0,2
/proc/11294/task/11363/stat : 11363 (java) S 11292 11294 10350 0 -1 4202560 770 0 0 0 6 0 0 0 16 0 19 0 466135045 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 0 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11368] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11368/stat : 11368 (java) S 11292 11294 10350 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 466135046 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11372] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11372/stat : 11372 (java) S 11292 11294 10350 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 466135046 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11374] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11374/stat : 11374 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256172465 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11376] ppid=11292 vsize=7666160 CPUtime=0.07 cores=0,2
/proc/11294/task/11376/stat : 11376 (java) S 11292 11294 10350 0 -1 4202560 340 0 0 0 7 0 0 0 16 0 19 0 466135053 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11382] ppid=11292 vsize=7666160 CPUtime=0.54 cores=0,2
/proc/11294/task/11382/stat : 11382 (java) S 11292 11294 10350 0 -1 4202560 9337 0 0 0 54 0 0 0 15 0 19 0 466135053 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11384] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11384/stat : 11384 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11388] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11388/stat : 11388 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11394] ppid=11292 vsize=7666160 CPUtime=0 cores=0,2
/proc/11294/task/11394/stat : 11394 (java) S 11292 11294 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135069 7850147840 18828 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 7666160

[startup+6.30078 s]
/proc/loadavg: 1.65 3.03 3.42 5/262 11397
/proc/meminfo: memFree=14191800/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7662800 CPUtime=6.69 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 21666 0 108 0 666 3 0 0 17 0 19 0 466135029 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1915700 18729 2255 9 0 1906438 0
[pid=11294/tid=11315] ppid=11292 vsize=7662800 CPUtime=5.9 cores=0,2
/proc/11294/task/11315/stat : 11315 (java) R 11292 11294 10350 0 -1 4202560 9183 0 51 0 589 1 0 0 25 0 19 0 466135039 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 46912505598251 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=11294/tid=11330] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11330/stat : 11330 (java) S 11292 11294 10350 0 -1 4202560 383 0 0 0 0 0 0 0 16 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11332] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11332/stat : 11332 (java) S 11292 11294 10350 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11334] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11334/stat : 11334 (java) S 11292 11294 10350 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11336] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11336/stat : 11336 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11338] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11338/stat : 11338 (java) S 11292 11294 10350 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11340] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11340/stat : 11340 (java) S 11292 11294 10350 0 -1 4202560 138 0 0 0 0 0 0 0 15 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11342] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11342/stat : 11342 (java) S 11292 11294 10350 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11344] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11344/stat : 11344 (java) S 11292 11294 10350 0 -1 4202560 106 0 0 0 0 0 0 0 16 0 19 0 466135042 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11363] ppid=11292 vsize=7662800 CPUtime=0.11 cores=0,2
/proc/11294/task/11363/stat : 11363 (java) S 11292 11294 10350 0 -1 4202560 934 0 0 0 11 0 0 0 15 0 19 0 466135045 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 0 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11368] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11368/stat : 11368 (java) S 11292 11294 10350 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 466135046 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11372] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11372/stat : 11372 (java) S 11292 11294 10350 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 466135046 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11374] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11374/stat : 11374 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256172465 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11376] ppid=11292 vsize=7662800 CPUtime=0.07 cores=0,2
/proc/11294/task/11376/stat : 11376 (java) S 11292 11294 10350 0 -1 4202560 340 0 0 0 7 0 0 0 16 0 19 0 466135053 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11382] ppid=11292 vsize=7662800 CPUtime=0.54 cores=0,2
/proc/11294/task/11382/stat : 11382 (java) S 11292 11294 10350 0 -1 4202560 9337 0 0 0 54 0 0 0 15 0 19 0 466135053 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11384] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11384/stat : 11384 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11388] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11388/stat : 11388 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11394] ppid=11292 vsize=7662800 CPUtime=0 cores=0,2
/proc/11294/task/11394/stat : 11394 (java) S 11292 11294 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135069 7846707200 18729 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 7662800

[startup+12.7007 s]

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

/proc/11294/task/11330/stat : 11330 (java) S 11292 11294 10350 0 -1 4202560 385 0 0 0 11 0 0 0 15 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11332] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11332/stat : 11332 (java) S 11292 11294 10350 0 -1 4202560 157 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11334] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11334/stat : 11334 (java) S 11292 11294 10350 0 -1 4202560 13 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11336] ppid=11292 vsize=7663456 CPUtime=0.09 cores=0,2
/proc/11294/task/11336/stat : 11336 (java) S 11292 11294 10350 0 -1 4202560 9 0 0 0 9 0 0 0 15 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11338] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11338/stat : 11338 (java) S 11292 11294 10350 0 -1 4202560 20 0 0 0 11 0 0 0 16 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11340] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11340/stat : 11340 (java) S 11292 11294 10350 0 -1 4202560 149 0 0 0 11 0 0 0 15 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11342] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11342/stat : 11342 (java) S 11292 11294 10350 0 -1 4202560 131 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11344] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11344/stat : 11344 (java) S 11292 11294 10350 0 -1 4202560 113 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11363] ppid=11292 vsize=7663456 CPUtime=7.35 cores=0,2
/proc/11294/task/11363/stat : 11363 (java) S 11292 11294 10350 0 -1 4202560 1428 0 0 0 733 2 0 0 16 0 19 0 466135045 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 0 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11368] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11368/stat : 11368 (java) S 11292 11294 10350 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 466135046 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11372] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11372/stat : 11372 (java) S 11292 11294 10350 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 466135046 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11374] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11374/stat : 11374 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256172465 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11376] ppid=11292 vsize=7663456 CPUtime=0.26 cores=0,2
/proc/11294/task/11376/stat : 11376 (java) S 11292 11294 10350 0 -1 4202560 396 0 0 0 26 0 0 0 15 0 19 0 466135053 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11382] ppid=11292 vsize=7663456 CPUtime=1.06 cores=0,2
/proc/11294/task/11382/stat : 11382 (java) S 11292 11294 10350 0 -1 4202560 9685 0 0 0 106 0 0 0 15 0 19 0 466135053 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11384] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11384/stat : 11384 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11388] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11388/stat : 11388 (java) S 11292 11294 10350 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 466135053 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11394] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11394/stat : 11394 (java) S 11292 11294 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135069 7847378944 19794 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 541.9
Current children cumulated vsize (KiB) 7663456

[startup+542.308 s]
/proc/loadavg: 4.03 3.86 3.67 6/262 11470
/proc/meminfo: memFree=14152612/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7663456 CPUtime=543.51 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 23231 0 108 0 54343 8 0 0 17 0 19 0 466135029 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1915864 19799 2256 9 0 1906602 0
[pid=11294/tid=11315] ppid=11292 vsize=7663456 CPUtime=533.86 cores=0,2
/proc/11294/task/11315/stat : 11315 (java) R 11292 11294 10350 0 -1 4202560 9612 0 51 0 53384 2 0 0 25 0 19 0 466135039 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 46912505607273 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=11294/tid=11330] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11330/stat : 11330 (java) S 11292 11294 10350 0 -1 4202560 385 0 0 0 11 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11332] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11332/stat : 11332 (java) S 11292 11294 10350 0 -1 4202560 157 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11334] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11334/stat : 11334 (java) S 11292 11294 10350 0 -1 4202560 13 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11336] ppid=11292 vsize=7663456 CPUtime=0.09 cores=0,2
/proc/11294/task/11336/stat : 11336 (java) S 11292 11294 10350 0 -1 4202560 9 0 0 0 9 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11338] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11338/stat : 11338 (java) S 11292 11294 10350 0 -1 4202560 20 0 0 0 11 0 0 0 16 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11340] ppid=11292 vsize=7663456 CPUtime=0.12 cores=0,2
/proc/11294/task/11340/stat : 11340 (java) S 11292 11294 10350 0 -1 4202560 149 0 0 0 12 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11342] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11342/stat : 11342 (java) S 11292 11294 10350 0 -1 4202560 131 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11344] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11344/stat : 11344 (java) S 11292 11294 10350 0 -1 4202560 113 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11363] ppid=11292 vsize=7663456 CPUtime=7.38 cores=0,2
/proc/11294/task/11363/stat : 11363 (java) S 11292 11294 10350 0 -1 4202560 1433 0 0 0 736 2 0 0 16 0 19 0 466135045 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 0 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11368] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11368/stat : 11368 (java) S 11292 11294 10350 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 466135046 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11372] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11372/stat : 11372 (java) S 11292 11294 10350 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 466135046 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11374] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11374/stat : 11374 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256172465 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11376] ppid=11292 vsize=7663456 CPUtime=0.26 cores=0,2
/proc/11294/task/11376/stat : 11376 (java) S 11292 11294 10350 0 -1 4202560 396 0 0 0 26 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11382] ppid=11292 vsize=7663456 CPUtime=1.06 cores=0,2
/proc/11294/task/11382/stat : 11382 (java) S 11292 11294 10350 0 -1 4202560 9685 0 0 0 106 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11384] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11384/stat : 11384 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11388] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11388/stat : 11388 (java) S 11292 11294 10350 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11394] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11394/stat : 11394 (java) S 11292 11294 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135069 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 543.51
Current children cumulated vsize (KiB) 7663456

[startup+542.702 s]
/proc/loadavg: 4.03 3.86 3.67 6/262 11470
/proc/meminfo: memFree=14152612/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7663456 CPUtime=543.9 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 23231 0 108 0 54382 8 0 0 17 0 19 0 466135029 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1915864 19799 2256 9 0 1906602 0
[pid=11294/tid=11315] ppid=11292 vsize=7663456 CPUtime=534.26 cores=0,2
/proc/11294/task/11315/stat : 11315 (java) R 11292 11294 10350 0 -1 4202560 9612 0 51 0 53424 2 0 0 25 0 19 0 466135039 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 46912505599055 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=11294/tid=11330] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11330/stat : 11330 (java) S 11292 11294 10350 0 -1 4202560 385 0 0 0 11 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11332] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11332/stat : 11332 (java) S 11292 11294 10350 0 -1 4202560 157 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11334] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11334/stat : 11334 (java) S 11292 11294 10350 0 -1 4202560 13 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11336] ppid=11292 vsize=7663456 CPUtime=0.09 cores=0,2
/proc/11294/task/11336/stat : 11336 (java) S 11292 11294 10350 0 -1 4202560 9 0 0 0 9 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11338] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11338/stat : 11338 (java) S 11292 11294 10350 0 -1 4202560 20 0 0 0 11 0 0 0 16 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11340] ppid=11292 vsize=7663456 CPUtime=0.12 cores=0,2
/proc/11294/task/11340/stat : 11340 (java) S 11292 11294 10350 0 -1 4202560 149 0 0 0 12 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11342] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11342/stat : 11342 (java) S 11292 11294 10350 0 -1 4202560 131 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11344] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11344/stat : 11344 (java) S 11292 11294 10350 0 -1 4202560 113 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11363] ppid=11292 vsize=7663456 CPUtime=7.38 cores=0,2
/proc/11294/task/11363/stat : 11363 (java) S 11292 11294 10350 0 -1 4202560 1433 0 0 0 736 2 0 0 16 0 19 0 466135045 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 0 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11368] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11368/stat : 11368 (java) S 11292 11294 10350 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 466135046 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11372] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11372/stat : 11372 (java) S 11292 11294 10350 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 466135046 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11374] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11374/stat : 11374 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256172465 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11376] ppid=11292 vsize=7663456 CPUtime=0.26 cores=0,2
/proc/11294/task/11376/stat : 11376 (java) S 11292 11294 10350 0 -1 4202560 396 0 0 0 26 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11382] ppid=11292 vsize=7663456 CPUtime=1.06 cores=0,2
/proc/11294/task/11382/stat : 11382 (java) S 11292 11294 10350 0 -1 4202560 9685 0 0 0 106 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11384] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11384/stat : 11384 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11388] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11388/stat : 11388 (java) S 11292 11294 10350 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11394] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11394/stat : 11394 (java) S 11292 11294 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135069 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 543.9
Current children cumulated vsize (KiB) 7663456

[startup+543.102 s]
/proc/loadavg: 4.03 3.86 3.67 6/262 11470
/proc/meminfo: memFree=14152612/32951124 swapFree=67111524/67111528
[pid=11294] ppid=11292 vsize=7663456 CPUtime=544.3 cores=0,2
/proc/11294/stat : 11294 (java) S 11292 11294 10350 0 -1 4202496 23232 0 108 0 54422 8 0 0 17 0 19 0 466135029 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/11294/statm: 1915864 19799 2256 9 0 1906602 0
[pid=11294/tid=11315] ppid=11292 vsize=7663456 CPUtime=534.64 cores=0,2
/proc/11294/task/11315/stat : 11315 (java) R 11292 11294 10350 0 -1 4202560 9613 0 51 0 53462 2 0 0 25 0 19 0 466135039 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 46912505599085 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=11294/tid=11330] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11330/stat : 11330 (java) S 11292 11294 10350 0 -1 4202560 385 0 0 0 11 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11332] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11332/stat : 11332 (java) S 11292 11294 10350 0 -1 4202560 157 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11334] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11334/stat : 11334 (java) S 11292 11294 10350 0 -1 4202560 13 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11336] ppid=11292 vsize=7663456 CPUtime=0.09 cores=0,2
/proc/11294/task/11336/stat : 11336 (java) S 11292 11294 10350 0 -1 4202560 9 0 0 0 9 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11338] ppid=11292 vsize=7663456 CPUtime=0.11 cores=0,2
/proc/11294/task/11338/stat : 11338 (java) S 11292 11294 10350 0 -1 4202560 20 0 0 0 11 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11340] ppid=11292 vsize=7663456 CPUtime=0.12 cores=0,2
/proc/11294/task/11340/stat : 11340 (java) S 11292 11294 10350 0 -1 4202560 149 0 0 0 12 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11342] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11342/stat : 11342 (java) S 11292 11294 10350 0 -1 4202560 131 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11344] ppid=11292 vsize=7663456 CPUtime=0.1 cores=0,2
/proc/11294/task/11344/stat : 11344 (java) S 11292 11294 10350 0 -1 4202560 113 0 0 0 10 0 0 0 15 0 19 0 466135042 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11363] ppid=11292 vsize=7663456 CPUtime=7.4 cores=0,2
/proc/11294/task/11363/stat : 11363 (java) S 11292 11294 10350 0 -1 4202560 1433 0 0 0 738 2 0 0 16 0 19 0 466135045 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 0 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11368] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11368/stat : 11368 (java) S 11292 11294 10350 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 466135046 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11372] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11372/stat : 11372 (java) S 11292 11294 10350 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 466135046 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11374] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11374/stat : 11374 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256172465 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11376] ppid=11292 vsize=7663456 CPUtime=0.26 cores=0,2
/proc/11294/task/11376/stat : 11376 (java) S 11292 11294 10350 0 -1 4202560 396 0 0 0 26 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
[pid=11294/tid=11382] ppid=11292 vsize=7663456 CPUtime=1.06 cores=0,2
/proc/11294/task/11382/stat : 11382 (java) S 11292 11294 10350 0 -1 4202560 9685 0 0 0 106 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11384] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11384/stat : 11384 (java) S 11292 11294 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256164761 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11388] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11388/stat : 11388 (java) S 11292 11294 10350 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 466135053 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 2 0 0 0
[pid=11294/tid=11394] ppid=11292 vsize=7663456 CPUtime=0 cores=0,2
/proc/11294/task/11394/stat : 11394 (java) S 11292 11294 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135069 7847378944 19799 33554432000 1073741824 1073778376 140734684108944 18446744073709551615 228256165376 0 4 0 16800975 18446604453869397824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 544.3
Current children cumulated vsize (KiB) 7663456

Child status: 20
Real time (s): 543.121
CPU time (s): 544.33
CPU user time (s): 544.239
CPU system time (s): 0.090986
CPU usage (%): 100.223
Max. virtual memory (cumulated for all children) (KiB): 7666160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 544.239
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23247
page faults= 108
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24013
involuntary context switches= 9467

runsolver used 0.963853 second user time and 2.03469 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-23 09:56:11
IDJOB=3261864
IDBENCH=83256
IDSOLVER=1611
FILE ID=node136/3261864-1303545371
RUNJOBID= node136-1303545371-11282
PBS_JOBID= 13143102
Free space on /tmp= 71640 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_528.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-3261864-1303545371/watcher-3261864-1303545371 -o /tmp/evaluation-result-3261864-1303545371/solver-3261864-1303545371 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3261864-1303545371.cnf

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

MD5SUM BENCH= 7c7070bd15b57ddd9a06dd3709baef54
RANDOM SEED=1178373316

node136.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.809
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.61
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.809
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	: 5332.75
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.809
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.809
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.76
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.809
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.75
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.809
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.83
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14502064 kB
Buffers:       1698464 kB
Cached:       16122868 kB
SwapCached:          4 kB
Active:        9393124 kB
Inactive:      8492204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14502064 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             408 kB
Writeback:           0 kB
AnonPages:       63720 kB
Mapped:          14488 kB
Slab:           499408 kB
PageTables:       5176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191676 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= 71636 MiB
End job on node136 at 2011-04-23 10:05:14