Trace number 3190353

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1300.88 1300.05

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf
MD5SUM707c4bcddcda116edc4a57a77dc3ba68
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark56.5224
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.11	c no version file found!!!
0.02/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.11	c java.vm.version	19.1-b02
0.02/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.11	c sun.arch.data.model	64
0.02/0.11	c java.version		1.6.0_24
0.02/0.11	c os.name		Linux
0.02/0.11	c os.version		2.6.18-164.el5
0.02/0.11	c os.arch		amd64
0.02/0.11	c Free memory 		6997539544
0.02/0.11	c Max memory 		7034241024
0.02/0.11	c Total memory 		7034241024
0.02/0.11	c Number of processors 	8
0.02/0.11	c --- Begin Solver configuration ---
0.02/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.02/0.11	c Learn all clauses as in MiniSAT
0.02/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.02/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.02/0.11	c Expensive reason simplification
0.02/0.11	c Armin Biere (Picosat) restarts strategy
0.02/0.11	c Glucose learned constraints deletion strategy
0.02/0.11	c timeout=2147483647s
0.02/0.11	c DB Simplification allowed=true
0.02/0.11	c --- End Solver configuration ---
0.02/0.11	c solving HOME/instance-3190353-1302598930.cnf
0.02/0.11	c reading problem ... 
0.22/0.22	c ... done. Wall clock time 0.113s.
0.22/0.22	c #vars     150
0.22/0.22	c #constraints  12750
0.22/0.22	c constraints type 
0.22/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12750
1.05/0.82	c cleaning 2497 clauses out of 5000 with flag 5000/5000
1.68/1.44	c cleaning 4247 clauses out of 8504 with flag 11001/11001
2.49/2.21	c cleaning 5626 clauses out of 11256 with flag 18000/18000
3.39/3.16	c cleaning 6812 clauses out of 13632 with flag 26002/26002
4.62/4.30	c cleaning 7908 clauses out of 15820 with flag 35002/35002
5.92/5.62	c cleaning 8953 clauses out of 17910 with flag 45000/45000
7.42/7.15	c cleaning 9978 clauses out of 19959 with flag 56002/56002
9.22/8.95	c cleaning 10985 clauses out of 21979 with flag 68000/68000
11.12/10.90	c cleaning 11996 clauses out of 23997 with flag 81003/81003
13.22/12.90	c cleaning 12493 clauses out of 24998 with flag 94000/94000
15.22/14.96	c cleaning 12751 clauses out of 25505 with flag 107000/107000
17.32/17.03	c cleaning 12875 clauses out of 25755 with flag 120001/120001
19.33/19.01	c cleaning 12933 clauses out of 25879 with flag 133000/133000
21.33/21.06	c cleaning 12968 clauses out of 25947 with flag 146001/146001
23.44/23.17	c cleaning 12985 clauses out of 25979 with flag 159001/159001
25.53/25.27	c cleaning 12993 clauses out of 25993 with flag 172000/172000
27.53/27.25	c cleaning 12994 clauses out of 26000 with flag 185000/185000
29.53/29.29	c cleaning 13001 clauses out of 26007 with flag 198001/198001
31.63/31.30	c cleaning 12996 clauses out of 26005 with flag 211000/211000
33.63/33.34	c cleaning 13002 clauses out of 26010 with flag 224001/224001
35.73/35.40	c cleaning 13003 clauses out of 26008 with flag 237001/237001
37.74/37.45	c cleaning 12997 clauses out of 26004 with flag 250000/250000
39.74/39.41	c cleaning 12993 clauses out of 26009 with flag 263002/263002
41.74/41.41	c cleaning 13003 clauses out of 26015 with flag 276001/276001
43.64/43.38	c cleaning 13001 clauses out of 26013 with flag 289002/289002
45.63/45.38	c cleaning 12998 clauses out of 26011 with flag 302001/302001
47.64/47.30	c cleaning 13000 clauses out of 26012 with flag 315000/315000
49.63/49.33	c cleaning 13001 clauses out of 26012 with flag 328000/328000
51.64/51.32	c cleaning 13003 clauses out of 26013 with flag 341002/341002
53.53/53.29	c cleaning 12998 clauses out of 26008 with flag 354000/354000
55.63/55.33	c cleaning 13001 clauses out of 26010 with flag 367000/367000
57.64/57.34	c cleaning 13004 clauses out of 26011 with flag 380002/380002
59.63/59.31	c cleaning 13002 clauses out of 26007 with flag 393002/393002
61.64/61.31	c cleaning 12999 clauses out of 26003 with flag 406000/406000
63.64/63.36	c cleaning 12997 clauses out of 26005 with flag 419001/419001
65.64/65.31	c cleaning 13000 clauses out of 26009 with flag 432002/432002
67.55/67.29	c cleaning 12996 clauses out of 26008 with flag 445001/445001
69.64/69.36	c cleaning 13001 clauses out of 26011 with flag 458000/458000
71.54/71.30	c cleaning 12995 clauses out of 26010 with flag 471000/471000
73.54/73.27	c cleaning 13003 clauses out of 26015 with flag 484000/484000
75.54/75.24	c cleaning 13001 clauses out of 26013 with flag 497001/497001
77.54/77.27	c cleaning 13001 clauses out of 26012 with flag 510001/510001
79.44/79.16	c cleaning 12995 clauses out of 26010 with flag 523000/523000
81.34/81.09	c cleaning 12999 clauses out of 26016 with flag 536001/536001
83.34/83.10	c cleaning 12998 clauses out of 26016 with flag 549000/549000
85.46/85.11	c cleaning 13000 clauses out of 26018 with flag 562000/562000
87.46/87.11	c cleaning 13003 clauses out of 26019 with flag 575001/575001
89.36/89.09	c cleaning 12999 clauses out of 26017 with flag 588002/588002
91.36/91.03	c cleaning 12998 clauses out of 26016 with flag 601000/601000
93.46/93.11	c cleaning 13001 clauses out of 26018 with flag 614000/614000
95.36/95.09	c cleaning 13003 clauses out of 26020 with flag 627003/627003
97.36/97.08	c cleaning 13005 clauses out of 26014 with flag 640000/640000
99.37/99.09	c cleaning 12996 clauses out of 26009 with flag 653000/653000
101.46/101.12	c cleaning 13000 clauses out of 26013 with flag 666000/666000
103.46/103.14	c cleaning 13000 clauses out of 26013 with flag 679000/679000
105.36/105.07	c cleaning 13001 clauses out of 26014 with flag 692001/692001
107.36/107.08	c cleaning 13002 clauses out of 26012 with flag 705000/705000
109.27/108.97	c cleaning 12997 clauses out of 26011 with flag 718001/718001
111.16/110.87	c cleaning 12997 clauses out of 26014 with flag 731001/731001
113.16/112.83	c cleaning 13002 clauses out of 26016 with flag 744000/744000
115.27/114.96	c cleaning 12999 clauses out of 26014 with flag 757000/757000
117.37/117.01	c cleaning 13002 clauses out of 26015 with flag 770000/770000
119.37/119.04	c cleaning 13001 clauses out of 26014 with flag 783001/783001
121.37/121.05	c cleaning 12997 clauses out of 26012 with flag 796000/796000
123.37/123.04	c cleaning 13000 clauses out of 26016 with flag 809001/809001
125.37/125.05	c cleaning 13003 clauses out of 26016 with flag 822001/822001
127.37/127.07	c cleaning 13001 clauses out of 26013 with flag 835001/835001
129.37/129.08	c cleaning 12998 clauses out of 26011 with flag 848000/848000
131.28/130.99	c cleaning 12992 clauses out of 26013 with flag 861000/861000
133.27/132.97	c cleaning 12999 clauses out of 26021 with flag 874000/874000
135.27/134.94	c cleaning 13002 clauses out of 26022 with flag 887000/887000
137.27/136.91	c cleaning 13002 clauses out of 26020 with flag 900000/900000
139.27/138.94	c cleaning 13007 clauses out of 26019 with flag 913001/913001
141.37/141.00	c cleaning 13003 clauses out of 26013 with flag 926002/926002
143.29/142.95	c cleaning 12995 clauses out of 26010 with flag 939002/939002
145.19/144.85	c cleaning 13005 clauses out of 26016 with flag 952003/952003
147.09/146.78	c cleaning 12996 clauses out of 26008 with flag 965000/965000
149.29/148.97	c cleaning 13004 clauses out of 26015 with flag 978003/978003
151.39/151.00	c cleaning 12991 clauses out of 26008 with flag 991000/991000
153.30/153.00	c cleaning 13001 clauses out of 26018 with flag 1004001/1004001
155.50/155.11	c cleaning 13005 clauses out of 26016 with flag 1017000/1017000
157.39/157.01	c cleaning 13002 clauses out of 26012 with flag 1030001/1030001
159.29/158.92	c cleaning 12999 clauses out of 26009 with flag 1043000/1043000
161.19/160.80	c cleaning 12995 clauses out of 26010 with flag 1056000/1056000
163.10/162.79	c cleaning 13003 clauses out of 26015 with flag 1069000/1069000
165.10/164.77	c cleaning 13000 clauses out of 26012 with flag 1082000/1082000
167.09/166.76	c cleaning 12997 clauses out of 26012 with flag 1095000/1095000
169.00/168.67	c cleaning 13003 clauses out of 26016 with flag 1108001/1108001
171.10/170.71	c cleaning 12997 clauses out of 26012 with flag 1121000/1121000
173.00/172.69	c cleaning 13000 clauses out of 26016 with flag 1134001/1134001
175.00/174.67	c cleaning 13003 clauses out of 26017 with flag 1147002/1147002
176.90/176.55	c cleaning 12999 clauses out of 26013 with flag 1160001/1160001
178.80/178.42	c cleaning 13002 clauses out of 26014 with flag 1173001/1173001
180.70/180.40	c cleaning 13000 clauses out of 26011 with flag 1186000/1186000
182.70/182.35	c cleaning 12998 clauses out of 26011 with flag 1199000/1199000
184.60/184.29	c cleaning 12997 clauses out of 26014 with flag 1212001/1212001
186.60/186.24	c cleaning 13000 clauses out of 26016 with flag 1225000/1225000
188.61/188.27	c cleaning 13004 clauses out of 26017 with flag 1238001/1238001
190.60/190.27	c cleaning 12997 clauses out of 26012 with flag 1251000/1251000
192.70/192.32	c cleaning 13001 clauses out of 26016 with flag 1264001/1264001
194.70/194.34	c cleaning 13003 clauses out of 26014 with flag 1277000/1277000
196.70/196.36	c cleaning 13001 clauses out of 26012 with flag 1290001/1290001
198.70/198.31	c cleaning 13004 clauses out of 26010 with flag 1303000/1303000
200.62/200.22	c cleaning 12990 clauses out of 26006 with flag 1316000/1316000
202.51/202.19	c cleaning 13002 clauses out of 26019 with flag 1329003/1329003
204.51/204.17	c cleaning 13000 clauses out of 26014 with flag 1342000/1342000
206.51/206.10	c cleaning 12997 clauses out of 26014 with flag 1355000/1355000
208.51/208.18	c cleaning 13005 clauses out of 26018 with flag 1368001/1368001
210.41/210.10	c cleaning 12995 clauses out of 26012 with flag 1381000/1381000
212.51/212.11	c cleaning 13001 clauses out of 26017 with flag 1394000/1394000
214.51/214.12	c cleaning 13000 clauses out of 26018 with flag 1407002/1407002
216.41/216.06	c cleaning 13005 clauses out of 26016 with flag 1420000/1420000
218.32/217.93	c cleaning 12995 clauses out of 26011 with flag 1433000/1433000
220.11/219.77	c cleaning 13000 clauses out of 26017 with flag 1446001/1446001
222.11/221.73	c cleaning 13002 clauses out of 26017 with flag 1459001/1459001
224.11/223.70	c cleaning 13000 clauses out of 26015 with flag 1472001/1472001
226.02/225.70	c cleaning 13001 clauses out of 26015 with flag 1485001/1485001
228.02/227.63	c cleaning 13002 clauses out of 26017 with flag 1498004/1498004
229.92/229.58	c cleaning 13002 clauses out of 26011 with flag 1511000/1511000
231.92/231.59	c cleaning 13000 clauses out of 26011 with flag 1524002/1524002
233.92/233.53	c cleaning 12999 clauses out of 26010 with flag 1537001/1537001
235.82/235.49	c cleaning 13000 clauses out of 26012 with flag 1550002/1550002
237.82/237.49	c cleaning 12997 clauses out of 26010 with flag 1563000/1563000
239.82/239.45	c cleaning 13001 clauses out of 26013 with flag 1576000/1576000
241.72/241.40	c cleaning 12999 clauses out of 26012 with flag 1589000/1589000
243.72/243.36	c cleaning 12994 clauses out of 26013 with flag 1602000/1602000
245.73/245.31	c cleaning 13004 clauses out of 26019 with flag 1615000/1615000
247.62/247.29	c cleaning 13001 clauses out of 26015 with flag 1628000/1628000
249.63/249.28	c cleaning 13001 clauses out of 26014 with flag 1641000/1641000
251.73/251.34	c cleaning 12993 clauses out of 26014 with flag 1654001/1654001
253.83/253.41	c cleaning 13006 clauses out of 26020 with flag 1667000/1667000
255.63/255.30	c cleaning 12999 clauses out of 26014 with flag 1680000/1680000
257.53/257.15	c cleaning 13001 clauses out of 26015 with flag 1693000/1693000
259.53/259.10	c cleaning 12998 clauses out of 26014 with flag 1706000/1706000
261.43/261.06	c cleaning 13002 clauses out of 26016 with flag 1719000/1719000
263.34/262.96	c cleaning 13002 clauses out of 26015 with flag 1732001/1732001
265.23/264.87	c cleaning 13003 clauses out of 26013 with flag 1745001/1745001
267.23/266.84	c cleaning 12997 clauses out of 26009 with flag 1758000/1758000
269.13/268.73	c cleaning 13000 clauses out of 26014 with flag 1771002/1771002
271.14/270.72	c cleaning 13001 clauses out of 26012 with flag 1784000/1784000
273.13/272.71	c cleaning 13000 clauses out of 26013 with flag 1797002/1797002
275.04/274.67	c cleaning 12998 clauses out of 26014 with flag 1810003/1810003
277.14/276.71	c cleaning 13003 clauses out of 26014 with flag 1823001/1823001
279.14/278.72	c cleaning 12999 clauses out of 26012 with flag 1836002/1836002
281.04/280.68	c cleaning 12996 clauses out of 26013 with flag 1849002/1849002
282.94/282.58	c cleaning 13002 clauses out of 26015 with flag 1862000/1862000
284.93/284.50	c cleaning 12993 clauses out of 26013 with flag 1875000/1875000
286.74/286.38	c cleaning 13003 clauses out of 26021 with flag 1888001/1888001
288.74/288.35	c cleaning 12997 clauses out of 26017 with flag 1901000/1901000
290.74/290.31	c cleaning 13006 clauses out of 26020 with flag 1914000/1914000
292.74/292.33	c cleaning 12997 clauses out of 26014 with flag 1927000/1927000
294.64/294.27	c cleaning 12998 clauses out of 26017 with flag 1940000/1940000
296.53/296.19	c cleaning 13000 clauses out of 26020 with flag 1953001/1953001
298.54/298.14	c cleaning 13006 clauses out of 26021 with flag 1966002/1966002
300.43/300.07	c cleaning 12998 clauses out of 26014 with flag 1979001/1979001
302.34/301.94	c cleaning 12994 clauses out of 26015 with flag 1992000/1992000
304.24/303.82	c cleaning 13001 clauses out of 26021 with flag 2005000/2005000
306.24/305.84	c cleaning 13005 clauses out of 26021 with flag 2018001/2018001
308.14/307.78	c cleaning 12997 clauses out of 26015 with flag 2031000/2031000
310.14/309.72	c cleaning 12999 clauses out of 26019 with flag 2044001/2044001
312.04/311.60	c cleaning 13000 clauses out of 26020 with flag 2057001/2057001
313.94/313.51	c cleaning 13002 clauses out of 26019 with flag 2070000/2070000
315.74/315.40	c cleaning 13001 clauses out of 26017 with flag 2083000/2083000
317.74/317.34	c cleaning 13002 clauses out of 26016 with flag 2096000/2096000
319.75/319.35	c cleaning 13000 clauses out of 26014 with flag 2109000/2109000
321.76/321.31	c cleaning 13004 clauses out of 26017 with flag 2122003/2122003
323.65/323.21	c cleaning 13000 clauses out of 26011 with flag 2135001/2135001
325.45/325.09	c cleaning 13003 clauses out of 26012 with flag 2148002/2148002
327.45/327.06	c cleaning 12990 clauses out of 26008 with flag 2161001/2161001
329.45/329.04	c cleaning 13002 clauses out of 26017 with flag 2174000/2174000
331.45/331.02	c cleaning 12998 clauses out of 26015 with flag 2187000/2187000
333.45/333.06	c cleaning 13004 clauses out of 26018 with flag 2200001/2200001
335.45/335.01	c cleaning 12998 clauses out of 26014 with flag 2213001/2213001
337.45/337.01	c cleaning 13001 clauses out of 26015 with flag 2226000/2226000
339.45/339.01	c cleaning 13001 clauses out of 26014 with flag 2239000/2239000
341.35/341.00	c cleaning 13001 clauses out of 26013 with flag 2252000/2252000
343.35/342.96	c cleaning 12999 clauses out of 26013 with flag 2265001/2265001
345.35/344.94	c cleaning 12998 clauses out of 26013 with flag 2278000/2278000
347.35/346.91	c cleaning 13004 clauses out of 26015 with flag 2291000/2291000
349.35/348.92	c cleaning 13000 clauses out of 26012 with flag 2304001/2304001
351.15/350.74	c cleaning 13001 clauses out of 26011 with flag 2317000/2317000
353.15/352.73	c cleaning 12995 clauses out of 26010 with flag 2330000/2330000
355.05/354.63	c cleaning 13002 clauses out of 26017 with flag 2343002/2343002
356.96/356.54	c cleaning 12993 clauses out of 26014 with flag 2356001/2356001
358.85/358.43	c cleaning 13001 clauses out of 26020 with flag 2369000/2369000
360.75/360.36	c cleaning 13004 clauses out of 26020 with flag 2382001/2382001
362.75/362.34	c cleaning 13003 clauses out of 26017 with flag 2395002/2395002
364.76/364.37	c cleaning 12999 clauses out of 26012 with flag 2408000/2408000
366.76/366.34	c cleaning 12999 clauses out of 26013 with flag 2421000/2421000
368.66/368.29	c cleaning 13000 clauses out of 26015 with flag 2434001/2434001
370.76/370.31	c cleaning 13000 clauses out of 26016 with flag 2447002/2447002
372.76/372.30	c cleaning 12997 clauses out of 26014 with flag 2460000/2460000
374.56/374.13	c cleaning 13002 clauses out of 26017 with flag 2473000/2473000
376.46/376.03	c cleaning 13001 clauses out of 26015 with flag 2486000/2486000
378.37/377.98	c cleaning 13000 clauses out of 26016 with flag 2499002/2499002
380.37/379.91	c cleaning 13000 clauses out of 26016 with flag 2512002/2512002
382.17/381.78	c cleaning 13002 clauses out of 26015 with flag 2525001/2525001
384.27/383.83	c cleaning 12998 clauses out of 26012 with flag 2538000/2538000
386.27/385.83	c cleaning 13003 clauses out of 26015 with flag 2551001/2551001
388.27/387.87	c cleaning 12997 clauses out of 26012 with flag 2564001/2564001
390.27/389.88	c cleaning 12998 clauses out of 26014 with flag 2577000/2577000
392.27/391.85	c cleaning 13000 clauses out of 26017 with flag 2590001/2590001
394.28/393.84	c cleaning 13000 clauses out of 26016 with flag 2603000/2603000
396.27/395.82	c cleaning 13001 clauses out of 26017 with flag 2616001/2616001
398.17/397.74	c cleaning 13000 clauses out of 26016 with flag 2629001/2629001
400.07/399.61	c cleaning 13006 clauses out of 26017 with flag 2642002/2642002
401.98/401.59	c cleaning 12996 clauses out of 26010 with flag 2655001/2655001
403.97/403.56	c cleaning 12998 clauses out of 26014 with flag 2668001/2668001
405.87/405.43	c cleaning 12999 clauses out of 26016 with flag 2681001/2681001
407.77/407.38	c cleaning 12993 clauses out of 26016 with flag 2694000/2694000
409.78/409.38	c cleaning 13009 clauses out of 26024 with flag 2707001/2707001
411.78/411.39	c cleaning 12995 clauses out of 26014 with flag 2720000/2720000
413.78/413.31	c cleaning 12998 clauses out of 26019 with flag 2733000/2733000
415.78/415.30	c cleaning 13003 clauses out of 26022 with flag 2746001/2746001
417.78/417.34	c cleaning 12998 clauses out of 26018 with flag 2759000/2759000
419.68/419.27	c cleaning 13008 clauses out of 26020 with flag 2772000/2772000
421.68/421.28	c cleaning 13003 clauses out of 26013 with flag 2785001/2785001
423.68/423.23	c cleaning 12997 clauses out of 26010 with flag 2798001/2798001
425.58/425.18	c cleaning 13002 clauses out of 26012 with flag 2811000/2811000
427.58/427.13	c cleaning 12994 clauses out of 26010 with flag 2824000/2824000
429.48/429.09	c cleaning 12998 clauses out of 26017 with flag 2837001/2837001
431.58/431.10	c cleaning 12998 clauses out of 26018 with flag 2850000/2850000
433.48/433.07	c cleaning 13003 clauses out of 26022 with flag 2863002/2863002
435.48/435.03	c cleaning 12999 clauses out of 26017 with flag 2876000/2876000
437.38/436.98	c cleaning 13007 clauses out of 26020 with flag 2889002/2889002
439.49/439.02	c cleaning 13001 clauses out of 26012 with flag 2902001/2902001
441.38/441.00	c cleaning 12998 clauses out of 26010 with flag 2915000/2915000
443.48/443.03	c cleaning 13004 clauses out of 26013 with flag 2928001/2928001
445.58/445.11	c cleaning 12996 clauses out of 26009 with flag 2941001/2941001
447.48/447.08	c cleaning 12994 clauses out of 26012 with flag 2954000/2954000
449.59/449.13	c cleaning 13004 clauses out of 26018 with flag 2967000/2967000
451.59/451.15	c cleaning 13004 clauses out of 26016 with flag 2980002/2980002
453.49/453.03	c cleaning 13002 clauses out of 26010 with flag 2993000/2993000
455.39/454.98	c cleaning 13002 clauses out of 26008 with flag 3006000/3006000
457.29/456.89	c cleaning 12992 clauses out of 26006 with flag 3019000/3019000
459.30/458.82	c cleaning 13002 clauses out of 26014 with flag 3032000/3032000
461.19/460.75	c cleaning 12998 clauses out of 26013 with flag 3045001/3045001
463.09/462.66	c cleaning 13004 clauses out of 26015 with flag 3058001/3058001
464.99/464.53	c cleaning 12996 clauses out of 26010 with flag 3071000/3071000
467.00/466.52	c cleaning 13001 clauses out of 26014 with flag 3084000/3084000
468.89/468.45	c cleaning 12997 clauses out of 26015 with flag 3097002/3097002
470.79/470.30	c cleaning 12999 clauses out of 26017 with flag 3110001/3110001
472.59/472.17	c cleaning 13001 clauses out of 26017 with flag 3123000/3123000
474.60/474.12	c cleaning 12997 clauses out of 26016 with flag 3136000/3136000
476.50/476.05	c cleaning 13002 clauses out of 26019 with flag 3149000/3149000
478.40/477.98	c cleaning 13001 clauses out of 26017 with flag 3162000/3162000
480.40/479.97	c cleaning 12998 clauses out of 26016 with flag 3175000/3175000
482.40/481.95	c cleaning 13007 clauses out of 26018 with flag 3188000/3188000
484.50/484.02	c cleaning 12998 clauses out of 26013 with flag 3201002/3201002
486.40/486.00	c cleaning 13001 clauses out of 26013 with flag 3214000/3214000
488.40/487.93	c cleaning 13003 clauses out of 26012 with flag 3227000/3227000
490.50/490.04	c cleaning 12994 clauses out of 26009 with flag 3240000/3240000
492.50/492.03	c cleaning 13004 clauses out of 26015 with flag 3253000/3253000
494.50/494.07	c cleaning 12999 clauses out of 26011 with flag 3266000/3266000
496.61/496.16	c cleaning 13000 clauses out of 26013 with flag 3279001/3279001
498.60/498.15	c cleaning 12998 clauses out of 26013 with flag 3292001/3292001
500.50/500.07	c cleaning 13002 clauses out of 26015 with flag 3305001/3305001
502.50/502.07	c cleaning 12997 clauses out of 26014 with flag 3318002/3318002
504.50/504.08	c cleaning 12999 clauses out of 26015 with flag 3331000/3331000
506.41/505.97	c cleaning 13000 clauses out of 26016 with flag 3344000/3344000
508.41/507.90	c cleaning 13002 clauses out of 26016 with flag 3357000/3357000
510.41/509.93	c cleaning 13002 clauses out of 26016 with flag 3370002/3370002
512.41/511.93	c cleaning 12999 clauses out of 26013 with flag 3383001/3383001
514.41/513.95	c cleaning 13002 clauses out of 26014 with flag 3396001/3396001
516.41/515.94	c cleaning 12996 clauses out of 26011 with flag 3409000/3409000
518.41/517.91	c cleaning 13000 clauses out of 26015 with flag 3422000/3422000
520.41/519.94	c cleaning 13001 clauses out of 26015 with flag 3435000/3435000
522.41/521.93	c cleaning 13001 clauses out of 26015 with flag 3448001/3448001
524.31/523.84	c cleaning 13003 clauses out of 26013 with flag 3461000/3461000
526.21/525.71	c cleaning 12999 clauses out of 26011 with flag 3474001/3474001
528.21/527.72	c cleaning 13003 clauses out of 26012 with flag 3487001/3487001
530.22/529.77	c cleaning 12994 clauses out of 26008 with flag 3500000/3500000
532.22/531.70	c cleaning 13001 clauses out of 26015 with flag 3513001/3513001
534.22/533.73	c cleaning 13004 clauses out of 26013 with flag 3526000/3526000
536.02/535.58	c cleaning 12994 clauses out of 26011 with flag 3539002/3539002
537.82/537.39	c cleaning 12999 clauses out of 26015 with flag 3552000/3552000
539.72/539.25	c cleaning 12999 clauses out of 26018 with flag 3565002/3565002
541.72/541.21	c cleaning 12999 clauses out of 26017 with flag 3578000/3578000
543.72/543.22	c cleaning 13003 clauses out of 26019 with flag 3591001/3591001
545.62/545.14	c cleaning 12997 clauses out of 26015 with flag 3604000/3604000
547.62/547.18	c cleaning 13004 clauses out of 26020 with flag 3617002/3617002
549.62/549.12	c cleaning 12999 clauses out of 26014 with flag 3630000/3630000
551.42/550.99	c cleaning 13003 clauses out of 26017 with flag 3643002/3643002
553.42/552.97	c cleaning 13000 clauses out of 26013 with flag 3656001/3656001
555.42/554.93	c cleaning 13001 clauses out of 26013 with flag 3669001/3669001
557.32/556.81	c cleaning 12997 clauses out of 26012 with flag 3682001/3682001
559.22/558.75	c cleaning 13005 clauses out of 26016 with flag 3695002/3695002
561.12/560.66	c cleaning 12997 clauses out of 26010 with flag 3708001/3708001
563.12/562.67	c cleaning 13001 clauses out of 26014 with flag 3721002/3721002
565.13/564.63	c cleaning 12996 clauses out of 26011 with flag 3734000/3734000
567.04/566.51	c cleaning 12995 clauses out of 26015 with flag 3747000/3747000
568.83/568.39	c cleaning 13002 clauses out of 26022 with flag 3760002/3760002
570.73/570.25	c cleaning 12997 clauses out of 26018 with flag 3773000/3773000
572.64/572.11	c cleaning 13001 clauses out of 26021 with flag 3786000/3786000
574.54/574.05	c cleaning 12998 clauses out of 26020 with flag 3799000/3799000
576.54/576.00	c cleaning 13002 clauses out of 26022 with flag 3812000/3812000
578.44/577.91	c cleaning 13001 clauses out of 26021 with flag 3825001/3825001
580.44/579.90	c cleaning 13000 clauses out of 26019 with flag 3838000/3838000
582.34/581.86	c cleaning 13002 clauses out of 26020 with flag 3851001/3851001
584.34/583.81	c cleaning 13003 clauses out of 26017 with flag 3864000/3864000
586.24/585.75	c cleaning 12997 clauses out of 26014 with flag 3877000/3877000
588.14/587.69	c cleaning 13004 clauses out of 26017 with flag 3890000/3890000
590.15/589.67	c cleaning 13000 clauses out of 26014 with flag 3903001/3903001
592.14/591.64	c cleaning 12994 clauses out of 26013 with flag 3916000/3916000
594.14/593.67	c cleaning 13003 clauses out of 26019 with flag 3929000/3929000
596.14/595.62	c cleaning 13003 clauses out of 26017 with flag 3942001/3942001
598.15/597.61	c cleaning 13002 clauses out of 26014 with flag 3955001/3955001
600.15/599.64	c cleaning 12992 clauses out of 26011 with flag 3968000/3968000
602.04/601.59	c cleaning 13010 clauses out of 26021 with flag 3981002/3981002
604.05/603.58	c cleaning 13000 clauses out of 26010 with flag 3994001/3994001
605.95/605.49	c cleaning 12995 clauses out of 26009 with flag 4007000/4007000
607.85/607.39	c cleaning 12990 clauses out of 26014 with flag 4020000/4020000
609.85/609.31	c cleaning 13002 clauses out of 26024 with flag 4033000/4033000
611.65/611.16	c cleaning 13003 clauses out of 26022 with flag 4046000/4046000
613.55/613.06	c cleaning 13003 clauses out of 26021 with flag 4059002/4059002
615.55/615.07	c cleaning 12998 clauses out of 26016 with flag 4072000/4072000
617.45/616.97	c cleaning 13004 clauses out of 26019 with flag 4085001/4085001
619.45/618.98	c cleaning 12998 clauses out of 26014 with flag 4098000/4098000
621.55/621.00	c cleaning 12995 clauses out of 26016 with flag 4111000/4111000
623.45/622.93	c cleaning 13003 clauses out of 26021 with flag 4124000/4124000
625.36/624.86	c cleaning 12994 clauses out of 26018 with flag 4137000/4137000
627.35/626.83	c cleaning 13007 clauses out of 26025 with flag 4150001/4150001
629.35/628.83	c cleaning 12992 clauses out of 26017 with flag 4163000/4163000
631.26/630.75	c cleaning 13007 clauses out of 26025 with flag 4176000/4176000
633.26/632.70	c cleaning 13007 clauses out of 26019 with flag 4189001/4189001
635.26/634.77	c cleaning 12998 clauses out of 26011 with flag 4202000/4202000
637.26/636.72	c cleaning 12999 clauses out of 26013 with flag 4215000/4215000
639.16/638.68	c cleaning 13000 clauses out of 26014 with flag 4228000/4228000
641.16/640.62	c cleaning 13002 clauses out of 26016 with flag 4241002/4241002
643.06/642.58	c cleaning 13000 clauses out of 26013 with flag 4254001/4254001
645.06/644.54	c cleaning 13001 clauses out of 26014 with flag 4267002/4267002
647.06/646.55	c cleaning 12995 clauses out of 26012 with flag 4280001/4280001
649.06/648.50	c cleaning 13004 clauses out of 26016 with flag 4293000/4293000
650.96/650.43	c cleaning 13000 clauses out of 26012 with flag 4306000/4306000
652.87/652.40	c cleaning 12997 clauses out of 26013 with flag 4319001/4319001
655.06/654.53	c cleaning 13004 clauses out of 26015 with flag 4332000/4332000
657.06/656.54	c cleaning 12994 clauses out of 26011 with flag 4345000/4345000
658.96/658.47	c cleaning 12996 clauses out of 26017 with flag 4358000/4358000
660.96/660.44	c cleaning 13001 clauses out of 26024 with flag 4371003/4371003
662.87/662.37	c cleaning 12999 clauses out of 26020 with flag 4384000/4384000
664.86/664.32	c cleaning 13005 clauses out of 26021 with flag 4397000/4397000
666.76/666.25	c cleaning 13008 clauses out of 26017 with flag 4410001/4410001
668.56/668.08	c cleaning 12998 clauses out of 26010 with flag 4423002/4423002
670.48/669.98	c cleaning 12993 clauses out of 26011 with flag 4436001/4436001
672.37/671.87	c cleaning 13000 clauses out of 26017 with flag 4449000/4449000
674.37/673.84	c cleaning 13003 clauses out of 26017 with flag 4462000/4462000
676.17/675.66	c cleaning 12998 clauses out of 26014 with flag 4475000/4475000
678.07/677.52	c cleaning 13000 clauses out of 26017 with flag 4488001/4488001
679.88/679.37	c cleaning 12996 clauses out of 26016 with flag 4501000/4501000
681.88/681.40	c cleaning 13002 clauses out of 26020 with flag 4514000/4514000
683.88/683.35	c cleaning 13007 clauses out of 26020 with flag 4527002/4527002
685.88/685.36	c cleaning 12995 clauses out of 26014 with flag 4540003/4540003
687.88/687.33	c cleaning 12998 clauses out of 26017 with flag 4553001/4553001
689.68/689.18	c cleaning 13007 clauses out of 26019 with flag 4566001/4566001
691.68/691.12	c cleaning 13004 clauses out of 26012 with flag 4579001/4579001
693.68/693.11	c cleaning 12997 clauses out of 26009 with flag 4592002/4592002
695.58/695.05	c cleaning 12998 clauses out of 26010 with flag 4605000/4605000
697.48/696.95	c cleaning 12994 clauses out of 26013 with flag 4618001/4618001
699.48/698.94	c cleaning 13003 clauses out of 26018 with flag 4631000/4631000
701.28/700.80	c cleaning 12999 clauses out of 26016 with flag 4644001/4644001
703.28/702.70	c cleaning 12999 clauses out of 26017 with flag 4657001/4657001
705.08/704.52	c cleaning 12998 clauses out of 26017 with flag 4670000/4670000
706.98/706.43	c cleaning 13000 clauses out of 26021 with flag 4683002/4683002
708.78/708.27	c cleaning 13002 clauses out of 26022 with flag 4696003/4696003
710.78/710.24	c cleaning 12998 clauses out of 26017 with flag 4709000/4709000
712.68/712.19	c cleaning 13001 clauses out of 26020 with flag 4722001/4722001
714.68/714.12	c cleaning 13003 clauses out of 26018 with flag 4735000/4735000
716.59/716.02	c cleaning 13002 clauses out of 26017 with flag 4748002/4748002
718.38/717.83	c cleaning 12995 clauses out of 26013 with flag 4761000/4761000
720.28/719.76	c cleaning 13003 clauses out of 26018 with flag 4774000/4774000
722.08/721.58	c cleaning 12995 clauses out of 26015 with flag 4787000/4787000
723.98/723.47	c cleaning 13002 clauses out of 26021 with flag 4800001/4800001
725.88/725.39	c cleaning 13001 clauses out of 26018 with flag 4813000/4813000
727.88/727.30	c cleaning 12996 clauses out of 26017 with flag 4826000/4826000
729.78/729.28	c cleaning 13005 clauses out of 26022 with flag 4839001/4839001
731.79/731.26	c cleaning 13004 clauses out of 26017 with flag 4852001/4852001
733.79/733.23	c cleaning 13002 clauses out of 26014 with flag 4865002/4865002
735.69/735.15	c cleaning 13000 clauses out of 26011 with flag 4878001/4878001
737.60/737.10	c cleaning 13003 clauses out of 26015 with flag 4891005/4891005
739.50/738.95	c cleaning 12997 clauses out of 26009 with flag 4904002/4904002
741.40/740.84	c cleaning 12996 clauses out of 26010 with flag 4917000/4917000
743.30/742.75	c cleaning 12998 clauses out of 26014 with flag 4930000/4930000
745.20/744.68	c cleaning 12996 clauses out of 26016 with flag 4943000/4943000
747.20/746.63	c cleaning 13005 clauses out of 26022 with flag 4956002/4956002
749.10/748.50	c cleaning 12995 clauses out of 26015 with flag 4969000/4969000
751.00/750.44	c cleaning 13000 clauses out of 26020 with flag 4982000/4982000
752.80/752.27	c cleaning 13001 clauses out of 26021 with flag 4995001/4995001
754.70/754.10	c cleaning 13008 clauses out of 26020 with flag 5008001/5008001
756.60/756.05	c cleaning 12996 clauses out of 26011 with flag 5021000/5021000
758.61/758.04	c cleaning 12997 clauses out of 26015 with flag 5034000/5034000
760.50/759.97	c cleaning 12999 clauses out of 26018 with flag 5047000/5047000
762.50/761.93	c cleaning 13001 clauses out of 26020 with flag 5060001/5060001
764.50/763.96	c cleaning 12999 clauses out of 26018 with flag 5073000/5073000
766.50/765.91	c cleaning 13003 clauses out of 26020 with flag 5086001/5086001
768.51/767.94	c cleaning 13000 clauses out of 26017 with flag 5099001/5099001
770.40/769.87	c cleaning 13001 clauses out of 26017 with flag 5112001/5112001
772.50/771.94	c cleaning 13001 clauses out of 26015 with flag 5125000/5125000
774.40/773.89	c cleaning 12995 clauses out of 26016 with flag 5138002/5138002
776.41/775.82	c cleaning 13001 clauses out of 26020 with flag 5151001/5151001
778.41/777.81	c cleaning 13000 clauses out of 26018 with flag 5164000/5164000
780.31/779.73	c cleaning 13003 clauses out of 26018 with flag 5177000/5177000
782.31/781.72	c cleaning 13004 clauses out of 26015 with flag 5190000/5190000
784.21/783.63	c cleaning 13000 clauses out of 26011 with flag 5203000/5203000
786.11/785.58	c cleaning 12994 clauses out of 26012 with flag 5216001/5216001
788.11/787.58	c cleaning 12996 clauses out of 26018 with flag 5229001/5229001
790.21/789.61	c cleaning 13005 clauses out of 26022 with flag 5242001/5242001
792.31/791.71	c cleaning 13002 clauses out of 26016 with flag 5255000/5255000
794.31/793.78	c cleaning 13001 clauses out of 26015 with flag 5268001/5268001
796.31/795.77	c cleaning 13003 clauses out of 26016 with flag 5281003/5281003
798.31/797.76	c cleaning 12998 clauses out of 26010 with flag 5294000/5294000
800.32/799.76	c cleaning 12985 clauses out of 26012 with flag 5307000/5307000
802.31/801.77	c cleaning 13013 clauses out of 26028 with flag 5320001/5320001
804.31/803.79	c cleaning 13001 clauses out of 26015 with flag 5333001/5333001
806.21/805.69	c cleaning 13002 clauses out of 26013 with flag 5346000/5346000
808.22/807.61	c cleaning 12996 clauses out of 26011 with flag 5359000/5359000
810.11/809.55	c cleaning 13000 clauses out of 26015 with flag 5372000/5372000
812.12/811.50	c cleaning 13003 clauses out of 26016 with flag 5385001/5385001
813.92/813.35	c cleaning 12998 clauses out of 26013 with flag 5398001/5398001
815.82/815.28	c cleaning 13001 clauses out of 26014 with flag 5411000/5411000
817.92/817.34	c cleaning 12996 clauses out of 26013 with flag 5424000/5424000
819.82/819.24	c cleaning 13003 clauses out of 26019 with flag 5437002/5437002
821.82/821.22	c cleaning 12998 clauses out of 26014 with flag 5450000/5450000
823.82/823.28	c cleaning 13003 clauses out of 26017 with flag 5463001/5463001
825.92/825.35	c cleaning 13001 clauses out of 26014 with flag 5476001/5476001
827.92/827.36	c cleaning 13000 clauses out of 26013 with flag 5489001/5489001
829.92/829.35	c cleaning 12991 clauses out of 26012 with flag 5502000/5502000
831.72/831.18	c cleaning 13000 clauses out of 26021 with flag 5515000/5515000
833.62/833.06	c cleaning 13002 clauses out of 26022 with flag 5528001/5528001
835.63/835.06	c cleaning 13007 clauses out of 26019 with flag 5541000/5541000
837.42/836.89	c cleaning 12994 clauses out of 26012 with flag 5554000/5554000
839.42/838.82	c cleaning 13001 clauses out of 26019 with flag 5567001/5567001
841.32/840.70	c cleaning 12999 clauses out of 26017 with flag 5580000/5580000
843.33/842.71	c cleaning 13003 clauses out of 26019 with flag 5593001/5593001
845.22/844.68	c cleaning 13001 clauses out of 26015 with flag 5606000/5606000
847.23/846.64	c cleaning 12996 clauses out of 26014 with flag 5619000/5619000
849.13/848.56	c cleaning 13001 clauses out of 26018 with flag 5632000/5632000
851.23/850.61	c cleaning 13001 clauses out of 26018 with flag 5645001/5645001
853.13/852.57	c cleaning 12996 clauses out of 26016 with flag 5658000/5658000
855.13/854.53	c cleaning 13004 clauses out of 26021 with flag 5671001/5671001
857.14/856.53	c cleaning 12996 clauses out of 26017 with flag 5684001/5684001
859.04/858.40	c cleaning 13004 clauses out of 26021 with flag 5697001/5697001
860.95/860.33	c cleaning 12991 clauses out of 26016 with flag 5710000/5710000
862.74/862.17	c cleaning 13002 clauses out of 26026 with flag 5723001/5723001
864.74/864.10	c cleaning 13006 clauses out of 26023 with flag 5736000/5736000
866.64/866.01	c cleaning 12996 clauses out of 26017 with flag 5749000/5749000
868.54/867.97	c cleaning 13000 clauses out of 26021 with flag 5762000/5762000
870.44/869.86	c cleaning 12999 clauses out of 26021 with flag 5775000/5775000
872.44/871.81	c cleaning 12998 clauses out of 26022 with flag 5788000/5788000
874.34/873.74	c cleaning 13004 clauses out of 26025 with flag 5801001/5801001
876.24/875.64	c cleaning 13004 clauses out of 26020 with flag 5814000/5814000
878.14/877.57	c cleaning 12998 clauses out of 26017 with flag 5827001/5827001
880.14/879.53	c cleaning 13004 clauses out of 26021 with flag 5840003/5840003
882.04/881.40	c cleaning 12996 clauses out of 26014 with flag 5853000/5853000
884.05/883.43	c cleaning 13007 clauses out of 26018 with flag 5866000/5866000
885.84/885.27	c cleaning 12998 clauses out of 26012 with flag 5879001/5879001
887.74/887.17	c cleaning 13003 clauses out of 26014 with flag 5892001/5892001
889.74/889.11	c cleaning 12994 clauses out of 26010 with flag 5905000/5905000
891.65/891.02	c cleaning 12999 clauses out of 26016 with flag 5918000/5918000
893.54/892.95	c cleaning 13002 clauses out of 26018 with flag 5931001/5931001
895.44/894.80	c cleaning 13001 clauses out of 26016 with flag 5944001/5944001
897.34/896.76	c cleaning 13000 clauses out of 26014 with flag 5957000/5957000
899.25/898.64	c cleaning 12995 clauses out of 26014 with flag 5970000/5970000
901.15/900.55	c cleaning 13005 clauses out of 26022 with flag 5983003/5983003
903.14/902.55	c cleaning 13002 clauses out of 26015 with flag 5996001/5996001
905.15/904.51	c cleaning 12998 clauses out of 26012 with flag 6009000/6009000
907.05/906.41	c cleaning 12999 clauses out of 26015 with flag 6022001/6022001
908.84/908.25	c cleaning 12997 clauses out of 26016 with flag 6035001/6035001
910.75/910.19	c cleaning 12996 clauses out of 26019 with flag 6048001/6048001
912.74/912.12	c cleaning 13005 clauses out of 26023 with flag 6061001/6061001
914.64/914.00	c cleaning 13003 clauses out of 26017 with flag 6074000/6074000
916.54/915.99	c cleaning 13001 clauses out of 26014 with flag 6087000/6087000
918.54/917.98	c cleaning 12993 clauses out of 26013 with flag 6100000/6100000
920.44/919.87	c cleaning 13004 clauses out of 26020 with flag 6113000/6113000
922.34/921.78	c cleaning 13000 clauses out of 26016 with flag 6126000/6126000
924.24/923.68	c cleaning 12999 clauses out of 26017 with flag 6139001/6139001
926.25/925.64	c cleaning 13000 clauses out of 26017 with flag 6152000/6152000
928.25/927.64	c cleaning 13000 clauses out of 26017 with flag 6165000/6165000
930.26/929.62	c cleaning 13002 clauses out of 26019 with flag 6178002/6178002
932.26/931.61	c cleaning 13001 clauses out of 26016 with flag 6191001/6191001
934.25/933.64	c cleaning 13002 clauses out of 26015 with flag 6204001/6204001
936.26/935.62	c cleaning 12998 clauses out of 26014 with flag 6217002/6217002
938.16/937.51	c cleaning 12994 clauses out of 26015 with flag 6230001/6230001
940.06/939.47	c cleaning 13001 clauses out of 26020 with flag 6243000/6243000
942.06/941.46	c cleaning 13002 clauses out of 26020 with flag 6256001/6256001
943.96/943.34	c cleaning 12999 clauses out of 26018 with flag 6269001/6269001
945.96/945.31	c cleaning 13001 clauses out of 26018 with flag 6282000/6282000
947.96/947.32	c cleaning 12999 clauses out of 26017 with flag 6295000/6295000
949.86/949.29	c cleaning 13001 clauses out of 26019 with flag 6308001/6308001
951.96/951.33	c cleaning 13000 clauses out of 26018 with flag 6321001/6321001
953.96/953.32	c cleaning 12994 clauses out of 26017 with flag 6334000/6334000
955.86/955.25	c cleaning 13004 clauses out of 26024 with flag 6347001/6347001
957.77/957.19	c cleaning 13003 clauses out of 26020 with flag 6360001/6360001
959.77/959.18	c cleaning 13001 clauses out of 26016 with flag 6373000/6373000
961.77/961.16	c cleaning 13000 clauses out of 26015 with flag 6386000/6386000
963.67/963.05	c cleaning 13001 clauses out of 26015 with flag 6399000/6399000
965.67/965.06	c cleaning 13002 clauses out of 26015 with flag 6412001/6412001
967.67/967.08	c cleaning 12995 clauses out of 26012 with flag 6425000/6425000
969.67/969.10	c cleaning 13004 clauses out of 26018 with flag 6438001/6438001
971.77/971.15	c cleaning 13002 clauses out of 26013 with flag 6451000/6451000
973.77/973.14	c cleaning 13002 clauses out of 26011 with flag 6464000/6464000
975.67/975.08	c cleaning 12997 clauses out of 26010 with flag 6477001/6477001
977.58/976.94	c cleaning 12993 clauses out of 26012 with flag 6490000/6490000
979.47/978.89	c cleaning 13003 clauses out of 26020 with flag 6503001/6503001
981.58/980.92	c cleaning 13004 clauses out of 26018 with flag 6516002/6516002
983.48/982.86	c cleaning 13000 clauses out of 26012 with flag 6529000/6529000
985.48/984.81	c cleaning 12997 clauses out of 26012 with flag 6542000/6542000
987.38/986.76	c cleaning 13001 clauses out of 26015 with flag 6555000/6555000
989.38/988.72	c cleaning 12999 clauses out of 26014 with flag 6568000/6568000
991.38/990.71	c cleaning 13000 clauses out of 26015 with flag 6581000/6581000
993.38/992.72	c cleaning 12996 clauses out of 26016 with flag 6594001/6594001
995.38/994.70	c cleaning 13004 clauses out of 26020 with flag 6607001/6607001
997.29/996.69	c cleaning 13004 clauses out of 26016 with flag 6620001/6620001
999.18/998.58	c cleaning 12994 clauses out of 26011 with flag 6633000/6633000
1001.08/1000.44	c cleaning 13004 clauses out of 26019 with flag 6646002/6646002
1002.98/1002.39	c cleaning 13004 clauses out of 26014 with flag 6659001/6659001
1005.09/1004.44	c cleaning 12996 clauses out of 26009 with flag 6672000/6672000
1007.09/1006.40	c cleaning 13002 clauses out of 26014 with flag 6685001/6685001
1009.09/1008.50	c cleaning 12995 clauses out of 26012 with flag 6698001/6698001
1010.99/1010.37	c cleaning 12997 clauses out of 26016 with flag 6711000/6711000
1012.99/1012.36	c cleaning 13003 clauses out of 26019 with flag 6724000/6724000
1014.89/1014.29	c cleaning 12996 clauses out of 26016 with flag 6737000/6737000
1016.89/1016.22	c cleaning 13002 clauses out of 26022 with flag 6750002/6750002
1018.79/1018.14	c cleaning 12999 clauses out of 26018 with flag 6763000/6763000
1020.79/1020.16	c cleaning 13004 clauses out of 26021 with flag 6776002/6776002
1022.60/1021.99	c cleaning 12995 clauses out of 26015 with flag 6789000/6789000
1024.59/1023.90	c cleaning 13003 clauses out of 26020 with flag 6802000/6802000
1026.39/1025.76	c cleaning 13004 clauses out of 26017 with flag 6815000/6815000
1028.29/1027.61	c cleaning 12999 clauses out of 26013 with flag 6828000/6828000
1030.20/1029.54	c cleaning 13000 clauses out of 26016 with flag 6841002/6841002
1032.09/1031.43	c cleaning 13001 clauses out of 26015 with flag 6854001/6854001
1034.09/1033.42	c cleaning 12996 clauses out of 26013 with flag 6867000/6867000
1036.09/1035.44	c cleaning 13003 clauses out of 26018 with flag 6880001/6880001
1038.10/1037.45	c cleaning 12998 clauses out of 26017 with flag 6893003/6893003
1040.10/1039.48	c cleaning 13003 clauses out of 26017 with flag 6906001/6906001
1042.20/1041.53	c cleaning 12994 clauses out of 26013 with flag 6919000/6919000
1044.20/1043.55	c cleaning 12999 clauses out of 26020 with flag 6932001/6932001
1046.20/1045.55	c cleaning 13003 clauses out of 26020 with flag 6945000/6945000
1048.20/1047.57	c cleaning 12997 clauses out of 26018 with flag 6958001/6958001
1050.21/1049.53	c cleaning 13000 clauses out of 26021 with flag 6971001/6971001
1052.10/1051.49	c cleaning 12995 clauses out of 26022 with flag 6984002/6984002
1054.10/1053.41	c cleaning 13008 clauses out of 26026 with flag 6997001/6997001
1056.10/1055.40	c cleaning 13000 clauses out of 26020 with flag 7010003/7010003
1058.10/1057.43	c cleaning 13000 clauses out of 26017 with flag 7023000/7023000
1060.20/1059.50	c cleaning 12998 clauses out of 26017 with flag 7036000/7036000
1062.10/1061.44	c cleaning 13003 clauses out of 26019 with flag 7049000/7049000
1064.10/1063.44	c cleaning 13006 clauses out of 26018 with flag 7062002/7062002
1066.10/1065.45	c cleaning 12992 clauses out of 26010 with flag 7075000/7075000
1068.20/1067.51	c cleaning 12996 clauses out of 26018 with flag 7088000/7088000
1070.11/1069.45	c cleaning 13000 clauses out of 26022 with flag 7101000/7101000
1072.11/1071.41	c cleaning 12997 clauses out of 26022 with flag 7114000/7114000
1073.91/1073.24	c cleaning 13008 clauses out of 26027 with flag 7127002/7127002
1075.71/1075.02	c cleaning 13002 clauses out of 26017 with flag 7140000/7140000
1077.51/1076.86	c cleaning 12998 clauses out of 26016 with flag 7153001/7153001
1079.31/1078.65	c cleaning 13003 clauses out of 26018 with flag 7166001/7166001
1081.21/1080.58	c cleaning 12994 clauses out of 26014 with flag 7179000/7179000
1083.12/1082.43	c cleaning 12996 clauses out of 26020 with flag 7192000/7192000
1085.01/1084.30	c cleaning 13003 clauses out of 26025 with flag 7205001/7205001
1086.81/1086.17	c cleaning 13008 clauses out of 26023 with flag 7218002/7218002
1088.81/1088.11	c cleaning 13002 clauses out of 26013 with flag 7231000/7231000
1090.71/1090.02	c cleaning 12995 clauses out of 26011 with flag 7244000/7244000
1092.61/1091.96	c cleaning 13001 clauses out of 26017 with flag 7257001/7257001
1094.52/1093.88	c cleaning 12996 clauses out of 26016 with flag 7270001/7270001
1096.52/1095.80	c cleaning 12996 clauses out of 26019 with flag 7283000/7283000
1098.42/1097.72	c cleaning 12997 clauses out of 26024 with flag 7296001/7296001
1100.42/1099.72	c cleaning 13007 clauses out of 26026 with flag 7309000/7309000
1102.32/1101.69	c cleaning 13005 clauses out of 26020 with flag 7322001/7322001
1104.32/1103.60	c cleaning 12998 clauses out of 26014 with flag 7335000/7335000
1106.32/1105.61	c cleaning 13000 clauses out of 26016 with flag 7348000/7348000
1108.22/1107.57	c cleaning 12994 clauses out of 26016 with flag 7361000/7361000
1110.32/1109.60	c cleaning 13005 clauses out of 26022 with flag 7374000/7374000
1112.12/1111.48	c cleaning 12994 clauses out of 26017 with flag 7387000/7387000
1114.13/1113.48	c cleaning 13002 clauses out of 26024 with flag 7400001/7400001
1116.03/1115.34	c cleaning 13005 clauses out of 26021 with flag 7413000/7413000
1117.93/1117.26	c cleaning 13004 clauses out of 26016 with flag 7426000/7426000
1119.83/1119.17	c cleaning 12996 clauses out of 26013 with flag 7439001/7439001
1121.83/1121.14	c cleaning 13003 clauses out of 26016 with flag 7452000/7452000
1123.84/1123.17	c cleaning 13002 clauses out of 26013 with flag 7465000/7465000
1125.84/1125.14	c cleaning 13001 clauses out of 26013 with flag 7478002/7478002
1127.84/1127.12	c cleaning 12993 clauses out of 26011 with flag 7491001/7491001
1129.74/1129.05	c cleaning 12999 clauses out of 26019 with flag 7504002/7504002
1131.74/1131.05	c cleaning 12996 clauses out of 26018 with flag 7517000/7517000
1133.63/1132.99	c cleaning 13004 clauses out of 26023 with flag 7530001/7530001
1135.63/1134.93	c cleaning 12999 clauses out of 26020 with flag 7543002/7543002
1137.53/1136.89	c cleaning 13002 clauses out of 26019 with flag 7556000/7556000
1139.53/1138.86	c cleaning 12997 clauses out of 26018 with flag 7569001/7569001
1141.44/1140.76	c cleaning 13000 clauses out of 26022 with flag 7582002/7582002
1143.43/1142.70	c cleaning 13005 clauses out of 26021 with flag 7595001/7595001
1145.43/1144.75	c cleaning 12997 clauses out of 26015 with flag 7608000/7608000
1147.43/1146.73	c cleaning 13000 clauses out of 26018 with flag 7621000/7621000
1149.43/1148.70	c cleaning 12994 clauses out of 26018 with flag 7634000/7634000
1151.23/1150.56	c cleaning 13003 clauses out of 26024 with flag 7647000/7647000
1153.23/1152.50	c cleaning 13006 clauses out of 26021 with flag 7660000/7660000
1155.13/1154.43	c cleaning 12996 clauses out of 26015 with flag 7673000/7673000
1157.04/1156.37	c cleaning 13005 clauses out of 26020 with flag 7686001/7686001
1158.94/1158.29	c cleaning 12999 clauses out of 26016 with flag 7699002/7699002
1160.94/1160.27	c cleaning 13004 clauses out of 26016 with flag 7712001/7712001
1162.95/1162.24	c cleaning 13000 clauses out of 26011 with flag 7725000/7725000
1164.95/1164.22	c cleaning 12994 clauses out of 26012 with flag 7738001/7738001
1166.95/1166.21	c cleaning 13003 clauses out of 26018 with flag 7751001/7751001
1168.85/1168.12	c cleaning 13000 clauses out of 26015 with flag 7764001/7764001
1170.85/1170.12	c cleaning 13000 clauses out of 26015 with flag 7777001/7777001
1172.75/1172.09	c cleaning 13003 clauses out of 26015 with flag 7790001/7790001
1174.75/1174.04	c cleaning 12995 clauses out of 26011 with flag 7803000/7803000
1176.66/1175.97	c cleaning 12992 clauses out of 26016 with flag 7816000/7816000
1178.65/1177.99	c cleaning 13008 clauses out of 26024 with flag 7829000/7829000
1180.55/1179.89	c cleaning 13003 clauses out of 26017 with flag 7842001/7842001
1182.45/1181.79	c cleaning 13000 clauses out of 26013 with flag 7855000/7855000
1184.46/1183.71	c cleaning 13002 clauses out of 26014 with flag 7868001/7868001
1186.35/1185.68	c cleaning 13000 clauses out of 26011 with flag 7881000/7881000
1188.35/1187.61	c cleaning 12996 clauses out of 26012 with flag 7894001/7894001
1190.26/1189.51	c cleaning 13001 clauses out of 26015 with flag 7907000/7907000
1192.06/1191.33	c cleaning 13000 clauses out of 26015 with flag 7920001/7920001
1193.86/1193.18	c cleaning 12997 clauses out of 26014 with flag 7933000/7933000
1195.76/1195.05	c cleaning 12994 clauses out of 26018 with flag 7946001/7946001
1197.66/1196.97	c cleaning 13001 clauses out of 26023 with flag 7959000/7959000
1199.56/1198.87	c cleaning 12998 clauses out of 26022 with flag 7972000/7972000
1201.36/1200.65	c cleaning 12996 clauses out of 26024 with flag 7985000/7985000
1203.26/1202.52	c cleaning 13007 clauses out of 26028 with flag 7998000/7998000
1205.16/1204.46	c cleaning 13004 clauses out of 26021 with flag 8011000/8011000
1207.26/1206.51	c cleaning 12996 clauses out of 26018 with flag 8024001/8024001
1209.16/1208.49	c cleaning 13004 clauses out of 26021 with flag 8037000/8037000
1211.16/1210.43	c cleaning 13002 clauses out of 26021 with flag 8050004/8050004
1213.07/1212.36	c cleaning 12998 clauses out of 26016 with flag 8063001/8063001
1214.86/1214.14	c cleaning 13000 clauses out of 26017 with flag 8076000/8076000
1216.86/1216.14	c cleaning 12994 clauses out of 26017 with flag 8089000/8089000
1218.76/1218.03	c cleaning 12999 clauses out of 26024 with flag 8102001/8102001
1220.67/1219.95	c cleaning 13000 clauses out of 26025 with flag 8115001/8115001
1222.66/1221.92	c cleaning 13011 clauses out of 26026 with flag 8128002/8128002
1224.66/1223.91	c cleaning 13002 clauses out of 26013 with flag 8141000/8141000
1226.56/1225.88	c cleaning 13002 clauses out of 26011 with flag 8154000/8154000
1228.57/1227.82	c cleaning 12997 clauses out of 26011 with flag 8167002/8167002
1230.46/1229.77	c cleaning 12997 clauses out of 26012 with flag 8180000/8180000
1232.47/1231.70	c cleaning 12999 clauses out of 26015 with flag 8193000/8193000
1234.37/1233.67	c cleaning 13004 clauses out of 26018 with flag 8206002/8206002
1236.37/1235.63	c cleaning 12997 clauses out of 26012 with flag 8219000/8219000
1238.27/1237.56	c cleaning 12999 clauses out of 26015 with flag 8232000/8232000
1240.17/1239.50	c cleaning 12998 clauses out of 26016 with flag 8245000/8245000
1242.27/1241.51	c cleaning 13000 clauses out of 26018 with flag 8258000/8258000
1244.07/1243.38	c cleaning 13004 clauses out of 26018 with flag 8271000/8271000
1246.08/1245.32	c cleaning 12994 clauses out of 26014 with flag 8284000/8284000
1247.97/1247.24	c cleaning 13002 clauses out of 26021 with flag 8297001/8297001
1249.87/1249.16	c cleaning 13006 clauses out of 26021 with flag 8310003/8310003
1251.97/1251.21	c cleaning 13002 clauses out of 26012 with flag 8323000/8323000
1253.87/1253.19	c cleaning 12998 clauses out of 26011 with flag 8336001/8336001
1255.98/1255.21	c cleaning 13000 clauses out of 26012 with flag 8349000/8349000
1257.77/1257.08	c cleaning 12996 clauses out of 26013 with flag 8362001/8362001
1259.67/1258.99	c cleaning 13002 clauses out of 26016 with flag 8375000/8375000
1261.67/1260.98	c cleaning 13003 clauses out of 26014 with flag 8388000/8388000
1263.68/1262.94	c cleaning 12997 clauses out of 26011 with flag 8401000/8401000
1265.68/1264.92	c cleaning 12995 clauses out of 26014 with flag 8414000/8414000
1267.57/1266.87	c cleaning 12996 clauses out of 26019 with flag 8427000/8427000
1269.57/1268.81	c cleaning 13001 clauses out of 26023 with flag 8440000/8440000
1271.48/1270.79	c cleaning 13001 clauses out of 26022 with flag 8453000/8453000
1273.38/1272.69	c cleaning 13006 clauses out of 26024 with flag 8466003/8466003
1275.29/1274.59	c cleaning 12996 clauses out of 26015 with flag 8479000/8479000
1277.29/1276.57	c cleaning 13005 clauses out of 26019 with flag 8492000/8492000
1279.29/1278.51	c cleaning 12998 clauses out of 26015 with flag 8505001/8505001
1281.29/1280.51	c cleaning 12997 clauses out of 26017 with flag 8518001/8518001
1283.19/1282.45	c cleaning 12996 clauses out of 26019 with flag 8531000/8531000
1285.09/1284.40	c cleaning 13005 clauses out of 26024 with flag 8544001/8544001
1287.09/1286.31	c cleaning 12995 clauses out of 26018 with flag 8557000/8557000
1289.00/1288.27	c cleaning 13002 clauses out of 26023 with flag 8570000/8570000
1290.99/1290.29	c cleaning 12995 clauses out of 26023 with flag 8583002/8583002
1292.89/1292.19	c cleaning 12997 clauses out of 26026 with flag 8596000/8596000
1294.99/1294.24	c cleaning 13014 clauses out of 26030 with flag 8609001/8609001
1296.99/1296.23	c cleaning 13003 clauses out of 26015 with flag 8622000/8622000
1298.90/1298.18	c cleaning 13000 clauses out of 26012 with flag 8635000/8635000
1300.80/1300.01	c starts		: 2524
1300.80/1300.01	c conflicts		: 8647768
1300.80/1300.01	c decisions		: 9844100
1300.80/1300.01	c propagations		: 158290642
1300.80/1300.01	c inspects		: 16200633237
1300.80/1300.01	c shortcuts		: 0
1300.80/1300.01	c learnt literals	: 0
1300.80/1300.01	c learnt binary clauses	: 0
1300.80/1300.01	c learnt ternary clauses	: 0
1300.80/1300.01	c learnt constraints	: 8647768
1300.80/1300.01	c ignored constraints	: 0
1300.80/1300.01	c root simplifications	: 2524
1300.80/1300.01	c removed literals (reason simplification)	: 36160251
1300.80/1300.01	c reason swapping (by a shorter reason)	: 0
1300.80/1300.01	c Calls to reduceDB	: 667
1300.80/1300.01	c speed (assignments/second)	: 121781.51888917612
1300.80/1300.01	c non guided choices	65
1300.80/1300.04	c learnt constraints type 
1300.80/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25919
1300.80/1300.04	c constraints type 
1300.80/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12750
1300.80/1300.04	s UNKNOWN
1300.80/1300.04	c Total wall clock time (in seconds) : 1299.905

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190353-1302598930/watcher-3190353-1302598930 -o /tmp/evaluation-result-3190353-1302598930/solver-3190353-1302598930 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190353-1302598930.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: 4.00 3.97 3.39 4/182 26495
/proc/meminfo: memFree=14306412/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=11760 CPUtime=0 cores=0,2
/proc/26495/stat : 26495 (runsolver) R 26493 26495 26215 0 -1 4202560 47 0 0 0 0 0 0 0 25 0 1 0 450123454 12042240 54 33554432000 4194304 5392636 140736677519648 18446744073709551615 5012135 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/26495/statm: 2940 54 36 293 0 2644 0

[startup+0.030708 s]
/proc/loadavg: 4.00 3.97 3.39 4/182 26495
/proc/meminfo: memFree=14306412/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7551884 CPUtime=0.02 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 8256 0 1 0 1 1 0 0 25 0 10 0 450123454 7733129216 7952 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1887971 7952 1517 9 0 1878719 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7551884

[startup+0.117876 s]
/proc/loadavg: 4.00 3.97 3.39 4/182 26495
/proc/meminfo: memFree=14306412/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7571448 CPUtime=0.1 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 10343 0 1 0 9 1 0 0 25 0 18 0 450123454 7753162752 10037 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1892862 10037 2093 9 0 1883600 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7571448

[startup+0.401679 s]
/proc/loadavg: 4.00 3.97 3.39 4/182 26495
/proc/meminfo: memFree=14306412/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=0.6 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 12873 0 1 0 59 1 0 0 25 0 19 0 450123454 7823421440 11875 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 11875 2221 9 0 1900753 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 7640060

[startup+0.703311 s]
/proc/loadavg: 4.00 3.97 3.39 4/182 26495
/proc/meminfo: memFree=14306412/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=0.95 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 13276 0 1 0 94 1 0 0 25 0 19 0 450123454 7823421440 12277 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 12277 2226 9 0 1900753 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 7640060

[startup+1.50165 s]
/proc/loadavg: 4.00 3.97 3.39 7/262 26583
/proc/meminfo: memFree=14109752/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=1.79 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 15148 0 1 0 177 2 0 0 25 0 19 0 450123454 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 14146 2254 9 0 1900753 0
[pid=26495/tid=26505] ppid=26493 vsize=7640060 CPUtime=1.31 cores=0,2
/proc/26495/task/26505/stat : 26505 (java) R 26493 26495 26215 0 -1 4202560 9592 0 1 0 130 1 0 0 25 0 19 0 450123455 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 46912505577816 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26495/tid=26509] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26509/stat : 26509 (java) S 26493 26495 26215 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26510] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26510/stat : 26510 (java) S 26493 26495 26215 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26511] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26511/stat : 26511 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26512] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26512/stat : 26512 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26513] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26513/stat : 26513 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26514] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26514/stat : 26514 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26515] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26515/stat : 26515 (java) S 26493 26495 26215 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26516] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26516/stat : 26516 (java) S 26493 26495 26215 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26517] ppid=26493 vsize=7640060 CPUtime=0.02 cores=0,2
/proc/26495/task/26517/stat : 26517 (java) S 26493 26495 26215 0 -1 4202560 778 0 0 0 2 0 0 0 16 0 19 0 450123457 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 0 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26518] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26518/stat : 26518 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26519] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26519/stat : 26519 (java) S 26493 26495 26215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26532] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26532/stat : 26532 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450123460 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469889457 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26533] ppid=26493 vsize=7640060 CPUtime=0.27 cores=0,2
/proc/26495/task/26533/stat : 26533 (java) S 26493 26495 26215 0 -1 4202560 1647 0 0 0 27 0 0 0 15 0 19 0 450123460 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26534] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26534/stat : 26534 (java) S 26493 26495 26215 0 -1 4202560 1002 0 0 0 14 0 0 0 15 0 19 0 450123460 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26535] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26535/stat : 26535 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450123460 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26536] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26536/stat : 26536 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123460 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26558] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26558/stat : 26558 (java) S 26493 26495 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450123476 7823421440 14146 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 7640060

[startup+3.10136 s]
/proc/loadavg: 4.00 3.97 3.40 8/262 26583
/proc/meminfo: memFree=14074288/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=3.39 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 15322 0 1 0 337 2 0 0 25 0 19 0 450123454 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 14319 2254 9 0 1900753 0
[pid=26495/tid=26505] ppid=26493 vsize=7640060 CPUtime=2.89 cores=0,2
/proc/26495/task/26505/stat : 26505 (java) R 26493 26495 26215 0 -1 4202560 9593 0 1 0 288 1 0 0 25 0 19 0 450123455 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 46912505616405 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26495/tid=26509] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26509/stat : 26509 (java) S 26493 26495 26215 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26510] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26510/stat : 26510 (java) S 26493 26495 26215 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26511] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26511/stat : 26511 (java) S 26493 26495 26215 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26512] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26512/stat : 26512 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26513] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26513/stat : 26513 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26514] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26514/stat : 26514 (java) S 26493 26495 26215 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26515] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26515/stat : 26515 (java) S 26493 26495 26215 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26516] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26516/stat : 26516 (java) S 26493 26495 26215 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26517] ppid=26493 vsize=7640060 CPUtime=0.04 cores=0,2
/proc/26495/task/26517/stat : 26517 (java) S 26493 26495 26215 0 -1 4202560 944 0 0 0 4 0 0 0 16 0 19 0 450123457 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 0 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26518] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26518/stat : 26518 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26519] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26519/stat : 26519 (java) S 26493 26495 26215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26532] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26532/stat : 26532 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450123460 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469889457 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26533] ppid=26493 vsize=7640060 CPUtime=0.28 cores=0,2
/proc/26495/task/26533/stat : 26533 (java) S 26493 26495 26215 0 -1 4202560 1649 0 0 0 28 0 0 0 15 0 19 0 450123460 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26534] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26534/stat : 26534 (java) S 26493 26495 26215 0 -1 4202560 1003 0 0 0 14 0 0 0 15 0 19 0 450123460 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26535] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26535/stat : 26535 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450123460 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26536] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26536/stat : 26536 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123460 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26558] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26558/stat : 26558 (java) S 26493 26495 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450123476 7823421440 14319 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 7640060

[startup+6.30077 s]
/proc/loadavg: 4.00 3.97 3.40 8/262 26584
/proc/meminfo: memFree=13971368/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=6.62 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 15533 0 1 0 660 2 0 0 25 0 19 0 450123454 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 14413 2254 9 0 1900753 0
[pid=26495/tid=26505] ppid=26493 vsize=7640060 CPUtime=6.03 cores=0,2
/proc/26495/task/26505/stat : 26505 (java) R 26493 26495 26215 0 -1 4202560 9597 0 1 0 602 1 0 0 25 0 19 0 450123455 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 46912505577999 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26495/tid=26509] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26509/stat : 26509 (java) S 26493 26495 26215 0 -1 4202560 318 0 0 0 0 0 0 0 16 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26510] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26510/stat : 26510 (java) S 26493 26495 26215 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26511] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26511/stat : 26511 (java) S 26493 26495 26215 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26512] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26512/stat : 26512 (java) S 26493 26495 26215 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26513] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26513/stat : 26513 (java) S 26493 26495 26215 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26514] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26514/stat : 26514 (java) S 26493 26495 26215 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26515] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26515/stat : 26515 (java) S 26493 26495 26215 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26516] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26516/stat : 26516 (java) S 26493 26495 26215 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 19 0 450123456 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26517] ppid=26493 vsize=7640060 CPUtime=0.09 cores=0,2
/proc/26495/task/26517/stat : 26517 (java) S 26493 26495 26215 0 -1 4202560 1050 0 0 0 9 0 0 0 16 0 19 0 450123457 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 0 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26518] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26518/stat : 26518 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26519] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26519/stat : 26519 (java) S 26493 26495 26215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26532] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26532/stat : 26532 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450123460 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469889457 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26533] ppid=26493 vsize=7640060 CPUtime=0.3 cores=0,2
/proc/26495/task/26533/stat : 26533 (java) S 26493 26495 26215 0 -1 4202560 1654 0 0 0 30 0 0 0 15 0 19 0 450123460 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26534] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26534/stat : 26534 (java) S 26493 26495 26215 0 -1 4202560 1003 0 0 0 14 0 0 0 15 0 19 0 450123460 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26535] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26535/stat : 26535 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450123460 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26536] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26536/stat : 26536 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123460 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26558] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26558/stat : 26558 (java) S 26493 26495 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450123476 7823421440 14413 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 7640060

[startup+12.7016 s]

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

[pid=26495/tid=26514] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26514/stat : 26514 (java) S 26493 26495 26215 0 -1 4202560 13 0 0 0 14 0 0 0 15 0 19 0 450123456 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26515] ppid=26493 vsize=7640060 CPUtime=0.18 cores=0,2
/proc/26495/task/26515/stat : 26515 (java) S 26493 26495 26215 0 -1 4202560 199 0 0 0 18 0 0 0 16 0 19 0 450123456 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26516] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26516/stat : 26516 (java) S 26493 26495 26215 0 -1 4202560 273 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26517] ppid=26493 vsize=7640060 CPUtime=11.39 cores=0,2
/proc/26495/task/26517/stat : 26517 (java) S 26493 26495 26215 0 -1 4202560 1730 0 0 0 1134 5 0 0 16 0 19 0 450123457 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 0 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26518] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26518/stat : 26518 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26519] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26519/stat : 26519 (java) S 26493 26495 26215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26532] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26532/stat : 26532 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450123460 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469889457 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26533] ppid=26493 vsize=7640060 CPUtime=0.32 cores=0,2
/proc/26495/task/26533/stat : 26533 (java) S 26493 26495 26215 0 -1 4202560 2089 0 0 0 32 0 0 0 15 0 19 0 450123460 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26534] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26534/stat : 26534 (java) S 26493 26495 26215 0 -1 4202560 1003 0 0 0 14 0 0 0 15 0 19 0 450123460 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26535] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26535/stat : 26535 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450123460 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26536] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26536/stat : 26536 (java) S 26493 26495 26215 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450123460 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26558] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26558/stat : 26558 (java) S 26493 26495 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450123476 7823421440 15473 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.05
Current children cumulated vsize (KiB) 7640060

[startup+1242.3 s]
/proc/loadavg: 4.04 4.01 3.83 5/262 26617
/proc/meminfo: memFree=13434144/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=1243.07 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 17797 0 1 0 124294 13 0 0 25 0 19 0 450123454 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 15477 2255 9 0 1900753 0
[pid=26495/tid=26505] ppid=26493 vsize=7640060 CPUtime=1229.12 cores=0,2
/proc/26495/task/26505/stat : 26505 (java) R 26493 26495 26215 0 -1 4202560 10228 0 1 0 122909 3 0 0 25 0 19 0 450123455 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 46912505577761 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26495/tid=26509] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26509/stat : 26509 (java) S 26493 26495 26215 0 -1 4202560 436 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26510] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26510/stat : 26510 (java) S 26493 26495 26215 0 -1 4202560 288 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26511] ppid=26493 vsize=7640060 CPUtime=0.16 cores=0,2
/proc/26495/task/26511/stat : 26511 (java) S 26493 26495 26215 0 -1 4202560 15 0 0 0 16 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26512] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26512/stat : 26512 (java) S 26493 26495 26215 0 -1 4202560 274 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26513] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26513/stat : 26513 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 19 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26514] ppid=26493 vsize=7640060 CPUtime=0.15 cores=0,2
/proc/26495/task/26514/stat : 26514 (java) S 26493 26495 26215 0 -1 4202560 15 0 0 0 15 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26515] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26515/stat : 26515 (java) S 26493 26495 26215 0 -1 4202560 199 0 0 0 19 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26516] ppid=26493 vsize=7640060 CPUtime=0.18 cores=0,2
/proc/26495/task/26516/stat : 26516 (java) S 26493 26495 26215 0 -1 4202560 274 0 0 0 18 0 0 0 15 0 19 0 450123456 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26517] ppid=26493 vsize=7640060 CPUtime=11.99 cores=0,2
/proc/26495/task/26517/stat : 26517 (java) S 26493 26495 26215 0 -1 4202560 1734 0 0 0 1194 5 0 0 16 0 19 0 450123457 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 0 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26518] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26518/stat : 26518 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26519] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26519/stat : 26519 (java) S 26493 26495 26215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26532] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26532/stat : 26532 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450123460 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469889457 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26533] ppid=26493 vsize=7640060 CPUtime=0.32 cores=0,2
/proc/26495/task/26533/stat : 26533 (java) S 26493 26495 26215 0 -1 4202560 2089 0 0 0 32 0 0 0 15 0 19 0 450123460 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26534] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26534/stat : 26534 (java) S 26493 26495 26215 0 -1 4202560 1003 0 0 0 14 0 0 0 15 0 19 0 450123460 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26535] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26535/stat : 26535 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450123460 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26536] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26536/stat : 26536 (java) S 26493 26495 26215 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 450123460 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26558] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26558/stat : 26558 (java) S 26493 26495 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450123476 7823421440 15477 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.07
Current children cumulated vsize (KiB) 7640060



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.84 6/265 26621
/proc/meminfo: memFree=13419316/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=1300.8 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 17880 0 1 0 130066 14 0 0 25 0 19 0 450123454 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 15523 2255 9 0 1900753 0
[pid=26495/tid=26505] ppid=26493 vsize=7640060 CPUtime=1286.21 cores=0,2
/proc/26495/task/26505/stat : 26505 (java) R 26493 26495 26215 0 -1 4202560 10257 0 1 0 128618 3 0 0 25 0 19 0 450123455 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 46912505616000 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26495/tid=26509] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26509/stat : 26509 (java) S 26493 26495 26215 0 -1 4202560 436 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26510] ppid=26493 vsize=7640060 CPUtime=0.18 cores=0,2
/proc/26495/task/26510/stat : 26510 (java) S 26493 26495 26215 0 -1 4202560 288 0 0 0 18 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26511] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26511/stat : 26511 (java) S 26493 26495 26215 0 -1 4202560 15 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26512] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26512/stat : 26512 (java) S 26493 26495 26215 0 -1 4202560 276 0 0 0 19 0 0 0 16 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26513] ppid=26493 vsize=7640060 CPUtime=0.2 cores=0,2
/proc/26495/task/26513/stat : 26513 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 20 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26514] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26514/stat : 26514 (java) S 26493 26495 26215 0 -1 4202560 15 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26515] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26515/stat : 26515 (java) S 26493 26495 26215 0 -1 4202560 199 0 0 0 19 0 0 0 16 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26516] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26516/stat : 26516 (java) S 26493 26495 26215 0 -1 4202560 274 0 0 0 19 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26517] ppid=26493 vsize=7640060 CPUtime=12.56 cores=0,2
/proc/26495/task/26517/stat : 26517 (java) S 26493 26495 26215 0 -1 4202560 1782 0 0 0 1250 6 0 0 15 0 19 0 450123457 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 0 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26518] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26518/stat : 26518 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26519] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26519/stat : 26519 (java) S 26493 26495 26215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26532] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26532/stat : 26532 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469889457 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26533] ppid=26493 vsize=7640060 CPUtime=0.32 cores=0,2
/proc/26495/task/26533/stat : 26533 (java) S 26493 26495 26215 0 -1 4202560 2089 0 0 0 32 0 0 0 15 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26534] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26534/stat : 26534 (java) S 26493 26495 26215 0 -1 4202560 1003 0 0 0 14 0 0 0 15 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26535] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26535/stat : 26535 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26536] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26536/stat : 26536 (java) S 26493 26495 26215 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26558] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26558/stat : 26558 (java) S 26493 26495 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450123476 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.8
Current children cumulated vsize (KiB) 7640060

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

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

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.84 6/265 26621
/proc/meminfo: memFree=13419316/32951124 swapFree=67111524/67111528
[pid=26495] ppid=26493 vsize=7640060 CPUtime=1300.8 cores=0,2
/proc/26495/stat : 26495 (java) S 26493 26495 26215 0 -1 4202496 17880 0 1 0 130066 14 0 0 25 0 19 0 450123454 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26495/statm: 1910015 15523 2255 9 0 1900753 0
[pid=26495/tid=26505] ppid=26493 vsize=7640060 CPUtime=1286.21 cores=0,2
/proc/26495/task/26505/stat : 26505 (java) R 26493 26495 26215 0 -1 4202560 10257 0 1 0 128618 3 0 0 25 0 19 0 450123455 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 46912505616000 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26495/tid=26509] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26509/stat : 26509 (java) S 26493 26495 26215 0 -1 4202560 436 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26510] ppid=26493 vsize=7640060 CPUtime=0.18 cores=0,2
/proc/26495/task/26510/stat : 26510 (java) S 26493 26495 26215 0 -1 4202560 288 0 0 0 18 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26511] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26511/stat : 26511 (java) S 26493 26495 26215 0 -1 4202560 15 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26512] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26512/stat : 26512 (java) S 26493 26495 26215 0 -1 4202560 276 0 0 0 19 0 0 0 16 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26513] ppid=26493 vsize=7640060 CPUtime=0.2 cores=0,2
/proc/26495/task/26513/stat : 26513 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 20 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26514] ppid=26493 vsize=7640060 CPUtime=0.17 cores=0,2
/proc/26495/task/26514/stat : 26514 (java) S 26493 26495 26215 0 -1 4202560 15 0 0 0 17 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26515] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26515/stat : 26515 (java) S 26493 26495 26215 0 -1 4202560 199 0 0 0 19 0 0 0 16 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26516] ppid=26493 vsize=7640060 CPUtime=0.19 cores=0,2
/proc/26495/task/26516/stat : 26516 (java) S 26493 26495 26215 0 -1 4202560 274 0 0 0 19 0 0 0 15 0 19 0 450123456 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26517] ppid=26493 vsize=7640060 CPUtime=12.56 cores=0,2
/proc/26495/task/26517/stat : 26517 (java) S 26493 26495 26215 0 -1 4202560 1782 0 0 0 1250 6 0 0 15 0 19 0 450123457 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 0 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26518] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26518/stat : 26518 (java) S 26493 26495 26215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26519] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26519/stat : 26519 (java) S 26493 26495 26215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450123458 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26532] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26532/stat : 26532 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469889457 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26533] ppid=26493 vsize=7640060 CPUtime=0.32 cores=0,2
/proc/26495/task/26533/stat : 26533 (java) S 26493 26495 26215 0 -1 4202560 2089 0 0 0 32 0 0 0 15 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26534] ppid=26493 vsize=7640060 CPUtime=0.14 cores=0,2
/proc/26495/task/26534/stat : 26534 (java) S 26493 26495 26215 0 -1 4202560 1003 0 0 0 14 0 0 0 15 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
[pid=26495/tid=26535] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26535/stat : 26535 (java) S 26493 26495 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469881753 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26536] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26536/stat : 26536 (java) S 26493 26495 26215 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450123460 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 2 0 0 0
[pid=26495/tid=26558] ppid=26493 vsize=7640060 CPUtime=0 cores=0,2
/proc/26495/task/26558/stat : 26558 (java) S 26493 26495 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450123476 7823421440 15523 33554432000 1073741824 1073778376 140736200218432 18446744073709551615 252469882368 0 4 0 16800975 18446604444674974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.8
Current children cumulated vsize (KiB) 7640060

Child status: 143
Real time (s): 1300.05
CPU time (s): 1300.88
CPU user time (s): 1300.73
CPU system time (s): 0.148977
CPU usage (%): 100.064
Max. virtual memory (cumulated for all children) (KiB): 7640060

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

runsolver used 2.28265 second user time and 4.85726 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-12 11:02:10
IDJOB=3190353
IDBENCH=82684
IDSOLVER=1611
FILE ID=node111/3190353-1302598930
RUNJOBID= node111-1302597627-26233
PBS_JOBID= 12958107
Free space on /tmp= 71784 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190353-1302598930/watcher-3190353-1302598930 -o /tmp/evaluation-result-3190353-1302598930/solver-3190353-1302598930 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190353-1302598930.cnf

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

MD5SUM BENCH= 707c4bcddcda116edc4a57a77dc3ba68
RANDOM SEED=105676680

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.849
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.67
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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14311404 kB
Buffers:        705540 kB
Cached:       17418584 kB
SwapCached:          4 kB
Active:        9477896 kB
Inactive:      8731252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14311404 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2096 kB
Writeback:           0 kB
AnonPages:       84820 kB
Mapped:          18168 kB
Slab:           366728 kB
PageTables:       5136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7411196 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= 71780 MiB
End job on node111 at 2011-04-12 11:23:52