Trace number 3190195

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf
MD5SUM392862e8cb399d235b8f33dd872803fb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.755884
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of clauses10500
Sum of the clauses size31500
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 310500
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.03/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.27	c See www.sat4j.org for details.
0.03/0.27	c no version file found!!!
0.03/0.27	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.27	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.27	c java.vm.version	19.1-b02
0.03/0.27	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.27	c sun.arch.data.model	64
0.03/0.27	c java.version		1.6.0_24
0.03/0.27	c os.name		Linux
0.03/0.27	c os.version		2.6.18-164.el5
0.03/0.27	c os.arch		amd64
0.03/0.27	c Free memory 		6997539544
0.03/0.27	c Max memory 		7034241024
0.03/0.27	c Total memory 		7034241024
0.03/0.27	c Number of processors 	8
0.03/0.29	c --- Begin Solver configuration ---
0.03/0.29	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.03/0.29	c Learn all clauses as in MiniSAT
0.03/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.29	c Expensive reason simplification
0.03/0.29	c Armin Biere (Picosat) restarts strategy
0.03/0.29	c Glucose learned constraints deletion strategy
0.03/0.29	c timeout=2147483647s
0.03/0.29	c DB Simplification allowed=true
0.03/0.29	c --- End Solver configuration ---
0.03/0.29	c solving HOME/instance-3190195-1302596814.cnf
0.03/0.29	c reading problem ... 
0.11/0.37	c ... done. Wall clock time 0.078s.
0.11/0.37	c #vars     2500
0.11/0.37	c #constraints  10500
0.11/0.37	c constraints type 
0.11/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10500
1.52/1.34	c cleaning 2496 clauses out of 5000 with flag 5000/5000
2.46/2.25	c cleaning 4250 clauses out of 8504 with flag 11000/11000
3.56/3.33	c cleaning 5626 clauses out of 11254 with flag 18000/18000
4.85/4.68	c cleaning 6812 clauses out of 13629 with flag 26001/26001
6.35/6.13	c cleaning 7901 clauses out of 15816 with flag 35000/35000
8.05/7.81	c cleaning 8952 clauses out of 17915 with flag 45000/45000
9.95/9.72	c cleaning 9978 clauses out of 19964 with flag 56001/56001
11.85/11.68	c cleaning 10489 clauses out of 20986 with flag 67001/67001
13.85/13.63	c cleaning 10746 clauses out of 21498 with flag 78002/78002
15.75/15.58	c cleaning 10870 clauses out of 21752 with flag 89002/89002
17.76/17.54	c cleaning 10934 clauses out of 21880 with flag 100000/100000
19.75/19.50	c cleaning 10969 clauses out of 21946 with flag 111000/111000
21.66/21.44	c cleaning 10984 clauses out of 21977 with flag 122000/122000
23.56/23.36	c cleaning 10991 clauses out of 21994 with flag 133001/133001
25.46/25.30	c cleaning 10995 clauses out of 22003 with flag 144001/144001
27.46/27.25	c cleaning 10999 clauses out of 22007 with flag 155000/155000
29.36/29.14	c cleaning 10998 clauses out of 22008 with flag 166000/166000
31.26/31.06	c cleaning 10999 clauses out of 22011 with flag 177001/177001
33.17/32.98	c cleaning 11000 clauses out of 22012 with flag 188001/188001
35.16/34.90	c cleaning 10996 clauses out of 22012 with flag 199001/199001
37.06/36.85	c cleaning 11004 clauses out of 22015 with flag 210000/210000
38.96/38.73	c cleaning 10993 clauses out of 22011 with flag 221000/221000
40.87/40.68	c cleaning 11006 clauses out of 22020 with flag 232002/232002
42.87/42.64	c cleaning 10998 clauses out of 22012 with flag 243000/243000
44.77/44.54	c cleaning 10999 clauses out of 22015 with flag 254001/254001
46.77/46.56	c cleaning 11003 clauses out of 22016 with flag 265001/265001
48.77/48.50	c cleaning 11001 clauses out of 22013 with flag 276001/276001
50.67/50.46	c cleaning 10994 clauses out of 22012 with flag 287001/287001
52.67/52.43	c cleaning 11006 clauses out of 22019 with flag 298002/298002
54.57/54.32	c cleaning 10997 clauses out of 22013 with flag 309002/309002
56.48/56.28	c cleaning 10999 clauses out of 22014 with flag 320000/320000
58.48/58.29	c cleaning 11000 clauses out of 22015 with flag 331000/331000
60.48/60.21	c cleaning 10994 clauses out of 22015 with flag 342000/342000
62.38/62.15	c cleaning 11002 clauses out of 22022 with flag 353001/353001
64.38/64.16	c cleaning 11007 clauses out of 22021 with flag 364002/364002
66.38/66.14	c cleaning 10992 clauses out of 22012 with flag 375000/375000
68.29/68.07	c cleaning 11008 clauses out of 22026 with flag 386006/386006
70.29/70.05	c cleaning 10995 clauses out of 22012 with flag 397000/397000
72.29/72.04	c cleaning 11003 clauses out of 22017 with flag 408000/408000
74.19/73.96	c cleaning 10996 clauses out of 22014 with flag 419000/419000
76.20/75.94	c cleaning 11001 clauses out of 22019 with flag 430001/430001
78.19/77.91	c cleaning 10999 clauses out of 22017 with flag 441000/441000
80.19/79.91	c cleaning 11008 clauses out of 22021 with flag 452003/452003
82.09/81.87	c cleaning 10995 clauses out of 22010 with flag 463000/463000
84.09/83.80	c cleaning 10994 clauses out of 22015 with flag 474000/474000
86.00/85.72	c cleaning 11001 clauses out of 22021 with flag 485000/485000
88.00/87.71	c cleaning 10992 clauses out of 22020 with flag 496000/496000
89.90/89.65	c cleaning 11010 clauses out of 22029 with flag 507001/507001
91.80/91.58	c cleaning 11003 clauses out of 22020 with flag 518002/518002
93.81/93.55	c cleaning 11000 clauses out of 22016 with flag 529001/529001
95.80/95.54	c cleaning 10997 clauses out of 22015 with flag 540000/540000
97.80/97.55	c cleaning 11004 clauses out of 22019 with flag 551001/551001
99.80/99.54	c cleaning 11004 clauses out of 22015 with flag 562001/562001
101.80/101.50	c cleaning 10997 clauses out of 22010 with flag 573000/573000
103.81/103.51	c cleaning 10998 clauses out of 22013 with flag 584000/584000
105.71/105.50	c cleaning 11000 clauses out of 22016 with flag 595001/595001
107.71/107.45	c cleaning 10997 clauses out of 22016 with flag 606001/606001
109.71/109.41	c cleaning 11007 clauses out of 22018 with flag 617000/617000
111.61/111.35	c cleaning 11000 clauses out of 22011 with flag 628000/628000
113.62/113.32	c cleaning 10995 clauses out of 22012 with flag 639001/639001
115.61/115.32	c cleaning 10999 clauses out of 22016 with flag 650000/650000
117.61/117.30	c cleaning 10998 clauses out of 22017 with flag 661000/661000
119.51/119.27	c cleaning 10996 clauses out of 22020 with flag 672001/672001
121.51/121.26	c cleaning 11008 clauses out of 22023 with flag 683000/683000
123.42/123.16	c cleaning 11002 clauses out of 22015 with flag 694000/694000
125.41/125.12	c cleaning 10999 clauses out of 22013 with flag 705000/705000
127.42/127.17	c cleaning 10995 clauses out of 22014 with flag 716000/716000
129.42/129.17	c cleaning 10998 clauses out of 22021 with flag 727002/727002
131.42/131.14	c cleaning 11003 clauses out of 22022 with flag 738001/738001
133.52/133.22	c cleaning 11003 clauses out of 22019 with flag 749001/749001
135.42/135.20	c cleaning 11003 clauses out of 22016 with flag 760001/760001
137.42/137.16	c cleaning 11005 clauses out of 22013 with flag 771001/771001
139.42/139.10	c cleaning 10996 clauses out of 22007 with flag 782000/782000
141.44/141.10	c cleaning 10987 clauses out of 22011 with flag 793000/793000
143.44/143.10	c cleaning 11006 clauses out of 22024 with flag 804000/804000
145.34/145.10	c cleaning 11004 clauses out of 22020 with flag 815002/815002
147.44/147.12	c cleaning 11007 clauses out of 22016 with flag 826002/826002
149.34/149.07	c cleaning 11000 clauses out of 22007 with flag 837000/837000
151.34/151.00	c cleaning 11000 clauses out of 22009 with flag 848002/848002
153.25/152.96	c cleaning 11001 clauses out of 22009 with flag 859002/859002
155.25/154.96	c cleaning 11001 clauses out of 22006 with flag 870000/870000
157.35/157.00	c cleaning 10995 clauses out of 22007 with flag 881002/881002
159.35/159.08	c cleaning 10997 clauses out of 22010 with flag 892000/892000
161.35/161.09	c cleaning 10993 clauses out of 22015 with flag 903002/903002
163.45/163.17	c cleaning 11008 clauses out of 22021 with flag 914001/914001
165.45/165.13	c cleaning 11002 clauses out of 22012 with flag 925000/925000
167.35/167.09	c cleaning 10999 clauses out of 22010 with flag 936000/936000
169.35/169.04	c cleaning 10996 clauses out of 22011 with flag 947000/947000
171.35/171.03	c cleaning 11004 clauses out of 22015 with flag 958000/958000
173.36/173.03	c cleaning 11002 clauses out of 22014 with flag 969003/969003
175.36/175.06	c cleaning 10991 clauses out of 22009 with flag 980000/980000
177.37/177.08	c cleaning 11004 clauses out of 22020 with flag 991002/991002
179.47/179.17	c cleaning 11005 clauses out of 22015 with flag 1002001/1002001
181.57/181.28	c cleaning 11000 clauses out of 22009 with flag 1013000/1013000
183.47/183.19	c cleaning 10996 clauses out of 22009 with flag 1024000/1024000
185.47/185.12	c cleaning 11000 clauses out of 22013 with flag 1035000/1035000
187.47/187.11	c cleaning 10997 clauses out of 22013 with flag 1046000/1046000
189.48/189.11	c cleaning 10988 clauses out of 22016 with flag 1057000/1057000
191.48/191.14	c cleaning 11003 clauses out of 22028 with flag 1068000/1068000
193.58/193.25	c cleaning 11003 clauses out of 22028 with flag 1079003/1079003
195.58/195.27	c cleaning 10996 clauses out of 22022 with flag 1090000/1090000
197.68/197.32	c cleaning 11000 clauses out of 22027 with flag 1101001/1101001
199.68/199.35	c cleaning 11003 clauses out of 22026 with flag 1112000/1112000
201.69/201.35	c cleaning 11001 clauses out of 22023 with flag 1123000/1123000
203.58/203.28	c cleaning 11006 clauses out of 22023 with flag 1134001/1134001
205.58/205.24	c cleaning 11004 clauses out of 22018 with flag 1145002/1145002
207.59/207.27	c cleaning 10998 clauses out of 22015 with flag 1156003/1156003
209.59/209.26	c cleaning 11001 clauses out of 22017 with flag 1167003/1167003
211.69/211.30	c cleaning 11005 clauses out of 22013 with flag 1178000/1178000
213.70/213.38	c cleaning 11001 clauses out of 22009 with flag 1189001/1189001
215.79/215.45	c cleaning 10994 clauses out of 22007 with flag 1200000/1200000
217.89/217.53	c cleaning 11007 clauses out of 22016 with flag 1211003/1211003
219.99/219.68	c cleaning 10994 clauses out of 22008 with flag 1222002/1222002
222.09/221.79	c cleaning 11000 clauses out of 22012 with flag 1233000/1233000
224.09/223.76	c cleaning 10998 clauses out of 22013 with flag 1244001/1244001
226.09/225.72	c cleaning 10999 clauses out of 22014 with flag 1255000/1255000
228.10/227.71	c cleaning 10999 clauses out of 22015 with flag 1266000/1266000
230.00/229.68	c cleaning 10997 clauses out of 22016 with flag 1277000/1277000
232.00/231.67	c cleaning 10997 clauses out of 22019 with flag 1288000/1288000
234.10/233.71	c cleaning 10999 clauses out of 22022 with flag 1299000/1299000
236.10/235.76	c cleaning 11001 clauses out of 22025 with flag 1310002/1310002
238.20/237.88	c cleaning 11002 clauses out of 22022 with flag 1321000/1321000
240.30/239.95	c cleaning 11000 clauses out of 22021 with flag 1332001/1332001
242.31/241.95	c cleaning 11000 clauses out of 22020 with flag 1343000/1343000
244.40/244.01	c cleaning 11003 clauses out of 22020 with flag 1354000/1354000
246.40/246.07	c cleaning 11005 clauses out of 22017 with flag 1365000/1365000
248.41/248.02	c cleaning 10998 clauses out of 22012 with flag 1376000/1376000
250.31/249.95	c cleaning 11002 clauses out of 22014 with flag 1387000/1387000
252.31/251.94	c cleaning 11001 clauses out of 22013 with flag 1398001/1398001
254.21/253.89	c cleaning 10990 clauses out of 22011 with flag 1409000/1409000
256.21/255.87	c cleaning 10998 clauses out of 22023 with flag 1420002/1420002
258.31/257.96	c cleaning 10996 clauses out of 22023 with flag 1431000/1431000
260.41/260.07	c cleaning 11007 clauses out of 22027 with flag 1442000/1442000
262.51/262.11	c cleaning 10998 clauses out of 22020 with flag 1453000/1453000
264.61/264.23	c cleaning 11006 clauses out of 22026 with flag 1464004/1464004
266.82/266.47	c cleaning 10996 clauses out of 22016 with flag 1475000/1475000
269.02/268.61	c cleaning 10996 clauses out of 22021 with flag 1486001/1486001
271.12/270.77	c cleaning 11003 clauses out of 22028 with flag 1497004/1497004
273.13/272.80	c cleaning 11002 clauses out of 22021 with flag 1508000/1508000
275.12/274.73	c cleaning 11002 clauses out of 22019 with flag 1519000/1519000
277.12/276.73	c cleaning 10995 clauses out of 22017 with flag 1530000/1530000
279.12/278.75	c cleaning 11003 clauses out of 22022 with flag 1541000/1541000
281.12/280.79	c cleaning 11004 clauses out of 22019 with flag 1552000/1552000
283.22/282.82	c cleaning 10996 clauses out of 22015 with flag 1563000/1563000
285.33/284.92	c cleaning 11003 clauses out of 22021 with flag 1574002/1574002
287.43/287.04	c cleaning 11002 clauses out of 22017 with flag 1585001/1585001
289.53/289.19	c cleaning 10993 clauses out of 22014 with flag 1596000/1596000
291.73/291.36	c cleaning 11005 clauses out of 22021 with flag 1607000/1607000
293.93/293.53	c cleaning 10993 clauses out of 22016 with flag 1618000/1618000
296.13/295.70	c cleaning 11009 clauses out of 22024 with flag 1629001/1629001
298.23/297.85	c cleaning 10992 clauses out of 22014 with flag 1640000/1640000
300.34/299.98	c cleaning 10998 clauses out of 22022 with flag 1651000/1651000
302.45/302.00	c cleaning 11011 clauses out of 22024 with flag 1662000/1662000
304.35/303.94	c cleaning 10999 clauses out of 22013 with flag 1673000/1673000
306.35/305.94	c cleaning 11004 clauses out of 22016 with flag 1684002/1684002
308.36/307.91	c cleaning 10990 clauses out of 22010 with flag 1695000/1695000
310.35/309.93	c cleaning 11000 clauses out of 22020 with flag 1706000/1706000
312.35/311.93	c cleaning 10993 clauses out of 22021 with flag 1717001/1717001
314.35/313.96	c cleaning 11011 clauses out of 22028 with flag 1728001/1728001
316.45/316.05	c cleaning 11005 clauses out of 22016 with flag 1739000/1739000
318.66/318.21	c cleaning 10994 clauses out of 22011 with flag 1750000/1750000
320.76/320.37	c cleaning 10996 clauses out of 22018 with flag 1761001/1761001
322.96/322.52	c cleaning 11010 clauses out of 22021 with flag 1772000/1772000
325.16/324.70	c cleaning 10999 clauses out of 22013 with flag 1783002/1783002
327.26/326.89	c cleaning 10980 clauses out of 22012 with flag 1794000/1794000
329.37/328.94	c cleaning 11006 clauses out of 22032 with flag 1805000/1805000
331.37/330.94	c cleaning 10996 clauses out of 22027 with flag 1816001/1816001
333.67/333.23	c cleaning 11014 clauses out of 22031 with flag 1827001/1827001
335.57/335.18	c cleaning 10998 clauses out of 22016 with flag 1838000/1838000
337.57/337.16	c cleaning 11008 clauses out of 22019 with flag 1849001/1849001
339.57/339.20	c cleaning 10990 clauses out of 22010 with flag 1860000/1860000
341.57/341.17	c cleaning 11002 clauses out of 22020 with flag 1871000/1871000
343.68/343.22	c cleaning 11002 clauses out of 22019 with flag 1882001/1882001
345.78/345.31	c cleaning 10996 clauses out of 22016 with flag 1893000/1893000
347.77/347.33	c cleaning 11004 clauses out of 22021 with flag 1904001/1904001
349.78/349.38	c cleaning 11004 clauses out of 22017 with flag 1915001/1915001
351.88/351.48	c cleaning 10994 clauses out of 22012 with flag 1926000/1926000
353.98/353.50	c cleaning 11009 clauses out of 22021 with flag 1937003/1937003
356.08/355.62	c cleaning 10996 clauses out of 22009 with flag 1948000/1948000
358.18/357.71	c cleaning 11000 clauses out of 22015 with flag 1959002/1959002
360.28/359.83	c cleaning 10992 clauses out of 22014 with flag 1970001/1970001
362.59/362.13	c cleaning 11002 clauses out of 22021 with flag 1981000/1981000
364.79/364.30	c cleaning 10999 clauses out of 22020 with flag 1992001/1992001
366.80/366.33	c cleaning 11001 clauses out of 22020 with flag 2003000/2003000
369.00/368.53	c cleaning 10992 clauses out of 22020 with flag 2014001/2014001
370.99/370.50	c cleaning 11010 clauses out of 22027 with flag 2025000/2025000
372.89/372.45	c cleaning 10999 clauses out of 22017 with flag 2036000/2036000
374.90/374.43	c cleaning 11002 clauses out of 22018 with flag 2047000/2047000
376.90/376.41	c cleaning 11000 clauses out of 22017 with flag 2058001/2058001
378.90/378.43	c cleaning 11002 clauses out of 22016 with flag 2069000/2069000
380.90/380.43	c cleaning 11003 clauses out of 22015 with flag 2080001/2080001
382.90/382.49	c cleaning 10992 clauses out of 22015 with flag 2091004/2091004
385.00/384.55	c cleaning 11004 clauses out of 22019 with flag 2102000/2102000
387.10/386.64	c cleaning 10991 clauses out of 22015 with flag 2113000/2113000
389.20/388.76	c cleaning 11000 clauses out of 22026 with flag 2124002/2124002
391.30/390.82	c cleaning 10997 clauses out of 22024 with flag 2135000/2135000
393.41/392.92	c cleaning 10997 clauses out of 22029 with flag 2146002/2146002
395.61/395.10	c cleaning 11011 clauses out of 22031 with flag 2157001/2157001
397.81/397.33	c cleaning 10997 clauses out of 22021 with flag 2168002/2168002
399.82/399.38	c cleaning 10999 clauses out of 22022 with flag 2179000/2179000
401.92/401.46	c cleaning 11004 clauses out of 22024 with flag 2190001/2190001
404.12/403.67	c cleaning 10996 clauses out of 22019 with flag 2201000/2201000
406.32/405.82	c cleaning 10997 clauses out of 22024 with flag 2212001/2212001
408.52/408.07	c cleaning 11008 clauses out of 22027 with flag 2223001/2223001
410.52/410.06	c cleaning 11006 clauses out of 22019 with flag 2234001/2234001
412.52/412.04	c cleaning 10994 clauses out of 22014 with flag 2245002/2245002
414.52/414.02	c cleaning 11000 clauses out of 22019 with flag 2256001/2256001
416.42/415.96	c cleaning 11004 clauses out of 22019 with flag 2267001/2267001
418.53/418.01	c cleaning 10999 clauses out of 22014 with flag 2278000/2278000
420.42/419.99	c cleaning 10998 clauses out of 22016 with flag 2289001/2289001
422.52/422.08	c cleaning 11001 clauses out of 22017 with flag 2300000/2300000
424.63/424.11	c cleaning 10988 clauses out of 22016 with flag 2311000/2311000
426.73/426.21	c cleaning 11003 clauses out of 22030 with flag 2322002/2322002
428.83/428.34	c cleaning 10997 clauses out of 22025 with flag 2333000/2333000
430.83/430.39	c cleaning 10995 clauses out of 22028 with flag 2344000/2344000
432.93/432.45	c cleaning 10996 clauses out of 22033 with flag 2355000/2355000
435.04/434.51	c cleaning 11008 clauses out of 22037 with flag 2366000/2366000
437.14/436.63	c cleaning 11014 clauses out of 22031 with flag 2377002/2377002
439.34/438.87	c cleaning 10992 clauses out of 22016 with flag 2388001/2388001
441.44/440.98	c cleaning 11002 clauses out of 22025 with flag 2399002/2399002
443.74/443.29	c cleaning 11000 clauses out of 22021 with flag 2410000/2410000
445.95/445.47	c cleaning 10989 clauses out of 22021 with flag 2421000/2421000
448.04/447.57	c cleaning 10999 clauses out of 22032 with flag 2432000/2432000
450.25/449.76	c cleaning 10999 clauses out of 22033 with flag 2443000/2443000
452.35/451.85	c cleaning 11016 clauses out of 22038 with flag 2454004/2454004
454.35/453.83	c cleaning 10995 clauses out of 22020 with flag 2465002/2465002
456.35/455.86	c cleaning 11006 clauses out of 22023 with flag 2476000/2476000
458.45/457.90	c cleaning 10991 clauses out of 22018 with flag 2487001/2487001
460.45/459.92	c cleaning 10997 clauses out of 22026 with flag 2498000/2498000
462.56/462.01	c cleaning 11014 clauses out of 22031 with flag 2509002/2509002
464.56/464.07	c cleaning 10992 clauses out of 22016 with flag 2520001/2520001
466.67/466.13	c cleaning 11000 clauses out of 22023 with flag 2531000/2531000
468.77/468.20	c cleaning 11004 clauses out of 22024 with flag 2542001/2542001
470.77/470.29	c cleaning 11003 clauses out of 22019 with flag 2553000/2553000
472.97/472.47	c cleaning 11000 clauses out of 22016 with flag 2564000/2564000
475.07/474.58	c cleaning 10997 clauses out of 22018 with flag 2575002/2575002
477.27/476.72	c cleaning 11007 clauses out of 22020 with flag 2586001/2586001
479.27/478.78	c cleaning 11001 clauses out of 22015 with flag 2597003/2597003
481.38/480.87	c cleaning 10994 clauses out of 22011 with flag 2608000/2608000
483.68/483.17	c cleaning 10996 clauses out of 22017 with flag 2619000/2619000
485.88/485.35	c cleaning 11002 clauses out of 22022 with flag 2630001/2630001
487.98/487.43	c cleaning 10997 clauses out of 22020 with flag 2641001/2641001
490.18/489.67	c cleaning 10998 clauses out of 22022 with flag 2652000/2652000
492.19/491.69	c cleaning 11000 clauses out of 22027 with flag 2663003/2663003
494.49/493.97	c cleaning 10996 clauses out of 22024 with flag 2674000/2674000
496.60/496.04	c cleaning 10997 clauses out of 22029 with flag 2685001/2685001
498.80/498.28	c cleaning 11011 clauses out of 22033 with flag 2696002/2696002
500.89/500.30	c cleaning 11000 clauses out of 22021 with flag 2707001/2707001
502.79/502.23	c cleaning 10999 clauses out of 22020 with flag 2718000/2718000
504.70/504.14	c cleaning 10993 clauses out of 22021 with flag 2729000/2729000
506.70/506.17	c cleaning 11007 clauses out of 22029 with flag 2740001/2740001
508.80/508.21	c cleaning 11003 clauses out of 22024 with flag 2751003/2751003
510.80/510.26	c cleaning 10998 clauses out of 22019 with flag 2762001/2762001
512.90/512.30	c cleaning 11006 clauses out of 22021 with flag 2773001/2773001
515.00/514.40	c cleaning 10984 clauses out of 22014 with flag 2784000/2784000
517.10/516.59	c cleaning 11011 clauses out of 22032 with flag 2795002/2795002
519.31/518.73	c cleaning 11000 clauses out of 22019 with flag 2806000/2806000
521.51/520.97	c cleaning 11008 clauses out of 22020 with flag 2817001/2817001
523.71/523.18	c cleaning 10991 clauses out of 22011 with flag 2828000/2828000
525.91/525.32	c cleaning 10990 clauses out of 22020 with flag 2839000/2839000
528.01/527.49	c cleaning 10994 clauses out of 22030 with flag 2850000/2850000
530.12/529.59	c cleaning 10994 clauses out of 22036 with flag 2861000/2861000
532.32/531.80	c cleaning 11010 clauses out of 22042 with flag 2872000/2872000
534.62/534.07	c cleaning 11005 clauses out of 22034 with flag 2883002/2883002
536.72/536.15	c cleaning 10994 clauses out of 22027 with flag 2894000/2894000
538.92/538.39	c cleaning 11002 clauses out of 22036 with flag 2905003/2905003
541.12/540.54	c cleaning 10996 clauses out of 22031 with flag 2916000/2916000
543.33/542.79	c cleaning 10999 clauses out of 22036 with flag 2927001/2927001
545.53/544.92	c cleaning 11010 clauses out of 22037 with flag 2938001/2938001
547.73/547.11	c cleaning 11000 clauses out of 22027 with flag 2949001/2949001
549.93/549.34	c cleaning 10994 clauses out of 22026 with flag 2960000/2960000
552.14/551.52	c cleaning 10999 clauses out of 22032 with flag 2971000/2971000
554.14/553.58	c cleaning 11014 clauses out of 22033 with flag 2982000/2982000
556.14/555.57	c cleaning 11001 clauses out of 22023 with flag 2993004/2993004
558.14/557.55	c cleaning 11001 clauses out of 22020 with flag 3004002/3004002
560.14/559.56	c cleaning 10996 clauses out of 22017 with flag 3015000/3015000
562.24/561.61	c cleaning 11008 clauses out of 22023 with flag 3026002/3026002
564.24/563.64	c cleaning 11001 clauses out of 22013 with flag 3037000/3037000
566.34/565.70	c cleaning 11001 clauses out of 22013 with flag 3048001/3048001
568.35/567.79	c cleaning 10994 clauses out of 22011 with flag 3059000/3059000
570.45/569.89	c cleaning 11007 clauses out of 22017 with flag 3070000/3070000
572.65/572.09	c cleaning 10995 clauses out of 22012 with flag 3081002/3081002
574.86/574.27	c cleaning 10995 clauses out of 22015 with flag 3092000/3092000
577.06/576.44	c cleaning 11001 clauses out of 22022 with flag 3103002/3103002
579.26/578.64	c cleaning 10992 clauses out of 22019 with flag 3114000/3114000
581.36/580.74	c cleaning 11008 clauses out of 22027 with flag 3125000/3125000
583.46/582.84	c cleaning 10985 clauses out of 22019 with flag 3136000/3136000
585.66/585.07	c cleaning 11010 clauses out of 22036 with flag 3147002/3147002
587.97/587.37	c cleaning 11001 clauses out of 22026 with flag 3158002/3158002
590.06/589.46	c cleaning 10999 clauses out of 22024 with flag 3169001/3169001
592.37/591.77	c cleaning 11000 clauses out of 22024 with flag 3180000/3180000
594.47/593.87	c cleaning 10998 clauses out of 22025 with flag 3191001/3191001
596.77/596.11	c cleaning 11001 clauses out of 22026 with flag 3202000/3202000
598.87/598.22	c cleaning 11008 clauses out of 22026 with flag 3213001/3213001
601.18/600.57	c cleaning 10991 clauses out of 22017 with flag 3224000/3224000
603.27/602.60	c cleaning 11002 clauses out of 22027 with flag 3235001/3235001
605.47/604.81	c cleaning 10993 clauses out of 22024 with flag 3246000/3246000
607.58/606.91	c cleaning 11006 clauses out of 22034 with flag 3257003/3257003
609.68/609.05	c cleaning 11005 clauses out of 22026 with flag 3268001/3268001
611.88/611.26	c cleaning 11002 clauses out of 22020 with flag 3279000/3279000
613.88/613.28	c cleaning 10995 clauses out of 22018 with flag 3290000/3290000
615.88/615.25	c cleaning 10996 clauses out of 22023 with flag 3301000/3301000
617.89/617.24	c cleaning 10998 clauses out of 22029 with flag 3312002/3312002
619.89/619.22	c cleaning 10994 clauses out of 22030 with flag 3323001/3323001
621.89/621.28	c cleaning 11011 clauses out of 22038 with flag 3334003/3334003
623.99/623.35	c cleaning 11004 clauses out of 22024 with flag 3345000/3345000
625.99/625.36	c cleaning 10988 clauses out of 22020 with flag 3356000/3356000
628.19/627.50	c cleaning 11005 clauses out of 22032 with flag 3367000/3367000
630.29/629.61	c cleaning 11003 clauses out of 22028 with flag 3378001/3378001
632.39/631.79	c cleaning 11006 clauses out of 22025 with flag 3389001/3389001
634.60/633.90	c cleaning 10997 clauses out of 22018 with flag 3400000/3400000
636.71/636.03	c cleaning 10995 clauses out of 22023 with flag 3411002/3411002
638.91/638.21	c cleaning 11005 clauses out of 22026 with flag 3422000/3422000
641.11/640.44	c cleaning 10988 clauses out of 22022 with flag 3433001/3433001
643.12/642.50	c cleaning 11008 clauses out of 22033 with flag 3444000/3444000
645.22/644.55	c cleaning 10996 clauses out of 22025 with flag 3455000/3455000
647.52/646.86	c cleaning 11001 clauses out of 22031 with flag 3466002/3466002
649.62/649.00	c cleaning 11001 clauses out of 22028 with flag 3477000/3477000
651.93/651.22	c cleaning 11003 clauses out of 22028 with flag 3488001/3488001
654.13/653.47	c cleaning 10996 clauses out of 22024 with flag 3499000/3499000
656.33/655.62	c cleaning 11007 clauses out of 22029 with flag 3510001/3510001
658.53/657.83	c cleaning 10997 clauses out of 22022 with flag 3521001/3521001
660.63/660.00	c cleaning 10995 clauses out of 22024 with flag 3532000/3532000
662.94/662.23	c cleaning 11000 clauses out of 22029 with flag 3543000/3543000
665.14/664.43	c cleaning 11008 clauses out of 22029 with flag 3554000/3554000
667.24/666.58	c cleaning 11005 clauses out of 22022 with flag 3565001/3565001
669.54/668.81	c cleaning 11003 clauses out of 22016 with flag 3576000/3576000
671.64/670.92	c cleaning 10996 clauses out of 22013 with flag 3587000/3587000
673.84/673.14	c cleaning 10990 clauses out of 22018 with flag 3598001/3598001
676.05/675.32	c cleaning 11005 clauses out of 22028 with flag 3609001/3609001
678.05/677.38	c cleaning 11006 clauses out of 22022 with flag 3620000/3620000
680.05/679.36	c cleaning 11003 clauses out of 22016 with flag 3631000/3631000
682.05/681.33	c cleaning 10999 clauses out of 22013 with flag 3642000/3642000
684.05/683.36	c cleaning 11002 clauses out of 22015 with flag 3653001/3653001
686.06/685.39	c cleaning 11000 clauses out of 22012 with flag 3664000/3664000
688.16/687.43	c cleaning 10995 clauses out of 22012 with flag 3675000/3675000
690.25/689.51	c cleaning 11004 clauses out of 22017 with flag 3686000/3686000
692.35/691.62	c cleaning 10995 clauses out of 22014 with flag 3697001/3697001
694.46/693.71	c cleaning 10995 clauses out of 22019 with flag 3708001/3708001
696.66/695.93	c cleaning 10995 clauses out of 22024 with flag 3719001/3719001
698.86/698.10	c cleaning 11001 clauses out of 22028 with flag 3730000/3730000
701.06/700.32	c cleaning 11003 clauses out of 22029 with flag 3741002/3741002
703.26/702.58	c cleaning 11000 clauses out of 22024 with flag 3752000/3752000
705.46/704.73	c cleaning 11002 clauses out of 22024 with flag 3763000/3763000
707.57/706.84	c cleaning 10996 clauses out of 22022 with flag 3774000/3774000
709.77/709.09	c cleaning 10999 clauses out of 22026 with flag 3785000/3785000
711.97/711.28	c cleaning 11001 clauses out of 22027 with flag 3796000/3796000
714.07/713.35	c cleaning 11007 clauses out of 22027 with flag 3807001/3807001
716.27/715.54	c cleaning 11002 clauses out of 22021 with flag 3818002/3818002
718.38/717.67	c cleaning 11001 clauses out of 22017 with flag 3829000/3829000
720.68/719.92	c cleaning 10987 clauses out of 22019 with flag 3840003/3840003
722.88/722.10	c cleaning 11005 clauses out of 22030 with flag 3851001/3851001
725.08/724.34	c cleaning 11005 clauses out of 22027 with flag 3862003/3862003
727.18/726.43	c cleaning 10994 clauses out of 22020 with flag 3873001/3873001
729.38/728.66	c cleaning 11001 clauses out of 22025 with flag 3884000/3884000
731.49/730.72	c cleaning 11000 clauses out of 22024 with flag 3895000/3895000
733.69/732.96	c cleaning 11004 clauses out of 22024 with flag 3906000/3906000
735.99/735.22	c cleaning 11010 clauses out of 22021 with flag 3917001/3917001
738.19/737.47	c cleaning 10998 clauses out of 22011 with flag 3928001/3928001
740.49/739.76	c cleaning 10996 clauses out of 22012 with flag 3939000/3939000
742.59/741.88	c cleaning 10993 clauses out of 22016 with flag 3950000/3950000
744.99/744.21	c cleaning 10994 clauses out of 22023 with flag 3961000/3961000
747.20/746.48	c cleaning 11007 clauses out of 22029 with flag 3972000/3972000
749.40/748.65	c cleaning 11010 clauses out of 22022 with flag 3983000/3983000
751.40/750.67	c cleaning 10997 clauses out of 22012 with flag 3994000/3994000
753.40/752.66	c cleaning 11000 clauses out of 22017 with flag 4005002/4005002
755.41/754.65	c cleaning 11001 clauses out of 22016 with flag 4016001/4016001
757.41/756.70	c cleaning 10997 clauses out of 22015 with flag 4027001/4027001
759.51/758.75	c cleaning 10996 clauses out of 22017 with flag 4038000/4038000
761.61/760.83	c cleaning 11007 clauses out of 22022 with flag 4049001/4049001
763.71/762.94	c cleaning 10995 clauses out of 22014 with flag 4060000/4060000
765.81/765.09	c cleaning 10997 clauses out of 22019 with flag 4071000/4071000
768.02/767.20	c cleaning 10990 clauses out of 22022 with flag 4082000/4082000
770.02/769.28	c cleaning 11009 clauses out of 22034 with flag 4093002/4093002
772.12/771.33	c cleaning 11003 clauses out of 22023 with flag 4104000/4104000
774.13/773.39	c cleaning 10992 clauses out of 22022 with flag 4115002/4115002
776.23/775.46	c cleaning 10999 clauses out of 22030 with flag 4126002/4126002
778.53/777.74	c cleaning 11012 clauses out of 22029 with flag 4137000/4137000
780.73/779.95	c cleaning 10997 clauses out of 22018 with flag 4148001/4148001
782.83/782.06	c cleaning 10993 clauses out of 22020 with flag 4159000/4159000
784.93/784.20	c cleaning 11011 clauses out of 22028 with flag 4170001/4170001
787.13/786.38	c cleaning 11004 clauses out of 22017 with flag 4181001/4181001
789.23/788.43	c cleaning 10998 clauses out of 22013 with flag 4192001/4192001
791.53/790.77	c cleaning 11002 clauses out of 22015 with flag 4203001/4203001
793.64/792.89	c cleaning 10993 clauses out of 22013 with flag 4214001/4214001
795.94/795.16	c cleaning 10995 clauses out of 22019 with flag 4225000/4225000
798.14/797.32	c cleaning 11003 clauses out of 22025 with flag 4236001/4236001
800.34/799.52	c cleaning 11002 clauses out of 22023 with flag 4247002/4247002
802.44/801.66	c cleaning 10998 clauses out of 22020 with flag 4258001/4258001
804.65/803.84	c cleaning 11003 clauses out of 22022 with flag 4269001/4269001
806.85/806.07	c cleaning 10998 clauses out of 22018 with flag 4280000/4280000
808.95/808.18	c cleaning 10999 clauses out of 22021 with flag 4291001/4291001
811.25/810.45	c cleaning 11001 clauses out of 22022 with flag 4302001/4302001
813.45/812.66	c cleaning 11004 clauses out of 22022 with flag 4313002/4313002
815.56/814.80	c cleaning 10994 clauses out of 22016 with flag 4324000/4324000
817.86/817.05	c cleaning 11004 clauses out of 22023 with flag 4335001/4335001
820.06/819.25	c cleaning 10998 clauses out of 22020 with flag 4346002/4346002
822.26/821.42	c cleaning 10998 clauses out of 22020 with flag 4357000/4357000
824.56/823.73	c cleaning 10995 clauses out of 22022 with flag 4368000/4368000
826.77/825.99	c cleaning 10996 clauses out of 22028 with flag 4379001/4379001
828.97/828.12	c cleaning 11013 clauses out of 22032 with flag 4390001/4390001
830.87/830.05	c cleaning 10993 clauses out of 22018 with flag 4401000/4401000
832.87/832.05	c cleaning 11004 clauses out of 22025 with flag 4412000/4412000
834.87/834.07	c cleaning 11001 clauses out of 22022 with flag 4423001/4423001
836.98/836.12	c cleaning 11004 clauses out of 22020 with flag 4434000/4434000
839.08/838.24	c cleaning 11000 clauses out of 22019 with flag 4445003/4445003
841.19/840.32	c cleaning 10995 clauses out of 22016 with flag 4456000/4456000
843.28/842.48	c cleaning 10999 clauses out of 22023 with flag 4467002/4467002
845.48/844.60	c cleaning 10999 clauses out of 22023 with flag 4478001/4478001
847.59/846.72	c cleaning 10998 clauses out of 22023 with flag 4489000/4489000
849.69/848.88	c cleaning 11006 clauses out of 22025 with flag 4500000/4500000
851.99/851.11	c cleaning 11000 clauses out of 22020 with flag 4511001/4511001
854.09/853.29	c cleaning 10987 clauses out of 22019 with flag 4522000/4522000
856.29/855.41	c cleaning 11002 clauses out of 22033 with flag 4533001/4533001
858.40/857.57	c cleaning 10994 clauses out of 22030 with flag 4544000/4544000
860.70/859.82	c cleaning 11012 clauses out of 22039 with flag 4555003/4555003
862.90/862.06	c cleaning 11004 clauses out of 22024 with flag 4566000/4566000
865.00/864.14	c cleaning 10998 clauses out of 22020 with flag 4577000/4577000
867.20/866.39	c cleaning 10989 clauses out of 22022 with flag 4588000/4588000
869.41/868.54	c cleaning 11004 clauses out of 22033 with flag 4599000/4599000
871.61/870.79	c cleaning 10997 clauses out of 22030 with flag 4610001/4610001
873.81/872.94	c cleaning 11006 clauses out of 22035 with flag 4621003/4621003
876.01/875.19	c cleaning 11007 clauses out of 22026 with flag 4632000/4632000
878.11/877.28	c cleaning 10999 clauses out of 22020 with flag 4643001/4643001
880.41/879.54	c cleaning 10987 clauses out of 22021 with flag 4654001/4654001
882.52/881.66	c cleaning 11002 clauses out of 22033 with flag 4665000/4665000
884.82/883.91	c cleaning 11008 clauses out of 22031 with flag 4676000/4676000
887.02/886.12	c cleaning 11001 clauses out of 22024 with flag 4687001/4687001
889.12/888.28	c cleaning 10998 clauses out of 22023 with flag 4698001/4698001
891.42/890.55	c cleaning 10993 clauses out of 22024 with flag 4709000/4709000
893.63/892.76	c cleaning 11006 clauses out of 22031 with flag 4720000/4720000
895.93/895.03	c cleaning 10991 clauses out of 22026 with flag 4731001/4731001
898.23/897.31	c cleaning 11001 clauses out of 22034 with flag 4742000/4742000
900.43/899.53	c cleaning 11015 clauses out of 22035 with flag 4753002/4753002
902.63/901.78	c cleaning 10988 clauses out of 22018 with flag 4764000/4764000
904.94/904.00	c cleaning 11012 clauses out of 22030 with flag 4775000/4775000
907.24/906.31	c cleaning 11001 clauses out of 22019 with flag 4786001/4786001
909.34/908.40	c cleaning 11002 clauses out of 22017 with flag 4797000/4797000
911.54/910.62	c cleaning 10992 clauses out of 22015 with flag 4808000/4808000
913.74/912.89	c cleaning 10990 clauses out of 22023 with flag 4819000/4819000
916.05/915.12	c cleaning 11016 clauses out of 22033 with flag 4830000/4830000
917.95/917.08	c cleaning 11004 clauses out of 22017 with flag 4841000/4841000
920.05/919.10	c cleaning 10996 clauses out of 22013 with flag 4852000/4852000
922.05/921.14	c cleaning 10997 clauses out of 22017 with flag 4863000/4863000
924.15/923.22	c cleaning 11004 clauses out of 22024 with flag 4874004/4874004
926.16/925.25	c cleaning 10998 clauses out of 22016 with flag 4885000/4885000
928.17/927.29	c cleaning 11002 clauses out of 22020 with flag 4896002/4896002
930.27/929.40	c cleaning 10993 clauses out of 22016 with flag 4907000/4907000
932.37/931.46	c cleaning 11005 clauses out of 22023 with flag 4918000/4918000
934.47/933.57	c cleaning 10999 clauses out of 22019 with flag 4929001/4929001
936.67/935.70	c cleaning 10998 clauses out of 22019 with flag 4940000/4940000
938.68/937.79	c cleaning 11002 clauses out of 22022 with flag 4951001/4951001
940.78/939.88	c cleaning 10998 clauses out of 22020 with flag 4962001/4962001
942.98/942.06	c cleaning 11004 clauses out of 22021 with flag 4973000/4973000
945.08/944.17	c cleaning 11002 clauses out of 22019 with flag 4984002/4984002
947.28/946.34	c cleaning 10992 clauses out of 22016 with flag 4995001/4995001
949.39/948.43	c cleaning 11008 clauses out of 22023 with flag 5006000/5006000
951.49/950.58	c cleaning 11002 clauses out of 22017 with flag 5017002/5017002
953.79/952.85	c cleaning 10998 clauses out of 22016 with flag 5028003/5028003
955.99/955.05	c cleaning 11005 clauses out of 22016 with flag 5039001/5039001
958.29/957.31	c cleaning 10993 clauses out of 22012 with flag 5050002/5050002
960.39/959.49	c cleaning 10999 clauses out of 22017 with flag 5061000/5061000
962.70/961.76	c cleaning 10994 clauses out of 22018 with flag 5072000/5072000
964.80/963.87	c cleaning 11005 clauses out of 22025 with flag 5083001/5083001
967.00/966.05	c cleaning 10996 clauses out of 22020 with flag 5094001/5094001
969.20/968.29	c cleaning 10994 clauses out of 22023 with flag 5105000/5105000
971.51/970.53	c cleaning 11005 clauses out of 22030 with flag 5116001/5116001
973.81/972.86	c cleaning 11000 clauses out of 22025 with flag 5127001/5127001
976.01/975.03	c cleaning 10999 clauses out of 22024 with flag 5138000/5138000
978.21/977.24	c cleaning 10995 clauses out of 22026 with flag 5149001/5149001
980.52/979.58	c cleaning 11010 clauses out of 22031 with flag 5160001/5160001
982.72/981.70	c cleaning 11005 clauses out of 22023 with flag 5171003/5171003
984.92/983.91	c cleaning 10997 clauses out of 22016 with flag 5182001/5182001
987.12/986.18	c cleaning 10989 clauses out of 22018 with flag 5193000/5193000
989.22/988.23	c cleaning 11007 clauses out of 22030 with flag 5204001/5204001
991.43/990.43	c cleaning 10998 clauses out of 22024 with flag 5215002/5215002
993.63/992.66	c cleaning 10995 clauses out of 22026 with flag 5226002/5226002
995.73/994.79	c cleaning 10998 clauses out of 22029 with flag 5237000/5237000
997.93/996.96	c cleaning 11001 clauses out of 22031 with flag 5248000/5248000
1000.23/999.23	c cleaning 11005 clauses out of 22030 with flag 5259000/5259000
1002.54/1001.51	c cleaning 11005 clauses out of 22026 with flag 5270001/5270001
1004.54/1003.57	c cleaning 10986 clauses out of 22020 with flag 5281000/5281000
1006.74/1005.79	c cleaning 11009 clauses out of 22035 with flag 5292001/5292001
1008.94/1007.98	c cleaning 10997 clauses out of 22025 with flag 5303000/5303000
1011.25/1010.22	c cleaning 11004 clauses out of 22028 with flag 5314000/5314000
1013.35/1012.31	c cleaning 11005 clauses out of 22025 with flag 5325001/5325001
1015.35/1014.32	c cleaning 11004 clauses out of 22019 with flag 5336000/5336000
1017.36/1016.33	c cleaning 10995 clauses out of 22015 with flag 5347000/5347000
1019.35/1018.31	c cleaning 11009 clauses out of 22020 with flag 5358000/5358000
1021.35/1020.38	c cleaning 11000 clauses out of 22011 with flag 5369000/5369000
1023.45/1022.48	c cleaning 10998 clauses out of 22011 with flag 5380000/5380000
1025.66/1024.65	c cleaning 10987 clauses out of 22013 with flag 5391000/5391000
1027.76/1026.76	c cleaning 11002 clauses out of 22026 with flag 5402000/5402000
1029.86/1028.87	c cleaning 11006 clauses out of 22025 with flag 5413001/5413001
1032.06/1031.06	c cleaning 10993 clauses out of 22019 with flag 5424001/5424001
1034.26/1033.21	c cleaning 10999 clauses out of 22026 with flag 5435001/5435001
1036.46/1035.48	c cleaning 10997 clauses out of 22026 with flag 5446000/5446000
1038.77/1037.72	c cleaning 10996 clauses out of 22029 with flag 5457000/5457000
1040.87/1039.84	c cleaning 11005 clauses out of 22036 with flag 5468003/5468003
1042.97/1041.95	c cleaning 11001 clauses out of 22030 with flag 5479002/5479002
1045.27/1044.24	c cleaning 10995 clauses out of 22027 with flag 5490000/5490000
1047.47/1046.45	c cleaning 11005 clauses out of 22033 with flag 5501001/5501001
1049.58/1048.54	c cleaning 11001 clauses out of 22027 with flag 5512000/5512000
1051.78/1050.77	c cleaning 11009 clauses out of 22026 with flag 5523000/5523000
1053.88/1052.89	c cleaning 10993 clauses out of 22017 with flag 5534000/5534000
1056.18/1055.12	c cleaning 10996 clauses out of 22024 with flag 5545000/5545000
1058.29/1057.24	c cleaning 11008 clauses out of 22030 with flag 5556002/5556002
1060.39/1059.36	c cleaning 10994 clauses out of 22020 with flag 5567000/5567000
1062.50/1061.49	c cleaning 11003 clauses out of 22026 with flag 5578000/5578000
1064.80/1063.75	c cleaning 11005 clauses out of 22025 with flag 5589002/5589002
1066.90/1065.86	c cleaning 10999 clauses out of 22018 with flag 5600000/5600000
1069.10/1068.07	c cleaning 11001 clauses out of 22021 with flag 5611002/5611002
1071.40/1070.30	c cleaning 10988 clauses out of 22018 with flag 5622000/5622000
1073.61/1072.54	c cleaning 10996 clauses out of 22031 with flag 5633001/5633001
1075.81/1074.79	c cleaning 10997 clauses out of 22034 with flag 5644000/5644000
1078.01/1076.97	c cleaning 11010 clauses out of 22037 with flag 5655000/5655000
1080.31/1079.29	c cleaning 11006 clauses out of 22027 with flag 5666000/5666000
1082.61/1081.51	c cleaning 11006 clauses out of 22021 with flag 5677000/5677000
1084.81/1083.70	c cleaning 11002 clauses out of 22015 with flag 5688000/5688000
1087.01/1085.99	c cleaning 10985 clauses out of 22013 with flag 5699000/5699000
1089.31/1088.26	c cleaning 10997 clauses out of 22029 with flag 5710001/5710001
1091.62/1090.54	c cleaning 11003 clauses out of 22031 with flag 5721000/5721000
1093.82/1092.72	c cleaning 11002 clauses out of 22032 with flag 5732004/5732004
1096.02/1094.92	c cleaning 11011 clauses out of 22028 with flag 5743002/5743002
1098.32/1097.21	c cleaning 10987 clauses out of 22015 with flag 5754000/5754000
1100.53/1099.48	c cleaning 11002 clauses out of 22029 with flag 5765001/5765001
1102.83/1101.73	c cleaning 10997 clauses out of 22026 with flag 5776000/5776000
1105.03/1103.97	c cleaning 11002 clauses out of 22029 with flag 5787000/5787000
1107.43/1106.31	c cleaning 10991 clauses out of 22027 with flag 5798000/5798000
1109.63/1108.56	c cleaning 11016 clauses out of 22036 with flag 5809000/5809000
1111.94/1110.83	c cleaning 10995 clauses out of 22020 with flag 5820000/5820000
1114.14/1113.06	c cleaning 10994 clauses out of 22025 with flag 5831000/5831000
1116.34/1115.29	c cleaning 11007 clauses out of 22032 with flag 5842001/5842001
1118.65/1117.55	c cleaning 10997 clauses out of 22028 with flag 5853004/5853004
1120.75/1119.68	c cleaning 11008 clauses out of 22027 with flag 5864000/5864000
1122.75/1121.64	c cleaning 11003 clauses out of 22019 with flag 5875000/5875000
1124.75/1123.61	c cleaning 11002 clauses out of 22017 with flag 5886001/5886001
1126.75/1125.68	c cleaning 11000 clauses out of 22015 with flag 5897001/5897001
1128.86/1127.71	c cleaning 10993 clauses out of 22014 with flag 5908000/5908000
1130.96/1129.81	c cleaning 10992 clauses out of 22021 with flag 5919000/5919000
1133.07/1131.97	c cleaning 11011 clauses out of 22029 with flag 5930000/5930000
1135.18/1134.08	c cleaning 11000 clauses out of 22019 with flag 5941001/5941001
1137.38/1136.25	c cleaning 11000 clauses out of 22021 with flag 5952003/5952003
1139.58/1138.44	c cleaning 10988 clauses out of 22018 with flag 5963000/5963000
1141.89/1140.72	c cleaning 11005 clauses out of 22031 with flag 5974001/5974001
1144.09/1142.99	c cleaning 10999 clauses out of 22025 with flag 5985000/5985000
1146.38/1145.20	c cleaning 10992 clauses out of 22028 with flag 5996002/5996002
1148.39/1147.29	c cleaning 11004 clauses out of 22037 with flag 6007003/6007003
1150.59/1149.43	c cleaning 10997 clauses out of 22031 with flag 6018001/6018001
1152.80/1151.67	c cleaning 11012 clauses out of 22033 with flag 6029000/6029000
1155.10/1153.92	c cleaning 10992 clauses out of 22021 with flag 6040000/6040000
1157.20/1156.04	c cleaning 11009 clauses out of 22029 with flag 6051000/6051000
1159.50/1158.31	c cleaning 10994 clauses out of 22020 with flag 6062000/6062000
1161.61/1160.46	c cleaning 10998 clauses out of 22026 with flag 6073000/6073000
1163.91/1162.72	c cleaning 11006 clauses out of 22028 with flag 6084000/6084000
1166.01/1164.83	c cleaning 10998 clauses out of 22022 with flag 6095000/6095000
1168.21/1167.06	c cleaning 10998 clauses out of 22024 with flag 6106000/6106000
1170.41/1169.21	c cleaning 11006 clauses out of 22027 with flag 6117001/6117001
1172.71/1171.54	c cleaning 10997 clauses out of 22020 with flag 6128000/6128000
1174.82/1173.66	c cleaning 10998 clauses out of 22023 with flag 6139000/6139000
1177.02/1175.89	c cleaning 11003 clauses out of 22026 with flag 6150001/6150001
1179.41/1178.20	c cleaning 10997 clauses out of 22022 with flag 6161000/6161000
1181.62/1180.42	c cleaning 11004 clauses out of 22026 with flag 6172001/6172001
1183.73/1182.59	c cleaning 10992 clauses out of 22021 with flag 6183000/6183000
1185.93/1184.77	c cleaning 11007 clauses out of 22032 with flag 6194003/6194003
1188.22/1187.02	c cleaning 10997 clauses out of 22022 with flag 6205000/6205000
1190.42/1189.27	c cleaning 11007 clauses out of 22025 with flag 6216000/6216000
1192.63/1191.41	c cleaning 11000 clauses out of 22019 with flag 6227001/6227001
1194.83/1193.64	c cleaning 10997 clauses out of 22019 with flag 6238001/6238001
1197.03/1195.88	c cleaning 10994 clauses out of 22021 with flag 6249000/6249000
1199.23/1198.07	c cleaning 10999 clauses out of 22029 with flag 6260002/6260002
1201.43/1200.21	c cleaning 11003 clauses out of 22029 with flag 6271001/6271001
1203.64/1202.46	c cleaning 11003 clauses out of 22025 with flag 6282000/6282000
1205.84/1204.66	c cleaning 10990 clauses out of 22022 with flag 6293000/6293000
1208.04/1206.82	c cleaning 10997 clauses out of 22032 with flag 6304000/6304000
1210.24/1209.04	c cleaning 11011 clauses out of 22037 with flag 6315002/6315002
1212.55/1211.32	c cleaning 10997 clauses out of 22024 with flag 6326000/6326000
1214.75/1213.59	c cleaning 10995 clauses out of 22029 with flag 6337002/6337002
1217.05/1215.81	c cleaning 11006 clauses out of 22033 with flag 6348001/6348001
1219.25/1218.07	c cleaning 11001 clauses out of 22026 with flag 6359000/6359000
1221.55/1220.32	c cleaning 11004 clauses out of 22025 with flag 6370000/6370000
1223.76/1222.57	c cleaning 10998 clauses out of 22021 with flag 6381000/6381000
1226.06/1224.84	c cleaning 11005 clauses out of 22024 with flag 6392001/6392001
1228.16/1226.92	c cleaning 11001 clauses out of 22018 with flag 6403000/6403000
1230.46/1229.20	c cleaning 10996 clauses out of 22018 with flag 6414001/6414001
1232.66/1231.47	c cleaning 10989 clauses out of 22021 with flag 6425000/6425000
1234.97/1233.71	c cleaning 10998 clauses out of 22032 with flag 6436000/6436000
1237.17/1235.92	c cleaning 10997 clauses out of 22034 with flag 6447000/6447000
1239.17/1237.94	c cleaning 11010 clauses out of 22038 with flag 6458001/6458001
1241.17/1239.93	c cleaning 11008 clauses out of 22027 with flag 6469000/6469000
1243.18/1241.98	c cleaning 10994 clauses out of 22019 with flag 6480000/6480000
1245.28/1244.01	c cleaning 11001 clauses out of 22025 with flag 6491000/6491000
1247.28/1246.05	c cleaning 11000 clauses out of 22026 with flag 6502002/6502002
1249.38/1248.17	c cleaning 11002 clauses out of 22025 with flag 6513001/6513001
1251.48/1250.27	c cleaning 10990 clauses out of 22022 with flag 6524000/6524000
1253.68/1252.40	c cleaning 11008 clauses out of 22034 with flag 6535002/6535002
1255.79/1254.55	c cleaning 11008 clauses out of 22025 with flag 6546001/6546001
1257.99/1256.72	c cleaning 10990 clauses out of 22016 with flag 6557000/6557000
1260.09/1258.86	c cleaning 11002 clauses out of 22029 with flag 6568003/6568003
1262.39/1261.11	c cleaning 10999 clauses out of 22024 with flag 6579000/6579000
1264.79/1263.50	c cleaning 11000 clauses out of 22025 with flag 6590000/6590000
1266.89/1265.65	c cleaning 11003 clauses out of 22025 with flag 6601000/6601000
1268.90/1267.69	c cleaning 11001 clauses out of 22022 with flag 6612000/6612000
1271.10/1269.83	c cleaning 10990 clauses out of 22021 with flag 6623000/6623000
1273.30/1272.06	c cleaning 11003 clauses out of 22032 with flag 6634001/6634001
1275.40/1274.12	c cleaning 10998 clauses out of 22030 with flag 6645002/6645002
1277.71/1276.41	c cleaning 11000 clauses out of 22030 with flag 6656000/6656000
1279.91/1278.60	c cleaning 10997 clauses out of 22030 with flag 6667000/6667000
1282.11/1280.89	c cleaning 11007 clauses out of 22033 with flag 6678000/6678000
1284.41/1283.18	c cleaning 11002 clauses out of 22030 with flag 6689004/6689004
1286.61/1285.40	c cleaning 11003 clauses out of 22026 with flag 6700002/6700002
1288.92/1287.68	c cleaning 11001 clauses out of 22022 with flag 6711001/6711001
1291.22/1289.92	c cleaning 10995 clauses out of 22022 with flag 6722002/6722002
1293.32/1292.00	c cleaning 11001 clauses out of 22025 with flag 6733000/6733000
1295.52/1294.26	c cleaning 10997 clauses out of 22024 with flag 6744000/6744000
1297.72/1296.44	c cleaning 10996 clauses out of 22027 with flag 6755000/6755000
1300.12/1298.82	c cleaning 11002 clauses out of 22031 with flag 6766000/6766000
1301.33/1300.01	c starts		: 2339
1301.33/1300.01	c conflicts		: 6772364
1301.33/1300.01	c decisions		: 9170040
1301.33/1300.01	c propagations		: 1382593100
1301.33/1300.01	c inspects		: 8309066129
1301.33/1300.01	c shortcuts		: 0
1301.33/1300.01	c learnt literals	: 0
1301.33/1300.01	c learnt binary clauses	: 0
1301.33/1300.01	c learnt ternary clauses	: 89
1301.33/1300.01	c learnt constraints	: 6772365
1301.33/1300.01	c ignored constraints	: 0
1301.33/1300.01	c root simplifications	: 2339
1301.33/1300.01	c removed literals (reason simplification)	: 94461883
1301.33/1300.01	c reason swapping (by a shorter reason)	: 0
1301.33/1300.01	c Calls to reduceDB	: 617
1301.33/1300.01	c speed (assignments/second)	: 1063827.228442316
1301.33/1300.01	c non guided choices	246
1301.33/1300.04	c learnt constraints type 
1301.33/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17507
1301.33/1300.04	c constraints type 
1301.33/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10500
1301.33/1300.04	s UNKNOWN
1301.33/1300.04	c Total wall clock time (in seconds) : 1299.72

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-3190195-1302596814/watcher-3190195-1302596814 -o /tmp/evaluation-result-3190195-1302596814/solver-3190195-1302596814 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190195-1302596814.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: 0.93 1.03 1.39 2/178 23011
/proc/meminfo: memFree=16921832/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=9100 CPUtime=0 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 229 0 2 0 0 0 0 0 22 0 1 0 352097042 9318400 165 33554432000 1073741824 1073778376 140733566838272 18446744073709551615 264726403072 0 2147483391 4096 0 18446744071699207358 0 0 17 0 0 0 0
/proc/23011/statm: 2275 165 125 9 0 67 0

[startup+0.0456669 s]
/proc/loadavg: 0.93 1.03 1.39 2/178 23011
/proc/meminfo: memFree=16921832/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=23028 CPUtime=0 cores=0,2
/proc/23011/stat : 23011 (java) D 23007 23011 22972 0 -1 4202496 953 0 39 0 0 0 0 0 17 0 1 0 352097042 23580672 733 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 47693879856112 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 2
/proc/23011/statm: 5757 733 536 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100597 s]
/proc/loadavg: 0.93 1.03 1.39 2/178 23011
/proc/meminfo: memFree=16921832/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=28384 CPUtime=0 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 1122 0 59 0 0 0 0 0 17 0 2 0 352097042 29065216 906 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 7096 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.300505 s]
/proc/loadavg: 0.93 1.03 1.39 2/178 23011
/proc/meminfo: memFree=16921832/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7637020 CPUtime=0.11 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 10357 0 113 0 8 3 0 0 17 0 18 0 352097042 7820308480 10163 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1909255 10163 2094 9 0 1899993 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7637020

[startup+0.700462 s]
/proc/loadavg: 0.93 1.03 1.39 2/178 23011
/proc/meminfo: memFree=16921832/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7640484 CPUtime=0.88 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 15017 0 113 0 85 3 0 0 17 0 19 0 352097042 7823855616 13142 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1910121 13142 2224 9 0 1900859 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 7640484

[startup+1.50133 s]
/proc/loadavg: 0.93 1.03 1.39 6/262 23105
/proc/meminfo: memFree=16721376/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7640484 CPUtime=1.75 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 16627 0 113 0 171 4 0 0 17 0 19 0 352097042 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1910121 14748 2253 9 0 1900859 0
[pid=23011/tid=23015] ppid=23007 vsize=7640484 CPUtime=1.23 cores=0,2
/proc/23011/task/23015/stat : 23015 (java) R 23007 23011 22972 0 -1 4202560 9480 0 55 0 121 2 0 0 20 0 19 0 352097052 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 46912505568333 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23011/tid=23017] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23017/stat : 23017 (java) S 23007 23011 22972 0 -1 4202560 233 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23019] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23019/stat : 23019 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23021] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23021/stat : 23021 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23023] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23023/stat : 23023 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23025] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23025/stat : 23025 (java) S 23007 23011 22972 0 -1 4202560 91 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23027] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23027/stat : 23027 (java) S 23007 23011 22972 0 -1 4202560 232 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23029] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23029/stat : 23029 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23031] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23031/stat : 23031 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23032] ppid=23007 vsize=7640484 CPUtime=0.01 cores=0,2
/proc/23011/task/23032/stat : 23032 (java) S 23007 23011 22972 0 -1 4202560 564 0 0 0 1 0 0 0 16 0 19 0 352097058 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 0 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23036] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23036/stat : 23036 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23038] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23038/stat : 23038 (java) S 23007 23011 22972 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23051] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23051/stat : 23051 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738228657 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23052] ppid=23007 vsize=7640484 CPUtime=0.24 cores=0,2
/proc/23011/task/23052/stat : 23052 (java) S 23007 23011 22972 0 -1 4202560 1409 0 0 0 24 0 0 0 15 0 19 0 352097066 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23055] ppid=23007 vsize=7640484 CPUtime=0.23 cores=0,2
/proc/23011/task/23055/stat : 23055 (java) S 23007 23011 22972 0 -1 4202560 3516 0 0 0 23 0 0 0 16 0 19 0 352097066 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23057] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23057/stat : 23057 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 352097066 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23065] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23065/stat : 23065 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23102] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23102/stat : 23102 (java) S 23007 23011 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097081 7823855616 14748 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 7640484

[startup+3.10104 s]
/proc/loadavg: 0.93 1.03 1.39 9/262 23105
/proc/meminfo: memFree=16621308/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7640484 CPUtime=3.35 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 17278 0 113 0 331 4 0 0 17 0 19 0 352097042 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1910121 15398 2255 9 0 1900859 0
[pid=23011/tid=23015] ppid=23007 vsize=7640484 CPUtime=2.78 cores=0,2
/proc/23011/task/23015/stat : 23015 (java) R 23007 23011 22972 0 -1 4202560 9481 0 55 0 276 2 0 0 25 0 19 0 352097052 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 46912505714274 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23011/tid=23017] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23017/stat : 23017 (java) S 23007 23011 22972 0 -1 4202560 233 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23019] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23019/stat : 23019 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23021] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23021/stat : 23021 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23023] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23023/stat : 23023 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23025] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23025/stat : 23025 (java) S 23007 23011 22972 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23027] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23027/stat : 23027 (java) S 23007 23011 22972 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23029] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23029/stat : 23029 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23031] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23031/stat : 23031 (java) S 23007 23011 22972 0 -1 4202560 497 0 0 0 0 0 0 0 16 0 19 0 352097055 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23032] ppid=23007 vsize=7640484 CPUtime=0.02 cores=0,2
/proc/23011/task/23032/stat : 23032 (java) S 23007 23011 22972 0 -1 4202560 713 0 0 0 2 0 0 0 15 0 19 0 352097058 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 0 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23036] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23036/stat : 23036 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23038] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23038/stat : 23038 (java) S 23007 23011 22972 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23051] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23051/stat : 23051 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738228657 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23052] ppid=23007 vsize=7640484 CPUtime=0.27 cores=0,2
/proc/23011/task/23052/stat : 23052 (java) S 23007 23011 22972 0 -1 4202560 1414 0 0 0 27 0 0 0 15 0 19 0 352097066 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23055] ppid=23007 vsize=7640484 CPUtime=0.23 cores=0,2
/proc/23011/task/23055/stat : 23055 (java) S 23007 23011 22972 0 -1 4202560 3516 0 0 0 23 0 0 0 16 0 19 0 352097066 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23057] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23057/stat : 23057 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 352097066 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23065] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23065/stat : 23065 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23102] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23102/stat : 23102 (java) S 23007 23011 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097081 7823855616 15398 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 7640484

[startup+6.30143 s]
/proc/loadavg: 1.18 1.08 1.40 6/262 23106
/proc/meminfo: memFree=16597996/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7640484 CPUtime=6.55 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 17660 0 113 0 651 4 0 0 17 0 19 0 352097042 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1910121 15395 2255 9 0 1900859 0
[pid=23011/tid=23015] ppid=23007 vsize=7640484 CPUtime=5.88 cores=0,2
/proc/23011/task/23015/stat : 23015 (java) R 23007 23011 22972 0 -1 4202560 9486 0 55 0 586 2 0 0 22 0 19 0 352097052 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 46912505568495 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23011/tid=23017] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23017/stat : 23017 (java) S 23007 23011 22972 0 -1 4202560 233 0 0 0 0 0 0 0 18 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23019] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23019/stat : 23019 (java) S 23007 23011 22972 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23021] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23021/stat : 23021 (java) S 23007 23011 22972 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23023] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23023/stat : 23023 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23025] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23025/stat : 23025 (java) S 23007 23011 22972 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23027] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23027/stat : 23027 (java) S 23007 23011 22972 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23029] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23029/stat : 23029 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23031] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23031/stat : 23031 (java) S 23007 23011 22972 0 -1 4202560 654 0 0 0 0 0 0 0 15 0 19 0 352097055 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23032] ppid=23007 vsize=7640484 CPUtime=0.07 cores=0,2
/proc/23011/task/23032/stat : 23032 (java) S 23007 23011 22972 0 -1 4202560 858 0 0 0 7 0 0 0 16 0 19 0 352097058 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 0 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23036] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23036/stat : 23036 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23038] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23038/stat : 23038 (java) S 23007 23011 22972 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23051] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23051/stat : 23051 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738228657 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23052] ppid=23007 vsize=7640484 CPUtime=0.31 cores=0,2
/proc/23011/task/23052/stat : 23052 (java) S 23007 23011 22972 0 -1 4202560 1422 0 0 0 31 0 0 0 15 0 19 0 352097066 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23055] ppid=23007 vsize=7640484 CPUtime=0.23 cores=0,2
/proc/23011/task/23055/stat : 23055 (java) S 23007 23011 22972 0 -1 4202560 3516 0 0 0 23 0 0 0 16 0 19 0 352097066 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23057] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23057/stat : 23057 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 352097066 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23065] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23065/stat : 23065 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23102] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23102/stat : 23102 (java) S 23007 23011 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097081 7823855616 15395 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 7640484

[startup+12.7012 s]

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

[pid=23011/tid=23027] ppid=23007 vsize=7640484 CPUtime=0.28 cores=0,2
/proc/23011/task/23027/stat : 23027 (java) S 23007 23011 22972 0 -1 4202560 241 0 0 0 28 0 0 0 15 0 19 0 352097055 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23029] ppid=23007 vsize=7640484 CPUtime=0.24 cores=0,2
/proc/23011/task/23029/stat : 23029 (java) S 23007 23011 22972 0 -1 4202560 15 0 0 0 24 0 0 0 16 0 19 0 352097055 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23031] ppid=23007 vsize=7640484 CPUtime=0.29 cores=0,2
/proc/23011/task/23031/stat : 23031 (java) S 23007 23011 22972 0 -1 4202560 664 0 0 0 29 0 0 0 15 0 19 0 352097055 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23032] ppid=23007 vsize=7640484 CPUtime=11.25 cores=0,2
/proc/23011/task/23032/stat : 23032 (java) S 23007 23011 22972 0 -1 4202560 2738 0 0 0 1122 3 0 0 16 0 19 0 352097058 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 0 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23036] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23036/stat : 23036 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23038] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23038/stat : 23038 (java) S 23007 23011 22972 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23051] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23051/stat : 23051 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738228657 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23052] ppid=23007 vsize=7640484 CPUtime=0.33 cores=0,2
/proc/23011/task/23052/stat : 23052 (java) S 23007 23011 22972 0 -1 4202560 1436 0 0 0 33 0 0 0 15 0 19 0 352097066 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23055] ppid=23007 vsize=7640484 CPUtime=0.23 cores=0,2
/proc/23011/task/23055/stat : 23055 (java) S 23007 23011 22972 0 -1 4202560 3516 0 0 0 23 0 0 0 16 0 19 0 352097066 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23057] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23057/stat : 23057 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 352097066 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23065] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23065/stat : 23065 (java) S 23007 23011 22972 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 352097066 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23102] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23102/stat : 23102 (java) S 23007 23011 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097081 7823855616 17127 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.45
Current children cumulated vsize (KiB) 7640484

[startup+1182.3 s]
/proc/loadavg: 4.07 3.98 3.27 6/262 23137
/proc/meminfo: memFree=16453612/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7640484 CPUtime=1183.52 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 20399 0 113 0 118340 12 0 0 17 0 19 0 352097042 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1910121 17180 2256 9 0 1900859 0
[pid=23011/tid=23015] ppid=23007 vsize=7640484 CPUtime=1168.63 cores=0,2
/proc/23011/task/23015/stat : 23015 (java) R 23007 23011 22972 0 -1 4202560 10043 0 55 0 116859 4 0 0 20 0 19 0 352097052 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 46912505763854 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23011/tid=23017] ppid=23007 vsize=7640484 CPUtime=0.32 cores=0,2
/proc/23011/task/23017/stat : 23017 (java) S 23007 23011 22972 0 -1 4202560 317 0 0 0 32 0 0 0 15 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23019] ppid=23007 vsize=7640484 CPUtime=0.31 cores=0,2
/proc/23011/task/23019/stat : 23019 (java) S 23007 23011 22972 0 -1 4202560 55 0 0 0 31 0 0 0 16 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23021] ppid=23007 vsize=7640484 CPUtime=0.26 cores=0,2
/proc/23011/task/23021/stat : 23021 (java) S 23007 23011 22972 0 -1 4202560 35 0 0 0 26 0 0 0 15 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23023] ppid=23007 vsize=7640484 CPUtime=0.29 cores=0,2
/proc/23011/task/23023/stat : 23023 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 29 0 0 0 16 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23025] ppid=23007 vsize=7640484 CPUtime=0.29 cores=0,2
/proc/23011/task/23025/stat : 23025 (java) S 23007 23011 22972 0 -1 4202560 103 0 0 0 29 0 0 0 15 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23027] ppid=23007 vsize=7640484 CPUtime=0.3 cores=0,2
/proc/23011/task/23027/stat : 23027 (java) S 23007 23011 22972 0 -1 4202560 243 0 0 0 30 0 0 0 15 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23029] ppid=23007 vsize=7640484 CPUtime=0.27 cores=0,2
/proc/23011/task/23029/stat : 23029 (java) S 23007 23011 22972 0 -1 4202560 16 0 0 0 27 0 0 0 16 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23031] ppid=23007 vsize=7640484 CPUtime=0.31 cores=0,2
/proc/23011/task/23031/stat : 23031 (java) S 23007 23011 22972 0 -1 4202560 664 0 0 0 31 0 0 0 15 0 19 0 352097055 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23032] ppid=23007 vsize=7640484 CPUtime=11.88 cores=0,2
/proc/23011/task/23032/stat : 23032 (java) S 23007 23011 22972 0 -1 4202560 2790 0 0 0 1185 3 0 0 15 0 19 0 352097058 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 0 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23036] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23036/stat : 23036 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23038] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23038/stat : 23038 (java) S 23007 23011 22972 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23051] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23051/stat : 23051 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738228657 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23052] ppid=23007 vsize=7640484 CPUtime=0.33 cores=0,2
/proc/23011/task/23052/stat : 23052 (java) S 23007 23011 22972 0 -1 4202560 1436 0 0 0 33 0 0 0 15 0 19 0 352097066 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23055] ppid=23007 vsize=7640484 CPUtime=0.23 cores=0,2
/proc/23011/task/23055/stat : 23055 (java) S 23007 23011 22972 0 -1 4202560 3516 0 0 0 23 0 0 0 16 0 19 0 352097066 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23057] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23057/stat : 23057 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 352097066 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23065] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23065/stat : 23065 (java) R 23007 23011 22972 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 352097066 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23011/tid=23102] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23102/stat : 23102 (java) S 23007 23011 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097081 7823855616 17180 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.52
Current children cumulated vsize (KiB) 7640484

[startup+1242.3 s]
/proc/loadavg: 4.02 3.98 3.31 6/262 23138
/proc/meminfo: memFree=16451092/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7640484 CPUtime=1243.57 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 20483 0 113 0 124345 12 0 0 17 0 19 0 352097042 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1910121 17228 2256 9 0 1900859 0
[pid=23011/tid=23015] ppid=23007 vsize=7640484 CPUtime=1227.89 cores=0,2
/proc/23011/task/23015/stat : 23015 (java) R 23007 23011 22972 0 -1 4202560 10071 0 55 0 122785 4 0 0 25 0 19 0 352097052 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 46912505713915 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23011/tid=23017] ppid=23007 vsize=7640484 CPUtime=0.34 cores=0,2
/proc/23011/task/23017/stat : 23017 (java) S 23007 23011 22972 0 -1 4202560 317 0 0 0 34 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23019] ppid=23007 vsize=7640484 CPUtime=0.32 cores=0,2
/proc/23011/task/23019/stat : 23019 (java) S 23007 23011 22972 0 -1 4202560 56 0 0 0 32 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23021] ppid=23007 vsize=7640484 CPUtime=0.27 cores=0,2
/proc/23011/task/23021/stat : 23021 (java) S 23007 23011 22972 0 -1 4202560 35 0 0 0 27 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23023] ppid=23007 vsize=7640484 CPUtime=0.3 cores=0,2
/proc/23011/task/23023/stat : 23023 (java) S 23007 23011 22972 0 -1 4202560 18 0 0 0 30 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23025] ppid=23007 vsize=7640484 CPUtime=0.31 cores=0,2
/proc/23011/task/23025/stat : 23025 (java) S 23007 23011 22972 0 -1 4202560 104 0 0 0 31 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23027] ppid=23007 vsize=7640484 CPUtime=0.33 cores=0,2
/proc/23011/task/23027/stat : 23027 (java) S 23007 23011 22972 0 -1 4202560 243 0 0 0 33 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23029] ppid=23007 vsize=7640484 CPUtime=0.29 cores=0,2
/proc/23011/task/23029/stat : 23029 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 29 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23031] ppid=23007 vsize=7640484 CPUtime=0.33 cores=0,2
/proc/23011/task/23031/stat : 23031 (java) S 23007 23011 22972 0 -1 4202560 666 0 0 0 33 0 0 0 15 0 19 0 352097055 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23032] ppid=23007 vsize=7640484 CPUtime=12.53 cores=0,2
/proc/23011/task/23032/stat : 23032 (java) S 23007 23011 22972 0 -1 4202560 2836 0 0 0 1250 3 0 0 16 0 19 0 352097058 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 0 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23036] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23036/stat : 23036 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23038] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23038/stat : 23038 (java) S 23007 23011 22972 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23051] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23051/stat : 23051 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738228657 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23052] ppid=23007 vsize=7640484 CPUtime=0.33 cores=0,2
/proc/23011/task/23052/stat : 23052 (java) S 23007 23011 22972 0 -1 4202560 1436 0 0 0 33 0 0 0 15 0 19 0 352097066 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23055] ppid=23007 vsize=7640484 CPUtime=0.23 cores=0,2
/proc/23011/task/23055/stat : 23055 (java) S 23007 23011 22972 0 -1 4202560 3516 0 0 0 23 0 0 0 16 0 19 0 352097066 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23057] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23057/stat : 23057 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 352097066 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23065] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23065/stat : 23065 (java) S 23007 23011 22972 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 352097066 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23102] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23102/stat : 23102 (java) S 23007 23011 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097081 7823855616 17228 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.57
Current children cumulated vsize (KiB) 7640484



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 3.98 3.35 6/262 23140
/proc/meminfo: memFree=16449428/32951124 swapFree=67111528/67111528
[pid=23011] ppid=23007 vsize=7640484 CPUtime=1301.33 cores=0,2
/proc/23011/stat : 23011 (java) S 23007 23011 22972 0 -1 4202496 20566 0 113 0 130120 13 0 0 17 0 19 0 352097042 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/23011/statm: 1910121 17277 2256 9 0 1900859 0
[pid=23011/tid=23015] ppid=23007 vsize=7640484 CPUtime=1284.91 cores=0,2
/proc/23011/task/23015/stat : 23015 (java) R 23007 23011 22972 0 -1 4202560 10097 0 55 0 128486 5 0 0 19 0 19 0 352097052 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 46912505624927 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23011/tid=23017] ppid=23007 vsize=7640484 CPUtime=0.36 cores=0,2
/proc/23011/task/23017/stat : 23017 (java) S 23007 23011 22972 0 -1 4202560 317 0 0 0 36 0 0 0 15 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23019] ppid=23007 vsize=7640484 CPUtime=0.33 cores=0,2
/proc/23011/task/23019/stat : 23019 (java) S 23007 23011 22972 0 -1 4202560 57 0 0 0 33 0 0 0 15 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23021] ppid=23007 vsize=7640484 CPUtime=0.28 cores=0,2
/proc/23011/task/23021/stat : 23021 (java) S 23007 23011 22972 0 -1 4202560 36 0 0 0 28 0 0 0 15 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23023] ppid=23007 vsize=7640484 CPUtime=0.31 cores=0,2
/proc/23011/task/23023/stat : 23023 (java) S 23007 23011 22972 0 -1 4202560 18 0 0 0 31 0 0 0 15 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23025] ppid=23007 vsize=7640484 CPUtime=0.32 cores=0,2
/proc/23011/task/23025/stat : 23025 (java) S 23007 23011 22972 0 -1 4202560 104 0 0 0 32 0 0 0 15 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23027] ppid=23007 vsize=7640484 CPUtime=0.35 cores=0,2
/proc/23011/task/23027/stat : 23027 (java) S 23007 23011 22972 0 -1 4202560 243 0 0 0 35 0 0 0 15 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23029] ppid=23007 vsize=7640484 CPUtime=0.3 cores=0,2
/proc/23011/task/23029/stat : 23029 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 30 0 0 0 16 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23031] ppid=23007 vsize=7640484 CPUtime=0.35 cores=0,2
/proc/23011/task/23031/stat : 23031 (java) S 23007 23011 22972 0 -1 4202560 666 0 0 0 35 0 0 0 15 0 19 0 352097055 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23032] ppid=23007 vsize=7640484 CPUtime=13.15 cores=0,2
/proc/23011/task/23032/stat : 23032 (java) S 23007 23011 22972 0 -1 4202560 2887 0 0 0 1311 4 0 0 15 0 19 0 352097058 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 0 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23036] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23036/stat : 23036 (java) S 23007 23011 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23038] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23038/stat : 23038 (java) S 23007 23011 22972 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352097059 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23051] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23051/stat : 23051 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738228657 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23052] ppid=23007 vsize=7640484 CPUtime=0.33 cores=0,2
/proc/23011/task/23052/stat : 23052 (java) S 23007 23011 22972 0 -1 4202560 1436 0 0 0 33 0 0 0 15 0 19 0 352097066 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 0 0 0 0
[pid=23011/tid=23055] ppid=23007 vsize=7640484 CPUtime=0.23 cores=0,2
/proc/23011/task/23055/stat : 23055 (java) S 23007 23011 22972 0 -1 4202560 3516 0 0 0 23 0 0 0 16 0 19 0 352097066 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23057] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23057/stat : 23057 (java) S 23007 23011 22972 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 352097066 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738220953 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23065] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23065/stat : 23065 (java) S 23007 23011 22972 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 352097066 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
[pid=23011/tid=23102] ppid=23007 vsize=7640484 CPUtime=0 cores=0,2
/proc/23011/task/23102/stat : 23102 (java) S 23007 23011 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097081 7823855616 17277 33554432000 1073741824 1073778376 140737297327856 18446744073709551615 264738221568 0 4 0 16800975 18446604453947385920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 7640484

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.42
CPU user time (s): 1301.28
CPU system time (s): 0.141978
CPU usage (%): 100.105
Max. virtual memory (cumulated for all children) (KiB): 7640484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.28
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20617
page faults= 113
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45374
involuntary context switches= 16331

runsolver used 2.38364 second user time and 5.14422 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-12 10:26:54
IDJOB=3190195
IDBENCH=82526
IDSOLVER=1611
FILE ID=node141/3190195-1302596814
RUNJOBID= node141-1302596814-22990
PBS_JOBID= 12958091
Free space on /tmp= 71524 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v2500-c10500-S924370159-018-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-3190195-1302596814/watcher-3190195-1302596814 -o /tmp/evaluation-result-3190195-1302596814/solver-3190195-1302596814 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190195-1302596814.cnf

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

MD5SUM BENCH= 392862e8cb399d235b8f33dd872803fb
RANDOM SEED=1001271373

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16922384 kB
Buffers:        765720 kB
Cached:       14806188 kB
SwapCached:          0 kB
Active:        8875084 kB
Inactive:      6759804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16922384 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1212 kB
Writeback:           0 kB
AnonPages:       62416 kB
Mapped:          14416 kB
Slab:           328372 kB
PageTables:       5084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   181832 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= 71520 MiB
End job on node141 at 2011-04-12 10:48:36