Trace number 3190208

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

General information on the benchmark

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

Solver Data 

0.03/0.28	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.28	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.28	c See www.sat4j.org for details.
0.03/0.28	c no version file found!!!
0.03/0.28	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.28	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.28	c java.vm.version	19.1-b02
0.03/0.28	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.28	c sun.arch.data.model	64
0.03/0.28	c java.version		1.6.0_24
0.03/0.28	c os.name		Linux
0.03/0.28	c os.version		2.6.18-164.el5
0.03/0.28	c os.arch		amd64
0.03/0.28	c Free memory 		6997539544
0.03/0.28	c Max memory 		7034241024
0.03/0.28	c Total memory 		7034241024
0.03/0.28	c Number of processors 	8
0.08/0.30	c --- Begin Solver configuration ---
0.08/0.30	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.08/0.30	c Learn all clauses as in MiniSAT
0.08/0.30	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.30	c Expensive reason simplification
0.08/0.30	c Armin Biere (Picosat) restarts strategy
0.08/0.30	c Glucose learned constraints deletion strategy
0.08/0.30	c timeout=2147483647s
0.08/0.30	c DB Simplification allowed=true
0.08/0.30	c --- End Solver configuration ---
0.08/0.30	c solving HOME/instance-3190208-1302596906.cnf
0.08/0.30	c reading problem ... 
0.08/0.37	c ... done. Wall clock time 0.069s.
0.08/0.37	c #vars     2500
0.08/0.37	c #constraints  10500
0.08/0.37	c constraints type 
0.08/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10500
1.40/1.31	c cleaning 2500 clauses out of 5002 with flag 5002/5002
2.53/2.17	c cleaning 4244 clauses out of 8501 with flag 11001/11001
3.64/3.23	c cleaning 5628 clauses out of 11257 with flag 18001/18001
4.95/4.51	c cleaning 6811 clauses out of 13631 with flag 26003/26003
6.36/5.95	c cleaning 7905 clauses out of 15817 with flag 35000/35000
8.07/7.62	c cleaning 8951 clauses out of 17913 with flag 45001/45001
9.86/9.49	c cleaning 9977 clauses out of 19962 with flag 56001/56001
11.87/11.41	c cleaning 10488 clauses out of 20984 with flag 67000/67000
13.77/13.32	c cleaning 10745 clauses out of 21498 with flag 78002/78002
15.67/15.23	c cleaning 10863 clauses out of 21752 with flag 89001/89001
17.57/17.17	c cleaning 10938 clauses out of 21890 with flag 100002/100002
19.47/19.08	c cleaning 10971 clauses out of 21950 with flag 111000/111000
21.38/20.98	c cleaning 10981 clauses out of 21980 with flag 122001/122001
23.28/22.83	c cleaning 10990 clauses out of 21998 with flag 133000/133000
25.18/24.74	c cleaning 11001 clauses out of 22008 with flag 144000/144000
27.08/26.65	c cleaning 10995 clauses out of 22007 with flag 155000/155000
28.99/28.52	c cleaning 11000 clauses out of 22012 with flag 166000/166000
30.88/30.46	c cleaning 11000 clauses out of 22012 with flag 177000/177000
32.78/32.35	c cleaning 11000 clauses out of 22013 with flag 188001/188001
34.68/34.28	c cleaning 11002 clauses out of 22014 with flag 199002/199002
36.58/36.15	c cleaning 10995 clauses out of 22010 with flag 210000/210000
38.49/38.07	c cleaning 11004 clauses out of 22015 with flag 221000/221000
40.39/39.96	c cleaning 11004 clauses out of 22011 with flag 232000/232000
42.39/41.90	c cleaning 11000 clauses out of 22007 with flag 243000/243000
44.19/43.76	c cleaning 11001 clauses out of 22009 with flag 254002/254002
46.09/45.68	c cleaning 10990 clauses out of 22006 with flag 265000/265000
47.99/47.57	c cleaning 11000 clauses out of 22016 with flag 276000/276000
49.90/49.46	c cleaning 10998 clauses out of 22018 with flag 287002/287002
51.80/51.39	c cleaning 11009 clauses out of 22020 with flag 298002/298002
53.70/53.24	c cleaning 11000 clauses out of 22010 with flag 309001/309001
55.60/55.12	c cleaning 10999 clauses out of 22009 with flag 320000/320000
57.50/57.08	c cleaning 11001 clauses out of 22011 with flag 331001/331001
59.40/58.95	c cleaning 10999 clauses out of 22010 with flag 342001/342001
61.30/60.85	c cleaning 10995 clauses out of 22010 with flag 353000/353000
63.30/62.82	c cleaning 11001 clauses out of 22016 with flag 364001/364001
65.21/64.70	c cleaning 11009 clauses out of 22017 with flag 375003/375003
67.01/66.59	c cleaning 10994 clauses out of 22005 with flag 386000/386000
68.91/68.49	c cleaning 11002 clauses out of 22012 with flag 397001/397001
70.91/70.46	c cleaning 11000 clauses out of 22009 with flag 408000/408000
72.81/72.34	c cleaning 10992 clauses out of 22009 with flag 419000/419000
74.71/74.23	c cleaning 10998 clauses out of 22020 with flag 430003/430003
76.61/76.13	c cleaning 11004 clauses out of 22023 with flag 441004/441004
78.52/78.09	c cleaning 11008 clauses out of 22017 with flag 452002/452002
80.41/79.93	c cleaning 10994 clauses out of 22007 with flag 463000/463000
82.31/81.84	c cleaning 11005 clauses out of 22013 with flag 474000/474000
84.22/83.78	c cleaning 10989 clauses out of 22009 with flag 485001/485001
86.22/85.73	c cleaning 11002 clauses out of 22021 with flag 496002/496002
88.12/87.65	c cleaning 11002 clauses out of 22017 with flag 507000/507000
90.02/89.52	c cleaning 10995 clauses out of 22016 with flag 518001/518001
91.92/91.44	c cleaning 11001 clauses out of 22020 with flag 529000/529000
93.82/93.40	c cleaning 11006 clauses out of 22020 with flag 540001/540001
95.82/95.38	c cleaning 11002 clauses out of 22013 with flag 551000/551000
97.72/97.24	c cleaning 10988 clauses out of 22011 with flag 562000/562000
99.62/99.12	c cleaning 10998 clauses out of 22023 with flag 573000/573000
101.52/101.00	c cleaning 11003 clauses out of 22026 with flag 584001/584001
103.42/102.93	c cleaning 11002 clauses out of 22022 with flag 595000/595000
105.33/104.85	c cleaning 11007 clauses out of 22021 with flag 606001/606001
107.23/106.78	c cleaning 11003 clauses out of 22015 with flag 617002/617002
109.13/108.62	c cleaning 10990 clauses out of 22010 with flag 628000/628000
110.93/110.49	c cleaning 11005 clauses out of 22020 with flag 639000/639000
112.93/112.43	c cleaning 11001 clauses out of 22016 with flag 650001/650001
114.84/114.37	c cleaning 10993 clauses out of 22014 with flag 661000/661000
116.83/116.32	c cleaning 10995 clauses out of 22021 with flag 672000/672000
118.73/118.24	c cleaning 11000 clauses out of 22026 with flag 683000/683000
120.64/120.15	c cleaning 11003 clauses out of 22027 with flag 694001/694001
122.54/122.02	c cleaning 11004 clauses out of 22025 with flag 705002/705002
124.44/123.93	c cleaning 10995 clauses out of 22023 with flag 716004/716004
126.34/125.88	c cleaning 11008 clauses out of 22025 with flag 727001/727001
128.34/127.82	c cleaning 10995 clauses out of 22017 with flag 738001/738001
130.35/129.83	c cleaning 11006 clauses out of 22021 with flag 749000/749000
132.14/131.67	c cleaning 11004 clauses out of 22015 with flag 760000/760000
134.04/133.55	c cleaning 11001 clauses out of 22012 with flag 771001/771001
135.94/135.48	c cleaning 10988 clauses out of 22010 with flag 782000/782000
137.84/137.40	c cleaning 10993 clauses out of 22025 with flag 793003/793003
139.86/139.36	c cleaning 11005 clauses out of 22030 with flag 804001/804001
141.86/141.34	c cleaning 11003 clauses out of 22024 with flag 815000/815000
143.86/143.34	c cleaning 11009 clauses out of 22023 with flag 826002/826002
145.77/145.23	c cleaning 11005 clauses out of 22014 with flag 837002/837002
147.67/147.10	c cleaning 10997 clauses out of 22008 with flag 848001/848001
149.57/149.00	c cleaning 10999 clauses out of 22011 with flag 859001/859001
151.48/150.97	c cleaning 11000 clauses out of 22011 with flag 870000/870000
153.49/152.93	c cleaning 10996 clauses out of 22011 with flag 881000/881000
155.48/154.90	c cleaning 10999 clauses out of 22017 with flag 892002/892002
157.39/156.90	c cleaning 10998 clauses out of 22017 with flag 903001/903001
159.48/158.92	c cleaning 11009 clauses out of 22019 with flag 914001/914001
161.29/160.79	c cleaning 11003 clauses out of 22009 with flag 925000/925000
163.19/162.70	c cleaning 10994 clauses out of 22006 with flag 936000/936000
165.19/164.62	c cleaning 10998 clauses out of 22013 with flag 947001/947001
167.09/166.57	c cleaning 11003 clauses out of 22014 with flag 958000/958000
169.09/168.54	c cleaning 10990 clauses out of 22012 with flag 969001/969001
171.00/170.48	c cleaning 11003 clauses out of 22021 with flag 980000/980000
172.99/172.49	c cleaning 11004 clauses out of 22019 with flag 991001/991001
175.09/174.51	c cleaning 11001 clauses out of 22015 with flag 1002001/1002001
177.09/176.54	c cleaning 11000 clauses out of 22013 with flag 1013000/1013000
178.99/178.44	c cleaning 11004 clauses out of 22018 with flag 1024005/1024005
180.90/180.32	c cleaning 11000 clauses out of 22009 with flag 1035000/1035000
182.80/182.26	c cleaning 10997 clauses out of 22009 with flag 1046000/1046000
184.80/184.25	c cleaning 11002 clauses out of 22012 with flag 1057000/1057000
186.80/186.27	c cleaning 10997 clauses out of 22010 with flag 1068000/1068000
188.80/188.28	c cleaning 10994 clauses out of 22015 with flag 1079002/1079002
190.80/190.27	c cleaning 11001 clauses out of 22019 with flag 1090000/1090000
192.80/192.27	c cleaning 10996 clauses out of 22018 with flag 1101000/1101000
194.80/194.27	c cleaning 10994 clauses out of 22022 with flag 1112000/1112000
196.80/196.24	c cleaning 11010 clauses out of 22029 with flag 1123001/1123001
198.70/198.15	c cleaning 11002 clauses out of 22018 with flag 1134000/1134000
200.60/200.07	c cleaning 11004 clauses out of 22016 with flag 1145000/1145000
202.61/202.02	c cleaning 10998 clauses out of 22012 with flag 1156000/1156000
204.51/203.98	c cleaning 11002 clauses out of 22016 with flag 1167002/1167002
206.51/205.94	c cleaning 10990 clauses out of 22012 with flag 1178000/1178000
208.61/208.02	c cleaning 11004 clauses out of 22024 with flag 1189002/1189002
210.62/210.04	c cleaning 10992 clauses out of 22018 with flag 1200000/1200000
212.61/212.06	c cleaning 11009 clauses out of 22027 with flag 1211001/1211001
214.71/214.11	c cleaning 10998 clauses out of 22017 with flag 1222000/1222000
216.81/216.26	c cleaning 11008 clauses out of 22019 with flag 1233000/1233000
218.71/218.19	c cleaning 11000 clauses out of 22011 with flag 1244000/1244000
220.62/220.07	c cleaning 10993 clauses out of 22011 with flag 1255000/1255000
222.61/222.01	c cleaning 11002 clauses out of 22018 with flag 1266000/1266000
224.52/223.98	c cleaning 11002 clauses out of 22017 with flag 1277001/1277001
226.52/225.91	c cleaning 11002 clauses out of 22018 with flag 1288004/1288004
228.52/227.92	c cleaning 10999 clauses out of 22012 with flag 1299000/1299000
230.52/229.93	c cleaning 11003 clauses out of 22014 with flag 1310001/1310001
232.52/231.99	c cleaning 10997 clauses out of 22011 with flag 1321001/1321001
234.62/234.02	c cleaning 10994 clauses out of 22013 with flag 1332000/1332000
236.62/236.01	c cleaning 11000 clauses out of 22019 with flag 1343000/1343000
238.62/238.03	c cleaning 10995 clauses out of 22019 with flag 1354000/1354000
240.62/240.03	c cleaning 11008 clauses out of 22024 with flag 1365000/1365000
242.54/241.93	c cleaning 10997 clauses out of 22017 with flag 1376001/1376001
244.43/243.89	c cleaning 11001 clauses out of 22019 with flag 1387000/1387000
246.43/245.85	c cleaning 11004 clauses out of 22022 with flag 1398004/1398004
248.43/247.84	c cleaning 11003 clauses out of 22015 with flag 1409001/1409001
250.44/249.88	c cleaning 10992 clauses out of 22011 with flag 1420000/1420000
252.54/251.90	c cleaning 11000 clauses out of 22020 with flag 1431001/1431001
254.54/253.95	c cleaning 10994 clauses out of 22019 with flag 1442000/1442000
256.64/256.02	c cleaning 11001 clauses out of 22026 with flag 1453001/1453001
258.64/258.06	c cleaning 11002 clauses out of 22025 with flag 1464001/1464001
260.84/260.23	c cleaning 11002 clauses out of 22022 with flag 1475000/1475000
262.94/262.35	c cleaning 10995 clauses out of 22020 with flag 1486000/1486000
264.94/264.38	c cleaning 10994 clauses out of 22025 with flag 1497000/1497000
266.94/266.31	c cleaning 11014 clauses out of 22034 with flag 1508003/1508003
268.84/268.22	c cleaning 11006 clauses out of 22018 with flag 1519001/1519001
270.74/270.14	c cleaning 11000 clauses out of 22013 with flag 1530002/1530002
272.64/272.08	c cleaning 10999 clauses out of 22013 with flag 1541002/1541002
274.64/274.07	c cleaning 10998 clauses out of 22015 with flag 1552003/1552003
276.65/276.03	c cleaning 10993 clauses out of 22014 with flag 1563000/1563000
278.66/278.06	c cleaning 11005 clauses out of 22022 with flag 1574001/1574001
280.66/280.03	c cleaning 11000 clauses out of 22016 with flag 1585000/1585000
282.66/282.05	c cleaning 11001 clauses out of 22018 with flag 1596002/1596002
284.76/284.14	c cleaning 11004 clauses out of 22018 with flag 1607003/1607003
286.86/286.27	c cleaning 10996 clauses out of 22012 with flag 1618001/1618001
288.96/288.35	c cleaning 10997 clauses out of 22016 with flag 1629001/1629001
291.07/290.49	c cleaning 10994 clauses out of 22018 with flag 1640000/1640000
293.17/292.57	c cleaning 10995 clauses out of 22024 with flag 1651000/1651000
295.17/294.56	c cleaning 11013 clauses out of 22030 with flag 1662001/1662001
297.07/296.45	c cleaning 10996 clauses out of 22016 with flag 1673000/1673000
298.97/298.39	c cleaning 11005 clauses out of 22020 with flag 1684000/1684000
300.98/300.36	c cleaning 10997 clauses out of 22016 with flag 1695001/1695001
302.97/302.37	c cleaning 11003 clauses out of 22018 with flag 1706000/1706000
304.97/304.30	c cleaning 11000 clauses out of 22015 with flag 1717000/1717000
306.87/306.28	c cleaning 11002 clauses out of 22016 with flag 1728001/1728001
308.88/308.25	c cleaning 10999 clauses out of 22013 with flag 1739000/1739000
310.88/310.23	c cleaning 10998 clauses out of 22014 with flag 1750000/1750000
312.98/312.37	c cleaning 10990 clauses out of 22017 with flag 1761001/1761001
315.08/314.43	c cleaning 11013 clauses out of 22027 with flag 1772001/1772001
317.28/316.63	c cleaning 10997 clauses out of 22014 with flag 1783001/1783001
319.38/318.76	c cleaning 10990 clauses out of 22016 with flag 1794000/1794000
321.48/320.82	c cleaning 11000 clauses out of 22026 with flag 1805000/1805000
323.48/322.89	c cleaning 11005 clauses out of 22027 with flag 1816001/1816001
325.68/325.06	c cleaning 11008 clauses out of 22022 with flag 1827001/1827001
327.59/326.98	c cleaning 10999 clauses out of 22013 with flag 1838000/1838000
329.59/328.92	c cleaning 11002 clauses out of 22014 with flag 1849000/1849000
331.49/330.85	c cleaning 10999 clauses out of 22012 with flag 1860000/1860000
333.49/332.80	c cleaning 10996 clauses out of 22014 with flag 1871001/1871001
335.39/334.75	c cleaning 10996 clauses out of 22017 with flag 1882000/1882000
337.39/336.73	c cleaning 11002 clauses out of 22021 with flag 1893000/1893000
339.40/338.75	c cleaning 11000 clauses out of 22023 with flag 1904004/1904004
341.50/340.80	c cleaning 11003 clauses out of 22022 with flag 1915003/1915003
343.50/342.83	c cleaning 11004 clauses out of 22016 with flag 1926000/1926000
345.50/344.88	c cleaning 10998 clauses out of 22012 with flag 1937000/1937000
347.60/346.90	c cleaning 10995 clauses out of 22015 with flag 1948001/1948001
349.60/348.95	c cleaning 11001 clauses out of 22022 with flag 1959003/1959003
351.70/351.01	c cleaning 10999 clauses out of 22019 with flag 1970001/1970001
353.90/353.27	c cleaning 11001 clauses out of 22021 with flag 1981002/1981002
356.10/355.40	c cleaning 11005 clauses out of 22021 with flag 1992003/1992003
358.11/357.41	c cleaning 10998 clauses out of 22014 with flag 2003001/2003001
360.20/359.56	c cleaning 11000 clauses out of 22017 with flag 2014002/2014002
362.11/361.48	c cleaning 11008 clauses out of 22019 with flag 2025004/2025004
364.01/363.39	c cleaning 10996 clauses out of 22007 with flag 2036000/2036000
366.01/365.30	c cleaning 10992 clauses out of 22012 with flag 2047001/2047001
367.91/367.26	c cleaning 10998 clauses out of 22020 with flag 2058001/2058001
369.91/369.23	c cleaning 11007 clauses out of 22022 with flag 2069001/2069001
371.91/371.23	c cleaning 11003 clauses out of 22016 with flag 2080002/2080002
373.91/373.26	c cleaning 10987 clauses out of 22011 with flag 2091000/2091000
376.02/375.33	c cleaning 10999 clauses out of 22025 with flag 2102001/2102001
378.12/377.45	c cleaning 11002 clauses out of 22025 with flag 2113000/2113000
380.23/379.54	c cleaning 11003 clauses out of 22024 with flag 2124001/2124001
382.22/381.59	c cleaning 11000 clauses out of 22021 with flag 2135001/2135001
384.32/383.62	c cleaning 11003 clauses out of 22021 with flag 2146001/2146001
386.33/385.69	c cleaning 10997 clauses out of 22017 with flag 2157000/2157000
388.53/387.82	c cleaning 10990 clauses out of 22020 with flag 2168000/2168000
390.53/389.90	c cleaning 11002 clauses out of 22030 with flag 2179000/2179000
392.53/391.89	c cleaning 11000 clauses out of 22028 with flag 2190000/2190000
394.73/394.05	c cleaning 11000 clauses out of 22029 with flag 2201001/2201001
396.83/396.14	c cleaning 11005 clauses out of 22028 with flag 2212000/2212000
398.94/398.23	c cleaning 11011 clauses out of 22025 with flag 2223002/2223002
400.84/400.18	c cleaning 10999 clauses out of 22013 with flag 2234001/2234001
402.74/402.10	c cleaning 10996 clauses out of 22013 with flag 2245000/2245000
404.74/404.05	c cleaning 10996 clauses out of 22017 with flag 2256000/2256000
406.65/405.98	c cleaning 10998 clauses out of 22021 with flag 2267000/2267000
408.64/407.98	c cleaning 10990 clauses out of 22024 with flag 2278001/2278001
410.64/409.96	c cleaning 11010 clauses out of 22035 with flag 2289002/2289002
412.64/411.97	c cleaning 11008 clauses out of 22024 with flag 2300001/2300001
414.64/413.99	c cleaning 10985 clauses out of 22015 with flag 2311000/2311000
416.64/415.96	c cleaning 11008 clauses out of 22033 with flag 2322003/2322003
418.65/417.93	c cleaning 11003 clauses out of 22022 with flag 2333000/2333000
420.65/419.94	c cleaning 10995 clauses out of 22021 with flag 2344002/2344002
422.65/421.97	c cleaning 11005 clauses out of 22025 with flag 2355001/2355001
424.75/424.03	c cleaning 10992 clauses out of 22019 with flag 2366000/2366000
426.95/426.27	c cleaning 11010 clauses out of 22027 with flag 2377000/2377000
429.15/428.44	c cleaning 10997 clauses out of 22019 with flag 2388002/2388002
431.15/430.46	c cleaning 10998 clauses out of 22020 with flag 2399000/2399000
433.25/432.59	c cleaning 11009 clauses out of 22022 with flag 2410000/2410000
435.45/434.76	c cleaning 10982 clauses out of 22013 with flag 2421000/2421000
437.46/436.77	c cleaning 11009 clauses out of 22031 with flag 2432000/2432000
439.56/438.82	c cleaning 11001 clauses out of 22023 with flag 2443001/2443001
441.56/440.87	c cleaning 11009 clauses out of 22022 with flag 2454001/2454001
443.56/442.84	c cleaning 10998 clauses out of 22012 with flag 2465000/2465000
445.46/444.79	c cleaning 10995 clauses out of 22015 with flag 2476001/2476001
447.46/446.79	c cleaning 10997 clauses out of 22019 with flag 2487000/2487000
449.47/448.78	c cleaning 10995 clauses out of 22023 with flag 2498001/2498001
451.46/450.78	c cleaning 11002 clauses out of 22028 with flag 2509001/2509001
453.56/452.84	c cleaning 11003 clauses out of 22026 with flag 2520001/2520001
455.66/454.92	c cleaning 11002 clauses out of 22022 with flag 2531000/2531000
457.67/456.94	c cleaning 10999 clauses out of 22020 with flag 2542000/2542000
459.77/459.01	c cleaning 11002 clauses out of 22022 with flag 2553001/2553001
461.87/461.12	c cleaning 10997 clauses out of 22020 with flag 2564001/2564001
463.88/463.19	c cleaning 11000 clauses out of 22024 with flag 2575002/2575002
465.98/465.23	c cleaning 11001 clauses out of 22022 with flag 2586000/2586000
467.97/467.30	c cleaning 10994 clauses out of 22022 with flag 2597001/2597001
470.07/469.32	c cleaning 11000 clauses out of 22027 with flag 2608000/2608000
472.27/471.52	c cleaning 10991 clauses out of 22027 with flag 2619000/2619000
474.38/473.70	c cleaning 10999 clauses out of 22036 with flag 2630000/2630000
476.48/475.70	c cleaning 11008 clauses out of 22041 with flag 2641004/2641004
478.68/477.92	c cleaning 11003 clauses out of 22033 with flag 2652004/2652004
480.68/479.94	c cleaning 11000 clauses out of 22028 with flag 2663002/2663002
482.78/482.08	c cleaning 11006 clauses out of 22027 with flag 2674001/2674001
484.89/484.15	c cleaning 10995 clauses out of 22023 with flag 2685003/2685003
487.09/486.38	c cleaning 10997 clauses out of 22026 with flag 2696001/2696001
489.10/488.35	c cleaning 11000 clauses out of 22028 with flag 2707000/2707000
490.99/490.27	c cleaning 11009 clauses out of 22028 with flag 2718000/2718000
492.99/492.23	c cleaning 10997 clauses out of 22019 with flag 2729000/2729000
494.89/494.17	c cleaning 10998 clauses out of 22022 with flag 2740000/2740000
496.90/496.13	c cleaning 11007 clauses out of 22025 with flag 2751001/2751001
498.90/498.10	c cleaning 10996 clauses out of 22017 with flag 2762000/2762000
500.90/500.10	c cleaning 11001 clauses out of 22023 with flag 2773002/2773002
502.80/502.08	c cleaning 11002 clauses out of 22021 with flag 2784001/2784001
504.90/504.11	c cleaning 10988 clauses out of 22018 with flag 2795000/2795000
506.90/506.19	c cleaning 11010 clauses out of 22030 with flag 2806000/2806000
509.10/508.30	c cleaning 11001 clauses out of 22020 with flag 2817000/2817000
511.21/510.40	c cleaning 10996 clauses out of 22019 with flag 2828000/2828000
513.31/512.56	c cleaning 10997 clauses out of 22023 with flag 2839000/2839000
515.41/514.64	c cleaning 11004 clauses out of 22027 with flag 2850001/2850001
517.42/516.69	c cleaning 10999 clauses out of 22022 with flag 2861000/2861000
519.52/518.75	c cleaning 10999 clauses out of 22024 with flag 2872001/2872001
521.72/520.94	c cleaning 10996 clauses out of 22025 with flag 2883001/2883001
523.73/522.98	c cleaning 11004 clauses out of 22028 with flag 2894000/2894000
525.93/525.15	c cleaning 10998 clauses out of 22025 with flag 2905001/2905001
528.03/527.21	c cleaning 10994 clauses out of 22026 with flag 2916000/2916000
530.13/529.38	c cleaning 11002 clauses out of 22033 with flag 2927001/2927001
532.33/531.51	c cleaning 10997 clauses out of 22032 with flag 2938002/2938002
534.43/533.64	c cleaning 10998 clauses out of 22033 with flag 2949000/2949000
536.54/535.76	c cleaning 11005 clauses out of 22035 with flag 2960000/2960000
538.74/537.93	c cleaning 11000 clauses out of 22030 with flag 2971000/2971000
540.74/539.95	c cleaning 11006 clauses out of 22031 with flag 2982001/2982001
542.64/541.84	c cleaning 11005 clauses out of 22025 with flag 2993001/2993001
544.54/543.75	c cleaning 10997 clauses out of 22019 with flag 3004000/3004000
546.54/545.73	c cleaning 11007 clauses out of 22023 with flag 3015001/3015001
548.55/547.75	c cleaning 11004 clauses out of 22017 with flag 3026002/3026002
550.54/549.79	c cleaning 10995 clauses out of 22012 with flag 3037001/3037001
552.65/551.83	c cleaning 11001 clauses out of 22016 with flag 3048000/3048000
554.65/553.86	c cleaning 10998 clauses out of 22016 with flag 3059001/3059001
556.75/555.92	c cleaning 11000 clauses out of 22018 with flag 3070001/3070001
558.75/557.96	c cleaning 10995 clauses out of 22017 with flag 3081000/3081000
560.85/560.09	c cleaning 10998 clauses out of 22023 with flag 3092001/3092001
563.05/562.26	c cleaning 11004 clauses out of 22024 with flag 3103000/3103000
565.25/564.45	c cleaning 10993 clauses out of 22020 with flag 3114000/3114000
567.36/566.51	c cleaning 11009 clauses out of 22028 with flag 3125001/3125001
569.35/568.52	c cleaning 10991 clauses out of 22018 with flag 3136000/3136000
571.55/570.75	c cleaning 11008 clauses out of 22029 with flag 3147002/3147002
573.75/572.98	c cleaning 10996 clauses out of 22019 with flag 3158000/3158000
575.85/575.06	c cleaning 11000 clauses out of 22024 with flag 3169001/3169001
578.06/577.20	c cleaning 10993 clauses out of 22024 with flag 3180001/3180001
580.06/579.29	c cleaning 11001 clauses out of 22031 with flag 3191001/3191001
582.26/581.43	c cleaning 10999 clauses out of 22029 with flag 3202000/3202000
584.26/583.45	c cleaning 11003 clauses out of 22031 with flag 3213001/3213001
586.46/585.66	c cleaning 10998 clauses out of 22027 with flag 3224000/3224000
588.56/587.72	c cleaning 10993 clauses out of 22031 with flag 3235002/3235002
590.67/589.84	c cleaning 11002 clauses out of 22036 with flag 3246000/3246000
592.67/591.89	c cleaning 11001 clauses out of 22035 with flag 3257001/3257001
594.78/594.00	c cleaning 11008 clauses out of 22033 with flag 3268000/3268000
596.98/596.10	c cleaning 11000 clauses out of 22028 with flag 3279003/3279003
598.88/598.05	c cleaning 11004 clauses out of 22025 with flag 3290000/3290000
600.88/600.00	c cleaning 11002 clauses out of 22021 with flag 3301000/3301000
602.78/601.94	c cleaning 10986 clauses out of 22019 with flag 3312000/3312000
604.69/603.89	c cleaning 11005 clauses out of 22033 with flag 3323000/3323000
606.79/605.90	c cleaning 11006 clauses out of 22032 with flag 3334004/3334004
608.79/607.95	c cleaning 11005 clauses out of 22022 with flag 3345000/3345000
610.79/609.99	c cleaning 10989 clauses out of 22018 with flag 3356001/3356001
612.89/612.08	c cleaning 11008 clauses out of 22030 with flag 3367002/3367002
615.09/614.23	c cleaning 10993 clauses out of 22020 with flag 3378000/3378000
617.09/616.28	c cleaning 11003 clauses out of 22027 with flag 3389000/3389000
619.19/618.35	c cleaning 11003 clauses out of 22024 with flag 3400000/3400000
621.30/620.43	c cleaning 10998 clauses out of 22021 with flag 3411000/3411000
623.40/622.56	c cleaning 11008 clauses out of 22025 with flag 3422002/3422002
625.60/624.79	c cleaning 10988 clauses out of 22015 with flag 3433000/3433000
627.70/626.84	c cleaning 10991 clauses out of 22027 with flag 3444000/3444000
629.80/628.90	c cleaning 11007 clauses out of 22037 with flag 3455001/3455001
631.80/630.98	c cleaning 11006 clauses out of 22030 with flag 3466001/3466001
634.01/633.10	c cleaning 10991 clauses out of 22023 with flag 3477000/3477000
636.01/635.16	c cleaning 11003 clauses out of 22032 with flag 3488000/3488000
638.21/637.33	c cleaning 11001 clauses out of 22029 with flag 3499000/3499000
640.21/639.36	c cleaning 11003 clauses out of 22028 with flag 3510000/3510000
642.41/641.51	c cleaning 11000 clauses out of 22025 with flag 3521000/3521000
644.42/643.56	c cleaning 10997 clauses out of 22025 with flag 3532000/3532000
646.52/645.69	c cleaning 10994 clauses out of 22028 with flag 3543000/3543000
648.72/647.90	c cleaning 11001 clauses out of 22034 with flag 3554000/3554000
650.92/650.06	c cleaning 11008 clauses out of 22035 with flag 3565002/3565002
653.02/652.19	c cleaning 10995 clauses out of 22025 with flag 3576000/3576000
655.12/654.20	c cleaning 11002 clauses out of 22031 with flag 3587001/3587001
657.32/656.47	c cleaning 10998 clauses out of 22030 with flag 3598002/3598002
659.52/658.62	c cleaning 10987 clauses out of 22031 with flag 3609001/3609001
661.53/660.67	c cleaning 11017 clauses out of 22043 with flag 3620000/3620000
663.43/662.59	c cleaning 11005 clauses out of 22028 with flag 3631002/3631002
665.34/664.49	c cleaning 10993 clauses out of 22021 with flag 3642000/3642000
667.33/666.42	c cleaning 10993 clauses out of 22029 with flag 3653001/3653001
669.24/668.38	c cleaning 11013 clauses out of 22035 with flag 3664000/3664000
671.24/670.37	c cleaning 11000 clauses out of 22022 with flag 3675000/3675000
673.34/672.46	c cleaning 11002 clauses out of 22023 with flag 3686001/3686001
675.44/674.55	c cleaning 10991 clauses out of 22020 with flag 3697000/3697000
677.45/676.59	c cleaning 11005 clauses out of 22029 with flag 3708000/3708000
679.65/678.76	c cleaning 10991 clauses out of 22024 with flag 3719000/3719000
681.85/680.95	c cleaning 11011 clauses out of 22034 with flag 3730001/3730001
684.06/683.17	c cleaning 10991 clauses out of 22022 with flag 3741000/3741000
686.26/685.30	c cleaning 11012 clauses out of 22031 with flag 3752000/3752000
688.36/687.47	c cleaning 10994 clauses out of 22019 with flag 3763000/3763000
690.46/689.50	c cleaning 11008 clauses out of 22028 with flag 3774003/3774003
692.66/691.71	c cleaning 11001 clauses out of 22017 with flag 3785000/3785000
694.77/693.87	c cleaning 10988 clauses out of 22016 with flag 3796000/3796000
696.77/695.88	c cleaning 11000 clauses out of 22028 with flag 3807000/3807000
698.97/698.01	c cleaning 10998 clauses out of 22028 with flag 3818000/3818000
700.97/700.07	c cleaning 11009 clauses out of 22031 with flag 3829001/3829001
703.17/702.28	c cleaning 11000 clauses out of 22021 with flag 3840000/3840000
705.37/704.42	c cleaning 10990 clauses out of 22021 with flag 3851000/3851000
707.58/706.60	c cleaning 11000 clauses out of 22032 with flag 3862001/3862001
709.68/708.73	c cleaning 10996 clauses out of 22032 with flag 3873001/3873001
711.88/710.93	c cleaning 10997 clauses out of 22037 with flag 3884002/3884002
713.88/712.97	c cleaning 11004 clauses out of 22038 with flag 3895000/3895000
716.18/715.22	c cleaning 10999 clauses out of 22034 with flag 3906000/3906000
718.39/717.41	c cleaning 11008 clauses out of 22035 with flag 3917000/3917000
720.59/719.66	c cleaning 10994 clauses out of 22027 with flag 3928000/3928000
722.79/721.87	c cleaning 11007 clauses out of 22034 with flag 3939001/3939001
724.89/723.93	c cleaning 10995 clauses out of 22026 with flag 3950000/3950000
727.09/726.11	c cleaning 11001 clauses out of 22031 with flag 3961000/3961000
729.20/728.24	c cleaning 10996 clauses out of 22030 with flag 3972000/3972000
731.30/730.32	c cleaning 11011 clauses out of 22035 with flag 3983001/3983001
733.20/732.26	c cleaning 11005 clauses out of 22023 with flag 3994000/3994000
735.10/734.19	c cleaning 11004 clauses out of 22018 with flag 4005000/4005000
737.10/736.12	c cleaning 10991 clauses out of 22014 with flag 4016000/4016000
739.01/738.09	c cleaning 11004 clauses out of 22023 with flag 4027000/4027000
741.01/740.07	c cleaning 10995 clauses out of 22019 with flag 4038000/4038000
743.01/742.05	c cleaning 10995 clauses out of 22024 with flag 4049000/4049000
745.01/744.09	c cleaning 11001 clauses out of 22031 with flag 4060002/4060002
747.21/746.22	c cleaning 10998 clauses out of 22028 with flag 4071000/4071000
749.31/748.31	c cleaning 11005 clauses out of 22031 with flag 4082001/4082001
751.22/750.29	c cleaning 10994 clauses out of 22025 with flag 4093000/4093000
753.32/752.36	c cleaning 10999 clauses out of 22031 with flag 4104000/4104000
755.42/754.49	c cleaning 11004 clauses out of 22032 with flag 4115000/4115000
757.52/756.56	c cleaning 11001 clauses out of 22028 with flag 4126000/4126000
759.62/758.68	c cleaning 11007 clauses out of 22027 with flag 4137000/4137000
761.82/760.88	c cleaning 11001 clauses out of 22020 with flag 4148000/4148000
763.82/762.87	c cleaning 10992 clauses out of 22019 with flag 4159000/4159000
766.03/765.04	c cleaning 11006 clauses out of 22028 with flag 4170001/4170001
768.33/767.32	c cleaning 11005 clauses out of 22021 with flag 4181000/4181000
770.44/769.44	c cleaning 10997 clauses out of 22017 with flag 4192001/4192001
772.74/771.70	c cleaning 11001 clauses out of 22020 with flag 4203001/4203001
774.74/773.73	c cleaning 10994 clauses out of 22018 with flag 4214000/4214000
776.94/775.90	c cleaning 10993 clauses out of 22024 with flag 4225000/4225000
778.94/777.96	c cleaning 10998 clauses out of 22032 with flag 4236001/4236001
781.15/780.14	c cleaning 10994 clauses out of 22033 with flag 4247000/4247000
783.25/782.28	c cleaning 11015 clauses out of 22041 with flag 4258002/4258002
785.55/784.53	c cleaning 11003 clauses out of 22024 with flag 4269000/4269000
787.75/786.72	c cleaning 10998 clauses out of 22021 with flag 4280000/4280000
789.76/788.73	c cleaning 11001 clauses out of 22023 with flag 4291000/4291000
791.86/790.85	c cleaning 10996 clauses out of 22022 with flag 4302000/4302000
793.96/793.00	c cleaning 11006 clauses out of 22027 with flag 4313001/4313001
796.05/795.04	c cleaning 10995 clauses out of 22022 with flag 4324002/4324002
798.26/797.26	c cleaning 10998 clauses out of 22025 with flag 4335000/4335000
800.46/799.49	c cleaning 10998 clauses out of 22030 with flag 4346003/4346003
802.56/801.58	c cleaning 10995 clauses out of 22029 with flag 4357000/4357000
804.76/803.79	c cleaning 10998 clauses out of 22034 with flag 4368000/4368000
806.96/805.95	c cleaning 10989 clauses out of 22036 with flag 4379000/4379000
809.07/808.03	c cleaning 11013 clauses out of 22047 with flag 4390000/4390000
810.97/809.99	c cleaning 11011 clauses out of 22035 with flag 4401001/4401001
812.97/811.95	c cleaning 11005 clauses out of 22023 with flag 4412000/4412000
814.87/813.90	c cleaning 10999 clauses out of 22018 with flag 4423000/4423000
816.87/815.89	c cleaning 11008 clauses out of 22022 with flag 4434003/4434003
818.97/817.93	c cleaning 10999 clauses out of 22011 with flag 4445000/4445000
820.98/819.97	c cleaning 10996 clauses out of 22013 with flag 4456001/4456001
823.08/822.00	c cleaning 11006 clauses out of 22018 with flag 4467002/4467002
825.08/824.06	c cleaning 10995 clauses out of 22011 with flag 4478001/4478001
827.19/826.13	c cleaning 11002 clauses out of 22017 with flag 4489002/4489002
829.29/828.27	c cleaning 10983 clauses out of 22013 with flag 4500000/4500000
831.39/830.30	c cleaning 10994 clauses out of 22032 with flag 4511002/4511002
833.49/832.40	c cleaning 11011 clauses out of 22037 with flag 4522001/4522001
835.50/834.46	c cleaning 11001 clauses out of 22025 with flag 4533000/4533000
837.60/836.54	c cleaning 11006 clauses out of 22024 with flag 4544000/4544000
839.80/838.70	c cleaning 11000 clauses out of 22018 with flag 4555000/4555000
841.90/840.82	c cleaning 10997 clauses out of 22018 with flag 4566000/4566000
843.90/842.89	c cleaning 11002 clauses out of 22021 with flag 4577000/4577000
846.21/845.11	c cleaning 10992 clauses out of 22019 with flag 4588000/4588000
848.21/847.14	c cleaning 11002 clauses out of 22027 with flag 4599000/4599000
850.41/849.35	c cleaning 11005 clauses out of 22026 with flag 4610001/4610001
852.42/851.40	c cleaning 10995 clauses out of 22020 with flag 4621000/4621000
854.62/853.54	c cleaning 11002 clauses out of 22026 with flag 4632001/4632001
856.71/855.61	c cleaning 11005 clauses out of 22023 with flag 4643000/4643000
858.81/857.75	c cleaning 11000 clauses out of 22018 with flag 4654000/4654000
860.92/859.80	c cleaning 10991 clauses out of 22018 with flag 4665000/4665000
863.12/862.00	c cleaning 11001 clauses out of 22028 with flag 4676001/4676001
865.22/864.16	c cleaning 11005 clauses out of 22027 with flag 4687001/4687001
867.32/866.21	c cleaning 10999 clauses out of 22021 with flag 4698000/4698000
869.42/868.38	c cleaning 10981 clauses out of 22024 with flag 4709002/4709002
871.52/870.45	c cleaning 11004 clauses out of 22042 with flag 4720001/4720001
873.63/872.59	c cleaning 11006 clauses out of 22037 with flag 4731000/4731000
875.83/874.78	c cleaning 10997 clauses out of 22031 with flag 4742000/4742000
878.03/876.91	c cleaning 11006 clauses out of 22034 with flag 4753000/4753000
880.23/879.13	c cleaning 11001 clauses out of 22028 with flag 4764000/4764000
882.43/881.38	c cleaning 10998 clauses out of 22027 with flag 4775000/4775000
884.64/883.55	c cleaning 10990 clauses out of 22030 with flag 4786001/4786001
886.74/885.60	c cleaning 11008 clauses out of 22039 with flag 4797000/4797000
888.85/887.78	c cleaning 11004 clauses out of 22031 with flag 4808000/4808000
891.05/889.98	c cleaning 11003 clauses out of 22028 with flag 4819001/4819001
893.25/892.19	c cleaning 11011 clauses out of 22026 with flag 4830002/4830002
895.24/894.16	c cleaning 10999 clauses out of 22013 with flag 4841000/4841000
897.25/896.11	c cleaning 10997 clauses out of 22015 with flag 4852001/4852001
899.15/898.08	c cleaning 11004 clauses out of 22019 with flag 4863002/4863002
901.25/900.11	c cleaning 10987 clauses out of 22013 with flag 4874000/4874000
903.25/902.18	c cleaning 11007 clauses out of 22026 with flag 4885000/4885000
905.36/904.23	c cleaning 10998 clauses out of 22019 with flag 4896000/4896000
907.35/906.29	c cleaning 11000 clauses out of 22021 with flag 4907000/4907000
909.45/908.38	c cleaning 11007 clauses out of 22023 with flag 4918002/4918002
911.55/910.49	c cleaning 10990 clauses out of 22015 with flag 4929001/4929001
913.66/912.58	c cleaning 11007 clauses out of 22025 with flag 4940001/4940001
915.76/914.67	c cleaning 11002 clauses out of 22018 with flag 4951001/4951001
917.86/916.71	c cleaning 10998 clauses out of 22016 with flag 4962001/4962001
919.96/918.85	c cleaning 10991 clauses out of 22017 with flag 4973000/4973000
922.26/921.18	c cleaning 10992 clauses out of 22026 with flag 4984000/4984000
924.47/923.38	c cleaning 11000 clauses out of 22034 with flag 4995000/4995000
926.57/925.48	c cleaning 10997 clauses out of 22035 with flag 5006001/5006001
928.77/927.69	c cleaning 11005 clauses out of 22037 with flag 5017000/5017000
930.87/929.79	c cleaning 10998 clauses out of 22032 with flag 5028000/5028000
932.98/931.88	c cleaning 11005 clauses out of 22034 with flag 5039000/5039000
935.18/934.09	c cleaning 10999 clauses out of 22030 with flag 5050001/5050001
937.29/936.16	c cleaning 11001 clauses out of 22030 with flag 5061000/5061000
939.50/938.31	c cleaning 11006 clauses out of 22029 with flag 5072000/5072000
941.60/940.42	c cleaning 11001 clauses out of 22023 with flag 5083000/5083000
943.80/942.62	c cleaning 11002 clauses out of 22022 with flag 5094000/5094000
945.90/944.78	c cleaning 10992 clauses out of 22020 with flag 5105000/5105000
948.10/946.95	c cleaning 11002 clauses out of 22030 with flag 5116002/5116002
950.41/949.21	c cleaning 10993 clauses out of 22026 with flag 5127000/5127000
952.40/951.27	c cleaning 11004 clauses out of 22034 with flag 5138001/5138001
954.70/953.52	c cleaning 11001 clauses out of 22029 with flag 5149000/5149000
956.90/955.71	c cleaning 10996 clauses out of 22029 with flag 5160001/5160001
958.91/957.79	c cleaning 11006 clauses out of 22034 with flag 5171002/5171002
961.21/960.01	c cleaning 10990 clauses out of 22026 with flag 5182000/5182000
963.41/962.28	c cleaning 10998 clauses out of 22036 with flag 5193000/5193000
965.61/964.41	c cleaning 11009 clauses out of 22040 with flag 5204002/5204002
967.91/966.72	c cleaning 10993 clauses out of 22029 with flag 5215000/5215000
970.22/969.03	c cleaning 11014 clauses out of 22037 with flag 5226001/5226001
972.42/971.21	c cleaning 10990 clauses out of 22022 with flag 5237000/5237000
974.62/973.43	c cleaning 11009 clauses out of 22034 with flag 5248002/5248002
976.72/975.60	c cleaning 10999 clauses out of 22024 with flag 5259001/5259001
979.03/977.89	c cleaning 11003 clauses out of 22024 with flag 5270000/5270000
981.12/979.93	c cleaning 11001 clauses out of 22021 with flag 5281000/5281000
983.33/982.19	c cleaning 10989 clauses out of 22020 with flag 5292000/5292000
985.53/984.37	c cleaning 10993 clauses out of 22031 with flag 5303000/5303000
987.73/986.59	c cleaning 11005 clauses out of 22039 with flag 5314001/5314001
989.73/988.58	c cleaning 11001 clauses out of 22033 with flag 5325000/5325000
991.73/990.56	c cleaning 11012 clauses out of 22032 with flag 5336000/5336000
993.63/992.49	c cleaning 11000 clauses out of 22020 with flag 5347000/5347000
995.73/994.52	c cleaning 11004 clauses out of 22020 with flag 5358000/5358000
997.74/996.54	c cleaning 11002 clauses out of 22017 with flag 5369001/5369001
999.74/998.59	c cleaning 10997 clauses out of 22016 with flag 5380002/5380002
1001.84/1000.67	c cleaning 10999 clauses out of 22017 with flag 5391000/5391000
1003.94/1002.76	c cleaning 11001 clauses out of 22019 with flag 5402001/5402001
1006.05/1004.83	c cleaning 10985 clauses out of 22017 with flag 5413000/5413000
1008.15/1006.91	c cleaning 11002 clauses out of 22033 with flag 5424001/5424001
1010.25/1009.07	c cleaning 10999 clauses out of 22032 with flag 5435002/5435002
1012.46/1011.24	c cleaning 11000 clauses out of 22031 with flag 5446000/5446000
1014.56/1013.34	c cleaning 11003 clauses out of 22031 with flag 5457000/5457000
1016.66/1015.45	c cleaning 11001 clauses out of 22029 with flag 5468001/5468001
1018.67/1017.49	c cleaning 11000 clauses out of 22027 with flag 5479000/5479000
1020.87/1019.68	c cleaning 10992 clauses out of 22027 with flag 5490000/5490000
1023.07/1021.86	c cleaning 11006 clauses out of 22035 with flag 5501000/5501000
1025.07/1023.90	c cleaning 11008 clauses out of 22030 with flag 5512001/5512001
1027.27/1026.08	c cleaning 10999 clauses out of 22023 with flag 5523002/5523002
1029.37/1028.10	c cleaning 10993 clauses out of 22022 with flag 5534000/5534000
1031.47/1030.24	c cleaning 10998 clauses out of 22029 with flag 5545000/5545000
1033.57/1032.38	c cleaning 11005 clauses out of 22031 with flag 5556000/5556000
1035.77/1034.57	c cleaning 11007 clauses out of 22027 with flag 5567001/5567001
1037.88/1036.67	c cleaning 11000 clauses out of 22020 with flag 5578001/5578001
1039.98/1038.79	c cleaning 10991 clauses out of 22020 with flag 5589001/5589001
1042.08/1040.83	c cleaning 10993 clauses out of 22028 with flag 5600000/5600000
1044.28/1043.02	c cleaning 10990 clauses out of 22035 with flag 5611000/5611000
1046.38/1045.19	c cleaning 11002 clauses out of 22045 with flag 5622000/5622000
1048.49/1047.29	c cleaning 11012 clauses out of 22043 with flag 5633000/5633000
1050.69/1049.47	c cleaning 10996 clauses out of 22031 with flag 5644000/5644000
1052.79/1051.59	c cleaning 11006 clauses out of 22035 with flag 5655000/5655000
1055.00/1053.78	c cleaning 10997 clauses out of 22030 with flag 5666001/5666001
1057.20/1055.95	c cleaning 11007 clauses out of 22032 with flag 5677000/5677000
1059.30/1058.09	c cleaning 11009 clauses out of 22025 with flag 5688000/5688000
1061.50/1060.28	c cleaning 10992 clauses out of 22016 with flag 5699000/5699000
1063.70/1062.43	c cleaning 11005 clauses out of 22025 with flag 5710001/5710001
1065.90/1064.64	c cleaning 10991 clauses out of 22019 with flag 5721000/5721000
1067.90/1066.64	c cleaning 11003 clauses out of 22029 with flag 5732001/5732001
1070.10/1068.84	c cleaning 11000 clauses out of 22027 with flag 5743002/5743002
1072.21/1070.97	c cleaning 10992 clauses out of 22025 with flag 5754000/5754000
1074.41/1073.10	c cleaning 11010 clauses out of 22036 with flag 5765003/5765003
1076.52/1075.26	c cleaning 11001 clauses out of 22023 with flag 5776000/5776000
1078.72/1077.43	c cleaning 10995 clauses out of 22022 with flag 5787000/5787000
1080.92/1079.60	c cleaning 10990 clauses out of 22028 with flag 5798001/5798001
1083.02/1081.77	c cleaning 11017 clauses out of 22037 with flag 5809000/5809000
1085.22/1083.96	c cleaning 10998 clauses out of 22020 with flag 5820000/5820000
1087.43/1086.13	c cleaning 10994 clauses out of 22024 with flag 5831002/5831002
1089.63/1088.35	c cleaning 10992 clauses out of 22028 with flag 5842000/5842000
1091.73/1090.49	c cleaning 11010 clauses out of 22037 with flag 5853001/5853001
1093.83/1092.51	c cleaning 11008 clauses out of 22026 with flag 5864000/5864000
1095.74/1094.43	c cleaning 10997 clauses out of 22018 with flag 5875000/5875000
1097.63/1096.39	c cleaning 11004 clauses out of 22021 with flag 5886000/5886000
1099.63/1098.38	c cleaning 11004 clauses out of 22019 with flag 5897002/5897002
1101.64/1100.35	c cleaning 10999 clauses out of 22013 with flag 5908000/5908000
1103.64/1102.33	c cleaning 11000 clauses out of 22014 with flag 5919000/5919000
1105.64/1104.34	c cleaning 10997 clauses out of 22014 with flag 5930000/5930000
1107.74/1106.40	c cleaning 10992 clauses out of 22017 with flag 5941000/5941000
1109.74/1108.49	c cleaning 11005 clauses out of 22028 with flag 5952003/5952003
1111.84/1110.57	c cleaning 11000 clauses out of 22020 with flag 5963000/5963000
1114.05/1112.73	c cleaning 10997 clauses out of 22020 with flag 5974000/5974000
1116.15/1114.87	c cleaning 10991 clauses out of 22024 with flag 5985001/5985001
1118.35/1117.02	c cleaning 10992 clauses out of 22032 with flag 5996000/5996000
1120.45/1119.11	c cleaning 11008 clauses out of 22041 with flag 6007001/6007001
1122.45/1121.15	c cleaning 11009 clauses out of 22033 with flag 6018001/6018001
1124.55/1123.28	c cleaning 10994 clauses out of 22023 with flag 6029000/6029000
1126.76/1125.43	c cleaning 11004 clauses out of 22029 with flag 6040000/6040000
1128.76/1127.45	c cleaning 11000 clauses out of 22025 with flag 6051000/6051000
1130.96/1129.62	c cleaning 11002 clauses out of 22025 with flag 6062000/6062000
1132.96/1131.67	c cleaning 11002 clauses out of 22023 with flag 6073000/6073000
1135.26/1133.90	c cleaning 11002 clauses out of 22022 with flag 6084001/6084001
1137.37/1136.01	c cleaning 10998 clauses out of 22022 with flag 6095003/6095003
1139.57/1138.24	c cleaning 10998 clauses out of 22021 with flag 6106000/6106000
1141.67/1140.30	c cleaning 10993 clauses out of 22025 with flag 6117002/6117002
1143.77/1142.46	c cleaning 11005 clauses out of 22030 with flag 6128000/6128000
1145.77/1144.48	c cleaning 11000 clauses out of 22025 with flag 6139000/6139000
1147.98/1146.61	c cleaning 11001 clauses out of 22025 with flag 6150000/6150000
1150.18/1148.84	c cleaning 10990 clauses out of 22024 with flag 6161000/6161000
1152.38/1151.01	c cleaning 11007 clauses out of 22037 with flag 6172003/6172003
1154.58/1153.24	c cleaning 10999 clauses out of 22027 with flag 6183000/6183000
1156.68/1155.35	c cleaning 10998 clauses out of 22031 with flag 6194003/6194003
1158.98/1157.61	c cleaning 11001 clauses out of 22030 with flag 6205000/6205000
1161.18/1159.80	c cleaning 10998 clauses out of 22029 with flag 6216000/6216000
1163.29/1161.96	c cleaning 11012 clauses out of 22032 with flag 6227001/6227001
1165.50/1164.15	c cleaning 10997 clauses out of 22019 with flag 6238000/6238000
1167.70/1166.32	c cleaning 11003 clauses out of 22022 with flag 6249000/6249000
1169.90/1168.51	c cleaning 10990 clauses out of 22019 with flag 6260000/6260000
1171.90/1170.56	c cleaning 11002 clauses out of 22029 with flag 6271000/6271000
1174.10/1172.77	c cleaning 10996 clauses out of 22027 with flag 6282000/6282000
1176.30/1174.92	c cleaning 10996 clauses out of 22032 with flag 6293001/6293001
1178.41/1177.02	c cleaning 11014 clauses out of 22038 with flag 6304003/6304003
1180.51/1179.18	c cleaning 10982 clauses out of 22021 with flag 6315000/6315000
1182.71/1181.35	c cleaning 11010 clauses out of 22040 with flag 6326001/6326001
1184.92/1183.57	c cleaning 11004 clauses out of 22029 with flag 6337000/6337000
1187.01/1185.66	c cleaning 11005 clauses out of 22025 with flag 6348000/6348000
1189.22/1187.84	c cleaning 11000 clauses out of 22021 with flag 6359001/6359001
1191.32/1189.99	c cleaning 10998 clauses out of 22022 with flag 6370002/6370002
1193.62/1192.21	c cleaning 10998 clauses out of 22023 with flag 6381001/6381001
1195.72/1194.39	c cleaning 10991 clauses out of 22024 with flag 6392000/6392000
1197.82/1196.44	c cleaning 11014 clauses out of 22036 with flag 6403003/6403003
1200.02/1198.65	c cleaning 11000 clauses out of 22019 with flag 6414000/6414000
1202.22/1200.82	c cleaning 11001 clauses out of 22019 with flag 6425000/6425000
1204.32/1202.98	c cleaning 10988 clauses out of 22018 with flag 6436000/6436000
1206.43/1205.09	c cleaning 11003 clauses out of 22030 with flag 6447000/6447000
1208.44/1207.03	c cleaning 10995 clauses out of 22027 with flag 6458000/6458000
1210.35/1208.93	c cleaning 11007 clauses out of 22032 with flag 6469000/6469000
1212.24/1210.88	c cleaning 11003 clauses out of 22025 with flag 6480000/6480000
1214.24/1212.87	c cleaning 10994 clauses out of 22023 with flag 6491001/6491001
1216.24/1214.86	c cleaning 11005 clauses out of 22030 with flag 6502002/6502002
1218.24/1216.87	c cleaning 10989 clauses out of 22023 with flag 6513000/6513000
1220.25/1218.88	c cleaning 11009 clauses out of 22034 with flag 6524000/6524000
1222.25/1220.89	c cleaning 11008 clauses out of 22027 with flag 6535002/6535002
1224.35/1222.96	c cleaning 10998 clauses out of 22017 with flag 6546000/6546000
1226.45/1225.07	c cleaning 11003 clauses out of 22021 with flag 6557002/6557002
1228.55/1227.13	c cleaning 11002 clauses out of 22018 with flag 6568002/6568002
1230.65/1229.25	c cleaning 11005 clauses out of 22015 with flag 6579001/6579001
1232.96/1231.52	c cleaning 10990 clauses out of 22009 with flag 6590000/6590000
1235.06/1233.67	c cleaning 10999 clauses out of 22019 with flag 6601000/6601000
1237.16/1235.74	c cleaning 10999 clauses out of 22022 with flag 6612002/6612002
1239.26/1237.81	c cleaning 10999 clauses out of 22021 with flag 6623000/6623000
1241.36/1239.98	c cleaning 10999 clauses out of 22024 with flag 6634002/6634002
1243.46/1242.01	c cleaning 10990 clauses out of 22023 with flag 6645000/6645000
1245.57/1244.16	c cleaning 10996 clauses out of 22033 with flag 6656000/6656000
1247.77/1246.33	c cleaning 10994 clauses out of 22037 with flag 6667000/6667000
1249.98/1248.54	c cleaning 11020 clauses out of 22043 with flag 6678000/6678000
1252.08/1250.69	c cleaning 11002 clauses out of 22024 with flag 6689001/6689001
1254.28/1252.88	c cleaning 11001 clauses out of 22021 with flag 6700000/6700000
1256.48/1255.01	c cleaning 10994 clauses out of 22020 with flag 6711000/6711000
1258.68/1257.21	c cleaning 10992 clauses out of 22026 with flag 6722000/6722000
1260.68/1259.25	c cleaning 11000 clauses out of 22034 with flag 6733000/6733000
1262.88/1261.44	c cleaning 11007 clauses out of 22035 with flag 6744001/6744001
1265.09/1263.61	c cleaning 10997 clauses out of 22027 with flag 6755000/6755000
1267.29/1265.81	c cleaning 11000 clauses out of 22031 with flag 6766001/6766001
1269.49/1268.01	c cleaning 11000 clauses out of 22032 with flag 6777002/6777002
1271.49/1270.04	c cleaning 11005 clauses out of 22030 with flag 6788000/6788000
1273.59/1272.17	c cleaning 11002 clauses out of 22025 with flag 6799000/6799000
1275.79/1274.36	c cleaning 10999 clauses out of 22026 with flag 6810003/6810003
1277.90/1276.43	c cleaning 11002 clauses out of 22025 with flag 6821001/6821001
1280.00/1278.58	c cleaning 11007 clauses out of 22025 with flag 6832003/6832003
1282.20/1280.72	c cleaning 10996 clauses out of 22016 with flag 6843001/6843001
1284.40/1282.93	c cleaning 10997 clauses out of 22019 with flag 6854000/6854000
1286.60/1285.14	c cleaning 10997 clauses out of 22022 with flag 6865000/6865000
1288.71/1287.29	c cleaning 10994 clauses out of 22025 with flag 6876000/6876000
1290.91/1289.46	c cleaning 10996 clauses out of 22031 with flag 6887000/6887000
1293.01/1291.50	c cleaning 11009 clauses out of 22035 with flag 6898000/6898000
1295.21/1293.72	c cleaning 10997 clauses out of 22027 with flag 6909001/6909001
1297.32/1295.89	c cleaning 10997 clauses out of 22029 with flag 6920000/6920000
1299.52/1298.06	c cleaning 11007 clauses out of 22033 with flag 6931001/6931001
1301.53/1300.01	c starts		: 2344
1301.53/1300.01	c conflicts		: 6941239
1301.53/1300.01	c decisions		: 9397347
1301.53/1300.01	c propagations		: 1419807886
1301.53/1300.01	c inspects		: 8506583209
1301.53/1300.01	c shortcuts		: 0
1301.53/1300.01	c learnt literals	: 0
1301.53/1300.01	c learnt binary clauses	: 0
1301.53/1300.01	c learnt ternary clauses	: 108
1301.53/1300.01	c learnt constraints	: 6941239
1301.53/1300.01	c ignored constraints	: 0
1301.53/1300.01	c root simplifications	: 2344
1301.53/1300.01	c removed literals (reason simplification)	: 97632871
1301.53/1300.01	c reason swapping (by a shorter reason)	: 0
1301.53/1300.01	c Calls to reduceDB	: 632
1301.53/1300.01	c speed (assignments/second)	: 1092463.2809572506
1301.53/1300.01	c non guided choices	215
1301.53/1300.02	c learnt constraints type 
1301.53/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21299
1301.53/1300.02	c constraints type 
1301.53/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10500
1301.53/1300.02	s UNKNOWN
1301.53/1300.02	c Total wall clock time (in seconds) : 1299.711

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

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.37 2/178 8424
/proc/meminfo: memFree=15387400/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=9100 CPUtime=0 cores=5,7
/proc/8424/stat : 8424 (java) R 8422 8424 8386 0 -1 4202496 237 0 2 0 0 0 0 0 17 0 1 0 371287715 9318400 172 33554432000 1073741824 1073778376 140734777324848 18446744073709551615 239476515831 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8424/statm: 2275 172 131 9 0 67 0

[startup+0.03647 s]
/proc/loadavg: 1.00 1.03 1.37 2/178 8424
/proc/meminfo: memFree=15387400/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=23028 CPUtime=0 cores=5,7
/proc/8424/stat : 8424 (java) D 8422 8424 8386 0 -1 4202496 601 0 11 0 0 0 0 0 17 0 1 0 371287715 23580672 352 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239471732480 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 1
/proc/8424/statm: 5757 352 269 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100457 s]
/proc/loadavg: 1.00 1.03 1.37 2/178 8424
/proc/meminfo: memFree=15387400/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=23028 CPUtime=0 cores=5,7
/proc/8424/stat : 8424 (java) D 8422 8424 8386 0 -1 4202496 992 0 47 0 0 0 0 0 17 0 1 0 371287715 23580672 779 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 47551740853504 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 7
/proc/8424/statm: 5757 779 576 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.300976 s]
/proc/loadavg: 1.00 1.03 1.37 2/178 8424
/proc/meminfo: memFree=15387400/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7636576 CPUtime=0.08 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 10126 0 107 0 6 2 0 0 17 0 18 0 371287715 7819853824 9925 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909144 9925 2018 9 0 1899882 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7636576

[startup+0.700314 s]
/proc/loadavg: 1.00 1.03 1.37 2/178 8424
/proc/meminfo: memFree=15387400/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7639368 CPUtime=0.86 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 15192 0 107 0 83 3 0 0 17 0 19 0 371287715 7822712832 12996 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909842 12996 2224 9 0 1900580 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 7639368

[startup+1.51815 s]
/proc/loadavg: 1.00 1.03 1.37 6/262 8519
/proc/meminfo: memFree=15156324/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7639368 CPUtime=1.91 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 22592 0 107 0 187 4 0 0 17 0 19 0 371287715 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909842 18497 2253 9 0 1900580 0
[pid=8424/tid=8431] ppid=8422 vsize=7639368 CPUtime=1.26 cores=5,7
/proc/8424/task/8431/stat : 8431 (java) R 8422 8424 8386 0 -1 4202560 9493 0 52 0 124 2 0 0 20 0 19 0 371287727 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 46912505573707 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=8424/tid=8438] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8438/stat : 8438 (java) S 8422 8424 8386 0 -1 4202560 552 0 0 0 0 0 0 0 17 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8439] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8439/stat : 8439 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8440] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8440/stat : 8440 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8441] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8441/stat : 8441 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8442] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8442/stat : 8442 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8443] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8443/stat : 8443 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8444] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8444/stat : 8444 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8445] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8445/stat : 8445 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287729 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8461] ppid=8422 vsize=7639368 CPUtime=0.01 cores=5,7
/proc/8424/task/8461/stat : 8461 (java) S 8422 8424 8386 0 -1 4202560 560 0 0 0 1 0 0 0 16 0 19 0 371287732 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 0 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8471] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8471/stat : 8471 (java) S 8422 8424 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8473] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8473/stat : 8473 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8496] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8496/stat : 8496 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488518577 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8499] ppid=8422 vsize=7639368 CPUtime=0.49 cores=5,7
/proc/8424/task/8499/stat : 8499 (java) S 8422 8424 8386 0 -1 4202560 10118 0 0 0 48 1 0 0 15 0 19 0 371287739 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8503] ppid=8422 vsize=7639368 CPUtime=0.12 cores=5,7
/proc/8424/task/8503/stat : 8503 (java) S 8422 8424 8386 0 -1 4202560 760 0 0 0 12 0 0 0 15 0 19 0 371287739 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8505] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8505/stat : 8505 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8508] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8508/stat : 8508 (java) S 8422 8424 8386 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371287739 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8516] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8516/stat : 8516 (java) S 8422 8424 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287753 7822712832 18497 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 7639368

[startup+3.10088 s]
/proc/loadavg: 1.00 1.03 1.37 5/262 8519
/proc/meminfo: memFree=15119560/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7639368 CPUtime=3.53 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 23229 0 107 0 349 4 0 0 17 0 19 0 371287715 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909842 19133 2255 9 0 1900580 0
[pid=8424/tid=8431] ppid=8422 vsize=7639368 CPUtime=2.82 cores=5,7
/proc/8424/task/8431/stat : 8431 (java) R 8422 8424 8386 0 -1 4202560 9494 0 52 0 280 2 0 0 25 0 19 0 371287727 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 46912505573892 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=8424/tid=8438] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8438/stat : 8438 (java) S 8422 8424 8386 0 -1 4202560 552 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8439] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8439/stat : 8439 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8440] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8440/stat : 8440 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8441] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8441/stat : 8441 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8442] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8442/stat : 8442 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8443] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8443/stat : 8443 (java) S 8422 8424 8386 0 -1 4202560 212 0 0 0 0 0 0 0 16 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8444] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8444/stat : 8444 (java) S 8422 8424 8386 0 -1 4202560 276 0 0 0 0 0 0 0 16 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8445] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8445/stat : 8445 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8461] ppid=8422 vsize=7639368 CPUtime=0.02 cores=5,7
/proc/8424/task/8461/stat : 8461 (java) S 8422 8424 8386 0 -1 4202560 708 0 0 0 2 0 0 0 16 0 19 0 371287732 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 0 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8471] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8471/stat : 8471 (java) S 8422 8424 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8473] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8473/stat : 8473 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8496] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8496/stat : 8496 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488518577 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8499] ppid=8422 vsize=7639368 CPUtime=0.5 cores=5,7
/proc/8424/task/8499/stat : 8499 (java) S 8422 8424 8386 0 -1 4202560 10118 0 0 0 49 1 0 0 15 0 19 0 371287739 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8503] ppid=8422 vsize=7639368 CPUtime=0.14 cores=5,7
/proc/8424/task/8503/stat : 8503 (java) S 8422 8424 8386 0 -1 4202560 762 0 0 0 14 0 0 0 15 0 19 0 371287739 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8505] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8505/stat : 8505 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8508] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8508/stat : 8508 (java) S 8422 8424 8386 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371287739 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8516] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8516/stat : 8516 (java) S 8422 8424 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287753 7822712832 19133 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 7639368

[startup+6.30128 s]
/proc/loadavg: 1.24 1.08 1.38 5/262 8519
/proc/meminfo: memFree=15060488/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7639368 CPUtime=6.76 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 23609 0 107 0 672 4 0 0 17 0 19 0 371287715 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909842 19334 2255 9 0 1900580 0
[pid=8424/tid=8431] ppid=8422 vsize=7639368 CPUtime=5.96 cores=5,7
/proc/8424/task/8431/stat : 8431 (java) R 8422 8424 8386 0 -1 4202560 9498 0 52 0 594 2 0 0 25 0 19 0 371287727 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 46912505581396 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=8424/tid=8438] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8438/stat : 8438 (java) S 8422 8424 8386 0 -1 4202560 576 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8439] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8439/stat : 8439 (java) S 8422 8424 8386 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8440] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8440/stat : 8440 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8441] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8441/stat : 8441 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8442] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8442/stat : 8442 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8443] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8443/stat : 8443 (java) S 8422 8424 8386 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8444] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8444/stat : 8444 (java) S 8422 8424 8386 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8445] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8445/stat : 8445 (java) S 8422 8424 8386 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 371287729 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8461] ppid=8422 vsize=7639368 CPUtime=0.07 cores=5,7
/proc/8424/task/8461/stat : 8461 (java) S 8422 8424 8386 0 -1 4202560 853 0 0 0 7 0 0 0 16 0 19 0 371287732 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 0 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8471] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8471/stat : 8471 (java) S 8422 8424 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8473] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8473/stat : 8473 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8496] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8496/stat : 8496 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488518577 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8499] ppid=8422 vsize=7639368 CPUtime=0.53 cores=5,7
/proc/8424/task/8499/stat : 8499 (java) S 8422 8424 8386 0 -1 4202560 10121 0 0 0 52 1 0 0 15 0 19 0 371287739 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8503] ppid=8422 vsize=7639368 CPUtime=0.14 cores=5,7
/proc/8424/task/8503/stat : 8503 (java) S 8422 8424 8386 0 -1 4202560 763 0 0 0 14 0 0 0 15 0 19 0 371287739 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8505] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8505/stat : 8505 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8508] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8508/stat : 8508 (java) S 8422 8424 8386 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371287739 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8516] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8516/stat : 8516 (java) S 8422 8424 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287753 7822712832 19334 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 7639368

[startup+12.701 s]

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

[pid=8424/tid=8443] ppid=8422 vsize=7639368 CPUtime=0.27 cores=5,7
/proc/8424/task/8443/stat : 8443 (java) S 8422 8424 8386 0 -1 4202560 247 0 0 0 27 0 0 0 15 0 19 0 371287729 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8444] ppid=8422 vsize=7639368 CPUtime=0.3 cores=5,7
/proc/8424/task/8444/stat : 8444 (java) S 8422 8424 8386 0 -1 4202560 381 0 0 0 30 0 0 0 15 0 19 0 371287729 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8445] ppid=8422 vsize=7639368 CPUtime=0.28 cores=5,7
/proc/8424/task/8445/stat : 8445 (java) S 8422 8424 8386 0 -1 4202560 115 0 0 0 28 0 0 0 15 0 19 0 371287729 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8461] ppid=8422 vsize=7639368 CPUtime=10.96 cores=5,7
/proc/8424/task/8461/stat : 8461 (java) S 8422 8424 8386 0 -1 4202560 2692 0 0 0 1090 6 0 0 15 0 19 0 371287732 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 0 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8471] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8471/stat : 8471 (java) S 8422 8424 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8473] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8473/stat : 8473 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8496] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8496/stat : 8496 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488518577 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8499] ppid=8422 vsize=7639368 CPUtime=0.55 cores=5,7
/proc/8424/task/8499/stat : 8499 (java) S 8422 8424 8386 0 -1 4202560 10126 0 0 0 54 1 0 0 15 0 19 0 371287739 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8503] ppid=8422 vsize=7639368 CPUtime=0.14 cores=5,7
/proc/8424/task/8503/stat : 8503 (java) S 8422 8424 8386 0 -1 4202560 763 0 0 0 14 0 0 0 15 0 19 0 371287739 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8505] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8505/stat : 8505 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8508] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8508/stat : 8508 (java) S 8422 8424 8386 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371287739 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8516] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8516/stat : 8516 (java) S 8422 8424 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287753 7822712832 21241 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.65
Current children cumulated vsize (KiB) 7639368

[startup+1182.3 s]
/proc/loadavg: 4.02 4.00 3.28 5/262 8551
/proc/meminfo: memFree=14598424/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7639368 CPUtime=1183.71 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 26272 0 107 0 118355 16 0 0 17 0 19 0 371287715 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909842 21288 2256 9 0 1900580 0
[pid=8424/tid=8431] ppid=8422 vsize=7639368 CPUtime=1168.96 cores=5,7
/proc/8424/task/8431/stat : 8431 (java) R 8422 8424 8386 0 -1 4202560 10070 0 52 0 116893 3 0 0 25 0 19 0 371287727 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 46912505573887 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=8424/tid=8438] ppid=8422 vsize=7639368 CPUtime=0.32 cores=5,7
/proc/8424/task/8438/stat : 8438 (java) S 8422 8424 8386 0 -1 4202560 584 0 0 0 31 1 0 0 15 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8439] ppid=8422 vsize=7639368 CPUtime=0.3 cores=5,7
/proc/8424/task/8439/stat : 8439 (java) S 8422 8424 8386 0 -1 4202560 13 0 0 0 30 0 0 0 15 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8440] ppid=8422 vsize=7639368 CPUtime=0.29 cores=5,7
/proc/8424/task/8440/stat : 8440 (java) S 8422 8424 8386 0 -1 4202560 40 0 0 0 29 0 0 0 15 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8441] ppid=8422 vsize=7639368 CPUtime=0.31 cores=5,7
/proc/8424/task/8441/stat : 8441 (java) S 8422 8424 8386 0 -1 4202560 14 0 0 0 31 0 0 0 15 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8442] ppid=8422 vsize=7639368 CPUtime=0.25 cores=5,7
/proc/8424/task/8442/stat : 8442 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 25 0 0 0 15 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8443] ppid=8422 vsize=7639368 CPUtime=0.29 cores=5,7
/proc/8424/task/8443/stat : 8443 (java) S 8422 8424 8386 0 -1 4202560 248 0 0 0 29 0 0 0 15 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8444] ppid=8422 vsize=7639368 CPUtime=0.32 cores=5,7
/proc/8424/task/8444/stat : 8444 (java) S 8422 8424 8386 0 -1 4202560 381 0 0 0 32 0 0 0 16 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8445] ppid=8422 vsize=7639368 CPUtime=0.29 cores=5,7
/proc/8424/task/8445/stat : 8445 (java) S 8422 8424 8386 0 -1 4202560 116 0 0 0 29 0 0 0 15 0 19 0 371287729 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8461] ppid=8422 vsize=7639368 CPUtime=11.57 cores=5,7
/proc/8424/task/8461/stat : 8461 (java) S 8422 8424 8386 0 -1 4202560 2737 0 0 0 1151 6 0 0 16 0 19 0 371287732 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 0 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8471] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8471/stat : 8471 (java) S 8422 8424 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8473] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8473/stat : 8473 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8496] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8496/stat : 8496 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488518577 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8499] ppid=8422 vsize=7639368 CPUtime=0.55 cores=5,7
/proc/8424/task/8499/stat : 8499 (java) S 8422 8424 8386 0 -1 4202560 10126 0 0 0 54 1 0 0 15 0 19 0 371287739 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8503] ppid=8422 vsize=7639368 CPUtime=0.14 cores=5,7
/proc/8424/task/8503/stat : 8503 (java) S 8422 8424 8386 0 -1 4202560 763 0 0 0 14 0 0 0 15 0 19 0 371287739 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8505] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8505/stat : 8505 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8508] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8508/stat : 8508 (java) S 8422 8424 8386 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371287739 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8516] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8516/stat : 8516 (java) S 8422 8424 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287753 7822712832 21288 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.71
Current children cumulated vsize (KiB) 7639368

[startup+1242.3 s]
/proc/loadavg: 4.01 4.00 3.32 5/262 8552
/proc/meminfo: memFree=14547284/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7639368 CPUtime=1243.77 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 26360 0 107 0 124360 17 0 0 17 0 19 0 371287715 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909842 21339 2256 9 0 1900580 0
[pid=8424/tid=8431] ppid=8422 vsize=7639368 CPUtime=1228.23 cores=5,7
/proc/8424/task/8431/stat : 8431 (java) R 8422 8424 8386 0 -1 4202560 10099 0 52 0 122819 4 0 0 25 0 19 0 371287727 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 46912505573781 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=8424/tid=8438] ppid=8422 vsize=7639368 CPUtime=0.33 cores=5,7
/proc/8424/task/8438/stat : 8438 (java) S 8422 8424 8386 0 -1 4202560 584 0 0 0 32 1 0 0 15 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8439] ppid=8422 vsize=7639368 CPUtime=0.32 cores=5,7
/proc/8424/task/8439/stat : 8439 (java) S 8422 8424 8386 0 -1 4202560 14 0 0 0 32 0 0 0 15 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8440] ppid=8422 vsize=7639368 CPUtime=0.31 cores=5,7
/proc/8424/task/8440/stat : 8440 (java) S 8422 8424 8386 0 -1 4202560 41 0 0 0 31 0 0 0 16 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8441] ppid=8422 vsize=7639368 CPUtime=0.33 cores=5,7
/proc/8424/task/8441/stat : 8441 (java) S 8422 8424 8386 0 -1 4202560 15 0 0 0 33 0 0 0 15 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8442] ppid=8422 vsize=7639368 CPUtime=0.28 cores=5,7
/proc/8424/task/8442/stat : 8442 (java) S 8422 8424 8386 0 -1 4202560 12 0 0 0 28 0 0 0 15 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8443] ppid=8422 vsize=7639368 CPUtime=0.31 cores=5,7
/proc/8424/task/8443/stat : 8443 (java) S 8422 8424 8386 0 -1 4202560 248 0 0 0 31 0 0 0 15 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8444] ppid=8422 vsize=7639368 CPUtime=0.33 cores=5,7
/proc/8424/task/8444/stat : 8444 (java) S 8422 8424 8386 0 -1 4202560 382 0 0 0 33 0 0 0 15 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8445] ppid=8422 vsize=7639368 CPUtime=0.32 cores=5,7
/proc/8424/task/8445/stat : 8445 (java) S 8422 8424 8386 0 -1 4202560 116 0 0 0 32 0 0 0 16 0 19 0 371287729 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8461] ppid=8422 vsize=7639368 CPUtime=12.21 cores=5,7
/proc/8424/task/8461/stat : 8461 (java) S 8422 8424 8386 0 -1 4202560 2787 0 0 0 1214 7 0 0 16 0 19 0 371287732 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 0 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8471] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8471/stat : 8471 (java) S 8422 8424 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8473] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8473/stat : 8473 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8496] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8496/stat : 8496 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488518577 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8499] ppid=8422 vsize=7639368 CPUtime=0.55 cores=5,7
/proc/8424/task/8499/stat : 8499 (java) S 8422 8424 8386 0 -1 4202560 10126 0 0 0 54 1 0 0 15 0 19 0 371287739 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8503] ppid=8422 vsize=7639368 CPUtime=0.14 cores=5,7
/proc/8424/task/8503/stat : 8503 (java) S 8422 8424 8386 0 -1 4202560 763 0 0 0 14 0 0 0 15 0 19 0 371287739 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8505] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8505/stat : 8505 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8508] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8508/stat : 8508 (java) S 8422 8424 8386 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371287739 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8516] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8516/stat : 8516 (java) S 8422 8424 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287753 7822712832 21339 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.77
Current children cumulated vsize (KiB) 7639368



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.04 4.01 3.37 5/262 8554
/proc/meminfo: memFree=14509292/32950928 swapFree=67102716/67111528
[pid=8424] ppid=8422 vsize=7639368 CPUtime=1301.53 cores=5,7
/proc/8424/stat : 8424 (java) S 8422 8424 8386 0 -1 4202496 26470 0 107 0 130135 18 0 0 17 0 19 0 371287715 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9
/proc/8424/statm: 1909842 21415 2256 9 0 1900580 0
[pid=8424/tid=8431] ppid=8422 vsize=7639368 CPUtime=1285.28 cores=5,7
/proc/8424/task/8431/stat : 8431 (java) R 8422 8424 8386 0 -1 4202560 10125 0 52 0 128524 4 0 0 25 0 19 0 371287727 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 46912505582298 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=8424/tid=8438] ppid=8422 vsize=7639368 CPUtime=0.35 cores=5,7
/proc/8424/task/8438/stat : 8438 (java) S 8422 8424 8386 0 -1 4202560 584 0 0 0 34 1 0 0 15 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8439] ppid=8422 vsize=7639368 CPUtime=0.34 cores=5,7
/proc/8424/task/8439/stat : 8439 (java) S 8422 8424 8386 0 -1 4202560 15 0 0 0 34 0 0 0 15 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8440] ppid=8422 vsize=7639368 CPUtime=0.32 cores=5,7
/proc/8424/task/8440/stat : 8440 (java) S 8422 8424 8386 0 -1 4202560 42 0 0 0 32 0 0 0 15 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8441] ppid=8422 vsize=7639368 CPUtime=0.34 cores=5,7
/proc/8424/task/8441/stat : 8441 (java) S 8422 8424 8386 0 -1 4202560 16 0 0 0 34 0 0 0 15 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8442] ppid=8422 vsize=7639368 CPUtime=0.29 cores=5,7
/proc/8424/task/8442/stat : 8442 (java) S 8422 8424 8386 0 -1 4202560 12 0 0 0 29 0 0 0 15 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8443] ppid=8422 vsize=7639368 CPUtime=0.34 cores=5,7
/proc/8424/task/8443/stat : 8443 (java) S 8422 8424 8386 0 -1 4202560 250 0 0 0 34 0 0 0 15 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8444] ppid=8422 vsize=7639368 CPUtime=0.35 cores=5,7
/proc/8424/task/8444/stat : 8444 (java) S 8422 8424 8386 0 -1 4202560 382 0 0 0 35 0 0 0 16 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8445] ppid=8422 vsize=7639368 CPUtime=0.33 cores=5,7
/proc/8424/task/8445/stat : 8445 (java) S 8422 8424 8386 0 -1 4202560 117 0 0 0 33 0 0 0 15 0 19 0 371287729 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8461] ppid=8422 vsize=7639368 CPUtime=12.79 cores=5,7
/proc/8424/task/8461/stat : 8461 (java) S 8422 8424 8386 0 -1 4202560 2861 0 0 0 1272 7 0 0 15 0 19 0 371287732 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 0 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8471] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8471/stat : 8471 (java) S 8422 8424 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8473] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8473/stat : 8473 (java) S 8422 8424 8386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371287734 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8496] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8496/stat : 8496 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488518577 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8499] ppid=8422 vsize=7639368 CPUtime=0.55 cores=5,7
/proc/8424/task/8499/stat : 8499 (java) S 8422 8424 8386 0 -1 4202560 10126 0 0 0 54 1 0 0 15 0 19 0 371287739 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8503] ppid=8422 vsize=7639368 CPUtime=0.14 cores=5,7
/proc/8424/task/8503/stat : 8503 (java) S 8422 8424 8386 0 -1 4202560 763 0 0 0 14 0 0 0 15 0 19 0 371287739 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8505] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8505/stat : 8505 (java) S 8422 8424 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488510873 0 4 0 16800975 18446604471133271872 0 0 -1 5 0 0 0
[pid=8424/tid=8508] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8508/stat : 8508 (java) S 8422 8424 8386 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371287739 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
[pid=8424/tid=8516] ppid=8422 vsize=7639368 CPUtime=0 cores=5,7
/proc/8424/task/8516/stat : 8516 (java) S 8422 8424 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287753 7822712832 21415 33554432000 1073741824 1073778376 140736304254432 18446744073709551615 239488511488 0 4 0 16800975 18446604471133271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.53
Current children cumulated vsize (KiB) 7639368

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.57
CPU user time (s): 1301.39
CPU system time (s): 0.185971
CPU usage (%): 100.118
Max. virtual memory (cumulated for all children) (KiB): 7639368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.39
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26505
page faults= 107
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45500
involuntary context switches= 15613

runsolver used 1.9887 second user time and 5.15522 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-12 10:28:27
IDJOB=3190208
IDBENCH=82539
IDSOLVER=1611
FILE ID=node148/3190208-1302596906
RUNJOBID= node148-1302596906-8407
PBS_JOBID= 12958095
Free space on /tmp= 71076 MiB

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

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

MD5SUM BENCH= 0ed8ade65938c7fcf06ab054c90e3de3
RANDOM SEED=926611351

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15387664 kB
Buffers:        614604 kB
Cached:       16481812 kB
SwapCached:       4908 kB
Active:        8174012 kB
Inactive:      8982228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15387664 kB
SwapTotal:    67111528 kB
SwapFree:     67102716 kB
Dirty:              48 kB
Writeback:           0 kB
AnonPages:       57556 kB
Mapped:          14196 kB
Slab:           340640 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188956 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= 71068 MiB
End job on node148 at 2011-04-12 10:50:09