Trace number 3190223

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.54 1300.03

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf
MD5SUM875a8b1e044c25599d3c66c1e66d27f4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.247961
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.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.09	c no version file found!!!
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		6997539544
0.05/0.09	c Max memory 		7034241024
0.05/0.09	c Total memory 		7034241024
0.05/0.09	c Number of processors 	8
0.05/0.09	c --- Begin Solver configuration ---
0.05/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.05/0.09	c Learn all clauses as in MiniSAT
0.05/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.09	c Expensive reason simplification
0.05/0.09	c Armin Biere (Picosat) restarts strategy
0.05/0.09	c Glucose learned constraints deletion strategy
0.05/0.09	c timeout=2147483647s
0.05/0.09	c DB Simplification allowed=true
0.05/0.09	c --- End Solver configuration ---
0.05/0.09	c solving HOME/instance-3190223-1302597356.cnf
0.05/0.09	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.069s.
0.10/0.16	c #vars     2500
0.10/0.16	c #constraints  10500
0.10/0.16	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10500
1.37/1.08	c cleaning 2497 clauses out of 5002 with flag 5002/5002
2.28/1.91	c cleaning 4250 clauses out of 8503 with flag 11000/11000
3.28/2.90	c cleaning 5624 clauses out of 11253 with flag 18000/18000
4.39/4.07	c cleaning 6808 clauses out of 13630 with flag 26001/26001
5.70/5.39	c cleaning 7903 clauses out of 15821 with flag 35000/35000
7.30/6.97	c cleaning 8958 clauses out of 17919 with flag 45001/45001
9.00/8.70	c cleaning 9978 clauses out of 19960 with flag 56000/56000
10.91/10.51	c cleaning 10486 clauses out of 20982 with flag 67000/67000
12.61/12.27	c cleaning 10745 clauses out of 21496 with flag 78000/78000
14.41/14.05	c cleaning 10872 clauses out of 21751 with flag 89000/89000
16.21/15.82	c cleaning 10935 clauses out of 21879 with flag 100000/100000
18.02/17.61	c cleaning 10970 clauses out of 21944 with flag 111000/111000
19.71/19.35	c cleaning 10987 clauses out of 21975 with flag 122001/122001
21.41/21.09	c cleaning 10981 clauses out of 21987 with flag 133000/133000
23.21/22.86	c cleaning 10996 clauses out of 22007 with flag 144001/144001
25.01/24.65	c cleaning 11003 clauses out of 22010 with flag 155000/155000
26.72/26.38	c cleaning 10995 clauses out of 22008 with flag 166001/166001
28.51/28.13	c cleaning 11004 clauses out of 22012 with flag 177000/177000
30.21/29.88	c cleaning 10998 clauses out of 22009 with flag 188001/188001
32.02/31.65	c cleaning 11000 clauses out of 22010 with flag 199000/199000
33.81/33.45	c cleaning 11002 clauses out of 22011 with flag 210001/210001
35.63/35.22	c cleaning 11000 clauses out of 22009 with flag 221001/221001
37.43/37.00	c cleaning 11000 clauses out of 22009 with flag 232001/232001
39.23/38.81	c cleaning 11001 clauses out of 22009 with flag 243001/243001
40.93/40.60	c cleaning 10997 clauses out of 22007 with flag 254000/254000
42.83/42.40	c cleaning 11007 clauses out of 22015 with flag 265005/265005
44.53/44.13	c cleaning 10998 clauses out of 22005 with flag 276002/276002
46.33/45.90	c cleaning 10993 clauses out of 22007 with flag 287002/287002
48.13/47.70	c cleaning 11005 clauses out of 22014 with flag 298002/298002
49.84/49.42	c cleaning 11000 clauses out of 22008 with flag 309001/309001
51.63/51.20	c cleaning 10996 clauses out of 22007 with flag 320000/320000
53.43/53.02	c cleaning 10997 clauses out of 22011 with flag 331000/331000
55.14/54.78	c cleaning 10999 clauses out of 22014 with flag 342000/342000
56.94/56.56	c cleaning 10991 clauses out of 22015 with flag 353000/353000
58.74/58.39	c cleaning 11006 clauses out of 22024 with flag 364000/364000
60.54/60.16	c cleaning 11001 clauses out of 22020 with flag 375002/375002
62.24/61.87	c cleaning 11003 clauses out of 22017 with flag 386000/386000
64.04/63.66	c cleaning 10998 clauses out of 22015 with flag 397001/397001
65.84/65.46	c cleaning 11004 clauses out of 22017 with flag 408001/408001
67.64/67.22	c cleaning 10990 clauses out of 22012 with flag 419000/419000
69.34/68.97	c cleaning 11005 clauses out of 22022 with flag 430000/430000
71.14/70.74	c cleaning 10997 clauses out of 22018 with flag 441001/441001
73.05/72.60	c cleaning 11008 clauses out of 22021 with flag 452001/452001
74.75/74.32	c cleaning 11000 clauses out of 22012 with flag 463000/463000
76.45/76.09	c cleaning 10997 clauses out of 22012 with flag 474000/474000
78.35/77.90	c cleaning 11001 clauses out of 22015 with flag 485000/485000
80.15/79.74	c cleaning 10997 clauses out of 22014 with flag 496000/496000
81.95/81.55	c cleaning 11001 clauses out of 22017 with flag 507000/507000
83.75/83.32	c cleaning 10998 clauses out of 22016 with flag 518000/518000
85.45/85.09	c cleaning 11001 clauses out of 22018 with flag 529000/529000
87.26/86.90	c cleaning 11000 clauses out of 22018 with flag 540001/540001
89.16/88.76	c cleaning 11007 clauses out of 22017 with flag 551000/551000
90.96/90.56	c cleaning 10998 clauses out of 22011 with flag 562001/562001
92.76/92.32	c cleaning 10997 clauses out of 22012 with flag 573000/573000
94.56/94.12	c cleaning 11003 clauses out of 22015 with flag 584000/584000
96.36/95.93	c cleaning 10997 clauses out of 22012 with flag 595000/595000
98.16/97.75	c cleaning 11004 clauses out of 22015 with flag 606000/606000
99.96/99.56	c cleaning 10989 clauses out of 22011 with flag 617000/617000
101.76/101.33	c cleaning 11004 clauses out of 22023 with flag 628001/628001
103.56/103.11	c cleaning 11000 clauses out of 22018 with flag 639000/639000
105.27/104.90	c cleaning 10998 clauses out of 22019 with flag 650001/650001
107.07/106.68	c cleaning 11003 clauses out of 22023 with flag 661003/661003
108.97/108.52	c cleaning 10991 clauses out of 22017 with flag 672000/672000
110.77/110.35	c cleaning 11003 clauses out of 22028 with flag 683002/683002
112.57/112.11	c cleaning 11010 clauses out of 22025 with flag 694002/694002
114.27/113.89	c cleaning 11005 clauses out of 22013 with flag 705000/705000
116.17/115.71	c cleaning 11003 clauses out of 22010 with flag 716002/716002
117.87/117.49	c cleaning 11000 clauses out of 22006 with flag 727001/727001
119.77/119.31	c cleaning 10986 clauses out of 22005 with flag 738000/738000
121.67/121.23	c cleaning 11005 clauses out of 22021 with flag 749002/749002
123.37/122.98	c cleaning 10998 clauses out of 22017 with flag 760003/760003
125.17/124.79	c cleaning 10998 clauses out of 22018 with flag 771002/771002
127.07/126.60	c cleaning 10994 clauses out of 22018 with flag 782000/782000
128.88/128.42	c cleaning 10998 clauses out of 22027 with flag 793003/793003
130.70/130.22	c cleaning 11000 clauses out of 22027 with flag 804001/804001
132.50/132.02	c cleaning 11005 clauses out of 22026 with flag 815000/815000
134.40/133.94	c cleaning 11009 clauses out of 22023 with flag 826002/826002
136.20/135.72	c cleaning 11000 clauses out of 22013 with flag 837001/837001
138.01/137.51	c cleaning 11003 clauses out of 22012 with flag 848000/848000
139.80/139.30	c cleaning 11000 clauses out of 22009 with flag 859000/859000
141.60/141.13	c cleaning 11000 clauses out of 22010 with flag 870001/870001
143.41/142.92	c cleaning 11000 clauses out of 22012 with flag 881003/881003
145.20/144.79	c cleaning 10992 clauses out of 22009 with flag 892000/892000
147.10/146.60	c cleaning 11001 clauses out of 22017 with flag 903000/903000
148.91/148.46	c cleaning 11006 clauses out of 22016 with flag 914000/914000
150.71/150.20	c cleaning 10997 clauses out of 22012 with flag 925002/925002
152.41/151.95	c cleaning 10999 clauses out of 22014 with flag 936001/936001
154.22/153.76	c cleaning 10994 clauses out of 22014 with flag 947000/947000
156.02/155.55	c cleaning 11005 clauses out of 22020 with flag 958000/958000
157.82/157.34	c cleaning 10998 clauses out of 22015 with flag 969000/969000
159.62/159.16	c cleaning 11001 clauses out of 22018 with flag 980001/980001
161.52/161.03	c cleaning 10992 clauses out of 22018 with flag 991002/991002
163.42/162.91	c cleaning 10998 clauses out of 22024 with flag 1002000/1002000
165.22/164.77	c cleaning 11008 clauses out of 22026 with flag 1013000/1013000
167.02/166.54	c cleaning 11004 clauses out of 22020 with flag 1024002/1024002
168.83/168.33	c cleaning 10999 clauses out of 22015 with flag 1035001/1035001
170.62/170.16	c cleaning 11000 clauses out of 22015 with flag 1046000/1046000
172.53/172.00	c cleaning 10994 clauses out of 22018 with flag 1057003/1057003
174.33/173.81	c cleaning 10989 clauses out of 22021 with flag 1068000/1068000
176.13/175.70	c cleaning 11008 clauses out of 22032 with flag 1079000/1079000
178.03/177.55	c cleaning 11005 clauses out of 22026 with flag 1090002/1090002
179.84/179.39	c cleaning 10998 clauses out of 22019 with flag 1101000/1101000
181.73/181.21	c cleaning 11002 clauses out of 22023 with flag 1112002/1112002
183.53/183.00	c cleaning 11004 clauses out of 22019 with flag 1123000/1123000
185.24/184.75	c cleaning 10996 clauses out of 22016 with flag 1134001/1134001
187.03/186.56	c cleaning 10999 clauses out of 22019 with flag 1145000/1145000
188.83/188.36	c cleaning 11002 clauses out of 22021 with flag 1156001/1156001
190.63/190.18	c cleaning 11002 clauses out of 22018 with flag 1167000/1167000
192.53/192.06	c cleaning 11000 clauses out of 22016 with flag 1178000/1178000
194.44/193.91	c cleaning 10996 clauses out of 22016 with flag 1189000/1189000
196.34/195.82	c cleaning 11004 clauses out of 22020 with flag 1200000/1200000
198.24/197.77	c cleaning 11003 clauses out of 22017 with flag 1211001/1211001
200.24/199.73	c cleaning 10999 clauses out of 22014 with flag 1222001/1222001
202.14/201.69	c cleaning 11001 clauses out of 22014 with flag 1233000/1233000
203.95/203.43	c cleaning 10995 clauses out of 22013 with flag 1244000/1244000
205.75/205.20	c cleaning 11004 clauses out of 22020 with flag 1255002/1255002
207.55/207.03	c cleaning 11001 clauses out of 22016 with flag 1266002/1266002
209.35/208.84	c cleaning 10999 clauses out of 22014 with flag 1277001/1277001
211.25/210.75	c cleaning 11002 clauses out of 22014 with flag 1288000/1288000
213.05/212.58	c cleaning 10996 clauses out of 22012 with flag 1299000/1299000
214.96/214.47	c cleaning 10994 clauses out of 22019 with flag 1310003/1310003
216.85/216.37	c cleaning 11003 clauses out of 22025 with flag 1321003/1321003
218.75/218.22	c cleaning 11000 clauses out of 22022 with flag 1332003/1332003
220.66/220.12	c cleaning 10999 clauses out of 22019 with flag 1343000/1343000
222.46/221.97	c cleaning 11002 clauses out of 22021 with flag 1354001/1354001
224.36/223.84	c cleaning 11007 clauses out of 22020 with flag 1365002/1365002
226.16/225.61	c cleaning 11000 clauses out of 22012 with flag 1376001/1376001
227.86/227.39	c cleaning 10997 clauses out of 22011 with flag 1387000/1387000
229.76/229.27	c cleaning 10988 clauses out of 22015 with flag 1398001/1398001
231.66/231.14	c cleaning 11008 clauses out of 22026 with flag 1409000/1409000
233.57/233.04	c cleaning 10993 clauses out of 22018 with flag 1420000/1420000
235.47/234.92	c cleaning 11004 clauses out of 22027 with flag 1431002/1431002
237.37/236.87	c cleaning 10995 clauses out of 22024 with flag 1442003/1442003
239.37/238.81	c cleaning 10994 clauses out of 22026 with flag 1453000/1453000
241.27/240.76	c cleaning 11007 clauses out of 22032 with flag 1464000/1464000
243.17/242.67	c cleaning 10990 clauses out of 22025 with flag 1475000/1475000
245.27/244.70	c cleaning 11003 clauses out of 22035 with flag 1486000/1486000
247.18/246.67	c cleaning 11010 clauses out of 22033 with flag 1497001/1497001
249.08/248.51	c cleaning 11005 clauses out of 22022 with flag 1508000/1508000
250.88/250.32	c cleaning 11001 clauses out of 22018 with flag 1519001/1519001
252.68/252.12	c cleaning 10999 clauses out of 22017 with flag 1530001/1530001
254.48/253.93	c cleaning 11001 clauses out of 22017 with flag 1541000/1541000
256.28/255.79	c cleaning 10996 clauses out of 22020 with flag 1552004/1552004
258.18/257.63	c cleaning 10999 clauses out of 22020 with flag 1563000/1563000
260.09/259.51	c cleaning 10999 clauses out of 22021 with flag 1574000/1574000
261.89/261.36	c cleaning 11004 clauses out of 22022 with flag 1585000/1585000
263.79/263.23	c cleaning 10996 clauses out of 22020 with flag 1596002/1596002
265.69/265.18	c cleaning 11004 clauses out of 22023 with flag 1607001/1607001
267.69/267.11	c cleaning 11005 clauses out of 22020 with flag 1618002/1618002
269.59/269.06	c cleaning 10988 clauses out of 22013 with flag 1629000/1629000
271.59/271.06	c cleaning 10998 clauses out of 22025 with flag 1640000/1640000
273.59/273.03	c cleaning 11003 clauses out of 22027 with flag 1651000/1651000
275.39/274.87	c cleaning 11011 clauses out of 22024 with flag 1662000/1662000
277.19/276.67	c cleaning 10998 clauses out of 22013 with flag 1673000/1673000
279.00/278.45	c cleaning 10994 clauses out of 22015 with flag 1684000/1684000
280.80/280.26	c cleaning 10998 clauses out of 22021 with flag 1695000/1695000
282.71/282.13	c cleaning 11005 clauses out of 22023 with flag 1706000/1706000
284.61/284.00	c cleaning 10998 clauses out of 22018 with flag 1717000/1717000
286.52/285.92	c cleaning 11002 clauses out of 22021 with flag 1728001/1728001
288.31/287.79	c cleaning 10999 clauses out of 22018 with flag 1739000/1739000
290.31/289.72	c cleaning 10995 clauses out of 22019 with flag 1750000/1750000
292.21/291.61	c cleaning 10998 clauses out of 22026 with flag 1761002/1761002
294.22/293.62	c cleaning 11005 clauses out of 22026 with flag 1772000/1772000
296.22/295.67	c cleaning 10995 clauses out of 22021 with flag 1783000/1783000
298.12/297.60	c cleaning 10994 clauses out of 22026 with flag 1794000/1794000
300.12/299.50	c cleaning 11003 clauses out of 22032 with flag 1805000/1805000
301.92/301.32	c cleaning 11002 clauses out of 22031 with flag 1816002/1816002
303.92/303.30	c cleaning 11007 clauses out of 22027 with flag 1827000/1827000
305.72/305.10	c cleaning 11007 clauses out of 22020 with flag 1838000/1838000
307.43/306.85	c cleaning 11001 clauses out of 22013 with flag 1849000/1849000
309.22/308.68	c cleaning 11006 clauses out of 22014 with flag 1860002/1860002
311.12/310.50	c cleaning 10994 clauses out of 22006 with flag 1871000/1871000
312.93/312.33	c cleaning 10993 clauses out of 22012 with flag 1882000/1882000
314.82/314.20	c cleaning 10997 clauses out of 22020 with flag 1893001/1893001
316.72/316.11	c cleaning 11005 clauses out of 22023 with flag 1904001/1904001
318.63/318.02	c cleaning 10998 clauses out of 22018 with flag 1915001/1915001
320.43/319.89	c cleaning 10987 clauses out of 22019 with flag 1926000/1926000
322.33/321.75	c cleaning 11005 clauses out of 22033 with flag 1937001/1937001
324.23/323.63	c cleaning 11009 clauses out of 22029 with flag 1948002/1948002
326.03/325.48	c cleaning 11003 clauses out of 22019 with flag 1959001/1959001
328.03/327.42	c cleaning 10994 clauses out of 22015 with flag 1970000/1970000
330.03/329.46	c cleaning 11004 clauses out of 22025 with flag 1981004/1981004
332.04/331.47	c cleaning 10994 clauses out of 22017 with flag 1992000/1992000
333.94/333.36	c cleaning 10997 clauses out of 22025 with flag 2003002/2003002
335.94/335.36	c cleaning 11007 clauses out of 22028 with flag 2014002/2014002
337.74/337.16	c cleaning 11005 clauses out of 22020 with flag 2025001/2025001
339.54/338.93	c cleaning 11001 clauses out of 22015 with flag 2036001/2036001
341.34/340.72	c cleaning 10996 clauses out of 22013 with flag 2047000/2047000
343.14/342.56	c cleaning 11001 clauses out of 22017 with flag 2058000/2058000
345.04/344.42	c cleaning 11002 clauses out of 22016 with flag 2069000/2069000
346.94/346.34	c cleaning 10997 clauses out of 22014 with flag 2080000/2080000
348.84/348.26	c cleaning 10998 clauses out of 22018 with flag 2091001/2091001
350.74/350.17	c cleaning 11002 clauses out of 22020 with flag 2102001/2102001
352.65/352.07	c cleaning 11001 clauses out of 22019 with flag 2113002/2113002
354.55/353.98	c cleaning 10997 clauses out of 22016 with flag 2124000/2124000
356.45/355.89	c cleaning 11002 clauses out of 22021 with flag 2135002/2135002
358.45/357.82	c cleaning 10989 clauses out of 22017 with flag 2146000/2146000
360.36/359.79	c cleaning 11002 clauses out of 22029 with flag 2157001/2157001
362.46/361.87	c cleaning 10997 clauses out of 22026 with flag 2168000/2168000
364.45/363.84	c cleaning 10999 clauses out of 22030 with flag 2179001/2179001
366.35/365.72	c cleaning 11006 clauses out of 22031 with flag 2190001/2190001
368.36/367.74	c cleaning 10998 clauses out of 22025 with flag 2201001/2201001
370.27/369.63	c cleaning 11001 clauses out of 22026 with flag 2212000/2212000
372.26/371.62	c cleaning 11011 clauses out of 22026 with flag 2223001/2223001
373.96/373.38	c cleaning 10998 clauses out of 22014 with flag 2234000/2234000
375.77/375.15	c cleaning 10999 clauses out of 22016 with flag 2245000/2245000
377.56/376.95	c cleaning 11000 clauses out of 22019 with flag 2256002/2256002
379.37/378.79	c cleaning 11004 clauses out of 22020 with flag 2267003/2267003
381.27/380.61	c cleaning 10997 clauses out of 22013 with flag 2278000/2278000
383.07/382.46	c cleaning 10998 clauses out of 22020 with flag 2289004/2289004
384.87/384.29	c cleaning 11000 clauses out of 22019 with flag 2300001/2300001
386.78/386.16	c cleaning 11005 clauses out of 22018 with flag 2311000/2311000
388.67/388.07	c cleaning 10994 clauses out of 22013 with flag 2322000/2322000
390.57/389.90	c cleaning 11006 clauses out of 22022 with flag 2333003/2333003
392.37/391.78	c cleaning 10994 clauses out of 22014 with flag 2344001/2344001
394.38/393.72	c cleaning 11002 clauses out of 22024 with flag 2355005/2355005
396.28/395.67	c cleaning 11000 clauses out of 22018 with flag 2366001/2366001
398.29/397.63	c cleaning 11004 clauses out of 22018 with flag 2377001/2377001
400.39/399.72	c cleaning 10995 clauses out of 22013 with flag 2388000/2388000
402.29/401.62	c cleaning 10996 clauses out of 22021 with flag 2399003/2399003
404.30/403.64	c cleaning 11002 clauses out of 22022 with flag 2410000/2410000
406.29/405.67	c cleaning 11000 clauses out of 22020 with flag 2421000/2421000
408.29/407.65	c cleaning 11005 clauses out of 22021 with flag 2432001/2432001
410.19/409.59	c cleaning 10997 clauses out of 22015 with flag 2443000/2443000
412.20/411.52	c cleaning 11008 clauses out of 22019 with flag 2454001/2454001
414.00/413.33	c cleaning 10998 clauses out of 22010 with flag 2465000/2465000
415.80/415.13	c cleaning 11001 clauses out of 22013 with flag 2476001/2476001
417.60/416.93	c cleaning 11001 clauses out of 22011 with flag 2487000/2487000
419.40/418.78	c cleaning 10996 clauses out of 22010 with flag 2498000/2498000
421.40/420.71	c cleaning 11003 clauses out of 22015 with flag 2509001/2509001
423.20/422.58	c cleaning 10998 clauses out of 22012 with flag 2520001/2520001
425.10/424.40	c cleaning 10997 clauses out of 22014 with flag 2531001/2531001
427.01/426.33	c cleaning 10998 clauses out of 22021 with flag 2542005/2542005
428.80/428.18	c cleaning 10998 clauses out of 22018 with flag 2553000/2553000
430.71/430.10	c cleaning 10999 clauses out of 22020 with flag 2564000/2564000
432.71/432.03	c cleaning 11000 clauses out of 22021 with flag 2575000/2575000
434.61/433.91	c cleaning 10992 clauses out of 22022 with flag 2586001/2586001
436.51/435.80	c cleaning 11001 clauses out of 22030 with flag 2597001/2597001
438.42/437.71	c cleaning 11003 clauses out of 22030 with flag 2608002/2608002
440.41/439.75	c cleaning 10996 clauses out of 22025 with flag 2619000/2619000
442.31/441.68	c cleaning 11002 clauses out of 22029 with flag 2630000/2630000
444.21/443.59	c cleaning 10997 clauses out of 22027 with flag 2641000/2641000
446.22/445.57	c cleaning 10997 clauses out of 22031 with flag 2652001/2652001
448.12/447.48	c cleaning 11003 clauses out of 22034 with flag 2663001/2663001
450.12/449.48	c cleaning 11010 clauses out of 22032 with flag 2674002/2674002
452.02/451.38	c cleaning 11003 clauses out of 22021 with flag 2685001/2685001
454.02/453.35	c cleaning 10997 clauses out of 22017 with flag 2696000/2696000
455.92/455.20	c cleaning 11003 clauses out of 22021 with flag 2707001/2707001
457.62/456.98	c cleaning 10997 clauses out of 22019 with flag 2718002/2718002
459.43/458.77	c cleaning 10999 clauses out of 22021 with flag 2729001/2729001
461.22/460.57	c cleaning 11003 clauses out of 22022 with flag 2740001/2740001
463.13/462.46	c cleaning 11000 clauses out of 22020 with flag 2751002/2751002
464.93/464.29	c cleaning 10996 clauses out of 22018 with flag 2762000/2762000
466.83/466.19	c cleaning 11003 clauses out of 22022 with flag 2773000/2773000
468.73/468.06	c cleaning 11001 clauses out of 22020 with flag 2784001/2784001
470.63/469.98	c cleaning 11001 clauses out of 22019 with flag 2795001/2795001
472.64/471.92	c cleaning 10999 clauses out of 22017 with flag 2806000/2806000
474.63/473.94	c cleaning 10999 clauses out of 22018 with flag 2817000/2817000
476.64/475.92	c cleaning 11001 clauses out of 22019 with flag 2828000/2828000
478.54/477.87	c cleaning 10999 clauses out of 22019 with flag 2839001/2839001
480.54/479.82	c cleaning 10997 clauses out of 22020 with flag 2850001/2850001
482.44/481.72	c cleaning 10996 clauses out of 22024 with flag 2861002/2861002
484.44/483.72	c cleaning 11013 clauses out of 22029 with flag 2872003/2872003
486.44/485.73	c cleaning 10990 clauses out of 22013 with flag 2883000/2883000
488.34/487.62	c cleaning 10998 clauses out of 22023 with flag 2894000/2894000
490.34/489.66	c cleaning 11007 clauses out of 22025 with flag 2905000/2905000
492.25/491.58	c cleaning 10999 clauses out of 22018 with flag 2916000/2916000
494.25/493.58	c cleaning 10999 clauses out of 22019 with flag 2927000/2927000
496.25/495.58	c cleaning 11005 clauses out of 22022 with flag 2938002/2938002
498.25/497.59	c cleaning 10994 clauses out of 22016 with flag 2949001/2949001
500.25/499.54	c cleaning 10997 clauses out of 22021 with flag 2960000/2960000
502.27/501.57	c cleaning 10992 clauses out of 22024 with flag 2971000/2971000
504.16/503.43	c cleaning 11013 clauses out of 22032 with flag 2982000/2982000
505.96/505.24	c cleaning 10999 clauses out of 22019 with flag 2993000/2993000
507.77/507.04	c cleaning 10998 clauses out of 22020 with flag 3004000/3004000
509.57/508.88	c cleaning 10993 clauses out of 22022 with flag 3015000/3015000
511.46/510.75	c cleaning 11004 clauses out of 22029 with flag 3026000/3026000
513.37/512.63	c cleaning 11005 clauses out of 22027 with flag 3037002/3037002
515.27/514.58	c cleaning 11002 clauses out of 22021 with flag 3048001/3048001
517.16/516.49	c cleaning 11001 clauses out of 22020 with flag 3059002/3059002
519.17/518.41	c cleaning 10997 clauses out of 22018 with flag 3070001/3070001
521.07/520.30	c cleaning 10995 clauses out of 22023 with flag 3081003/3081003
522.97/522.29	c cleaning 10992 clauses out of 22025 with flag 3092000/3092000
524.97/524.27	c cleaning 11002 clauses out of 22034 with flag 3103001/3103001
527.07/526.32	c cleaning 11004 clauses out of 22032 with flag 3114001/3114001
528.97/528.25	c cleaning 10998 clauses out of 22029 with flag 3125002/3125002
530.88/530.20	c cleaning 11012 clauses out of 22029 with flag 3136000/3136000
532.97/532.25	c cleaning 11003 clauses out of 22018 with flag 3147001/3147001
534.98/534.21	c cleaning 11002 clauses out of 22017 with flag 3158003/3158003
536.88/536.11	c cleaning 10989 clauses out of 22013 with flag 3169001/3169001
538.88/538.13	c cleaning 10996 clauses out of 22023 with flag 3180000/3180000
540.89/540.11	c cleaning 10999 clauses out of 22027 with flag 3191000/3191000
542.78/542.08	c cleaning 10995 clauses out of 22028 with flag 3202000/3202000
544.68/543.95	c cleaning 10997 clauses out of 22035 with flag 3213002/3213002
546.68/545.97	c cleaning 10998 clauses out of 22038 with flag 3224002/3224002
548.68/547.91	c cleaning 11008 clauses out of 22039 with flag 3235001/3235001
550.59/549.86	c cleaning 10996 clauses out of 22031 with flag 3246001/3246001
552.49/551.76	c cleaning 11006 clauses out of 22035 with flag 3257001/3257001
554.49/553.72	c cleaning 11002 clauses out of 22028 with flag 3268000/3268000
556.49/555.72	c cleaning 11003 clauses out of 22027 with flag 3279001/3279001
558.29/557.54	c cleaning 11004 clauses out of 22025 with flag 3290002/3290002
560.09/559.35	c cleaning 10998 clauses out of 22020 with flag 3301001/3301001
561.89/561.17	c cleaning 10999 clauses out of 22022 with flag 3312001/3312001
563.80/563.02	c cleaning 11003 clauses out of 22023 with flag 3323001/3323001
565.70/564.94	c cleaning 10997 clauses out of 22019 with flag 3334000/3334000
567.60/566.86	c cleaning 11004 clauses out of 22022 with flag 3345000/3345000
569.51/568.75	c cleaning 10996 clauses out of 22019 with flag 3356001/3356001
571.50/570.73	c cleaning 10998 clauses out of 22024 with flag 3367002/3367002
573.50/572.72	c cleaning 10995 clauses out of 22024 with flag 3378000/3378000
575.40/574.64	c cleaning 11003 clauses out of 22031 with flag 3389002/3389002
577.30/576.56	c cleaning 11001 clauses out of 22027 with flag 3400001/3400001
579.21/578.49	c cleaning 10996 clauses out of 22025 with flag 3411000/3411000
581.21/580.46	c cleaning 11006 clauses out of 22029 with flag 3422000/3422000
583.21/582.47	c cleaning 10994 clauses out of 22023 with flag 3433000/3433000
585.21/584.40	c cleaning 11004 clauses out of 22029 with flag 3444000/3444000
587.02/586.22	c cleaning 11006 clauses out of 22026 with flag 3455001/3455001
589.11/588.30	c cleaning 11003 clauses out of 22020 with flag 3466001/3466001
590.92/590.19	c cleaning 11002 clauses out of 22019 with flag 3477003/3477003
592.92/592.14	c cleaning 11000 clauses out of 22014 with flag 3488000/3488000
594.92/594.10	c cleaning 10989 clauses out of 22014 with flag 3499000/3499000
596.82/596.06	c cleaning 10997 clauses out of 22026 with flag 3510001/3510001
598.92/598.13	c cleaning 11007 clauses out of 22030 with flag 3521002/3521002
600.83/600.07	c cleaning 11007 clauses out of 22021 with flag 3532000/3532000
602.93/602.10	c cleaning 10994 clauses out of 22016 with flag 3543002/3543002
604.93/604.12	c cleaning 10998 clauses out of 22021 with flag 3554001/3554001
606.94/606.17	c cleaning 10988 clauses out of 22022 with flag 3565000/3565000
609.04/608.21	c cleaning 10990 clauses out of 22036 with flag 3576002/3576002
610.94/610.18	c cleaning 11005 clauses out of 22044 with flag 3587000/3587000
613.04/612.24	c cleaning 11018 clauses out of 22039 with flag 3598000/3598000
615.04/614.28	c cleaning 10996 clauses out of 22021 with flag 3609000/3609000
616.95/616.18	c cleaning 11009 clauses out of 22026 with flag 3620001/3620001
618.75/617.99	c cleaning 11008 clauses out of 22018 with flag 3631002/3631002
620.65/619.84	c cleaning 10996 clauses out of 22011 with flag 3642003/3642003
622.55/621.70	c cleaning 10992 clauses out of 22012 with flag 3653000/3653000
624.36/623.60	c cleaning 10985 clauses out of 22020 with flag 3664000/3664000
626.26/625.44	c cleaning 11003 clauses out of 22036 with flag 3675001/3675001
628.16/627.35	c cleaning 11013 clauses out of 22032 with flag 3686000/3686000
630.06/629.23	c cleaning 10997 clauses out of 22019 with flag 3697000/3697000
631.96/631.17	c cleaning 11006 clauses out of 22022 with flag 3708000/3708000
633.96/633.14	c cleaning 10997 clauses out of 22016 with flag 3719000/3719000
635.96/635.17	c cleaning 11001 clauses out of 22020 with flag 3730001/3730001
637.97/637.19	c cleaning 10992 clauses out of 22019 with flag 3741001/3741001
640.07/639.26	c cleaning 11002 clauses out of 22029 with flag 3752003/3752003
642.07/641.23	c cleaning 10998 clauses out of 22024 with flag 3763000/3763000
643.97/643.11	c cleaning 10999 clauses out of 22026 with flag 3774000/3774000
645.87/645.09	c cleaning 11005 clauses out of 22028 with flag 3785001/3785001
647.97/647.12	c cleaning 10992 clauses out of 22022 with flag 3796000/3796000
649.78/648.99	c cleaning 11001 clauses out of 22030 with flag 3807000/3807000
651.78/650.97	c cleaning 11005 clauses out of 22031 with flag 3818002/3818002
653.68/652.87	c cleaning 10998 clauses out of 22024 with flag 3829000/3829000
655.68/654.88	c cleaning 10998 clauses out of 22026 with flag 3840000/3840000
657.59/656.79	c cleaning 11000 clauses out of 22028 with flag 3851000/3851000
659.58/658.80	c cleaning 11008 clauses out of 22028 with flag 3862000/3862000
661.58/660.70	c cleaning 10996 clauses out of 22020 with flag 3873000/3873000
663.58/662.74	c cleaning 11003 clauses out of 22024 with flag 3884000/3884000
665.49/664.67	c cleaning 10999 clauses out of 22021 with flag 3895000/3895000
667.59/666.78	c cleaning 10996 clauses out of 22023 with flag 3906001/3906001
669.69/668.84	c cleaning 11004 clauses out of 22026 with flag 3917000/3917000
671.69/670.86	c cleaning 10990 clauses out of 22022 with flag 3928000/3928000
673.79/672.91	c cleaning 10988 clauses out of 22032 with flag 3939000/3939000
675.69/674.85	c cleaning 10997 clauses out of 22044 with flag 3950000/3950000
677.79/676.91	c cleaning 11005 clauses out of 22047 with flag 3961000/3961000
679.79/678.93	c cleaning 11000 clauses out of 22043 with flag 3972001/3972001
681.70/680.90	c cleaning 11018 clauses out of 22042 with flag 3983000/3983000
683.60/682.74	c cleaning 11003 clauses out of 22025 with flag 3994001/3994001
685.40/684.56	c cleaning 11003 clauses out of 22022 with flag 4005001/4005001
687.31/686.42	c cleaning 10994 clauses out of 22018 with flag 4016000/4016000
689.10/688.28	c cleaning 11007 clauses out of 22024 with flag 4027000/4027000
691.00/690.15	c cleaning 10996 clauses out of 22017 with flag 4038000/4038000
692.90/692.08	c cleaning 10995 clauses out of 22021 with flag 4049000/4049000
694.91/694.01	c cleaning 10999 clauses out of 22026 with flag 4060000/4060000
696.71/695.89	c cleaning 11003 clauses out of 22030 with flag 4071003/4071003
698.61/697.76	c cleaning 10997 clauses out of 22024 with flag 4082000/4082000
700.52/699.63	c cleaning 11008 clauses out of 22027 with flag 4093000/4093000
702.41/701.57	c cleaning 10999 clauses out of 22019 with flag 4104000/4104000
704.32/703.49	c cleaning 11001 clauses out of 22021 with flag 4115001/4115001
706.22/705.35	c cleaning 11001 clauses out of 22020 with flag 4126001/4126001
708.23/707.35	c cleaning 10998 clauses out of 22018 with flag 4137000/4137000
710.33/709.44	c cleaning 10990 clauses out of 22020 with flag 4148000/4148000
712.22/711.39	c cleaning 10991 clauses out of 22030 with flag 4159000/4159000
714.32/713.42	c cleaning 11011 clauses out of 22040 with flag 4170001/4170001
716.43/715.50	c cleaning 11000 clauses out of 22030 with flag 4181002/4181002
718.23/717.39	c cleaning 11005 clauses out of 22028 with flag 4192000/4192000
720.33/719.43	c cleaning 11004 clauses out of 22024 with flag 4203001/4203001
722.23/721.31	c cleaning 10997 clauses out of 22019 with flag 4214000/4214000
724.23/723.39	c cleaning 11002 clauses out of 22023 with flag 4225001/4225001
726.13/725.28	c cleaning 10992 clauses out of 22021 with flag 4236001/4236001
728.23/727.33	c cleaning 10998 clauses out of 22028 with flag 4247000/4247000
730.24/729.37	c cleaning 11009 clauses out of 22030 with flag 4258000/4258000
732.24/731.38	c cleaning 11003 clauses out of 22022 with flag 4269001/4269001
734.24/733.38	c cleaning 11001 clauses out of 22018 with flag 4280000/4280000
736.14/735.30	c cleaning 11000 clauses out of 22018 with flag 4291001/4291001
738.24/737.31	c cleaning 10995 clauses out of 22017 with flag 4302000/4302000
740.24/739.31	c cleaning 10998 clauses out of 22025 with flag 4313003/4313003
742.15/741.20	c cleaning 10998 clauses out of 22024 with flag 4324000/4324000
744.15/743.26	c cleaning 11010 clauses out of 22030 with flag 4335004/4335004
746.25/745.34	c cleaning 10985 clauses out of 22016 with flag 4346000/4346000
748.15/747.20	c cleaning 11006 clauses out of 22031 with flag 4357000/4357000
750.15/749.21	c cleaning 11008 clauses out of 22027 with flag 4368002/4368002
752.16/751.22	c cleaning 10987 clauses out of 22018 with flag 4379001/4379001
754.05/753.10	c cleaning 11006 clauses out of 22030 with flag 4390000/4390000
755.85/754.95	c cleaning 10998 clauses out of 22025 with flag 4401001/4401001
757.66/756.79	c cleaning 10997 clauses out of 22026 with flag 4412000/4412000
759.55/758.67	c cleaning 10996 clauses out of 22029 with flag 4423000/4423000
761.55/760.60	c cleaning 11012 clauses out of 22033 with flag 4434000/4434000
763.36/762.47	c cleaning 11003 clauses out of 22022 with flag 4445001/4445001
765.37/764.41	c cleaning 10988 clauses out of 22018 with flag 4456000/4456000
767.17/766.29	c cleaning 11000 clauses out of 22030 with flag 4467000/4467000
769.17/768.24	c cleaning 11001 clauses out of 22030 with flag 4478000/4478000
771.07/770.18	c cleaning 10989 clauses out of 22030 with flag 4489001/4489001
773.08/772.11	c cleaning 11012 clauses out of 22040 with flag 4500000/4500000
775.07/774.12	c cleaning 11001 clauses out of 22029 with flag 4511001/4511001
777.07/776.10	c cleaning 11003 clauses out of 22029 with flag 4522002/4522002
778.98/778.01	c cleaning 11001 clauses out of 22025 with flag 4533001/4533001
780.88/779.92	c cleaning 11003 clauses out of 22028 with flag 4544005/4544005
782.88/781.95	c cleaning 10998 clauses out of 22020 with flag 4555000/4555000
784.88/783.93	c cleaning 11000 clauses out of 22022 with flag 4566000/4566000
786.68/785.78	c cleaning 10997 clauses out of 22022 with flag 4577000/4577000
788.79/787.80	c cleaning 10995 clauses out of 22026 with flag 4588001/4588001
790.59/789.69	c cleaning 11010 clauses out of 22031 with flag 4599001/4599001
792.69/791.77	c cleaning 10991 clauses out of 22020 with flag 4610000/4610000
794.60/793.68	c cleaning 11003 clauses out of 22030 with flag 4621001/4621001
796.70/795.71	c cleaning 10994 clauses out of 22027 with flag 4632001/4632001
798.60/797.65	c cleaning 11008 clauses out of 22033 with flag 4643001/4643001
800.70/799.74	c cleaning 11000 clauses out of 22026 with flag 4654002/4654002
802.70/801.71	c cleaning 11002 clauses out of 22026 with flag 4665002/4665002
804.60/803.66	c cleaning 10991 clauses out of 22022 with flag 4676000/4676000
806.70/805.73	c cleaning 10994 clauses out of 22031 with flag 4687000/4687000
808.71/807.71	c cleaning 10996 clauses out of 22037 with flag 4698000/4698000
810.71/809.76	c cleaning 11011 clauses out of 22042 with flag 4709001/4709001
812.72/811.74	c cleaning 11009 clauses out of 22031 with flag 4720001/4720001
814.81/813.82	c cleaning 11004 clauses out of 22022 with flag 4731001/4731001
816.81/815.89	c cleaning 10982 clauses out of 22018 with flag 4742001/4742001
818.91/817.91	c cleaning 11010 clauses out of 22035 with flag 4753000/4753000
820.92/819.90	c cleaning 10997 clauses out of 22025 with flag 4764000/4764000
822.92/821.97	c cleaning 11000 clauses out of 22028 with flag 4775000/4775000
824.92/823.98	c cleaning 10999 clauses out of 22029 with flag 4786001/4786001
826.92/825.95	c cleaning 11003 clauses out of 22029 with flag 4797000/4797000
829.02/828.04	c cleaning 11010 clauses out of 22027 with flag 4808001/4808001
831.12/830.11	c cleaning 10986 clauses out of 22016 with flag 4819000/4819000
833.13/832.12	c cleaning 11014 clauses out of 22032 with flag 4830002/4830002
834.93/833.97	c cleaning 11008 clauses out of 22018 with flag 4841002/4841002
836.73/835.77	c cleaning 10991 clauses out of 22009 with flag 4852001/4852001
838.53/837.58	c cleaning 10994 clauses out of 22017 with flag 4863000/4863000
840.43/839.44	c cleaning 11001 clauses out of 22025 with flag 4874002/4874002
842.33/841.32	c cleaning 11004 clauses out of 22023 with flag 4885001/4885001
844.14/843.19	c cleaning 11000 clauses out of 22018 with flag 4896000/4896000
846.14/845.14	c cleaning 11002 clauses out of 22020 with flag 4907002/4907002
848.05/847.07	c cleaning 11004 clauses out of 22016 with flag 4918000/4918000
849.94/848.97	c cleaning 10990 clauses out of 22012 with flag 4929000/4929000
851.94/850.91	c cleaning 11002 clauses out of 22023 with flag 4940001/4940001
853.84/852.80	c cleaning 10996 clauses out of 22020 with flag 4951000/4951000
855.75/854.73	c cleaning 10998 clauses out of 22024 with flag 4962000/4962000
857.75/856.76	c cleaning 11009 clauses out of 22028 with flag 4973002/4973002
859.85/858.83	c cleaning 10998 clauses out of 22018 with flag 4984001/4984001
861.85/860.89	c cleaning 10999 clauses out of 22020 with flag 4995001/4995001
863.85/862.80	c cleaning 10994 clauses out of 22021 with flag 5006001/5006001
865.86/864.89	c cleaning 10995 clauses out of 22026 with flag 5017000/5017000
867.76/866.79	c cleaning 10995 clauses out of 22031 with flag 5028000/5028000
869.76/868.79	c cleaning 11000 clauses out of 22036 with flag 5039000/5039000
871.86/870.85	c cleaning 11009 clauses out of 22038 with flag 5050002/5050002
873.76/872.77	c cleaning 10995 clauses out of 22029 with flag 5061002/5061002
875.87/874.80	c cleaning 11009 clauses out of 22032 with flag 5072000/5072000
877.77/876.72	c cleaning 11006 clauses out of 22027 with flag 5083004/5083004
879.67/878.69	c cleaning 10997 clauses out of 22017 with flag 5094000/5094000
881.77/880.73	c cleaning 10998 clauses out of 22021 with flag 5105001/5105001
883.77/882.75	c cleaning 11001 clauses out of 22023 with flag 5116001/5116001
885.88/884.85	c cleaning 10988 clauses out of 22022 with flag 5127001/5127001
887.78/886.77	c cleaning 11011 clauses out of 22035 with flag 5138002/5138002
889.79/888.77	c cleaning 10995 clauses out of 22022 with flag 5149000/5149000
891.78/890.78	c cleaning 10999 clauses out of 22029 with flag 5160002/5160002
893.68/892.64	c cleaning 11006 clauses out of 22029 with flag 5171001/5171001
895.68/894.61	c cleaning 10994 clauses out of 22023 with flag 5182001/5182001
897.69/896.69	c cleaning 10998 clauses out of 22028 with flag 5193000/5193000
899.69/898.62	c cleaning 11001 clauses out of 22030 with flag 5204000/5204000
901.69/900.66	c cleaning 11001 clauses out of 22030 with flag 5215001/5215001
903.79/902.71	c cleaning 11002 clauses out of 22028 with flag 5226000/5226000
905.69/904.65	c cleaning 11004 clauses out of 22026 with flag 5237000/5237000
907.80/906.72	c cleaning 11001 clauses out of 22023 with flag 5248001/5248001
909.80/908.72	c cleaning 11002 clauses out of 22022 with flag 5259001/5259001
911.80/910.75	c cleaning 10990 clauses out of 22019 with flag 5270000/5270000
913.80/912.73	c cleaning 11006 clauses out of 22029 with flag 5281000/5281000
915.90/914.87	c cleaning 10993 clauses out of 22023 with flag 5292000/5292000
918.00/916.96	c cleaning 10990 clauses out of 22030 with flag 5303000/5303000
920.10/919.01	c cleaning 11012 clauses out of 22040 with flag 5314000/5314000
922.01/920.92	c cleaning 11005 clauses out of 22028 with flag 5325000/5325000
923.81/922.73	c cleaning 11012 clauses out of 22027 with flag 5336004/5336004
925.61/924.55	c cleaning 10990 clauses out of 22011 with flag 5347000/5347000
927.41/926.35	c cleaning 10988 clauses out of 22021 with flag 5358000/5358000
929.22/928.18	c cleaning 11009 clauses out of 22033 with flag 5369000/5369000
931.12/930.09	c cleaning 10998 clauses out of 22025 with flag 5380001/5380001
933.12/932.00	c cleaning 11002 clauses out of 22026 with flag 5391000/5391000
934.93/933.87	c cleaning 11001 clauses out of 22024 with flag 5402000/5402000
936.82/935.76	c cleaning 10999 clauses out of 22024 with flag 5413001/5413001
938.72/937.69	c cleaning 11000 clauses out of 22025 with flag 5424001/5424001
940.82/939.74	c cleaning 11008 clauses out of 22024 with flag 5435000/5435000
942.74/941.66	c cleaning 11000 clauses out of 22017 with flag 5446001/5446001
944.64/943.59	c cleaning 10990 clauses out of 22018 with flag 5457002/5457002
946.54/945.45	c cleaning 11007 clauses out of 22026 with flag 5468000/5468000
948.44/947.36	c cleaning 10994 clauses out of 22019 with flag 5479000/5479000
950.54/949.49	c cleaning 11004 clauses out of 22026 with flag 5490001/5490001
952.55/951.48	c cleaning 10996 clauses out of 22021 with flag 5501000/5501000
954.45/953.40	c cleaning 11007 clauses out of 22025 with flag 5512000/5512000
956.45/955.39	c cleaning 11003 clauses out of 22020 with flag 5523002/5523002
958.35/957.29	c cleaning 11001 clauses out of 22016 with flag 5534001/5534001
960.36/959.29	c cleaning 10994 clauses out of 22014 with flag 5545000/5545000
962.35/961.25	c cleaning 11006 clauses out of 22021 with flag 5556001/5556001
964.36/963.26	c cleaning 10987 clauses out of 22016 with flag 5567002/5567002
966.26/965.19	c cleaning 11004 clauses out of 22028 with flag 5578001/5578001
968.26/967.19	c cleaning 10993 clauses out of 22023 with flag 5589000/5589000
970.17/969.08	c cleaning 11001 clauses out of 22031 with flag 5600001/5600001
972.26/971.12	c cleaning 11005 clauses out of 22030 with flag 5611001/5611001
974.26/973.11	c cleaning 10987 clauses out of 22026 with flag 5622002/5622002
976.26/975.10	c cleaning 11008 clauses out of 22037 with flag 5633000/5633000
978.27/977.14	c cleaning 11005 clauses out of 22030 with flag 5644001/5644001
980.17/979.09	c cleaning 11005 clauses out of 22025 with flag 5655001/5655001
982.27/981.15	c cleaning 10989 clauses out of 22020 with flag 5666001/5666001
984.27/983.20	c cleaning 11002 clauses out of 22031 with flag 5677001/5677001
986.27/985.19	c cleaning 11005 clauses out of 22029 with flag 5688001/5688001
988.37/987.27	c cleaning 10987 clauses out of 22024 with flag 5699001/5699001
990.48/989.30	c cleaning 11004 clauses out of 22041 with flag 5710005/5710005
992.48/991.35	c cleaning 10993 clauses out of 22032 with flag 5721000/5721000
994.38/993.24	c cleaning 11011 clauses out of 22041 with flag 5732002/5732002
996.38/995.28	c cleaning 10993 clauses out of 22029 with flag 5743001/5743001
998.38/997.25	c cleaning 11005 clauses out of 22035 with flag 5754000/5754000
1000.38/999.21	c cleaning 11007 clauses out of 22031 with flag 5765001/5765001
1002.38/1001.22	c cleaning 11000 clauses out of 22025 with flag 5776002/5776002
1004.39/1003.24	c cleaning 10991 clauses out of 22023 with flag 5787000/5787000
1006.39/1005.25	c cleaning 10995 clauses out of 22032 with flag 5798000/5798000
1008.39/1007.27	c cleaning 11013 clauses out of 22038 with flag 5809001/5809001
1010.49/1009.32	c cleaning 10999 clauses out of 22024 with flag 5820000/5820000
1012.50/1011.33	c cleaning 10992 clauses out of 22025 with flag 5831000/5831000
1014.59/1013.40	c cleaning 11000 clauses out of 22033 with flag 5842000/5842000
1016.60/1015.48	c cleaning 10999 clauses out of 22033 with flag 5853000/5853000
1018.51/1017.34	c cleaning 11009 clauses out of 22034 with flag 5864000/5864000
1020.30/1019.15	c cleaning 11004 clauses out of 22025 with flag 5875000/5875000
1022.21/1021.00	c cleaning 11001 clauses out of 22022 with flag 5886001/5886001
1024.01/1022.84	c cleaning 11001 clauses out of 22020 with flag 5897000/5897000
1025.91/1024.72	c cleaning 11003 clauses out of 22019 with flag 5908000/5908000
1027.81/1026.61	c cleaning 11002 clauses out of 22016 with flag 5919000/5919000
1029.72/1028.53	c cleaning 11003 clauses out of 22015 with flag 5930001/5930001
1031.62/1030.49	c cleaning 10999 clauses out of 22012 with flag 5941001/5941001
1033.52/1032.38	c cleaning 10995 clauses out of 22013 with flag 5952001/5952001
1035.52/1034.36	c cleaning 11001 clauses out of 22017 with flag 5963000/5963000
1037.62/1036.44	c cleaning 10992 clauses out of 22016 with flag 5974000/5974000
1039.53/1038.39	c cleaning 10991 clauses out of 22025 with flag 5985001/5985001
1041.63/1040.44	c cleaning 11005 clauses out of 22033 with flag 5996000/5996000
1043.53/1042.34	c cleaning 11004 clauses out of 22034 with flag 6007006/6007006
1045.43/1044.25	c cleaning 10993 clauses out of 22024 with flag 6018000/6018000
1047.53/1046.35	c cleaning 11008 clauses out of 22031 with flag 6029000/6029000
1049.54/1048.34	c cleaning 11001 clauses out of 22024 with flag 6040001/6040001
1051.44/1050.27	c cleaning 11004 clauses out of 22022 with flag 6051000/6051000
1053.44/1052.28	c cleaning 11000 clauses out of 22019 with flag 6062001/6062001
1055.34/1054.18	c cleaning 10992 clauses out of 22018 with flag 6073000/6073000
1057.45/1056.23	c cleaning 11007 clauses out of 22028 with flag 6084002/6084002
1059.35/1058.20	c cleaning 10995 clauses out of 22022 with flag 6095003/6095003
1061.45/1060.26	c cleaning 11004 clauses out of 22024 with flag 6106000/6106000
1063.45/1062.20	c cleaning 10997 clauses out of 22021 with flag 6117001/6117001
1065.45/1064.24	c cleaning 10988 clauses out of 22026 with flag 6128003/6128003
1067.36/1066.17	c cleaning 11008 clauses out of 22036 with flag 6139001/6139001
1069.46/1068.24	c cleaning 10998 clauses out of 22027 with flag 6150000/6150000
1071.47/1070.25	c cleaning 11007 clauses out of 22031 with flag 6161002/6161002
1073.46/1072.26	c cleaning 10986 clauses out of 22023 with flag 6172001/6172001
1075.56/1074.36	c cleaning 11010 clauses out of 22036 with flag 6183000/6183000
1077.57/1076.32	c cleaning 11006 clauses out of 22026 with flag 6194000/6194000
1079.57/1078.34	c cleaning 11007 clauses out of 22020 with flag 6205000/6205000
1081.57/1080.34	c cleaning 11003 clauses out of 22015 with flag 6216002/6216002
1083.58/1082.34	c cleaning 10995 clauses out of 22012 with flag 6227002/6227002
1085.57/1084.38	c cleaning 10992 clauses out of 22015 with flag 6238000/6238000
1087.67/1086.44	c cleaning 11002 clauses out of 22027 with flag 6249004/6249004
1089.68/1088.47	c cleaning 11005 clauses out of 22022 with flag 6260001/6260001
1091.58/1090.36	c cleaning 10996 clauses out of 22017 with flag 6271001/6271001
1093.68/1092.43	c cleaning 10998 clauses out of 22020 with flag 6282000/6282000
1095.69/1094.46	c cleaning 10998 clauses out of 22022 with flag 6293000/6293000
1097.69/1096.48	c cleaning 11002 clauses out of 22025 with flag 6304001/6304001
1099.79/1098.57	c cleaning 10997 clauses out of 22023 with flag 6315001/6315001
1101.89/1100.65	c cleaning 10993 clauses out of 22026 with flag 6326001/6326001
1103.99/1102.71	c cleaning 11006 clauses out of 22033 with flag 6337001/6337001
1106.09/1104.84	c cleaning 11008 clauses out of 22026 with flag 6348000/6348000
1108.10/1106.88	c cleaning 10993 clauses out of 22020 with flag 6359002/6359002
1110.20/1108.96	c cleaning 11000 clauses out of 22025 with flag 6370000/6370000
1112.20/1111.00	c cleaning 10995 clauses out of 22025 with flag 6381000/6381000
1114.41/1113.18	c cleaning 10997 clauses out of 22031 with flag 6392001/6392001
1116.30/1115.08	c cleaning 10998 clauses out of 22034 with flag 6403001/6403001
1118.40/1117.16	c cleaning 10999 clauses out of 22035 with flag 6414000/6414000
1120.41/1119.18	c cleaning 11009 clauses out of 22037 with flag 6425001/6425001
1122.51/1121.24	c cleaning 11000 clauses out of 22027 with flag 6436000/6436000
1124.51/1123.27	c cleaning 10989 clauses out of 22027 with flag 6447000/6447000
1126.42/1125.12	c cleaning 11012 clauses out of 22039 with flag 6458001/6458001
1128.22/1126.98	c cleaning 11008 clauses out of 22027 with flag 6469001/6469001
1130.12/1128.81	c cleaning 11001 clauses out of 22018 with flag 6480000/6480000
1132.03/1130.71	c cleaning 10995 clauses out of 22017 with flag 6491000/6491000
1133.82/1132.60	c cleaning 11000 clauses out of 22022 with flag 6502000/6502000
1135.82/1134.52	c cleaning 11005 clauses out of 22022 with flag 6513000/6513000
1137.73/1136.40	c cleaning 10988 clauses out of 22018 with flag 6524001/6524001
1139.53/1138.29	c cleaning 11001 clauses out of 22029 with flag 6535000/6535000
1141.53/1140.29	c cleaning 11009 clauses out of 22030 with flag 6546002/6546002
1143.63/1142.32	c cleaning 11006 clauses out of 22020 with flag 6557001/6557001
1145.53/1144.27	c cleaning 10994 clauses out of 22013 with flag 6568000/6568000
1147.54/1146.28	c cleaning 10999 clauses out of 22019 with flag 6579000/6579000
1149.74/1148.42	c cleaning 10996 clauses out of 22021 with flag 6590001/6590001
1151.74/1150.40	c cleaning 11002 clauses out of 22026 with flag 6601002/6601002
1153.54/1152.29	c cleaning 10991 clauses out of 22022 with flag 6612000/6612000
1155.54/1154.27	c cleaning 11006 clauses out of 22033 with flag 6623002/6623002
1157.64/1156.37	c cleaning 11000 clauses out of 22025 with flag 6634000/6634000
1159.65/1158.36	c cleaning 11000 clauses out of 22025 with flag 6645000/6645000
1161.75/1160.41	c cleaning 10999 clauses out of 22026 with flag 6656001/6656001
1163.65/1162.36	c cleaning 11000 clauses out of 22027 with flag 6667001/6667001
1165.75/1164.43	c cleaning 11004 clauses out of 22026 with flag 6678000/6678000
1167.75/1166.45	c cleaning 11002 clauses out of 22022 with flag 6689000/6689000
1169.85/1168.50	c cleaning 10994 clauses out of 22022 with flag 6700002/6700002
1171.77/1170.48	c cleaning 11001 clauses out of 22026 with flag 6711000/6711000
1173.87/1172.51	c cleaning 10990 clauses out of 22025 with flag 6722000/6722000
1175.77/1174.40	c cleaning 11006 clauses out of 22037 with flag 6733002/6733002
1177.67/1176.39	c cleaning 11001 clauses out of 22029 with flag 6744000/6744000
1179.67/1178.37	c cleaning 11011 clauses out of 22028 with flag 6755000/6755000
1181.78/1180.45	c cleaning 10992 clauses out of 22017 with flag 6766000/6766000
1183.88/1182.52	c cleaning 10995 clauses out of 22026 with flag 6777001/6777001
1185.78/1184.46	c cleaning 10999 clauses out of 22030 with flag 6788000/6788000
1187.78/1186.49	c cleaning 11006 clauses out of 22032 with flag 6799001/6799001
1189.88/1188.53	c cleaning 11000 clauses out of 22027 with flag 6810002/6810002
1191.78/1190.46	c cleaning 11000 clauses out of 22026 with flag 6821001/6821001
1193.79/1192.45	c cleaning 11004 clauses out of 22025 with flag 6832000/6832000
1195.79/1194.42	c cleaning 11003 clauses out of 22022 with flag 6843001/6843001
1197.79/1196.41	c cleaning 10998 clauses out of 22018 with flag 6854000/6854000
1199.69/1198.37	c cleaning 10997 clauses out of 22022 with flag 6865002/6865002
1201.79/1200.45	c cleaning 11007 clauses out of 22023 with flag 6876000/6876000
1203.79/1202.49	c cleaning 11002 clauses out of 22019 with flag 6887003/6887003
1205.80/1204.43	c cleaning 10997 clauses out of 22014 with flag 6898000/6898000
1207.80/1206.45	c cleaning 10994 clauses out of 22018 with flag 6909001/6909001
1209.90/1208.51	c cleaning 10996 clauses out of 22023 with flag 6920000/6920000
1211.90/1210.58	c cleaning 10994 clauses out of 22027 with flag 6931000/6931000
1213.80/1212.48	c cleaning 11005 clauses out of 22035 with flag 6942002/6942002
1215.91/1214.54	c cleaning 10998 clauses out of 22028 with flag 6953000/6953000
1218.01/1216.61	c cleaning 10995 clauses out of 22030 with flag 6964000/6964000
1220.01/1218.67	c cleaning 11004 clauses out of 22036 with flag 6975001/6975001
1222.11/1220.71	c cleaning 10994 clauses out of 22032 with flag 6986001/6986001
1224.01/1222.63	c cleaning 11003 clauses out of 22039 with flag 6997002/6997002
1226.11/1224.71	c cleaning 11003 clauses out of 22035 with flag 7008001/7008001
1228.02/1226.69	c cleaning 11007 clauses out of 22031 with flag 7019000/7019000
1230.12/1228.72	c cleaning 11000 clauses out of 22024 with flag 7030000/7030000
1232.12/1230.77	c cleaning 10998 clauses out of 22026 with flag 7041002/7041002
1234.12/1232.76	c cleaning 11005 clauses out of 22028 with flag 7052002/7052002
1236.22/1234.82	c cleaning 11001 clauses out of 22021 with flag 7063000/7063000
1238.23/1236.85	c cleaning 10998 clauses out of 22021 with flag 7074001/7074001
1240.33/1238.91	c cleaning 10989 clauses out of 22022 with flag 7085000/7085000
1242.43/1241.08	c cleaning 11006 clauses out of 22033 with flag 7096000/7096000
1244.34/1242.97	c cleaning 10999 clauses out of 22027 with flag 7107000/7107000
1246.13/1244.77	c cleaning 11004 clauses out of 22028 with flag 7118000/7118000
1247.94/1246.56	c cleaning 11004 clauses out of 22024 with flag 7129000/7129000
1249.84/1248.43	c cleaning 10995 clauses out of 22020 with flag 7140000/7140000
1251.74/1250.35	c cleaning 11012 clauses out of 22025 with flag 7151000/7151000
1253.64/1252.24	c cleaning 10992 clauses out of 22013 with flag 7162000/7162000
1255.54/1254.15	c cleaning 11002 clauses out of 22021 with flag 7173000/7173000
1257.45/1256.08	c cleaning 10999 clauses out of 22019 with flag 7184000/7184000
1259.45/1258.02	c cleaning 11008 clauses out of 22022 with flag 7195002/7195002
1261.35/1259.96	c cleaning 10985 clauses out of 22013 with flag 7206001/7206001
1263.35/1261.96	c cleaning 11001 clauses out of 22027 with flag 7217000/7217000
1265.36/1263.94	c cleaning 10998 clauses out of 22026 with flag 7228000/7228000
1267.26/1265.90	c cleaning 10989 clauses out of 22028 with flag 7239000/7239000
1269.26/1267.81	c cleaning 11011 clauses out of 22040 with flag 7250001/7250001
1271.16/1269.70	c cleaning 11005 clauses out of 22031 with flag 7261003/7261003
1273.16/1271.73	c cleaning 10996 clauses out of 22023 with flag 7272000/7272000
1275.06/1273.66	c cleaning 10988 clauses out of 22027 with flag 7283000/7283000
1276.97/1275.59	c cleaning 11010 clauses out of 22039 with flag 7294000/7294000
1279.07/1277.60	c cleaning 11005 clauses out of 22030 with flag 7305001/7305001
1280.97/1279.55	c cleaning 10990 clauses out of 22025 with flag 7316001/7316001
1283.07/1281.61	c cleaning 10995 clauses out of 22034 with flag 7327000/7327000
1284.97/1283.58	c cleaning 11008 clauses out of 22040 with flag 7338001/7338001
1287.08/1285.66	c cleaning 11000 clauses out of 22033 with flag 7349002/7349002
1289.08/1287.61	c cleaning 11011 clauses out of 22033 with flag 7360002/7360002
1291.08/1289.61	c cleaning 10993 clauses out of 22021 with flag 7371001/7371001
1292.98/1291.55	c cleaning 11010 clauses out of 22027 with flag 7382000/7382000
1295.09/1293.63	c cleaning 10999 clauses out of 22019 with flag 7393002/7393002
1297.19/1295.71	c cleaning 10998 clauses out of 22019 with flag 7404001/7404001
1299.19/1297.77	c cleaning 10998 clauses out of 22020 with flag 7415000/7415000
1301.19/1299.80	c cleaning 10997 clauses out of 22022 with flag 7426000/7426000
1301.50/1300.01	c starts		: 2407
1301.50/1300.01	c conflicts		: 7427309
1301.50/1300.01	c decisions		: 10061032
1301.50/1300.01	c propagations		: 1521782102
1301.50/1300.01	c inspects		: 9140994917
1301.50/1300.01	c shortcuts		: 0
1301.50/1300.01	c learnt literals	: 0
1301.50/1300.01	c learnt binary clauses	: 0
1301.50/1300.01	c learnt ternary clauses	: 69
1301.50/1300.01	c learnt constraints	: 7427308
1301.50/1300.01	c ignored constraints	: 0
1301.50/1300.01	c root simplifications	: 2407
1301.50/1300.01	c removed literals (reason simplification)	: 104839588
1301.50/1300.01	c reason swapping (by a shorter reason)	: 0
1301.50/1300.01	c Calls to reduceDB	: 677
1301.50/1300.01	c speed (assignments/second)	: 1170736.7019271455
1301.50/1300.01	c non guided choices	220
1301.50/1300.02	c learnt constraints type 
1301.50/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12360
1301.50/1300.02	c constraints type 
1301.50/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10500
1301.50/1300.02	s UNKNOWN
1301.50/1300.02	c Total wall clock time (in seconds) : 1299.921

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

running on 2 cores: 1,3

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.92 0.98 1.24 1/225 18779
/proc/meminfo: memFree=13397956/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=27172 CPUtime=0 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 1181 0 0 0 0 0 0 0 18 0 2 0 371334367 27824128 906 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 6793 906 688 9 0 381 0
[pid=18779/tid=18780] ppid=18777 vsize=27172 CPUtime=0 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 18683 0 -1 4202560 64 0 0 0 0 0 0 0 19 0 2 0 371334367 27824128 906 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268267765383 0 2147483391 4096 0 18446744071699199166 0 0 -1 1 0 0 0

[startup+0.0639681 s]
/proc/loadavg: 0.92 0.98 1.24 1/225 18779
/proc/meminfo: memFree=13397956/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7569940 CPUtime=0.05 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 9304 0 1 0 4 1 0 0 18 0 18 0 371334367 7751618560 8998 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1892485 8999 1740 9 0 1883223 0
[pid=18779/tid=18780] ppid=18777 vsize=7569940 CPUtime=0.04 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 8130 0 1 0 4 0 0 0 18 0 18 0 371334367 7751618560 9001 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268272349893 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569940

[startup+0.102561 s]
/proc/loadavg: 0.92 0.98 1.24 1/225 18779
/proc/meminfo: memFree=13397956/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7636260 CPUtime=0.1 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 10525 0 1 0 8 2 0 0 18 0 18 0 371334367 7819530240 10219 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909065 10220 2094 9 0 1899803 0
[pid=18779/tid=18780] ppid=18777 vsize=7636260 CPUtime=0.08 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 8649 0 1 0 7 1 0 0 18 0 18 0 371334367 7819530240 10220 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 47062115112554 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636260

[startup+0.326936 s]
/proc/loadavg: 0.92 0.98 1.24 1/225 18779
/proc/meminfo: memFree=13397956/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7638044 CPUtime=0.53 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 13185 0 1 0 51 2 0 0 18 0 19 0 371334367 7821357056 11880 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909511 11880 2220 9 0 1900249 0
[pid=18779/tid=18780] ppid=18777 vsize=7638044 CPUtime=0.29 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 9065 0 1 0 28 1 0 0 19 0 19 0 371334367 7821357056 11880 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 7638044

[startup+0.700855 s]
/proc/loadavg: 0.92 0.98 1.24 1/225 18779
/proc/meminfo: memFree=13397956/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7637980 CPUtime=1.05 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 15053 0 1 0 102 3 0 0 18 0 19 0 371334367 7821291520 12231 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909495 12231 2224 9 0 1900233 0
[pid=18779/tid=18780] ppid=18777 vsize=7637980 CPUtime=0.66 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 9294 0 1 0 64 2 0 0 19 0 19 0 371334367 7821291520 12231 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505578337 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 7637980

[startup+1.50071 s]
/proc/loadavg: 0.92 0.98 1.24 5/262 18816
/proc/meminfo: memFree=13294752/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7638340 CPUtime=1.87 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 16647 0 1 0 184 3 0 0 18 0 19 0 371334367 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909585 13685 2253 9 0 1900323 0
[pid=18779/tid=18780] ppid=18777 vsize=7638340 CPUtime=1.4 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 9545 0 1 0 138 2 0 0 21 0 19 0 371334367 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505578436 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 18683 0 -1 4202560 246 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 18683 0 -1 4202560 310 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334368 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18801] ppid=18777 vsize=7638340 CPUtime=0.01 cores=1,3
/proc/18779/task/18801/stat : 18801 (java) S 18777 18779 18683 0 -1 4202560 563 0 0 0 1 0 0 0 17 0 19 0 371334369 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 0 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18806] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18806/stat : 18806 (java) S 18777 18779 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18807] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18807/stat : 18807 (java) S 18777 18779 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18808/stat : 18808 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334372 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284512689 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=7638340 CPUtime=0.19 cores=1,3
/proc/18779/task/18809/stat : 18809 (java) S 18777 18779 18683 0 -1 4202560 3149 0 0 0 19 0 0 0 18 0 19 0 371334372 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=7638340 CPUtime=0.24 cores=1,3
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 18683 0 -1 4202560 1674 0 0 0 24 0 0 0 15 0 19 0 371334372 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18811] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18811/stat : 18811 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334372 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18812/stat : 18812 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334372 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18813/stat : 18813 (java) S 18777 18779 18683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371334384 7821660160 13685 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 7638340

[startup+3.10143 s]
/proc/loadavg: 0.92 0.98 1.24 7/262 18816
/proc/meminfo: memFree=13236224/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7638340 CPUtime=3.49 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 17426 0 1 0 346 3 0 0 18 0 19 0 371334367 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909585 14462 2255 9 0 1900323 0
[pid=18779/tid=18780] ppid=18777 vsize=7638340 CPUtime=2.94 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 9547 0 1 0 292 2 0 0 25 0 19 0 371334367 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505578462 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 18683 0 -1 4202560 250 0 0 0 0 0 0 0 16 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 18683 0 -1 4202560 557 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 18683 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 18683 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18801] ppid=18777 vsize=7638340 CPUtime=0.04 cores=1,3
/proc/18779/task/18801/stat : 18801 (java) S 18777 18779 18683 0 -1 4202560 833 0 0 0 4 0 0 0 16 0 19 0 371334369 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 0 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18806] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18806/stat : 18806 (java) S 18777 18779 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18807] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18807/stat : 18807 (java) S 18777 18779 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18808/stat : 18808 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334372 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284512689 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=7638340 CPUtime=0.21 cores=1,3
/proc/18779/task/18809/stat : 18809 (java) S 18777 18779 18683 0 -1 4202560 3159 0 0 0 21 0 0 0 15 0 19 0 371334372 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 18683 0 -1 4202560 1676 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18811] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18811/stat : 18811 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334372 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18812/stat : 18812 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334372 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18813/stat : 18813 (java) S 18777 18779 18683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371334384 7821660160 14462 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 7638340

[startup+6.30086 s]
/proc/loadavg: 1.17 1.03 1.25 6/262 18816
/proc/meminfo: memFree=13223844/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7638340 CPUtime=6.7 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 17665 0 1 0 667 3 0 0 18 0 19 0 371334367 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909585 14521 2255 9 0 1900323 0
[pid=18779/tid=18780] ppid=18777 vsize=7638340 CPUtime=6.1 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 9550 0 1 0 608 2 0 0 25 0 19 0 371334367 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505578431 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 18683 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 18683 0 -1 4202560 565 0 0 0 0 0 0 0 16 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 18683 0 -1 4202560 162 0 0 0 0 0 0 0 16 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 18683 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 18683 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 19 0 371334368 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18801] ppid=18777 vsize=7638340 CPUtime=0.07 cores=1,3
/proc/18779/task/18801/stat : 18801 (java) S 18777 18779 18683 0 -1 4202560 854 0 0 0 7 0 0 0 16 0 19 0 371334369 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 0 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18806] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18806/stat : 18806 (java) S 18777 18779 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18807] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18807/stat : 18807 (java) S 18777 18779 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18808/stat : 18808 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334372 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284512689 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=7638340 CPUtime=0.23 cores=1,3
/proc/18779/task/18809/stat : 18809 (java) S 18777 18779 18683 0 -1 4202560 3168 0 0 0 23 0 0 0 15 0 19 0 371334372 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 18683 0 -1 4202560 1676 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 14521 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0

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

[pid=18779/tid=18787] ppid=18777 vsize=7638340 CPUtime=0.3 cores=1,3
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 18683 0 -1 4202560 12 0 0 0 30 0 0 0 15 0 19 0 371334368 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=7638340 CPUtime=0.31 cores=1,3
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 18683 0 -1 4202560 14 0 0 0 31 0 0 0 15 0 19 0 371334368 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=7638340 CPUtime=0.27 cores=1,3
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 18683 0 -1 4202560 296 0 0 0 27 0 0 0 15 0 19 0 371334368 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18801] ppid=18777 vsize=7638340 CPUtime=11.64 cores=1,3
/proc/18779/task/18801/stat : 18801 (java) S 18777 18779 18683 0 -1 4202560 2792 0 0 0 1161 3 0 0 15 0 19 0 371334369 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 0 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18806] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18806/stat : 18806 (java) S 18777 18779 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18807] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18807/stat : 18807 (java) S 18777 18779 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18808/stat : 18808 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334372 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284512689 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18809/stat : 18809 (java) S 18777 18779 18683 0 -1 4202560 3178 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 18683 0 -1 4202560 1676 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18811] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18811/stat : 18811 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334372 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18812/stat : 18812 (java) S 18777 18779 18683 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 371334372 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18813/stat : 18813 (java) S 18777 18779 18683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371334384 7821660160 16523 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.61
Current children cumulated vsize (KiB) 7638340

[startup+1182.3 s]
/proc/loadavg: 4.12 4.00 3.24 5/262 18848
/proc/meminfo: memFree=13145788/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7638340 CPUtime=1183.68 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 20468 0 1 0 118355 13 0 0 18 0 19 0 371334367 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909585 16575 2256 9 0 1900323 0
[pid=18779/tid=18780] ppid=18777 vsize=7638340 CPUtime=1168.28 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 10162 0 1 0 116824 4 0 0 25 0 19 0 371334367 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505682937 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=7638340 CPUtime=0.3 cores=1,3
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 18683 0 -1 4202560 276 0 0 0 30 0 0 0 15 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=7638340 CPUtime=0.35 cores=1,3
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 18683 0 -1 4202560 597 0 0 0 35 0 0 0 15 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=7638340 CPUtime=0.31 cores=1,3
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 18683 0 -1 4202560 170 0 0 0 31 0 0 0 16 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=7638340 CPUtime=0.28 cores=1,3
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 18683 0 -1 4202560 12 0 0 0 28 0 0 0 15 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=7638340 CPUtime=0.29 cores=1,3
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 18683 0 -1 4202560 11 0 0 0 29 0 0 0 16 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=7638340 CPUtime=0.32 cores=1,3
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 18683 0 -1 4202560 12 0 0 0 32 0 0 0 15 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=7638340 CPUtime=0.33 cores=1,3
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 18683 0 -1 4202560 14 0 0 0 33 0 0 0 15 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=7638340 CPUtime=0.29 cores=1,3
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 18683 0 -1 4202560 296 0 0 0 29 0 0 0 15 0 19 0 371334368 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18801] ppid=18777 vsize=7638340 CPUtime=12.3 cores=1,3
/proc/18779/task/18801/stat : 18801 (java) S 18777 18779 18683 0 -1 4202560 2843 0 0 0 1227 3 0 0 15 0 19 0 371334369 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 0 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18806] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18806/stat : 18806 (java) S 18777 18779 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18807] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18807/stat : 18807 (java) S 18777 18779 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18808/stat : 18808 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334372 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284512689 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18809/stat : 18809 (java) S 18777 18779 18683 0 -1 4202560 3178 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 18683 0 -1 4202560 1676 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18811] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18811/stat : 18811 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334372 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18812/stat : 18812 (java) S 18777 18779 18683 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371334372 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18813/stat : 18813 (java) S 18777 18779 18683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371334384 7821660160 16575 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.68
Current children cumulated vsize (KiB) 7638340

[startup+1242.3 s]
/proc/loadavg: 4.04 4.00 3.28 5/262 18850
/proc/meminfo: memFree=13143976/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7638340 CPUtime=1243.73 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 20570 0 1 0 124360 13 0 0 18 0 19 0 371334367 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909585 16639 2256 9 0 1900323 0
[pid=18779/tid=18780] ppid=18777 vsize=7638340 CPUtime=1227.53 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 10192 0 1 0 122749 4 0 0 25 0 19 0 371334367 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505578462 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=7638340 CPUtime=0.32 cores=1,3
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 18683 0 -1 4202560 277 0 0 0 32 0 0 0 16 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=7638340 CPUtime=0.36 cores=1,3
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 18683 0 -1 4202560 597 0 0 0 36 0 0 0 15 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=7638340 CPUtime=0.33 cores=1,3
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 18683 0 -1 4202560 171 0 0 0 33 0 0 0 16 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=7638340 CPUtime=0.3 cores=1,3
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 18683 0 -1 4202560 13 0 0 0 30 0 0 0 16 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=7638340 CPUtime=0.32 cores=1,3
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 18683 0 -1 4202560 12 0 0 0 32 0 0 0 15 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=7638340 CPUtime=0.34 cores=1,3
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 18683 0 -1 4202560 13 0 0 0 34 0 0 0 16 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=7638340 CPUtime=0.35 cores=1,3
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 18683 0 -1 4202560 14 0 0 0 35 0 0 0 15 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=7638340 CPUtime=0.32 cores=1,3
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 18683 0 -1 4202560 296 0 0 0 32 0 0 0 15 0 19 0 371334368 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18801] ppid=18777 vsize=7638340 CPUtime=12.96 cores=1,3
/proc/18779/task/18801/stat : 18801 (java) S 18777 18779 18683 0 -1 4202560 2906 0 0 0 1293 3 0 0 15 0 19 0 371334369 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 0 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18806] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18806/stat : 18806 (java) S 18777 18779 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18807] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18807/stat : 18807 (java) S 18777 18779 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18808/stat : 18808 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334372 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284512689 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18809/stat : 18809 (java) S 18777 18779 18683 0 -1 4202560 3178 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 18683 0 -1 4202560 1676 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18811] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18811/stat : 18811 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334372 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18812/stat : 18812 (java) S 18777 18779 18683 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371334372 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18813/stat : 18813 (java) S 18777 18779 18683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371334384 7821660160 16639 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.73
Current children cumulated vsize (KiB) 7638340



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 4.00 3.32 2/203 18860
/proc/meminfo: memFree=13415324/32950928 swapFree=67111528/67111528
[pid=18779] ppid=18777 vsize=7638340 CPUtime=1301.5 cores=1,3
/proc/18779/stat : 18779 (java) S 18777 18779 18683 0 -1 4202496 20674 0 1 0 130137 13 0 0 18 0 19 0 371334367 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18779/statm: 1909585 16705 2256 9 0 1900323 0
[pid=18779/tid=18780] ppid=18777 vsize=7638340 CPUtime=1284.47 cores=1,3
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 18683 0 -1 4202560 10222 0 1 0 128443 4 0 0 25 0 19 0 371334367 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 46912505615997 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=7638340 CPUtime=0.33 cores=1,3
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 18683 0 -1 4202560 277 0 0 0 33 0 0 0 15 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=7638340 CPUtime=0.38 cores=1,3
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 18683 0 -1 4202560 597 0 0 0 38 0 0 0 16 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=7638340 CPUtime=0.35 cores=1,3
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 18683 0 -1 4202560 171 0 0 0 35 0 0 0 15 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=7638340 CPUtime=0.33 cores=1,3
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 18683 0 -1 4202560 13 0 0 0 33 0 0 0 15 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=7638340 CPUtime=0.34 cores=1,3
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 18683 0 -1 4202560 12 0 0 0 34 0 0 0 15 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=7638340 CPUtime=0.36 cores=1,3
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 18683 0 -1 4202560 13 0 0 0 36 0 0 0 15 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=7638340 CPUtime=0.36 cores=1,3
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 18683 0 -1 4202560 15 0 0 0 36 0 0 0 15 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=7638340 CPUtime=0.34 cores=1,3
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 18683 0 -1 4202560 297 0 0 0 34 0 0 0 15 0 19 0 371334368 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18801] ppid=18777 vsize=7638340 CPUtime=13.63 cores=1,3
/proc/18779/task/18801/stat : 18801 (java) S 18777 18779 18683 0 -1 4202560 2974 0 0 0 1360 3 0 0 16 0 19 0 371334369 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 0 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18806] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18806/stat : 18806 (java) S 18777 18779 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18807] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18807/stat : 18807 (java) S 18777 18779 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334370 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18808/stat : 18808 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334372 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284512689 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18809/stat : 18809 (java) S 18777 18779 18683 0 -1 4202560 3178 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=7638340 CPUtime=0.25 cores=1,3
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 18683 0 -1 4202560 1676 0 0 0 25 0 0 0 15 0 19 0 371334372 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18811] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18811/stat : 18811 (java) S 18777 18779 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334372 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284504985 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18812/stat : 18812 (java) S 18777 18779 18683 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371334372 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 3 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=7638340 CPUtime=0 cores=1,3
/proc/18779/task/18813/stat : 18813 (java) S 18777 18779 18683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371334384 7821660160 16705 33554432000 1073741824 1073778376 140734926064464 18446744073709551615 268284505600 0 4 0 16800975 18446604454223267648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.5
Current children cumulated vsize (KiB) 7638340

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.03
CPU time (s): 1301.54
CPU user time (s): 1301.4
CPU system time (s): 0.143978
CPU usage (%): 100.117
Max. virtual memory (cumulated for all children) (KiB): 7638340

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

runsolver used 2.08568 second user time and 5.06623 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-12 10:35:56
IDJOB=3190223
IDBENCH=82554
IDSOLVER=1611
FILE ID=node122/3190223-1302597356
RUNJOBID= node122-1302597355-18703
PBS_JOBID= 12958098
Free space on /tmp= 71808 MiB

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

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

MD5SUM BENCH= 875a8b1e044c25599d3c66c1e66d27f4
RANDOM SEED=1512041807

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13398552 kB
Buffers:        786716 kB
Cached:       18193264 kB
SwapCached:          0 kB
Active:        9991172 kB
Inactive:      9137644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13398552 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2724 kB
Writeback:           0 kB
AnonPages:      148320 kB
Mapped:          21508 kB
Slab:           356940 kB
PageTables:       5796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 21974156 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= 71808 MiB
End job on node122 at 2011-04-12 10:57:38