Trace number 3190181

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf
MD5SUM48e79d2b0d6ab8da0627cd3c9f41a435
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark46.079
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses15000
Sum of the clauses size75000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 515000
Number of clauses of size over 50

Solver Data 

0.06/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.23	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.23	c See www.sat4j.org for details.
0.06/0.24	c no version file found!!!
0.06/0.24	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.24	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.24	c java.vm.version	19.1-b02
0.06/0.24	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.24	c sun.arch.data.model	64
0.06/0.24	c java.version		1.6.0_24
0.06/0.24	c os.name		Linux
0.06/0.24	c os.version		2.6.18-164.el5
0.06/0.24	c os.arch		amd64
0.06/0.24	c Free memory 		6997539544
0.06/0.24	c Max memory 		7034241024
0.06/0.24	c Total memory 		7034241024
0.06/0.24	c Number of processors 	8
0.06/0.26	c --- Begin Solver configuration ---
0.06/0.26	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.06/0.26	c Learn all clauses as in MiniSAT
0.06/0.26	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.26	c Expensive reason simplification
0.06/0.26	c Armin Biere (Picosat) restarts strategy
0.06/0.26	c Glucose learned constraints deletion strategy
0.06/0.26	c timeout=2147483647s
0.06/0.26	c DB Simplification allowed=true
0.06/0.26	c --- End Solver configuration ---
0.06/0.26	c solving HOME/instance-3190181-1302596683.cnf
0.06/0.26	c reading problem ... 
0.32/0.40	c ... done. Wall clock time 0.088s.
0.32/0.40	c #vars     750
0.32/0.40	c #constraints  15000
0.32/0.40	c constraints type 
0.32/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15000
1.36/1.15	c cleaning 2498 clauses out of 5001 with flag 5001/5001
2.26/1.84	c cleaning 4245 clauses out of 8502 with flag 11000/11000
3.07/2.63	c cleaning 5630 clauses out of 11259 with flag 18002/18002
3.97/3.59	c cleaning 6810 clauses out of 13628 with flag 26001/26001
5.08/4.69	c cleaning 7904 clauses out of 15817 with flag 35000/35000
6.38/5.95	c cleaning 8957 clauses out of 17913 with flag 45000/45000
7.78/7.38	c cleaning 9976 clauses out of 19958 with flag 56002/56002
9.48/9.04	c cleaning 10989 clauses out of 21982 with flag 68002/68002
11.28/10.83	c cleaning 11991 clauses out of 23991 with flag 81000/81000
13.28/12.83	c cleaning 12998 clauses out of 26001 with flag 95001/95001
15.48/15.06	c cleaning 13999 clauses out of 28003 with flag 110001/110001
17.79/17.31	c cleaning 14497 clauses out of 29003 with flag 125000/125000
19.99/19.53	c cleaning 14747 clauses out of 29506 with flag 140000/140000
22.19/21.78	c cleaning 14875 clauses out of 29759 with flag 155000/155000
24.39/23.95	c cleaning 14938 clauses out of 29884 with flag 170000/170000
26.59/26.13	c cleaning 14968 clauses out of 29947 with flag 185001/185001
28.79/28.32	c cleaning 14985 clauses out of 29978 with flag 200000/200000
30.99/30.56	c cleaning 14994 clauses out of 29994 with flag 215001/215001
33.19/32.72	c cleaning 14996 clauses out of 30000 with flag 230001/230001
35.39/34.95	c cleaning 14997 clauses out of 30003 with flag 245000/245000
37.50/37.08	c cleaning 14996 clauses out of 30006 with flag 260000/260000
39.70/39.29	c cleaning 15001 clauses out of 30011 with flag 275001/275001
41.80/41.38	c cleaning 15000 clauses out of 30010 with flag 290001/290001
44.00/43.58	c cleaning 15002 clauses out of 30009 with flag 305000/305000
46.10/45.64	c cleaning 14996 clauses out of 30009 with flag 320002/320002
48.30/47.89	c cleaning 15003 clauses out of 30013 with flag 335002/335002
50.50/50.00	c cleaning 14995 clauses out of 30008 with flag 350000/350000
52.70/52.24	c cleaning 15000 clauses out of 30014 with flag 365001/365001
54.81/54.38	c cleaning 15001 clauses out of 30013 with flag 380000/380000
56.91/56.42	c cleaning 15000 clauses out of 30013 with flag 395001/395001
59.11/58.69	c cleaning 14990 clauses out of 30013 with flag 410001/410001
61.21/60.79	c cleaning 15003 clauses out of 30022 with flag 425000/425000
63.31/62.87	c cleaning 15006 clauses out of 30021 with flag 440002/440002
65.61/65.16	c cleaning 15000 clauses out of 30013 with flag 455000/455000
67.71/67.29	c cleaning 15004 clauses out of 30013 with flag 470000/470000
69.92/69.41	c cleaning 14998 clauses out of 30009 with flag 485000/485000
72.12/71.66	c cleaning 15001 clauses out of 30012 with flag 500001/500001
74.32/73.84	c cleaning 15002 clauses out of 30010 with flag 515000/515000
76.42/75.94	c cleaning 14996 clauses out of 30009 with flag 530001/530001
78.62/78.12	c cleaning 14994 clauses out of 30012 with flag 545000/545000
80.83/80.37	c cleaning 15006 clauses out of 30018 with flag 560000/560000
82.93/82.46	c cleaning 15003 clauses out of 30012 with flag 575000/575000
85.02/84.59	c cleaning 15000 clauses out of 30009 with flag 590000/590000
87.22/86.73	c cleaning 14996 clauses out of 30009 with flag 605000/605000
89.42/88.97	c cleaning 15004 clauses out of 30014 with flag 620001/620001
91.62/91.15	c cleaning 14997 clauses out of 30009 with flag 635000/635000
93.82/93.31	c cleaning 15001 clauses out of 30014 with flag 650002/650002
95.92/95.47	c cleaning 14996 clauses out of 30012 with flag 665001/665001
98.23/97.77	c cleaning 15001 clauses out of 30016 with flag 680001/680001
100.33/99.89	c cleaning 15005 clauses out of 30014 with flag 695000/695000
102.53/102.04	c cleaning 15002 clauses out of 30010 with flag 710001/710001
104.73/104.23	c cleaning 14988 clauses out of 30008 with flag 725001/725001
106.93/106.45	c cleaning 15005 clauses out of 30020 with flag 740001/740001
109.23/108.73	c cleaning 14999 clauses out of 30014 with flag 755000/755000
111.33/110.81	c cleaning 15001 clauses out of 30015 with flag 770000/770000
113.43/112.93	c cleaning 14998 clauses out of 30014 with flag 785000/785000
115.53/115.07	c cleaning 14994 clauses out of 30016 with flag 800000/800000
117.73/117.24	c cleaning 14999 clauses out of 30025 with flag 815003/815003
120.03/119.51	c cleaning 15000 clauses out of 30024 with flag 830001/830001
122.13/121.67	c cleaning 15008 clauses out of 30026 with flag 845003/845003
124.24/123.77	c cleaning 14999 clauses out of 30015 with flag 860000/860000
126.44/125.95	c cleaning 15005 clauses out of 30016 with flag 875000/875000
128.64/128.11	c cleaning 15001 clauses out of 30011 with flag 890000/890000
130.84/130.32	c cleaning 15004 clauses out of 30011 with flag 905001/905001
133.14/132.64	c cleaning 15001 clauses out of 30006 with flag 920000/920000
135.24/134.77	c cleaning 14996 clauses out of 30005 with flag 935000/935000
137.44/136.95	c cleaning 15002 clauses out of 30010 with flag 950001/950001
139.64/139.14	c cleaning 14994 clauses out of 30007 with flag 965000/965000
141.84/141.35	c cleaning 14997 clauses out of 30013 with flag 980000/980000
144.04/143.54	c cleaning 15002 clauses out of 30017 with flag 995001/995001
146.24/145.79	c cleaning 15003 clauses out of 30015 with flag 1010001/1010001
148.45/147.98	c cleaning 15001 clauses out of 30013 with flag 1025002/1025002
150.65/150.13	c cleaning 14995 clauses out of 30010 with flag 1040000/1040000
152.86/152.31	c cleaning 14997 clauses out of 30015 with flag 1055000/1055000
154.96/154.48	c cleaning 15000 clauses out of 30018 with flag 1070000/1070000
157.26/156.73	c cleaning 14996 clauses out of 30018 with flag 1085000/1085000
159.36/158.87	c cleaning 15004 clauses out of 30023 with flag 1100001/1100001
161.67/161.18	c cleaning 15001 clauses out of 30020 with flag 1115002/1115002
163.97/163.40	c cleaning 14998 clauses out of 30017 with flag 1130000/1130000
166.07/165.53	c cleaning 15003 clauses out of 30021 with flag 1145002/1145002
168.17/167.69	c cleaning 14998 clauses out of 30016 with flag 1160000/1160000
170.37/169.87	c cleaning 14999 clauses out of 30018 with flag 1175000/1175000
172.67/172.12	c cleaning 14999 clauses out of 30019 with flag 1190000/1190000
174.87/174.33	c cleaning 15004 clauses out of 30021 with flag 1205001/1205001
177.17/176.65	c cleaning 15002 clauses out of 30017 with flag 1220001/1220001
179.57/179.02	c cleaning 14998 clauses out of 30014 with flag 1235000/1235000
181.67/181.14	c cleaning 14997 clauses out of 30017 with flag 1250001/1250001
183.87/183.30	c cleaning 15001 clauses out of 30021 with flag 1265002/1265002
185.97/185.47	c cleaning 15011 clauses out of 30023 with flag 1280005/1280005
188.17/187.62	c cleaning 14997 clauses out of 30008 with flag 1295001/1295001
190.37/189.86	c cleaning 14992 clauses out of 30010 with flag 1310000/1310000
192.67/192.13	c cleaning 15003 clauses out of 30018 with flag 1325000/1325000
194.87/194.39	c cleaning 14999 clauses out of 30016 with flag 1340001/1340001
197.17/196.66	c cleaning 14996 clauses out of 30016 with flag 1355000/1355000
199.37/198.89	c cleaning 14998 clauses out of 30020 with flag 1370000/1370000
201.58/201.00	c cleaning 15005 clauses out of 30022 with flag 1385000/1385000
203.68/203.16	c cleaning 14999 clauses out of 30018 with flag 1400001/1400001
205.88/205.37	c cleaning 15005 clauses out of 30018 with flag 1415000/1415000
208.08/207.53	c cleaning 14996 clauses out of 30013 with flag 1430000/1430000
210.28/209.70	c cleaning 14997 clauses out of 30019 with flag 1445002/1445002
212.48/211.98	c cleaning 14996 clauses out of 30020 with flag 1460000/1460000
214.78/214.26	c cleaning 15002 clauses out of 30024 with flag 1475000/1475000
217.08/216.50	c cleaning 15004 clauses out of 30022 with flag 1490000/1490000
219.39/218.85	c cleaning 15007 clauses out of 30019 with flag 1505001/1505001
221.59/221.02	c cleaning 14992 clauses out of 30011 with flag 1520000/1520000
223.69/223.16	c cleaning 15000 clauses out of 30019 with flag 1535000/1535000
225.79/225.26	c cleaning 15004 clauses out of 30019 with flag 1550000/1550000
227.89/227.37	c cleaning 14997 clauses out of 30015 with flag 1565000/1565000
230.19/229.62	c cleaning 15003 clauses out of 30019 with flag 1580001/1580001
232.49/231.94	c cleaning 15002 clauses out of 30016 with flag 1595001/1595001
234.80/234.27	c cleaning 14996 clauses out of 30014 with flag 1610001/1610001
237.00/236.49	c cleaning 14997 clauses out of 30017 with flag 1625000/1625000
239.30/238.77	c cleaning 15002 clauses out of 30021 with flag 1640001/1640001
241.70/241.11	c cleaning 14998 clauses out of 30018 with flag 1655000/1655000
243.90/243.33	c cleaning 15001 clauses out of 30020 with flag 1670000/1670000
246.10/245.50	c cleaning 15003 clauses out of 30019 with flag 1685000/1685000
248.20/247.63	c cleaning 15004 clauses out of 30017 with flag 1700001/1700001
250.40/249.81	c cleaning 15005 clauses out of 30012 with flag 1715000/1715000
252.60/252.00	c cleaning 14989 clauses out of 30007 with flag 1730000/1730000
254.80/254.24	c cleaning 15002 clauses out of 30018 with flag 1745000/1745000
257.00/256.49	c cleaning 14999 clauses out of 30016 with flag 1760000/1760000
259.30/258.74	c cleaning 15004 clauses out of 30018 with flag 1775001/1775001
261.61/261.02	c cleaning 14991 clauses out of 30014 with flag 1790001/1790001
263.81/263.21	c cleaning 14996 clauses out of 30022 with flag 1805000/1805000
266.02/265.44	c cleaning 15003 clauses out of 30026 with flag 1820000/1820000
268.32/267.72	c cleaning 15004 clauses out of 30024 with flag 1835001/1835001
270.42/269.85	c cleaning 15008 clauses out of 30020 with flag 1850001/1850001
272.52/271.98	c cleaning 14993 clauses out of 30011 with flag 1865000/1865000
274.72/274.14	c cleaning 15002 clauses out of 30024 with flag 1880006/1880006
276.92/276.34	c cleaning 15001 clauses out of 30017 with flag 1895001/1895001
279.13/278.50	c cleaning 15001 clauses out of 30015 with flag 1910000/1910000
281.33/280.71	c cleaning 15002 clauses out of 30016 with flag 1925002/1925002
283.53/282.97	c cleaning 14995 clauses out of 30014 with flag 1940002/1940002
285.83/285.29	c cleaning 15000 clauses out of 30017 with flag 1955000/1955000
288.23/287.63	c cleaning 15004 clauses out of 30018 with flag 1970001/1970001
290.63/290.01	c cleaning 14999 clauses out of 30013 with flag 1985000/1985000
293.03/292.41	c cleaning 14995 clauses out of 30014 with flag 2000000/2000000
295.53/294.99	c cleaning 15002 clauses out of 30019 with flag 2015000/2015000
297.83/297.21	c cleaning 15002 clauses out of 30017 with flag 2030000/2030000
299.94/299.33	c cleaning 15004 clauses out of 30015 with flag 2045000/2045000
302.04/301.49	c cleaning 14997 clauses out of 30011 with flag 2060000/2060000
304.24/303.65	c cleaning 14999 clauses out of 30016 with flag 2075002/2075002
306.34/305.78	c cleaning 14999 clauses out of 30015 with flag 2090000/2090000
308.54/307.90	c cleaning 14992 clauses out of 30016 with flag 2105000/2105000
310.74/310.19	c cleaning 15001 clauses out of 30025 with flag 2120001/2120001
313.04/312.47	c cleaning 15002 clauses out of 30023 with flag 2135000/2135000
315.34/314.77	c cleaning 14999 clauses out of 30022 with flag 2150001/2150001
317.54/316.99	c cleaning 15004 clauses out of 30022 with flag 2165000/2165000
319.84/319.20	c cleaning 14993 clauses out of 30018 with flag 2180000/2180000
322.15/321.52	c cleaning 15002 clauses out of 30026 with flag 2195001/2195001
324.35/323.77	c cleaning 14998 clauses out of 30023 with flag 2210000/2210000
326.75/326.18	c cleaning 15008 clauses out of 30026 with flag 2225001/2225001
328.95/328.32	c cleaning 15005 clauses out of 30017 with flag 2240000/2240000
331.05/330.48	c cleaning 14998 clauses out of 30012 with flag 2255000/2255000
333.25/332.62	c cleaning 14994 clauses out of 30014 with flag 2270000/2270000
335.35/334.79	c cleaning 14997 clauses out of 30021 with flag 2285001/2285001
337.56/336.95	c cleaning 15002 clauses out of 30024 with flag 2300001/2300001
339.76/339.17	c cleaning 14999 clauses out of 30021 with flag 2315000/2315000
342.06/341.46	c cleaning 14995 clauses out of 30023 with flag 2330001/2330001
344.26/343.66	c cleaning 15011 clauses out of 30029 with flag 2345002/2345002
346.56/345.95	c cleaning 14999 clauses out of 30017 with flag 2360001/2360001
348.86/348.28	c cleaning 15003 clauses out of 30018 with flag 2375001/2375001
351.36/350.70	c cleaning 14998 clauses out of 30014 with flag 2390000/2390000
353.67/353.00	c cleaning 14995 clauses out of 30018 with flag 2405002/2405002
355.87/355.30	c cleaning 14999 clauses out of 30021 with flag 2420000/2420000
358.17/357.59	c cleaning 15007 clauses out of 30023 with flag 2435001/2435001
360.67/360.06	c cleaning 15005 clauses out of 30016 with flag 2450001/2450001
362.87/362.27	c cleaning 14991 clauses out of 30010 with flag 2465000/2465000
365.07/364.43	c cleaning 15000 clauses out of 30019 with flag 2480000/2480000
367.17/366.58	c cleaning 14997 clauses out of 30021 with flag 2495002/2495002
369.37/368.76	c cleaning 15005 clauses out of 30024 with flag 2510002/2510002
371.57/370.99	c cleaning 14997 clauses out of 30017 with flag 2525000/2525000
373.77/373.16	c cleaning 15005 clauses out of 30021 with flag 2540001/2540001
376.07/375.43	c cleaning 14994 clauses out of 30017 with flag 2555002/2555002
378.28/377.69	c cleaning 15001 clauses out of 30021 with flag 2570000/2570000
380.58/379.90	c cleaning 14990 clauses out of 30023 with flag 2585003/2585003
382.78/382.10	c cleaning 15002 clauses out of 30030 with flag 2600000/2600000
384.88/384.28	c cleaning 14998 clauses out of 30028 with flag 2615000/2615000
387.18/386.50	c cleaning 15005 clauses out of 30030 with flag 2630000/2630000
389.38/388.70	c cleaning 15002 clauses out of 30025 with flag 2645000/2645000
391.58/390.97	c cleaning 14998 clauses out of 30024 with flag 2660001/2660001
394.08/393.45	c cleaning 14998 clauses out of 30027 with flag 2675002/2675002
396.38/395.71	c cleaning 15002 clauses out of 30029 with flag 2690002/2690002
398.69/398.05	c cleaning 15010 clauses out of 30025 with flag 2705000/2705000
400.89/400.20	c cleaning 14998 clauses out of 30015 with flag 2720000/2720000
402.99/402.33	c cleaning 15000 clauses out of 30017 with flag 2735000/2735000
405.09/404.48	c cleaning 15007 clauses out of 30019 with flag 2750002/2750002
407.39/406.70	c cleaning 14999 clauses out of 30013 with flag 2765003/2765003
409.59/408.92	c cleaning 14999 clauses out of 30012 with flag 2780001/2780001
411.89/411.22	c cleaning 14993 clauses out of 30012 with flag 2795000/2795000
414.09/413.48	c cleaning 15001 clauses out of 30019 with flag 2810000/2810000
416.30/415.69	c cleaning 15001 clauses out of 30018 with flag 2825000/2825000
418.50/417.87	c cleaning 15000 clauses out of 30019 with flag 2840002/2840002
420.90/420.23	c cleaning 14991 clauses out of 30017 with flag 2855000/2855000
423.30/422.68	c cleaning 15008 clauses out of 30026 with flag 2870000/2870000
425.70/425.07	c cleaning 15002 clauses out of 30019 with flag 2885001/2885001
428.00/427.32	c cleaning 14990 clauses out of 30016 with flag 2900000/2900000
430.21/429.57	c cleaning 14999 clauses out of 30026 with flag 2915000/2915000
432.71/432.00	c cleaning 14989 clauses out of 30027 with flag 2930000/2930000
435.01/434.39	c cleaning 14999 clauses out of 30038 with flag 2945000/2945000
437.33/436.62	c cleaning 15015 clauses out of 30042 with flag 2960003/2960003
439.72/439.02	c cleaning 15000 clauses out of 30026 with flag 2975002/2975002
441.92/441.29	c cleaning 15007 clauses out of 30025 with flag 2990001/2990001
444.12/443.44	c cleaning 15001 clauses out of 30017 with flag 3005000/3005000
446.23/445.58	c cleaning 14999 clauses out of 30016 with flag 3020000/3020000
448.43/447.71	c cleaning 14992 clauses out of 30018 with flag 3035001/3035001
450.63/449.96	c cleaning 15007 clauses out of 30025 with flag 3050000/3050000
452.84/452.19	c cleaning 15003 clauses out of 30019 with flag 3065001/3065001
455.13/454.46	c cleaning 14998 clauses out of 30015 with flag 3080000/3080000
457.43/456.73	c cleaning 15005 clauses out of 30017 with flag 3095000/3095000
459.63/459.00	c cleaning 14996 clauses out of 30012 with flag 3110000/3110000
461.83/461.14	c cleaning 14996 clauses out of 30016 with flag 3125000/3125000
464.03/463.39	c cleaning 14995 clauses out of 30020 with flag 3140000/3140000
466.34/465.62	c cleaning 14996 clauses out of 30026 with flag 3155001/3155001
468.53/467.88	c cleaning 15004 clauses out of 30029 with flag 3170000/3170000
470.94/470.27	c cleaning 15007 clauses out of 30026 with flag 3185001/3185001
473.34/472.69	c cleaning 14995 clauses out of 30019 with flag 3200001/3200001
475.64/474.93	c cleaning 15002 clauses out of 30024 with flag 3215001/3215001
477.94/477.26	c cleaning 15002 clauses out of 30021 with flag 3230000/3230000
480.44/479.73	c cleaning 14995 clauses out of 30019 with flag 3245000/3245000
482.74/482.01	c cleaning 15001 clauses out of 30024 with flag 3260000/3260000
485.14/484.40	c cleaning 14996 clauses out of 30023 with flag 3275000/3275000
487.34/486.67	c cleaning 15004 clauses out of 30027 with flag 3290000/3290000
489.44/488.79	c cleaning 15001 clauses out of 30024 with flag 3305001/3305001
491.65/490.90	c cleaning 15007 clauses out of 30025 with flag 3320003/3320003
493.75/493.08	c cleaning 15000 clauses out of 30015 with flag 3335000/3335000
495.95/495.23	c cleaning 14997 clauses out of 30015 with flag 3350000/3350000
498.25/497.50	c cleaning 14993 clauses out of 30018 with flag 3365000/3365000
500.45/499.76	c cleaning 15004 clauses out of 30027 with flag 3380002/3380002
502.85/502.11	c cleaning 15002 clauses out of 30021 with flag 3395000/3395000
505.15/504.48	c cleaning 14990 clauses out of 30019 with flag 3410000/3410000
507.45/506.76	c cleaning 14999 clauses out of 30030 with flag 3425001/3425001
509.76/509.06	c cleaning 15013 clauses out of 30031 with flag 3440001/3440001
512.06/511.31	c cleaning 14996 clauses out of 30017 with flag 3455000/3455000
514.36/513.64	c cleaning 15005 clauses out of 30021 with flag 3470000/3470000
516.76/516.04	c cleaning 14995 clauses out of 30017 with flag 3485001/3485001
519.06/518.38	c cleaning 15007 clauses out of 30022 with flag 3500001/3500001
521.26/520.59	c cleaning 14997 clauses out of 30015 with flag 3515001/3515001
523.66/522.97	c cleaning 15000 clauses out of 30017 with flag 3530000/3530000
526.16/525.47	c cleaning 14997 clauses out of 30017 with flag 3545000/3545000
528.46/527.76	c cleaning 14997 clauses out of 30020 with flag 3560000/3560000
530.87/530.14	c cleaning 14997 clauses out of 30023 with flag 3575000/3575000
533.07/532.40	c cleaning 15006 clauses out of 30031 with flag 3590005/3590005
535.57/534.83	c cleaning 15003 clauses out of 30021 with flag 3605001/3605001
537.87/537.15	c cleaning 14997 clauses out of 30018 with flag 3620001/3620001
539.97/539.26	c cleaning 15007 clauses out of 30023 with flag 3635003/3635003
542.18/541.43	c cleaning 15005 clauses out of 30015 with flag 3650002/3650002
544.38/543.60	c cleaning 15001 clauses out of 30010 with flag 3665002/3665002
546.48/545.77	c cleaning 14998 clauses out of 30007 with flag 3680000/3680000
548.78/548.03	c cleaning 14999 clauses out of 30012 with flag 3695003/3695003
550.98/550.28	c cleaning 14997 clauses out of 30011 with flag 3710001/3710001
553.28/552.53	c cleaning 14987 clauses out of 30013 with flag 3725000/3725000
555.58/554.81	c cleaning 15002 clauses out of 30027 with flag 3740001/3740001
557.89/557.13	c cleaning 15003 clauses out of 30024 with flag 3755000/3755000
560.19/559.47	c cleaning 15001 clauses out of 30022 with flag 3770001/3770001
562.69/561.94	c cleaning 15003 clauses out of 30020 with flag 3785000/3785000
565.19/564.44	c cleaning 14997 clauses out of 30018 with flag 3800001/3800001
567.49/566.78	c cleaning 15000 clauses out of 30021 with flag 3815001/3815001
569.79/569.04	c cleaning 14998 clauses out of 30022 with flag 3830002/3830002
572.10/571.32	c cleaning 15005 clauses out of 30022 with flag 3845000/3845000
574.60/573.80	c cleaning 14996 clauses out of 30019 with flag 3860002/3860002
576.90/576.12	c cleaning 15000 clauses out of 30023 with flag 3875002/3875002
579.40/578.65	c cleaning 15004 clauses out of 30021 with flag 3890000/3890000
581.80/581.08	c cleaning 14998 clauses out of 30018 with flag 3905001/3905001
584.20/583.41	c cleaning 15000 clauses out of 30019 with flag 3920000/3920000
586.60/585.87	c cleaning 14996 clauses out of 30019 with flag 3935000/3935000
588.91/588.19	c cleaning 15005 clauses out of 30023 with flag 3950000/3950000
591.41/590.66	c cleaning 14997 clauses out of 30019 with flag 3965001/3965001
593.91/593.16	c cleaning 15002 clauses out of 30023 with flag 3980002/3980002
596.11/595.38	c cleaning 14999 clauses out of 30020 with flag 3995001/3995001
598.31/597.54	c cleaning 15003 clauses out of 30021 with flag 4010001/4010001
600.51/599.73	c cleaning 14991 clauses out of 30019 with flag 4025002/4025002
602.71/601.93	c cleaning 14999 clauses out of 30027 with flag 4040001/4040001
605.02/604.22	c cleaning 15003 clauses out of 30030 with flag 4055003/4055003
607.22/606.46	c cleaning 15010 clauses out of 30025 with flag 4070001/4070001
609.42/608.69	c cleaning 14991 clauses out of 30015 with flag 4085001/4085001
611.82/611.02	c cleaning 15005 clauses out of 30025 with flag 4100002/4100002
614.12/613.30	c cleaning 15004 clauses out of 30018 with flag 4115000/4115000
616.32/615.55	c cleaning 14989 clauses out of 30014 with flag 4130000/4130000
618.62/617.81	c cleaning 15005 clauses out of 30027 with flag 4145002/4145002
620.82/620.09	c cleaning 14998 clauses out of 30020 with flag 4160000/4160000
623.12/622.35	c cleaning 15000 clauses out of 30023 with flag 4175001/4175001
625.53/624.76	c cleaning 15002 clauses out of 30023 with flag 4190001/4190001
628.02/627.22	c cleaning 15001 clauses out of 30021 with flag 4205001/4205001
630.32/629.54	c cleaning 15001 clauses out of 30022 with flag 4220003/4220003
632.62/631.89	c cleaning 14997 clauses out of 30019 with flag 4235001/4235001
635.13/634.35	c cleaning 15003 clauses out of 30021 with flag 4250000/4250000
637.43/636.67	c cleaning 14998 clauses out of 30019 with flag 4265001/4265001
639.83/639.06	c cleaning 14999 clauses out of 30021 with flag 4280001/4280001
642.13/641.35	c cleaning 15002 clauses out of 30022 with flag 4295001/4295001
644.53/643.76	c cleaning 14999 clauses out of 30019 with flag 4310000/4310000
646.83/646.07	c cleaning 15003 clauses out of 30020 with flag 4325000/4325000
649.33/648.58	c cleaning 14997 clauses out of 30020 with flag 4340003/4340003
651.63/650.83	c cleaning 14999 clauses out of 30020 with flag 4355000/4355000
654.03/653.27	c cleaning 14992 clauses out of 30021 with flag 4370000/4370000
656.44/655.66	c cleaning 15012 clauses out of 30029 with flag 4385000/4385000
658.64/657.88	c cleaning 14994 clauses out of 30017 with flag 4400000/4400000
660.84/660.03	c cleaning 15000 clauses out of 30023 with flag 4415000/4415000
663.05/662.21	c cleaning 15010 clauses out of 30024 with flag 4430001/4430001
665.15/664.36	c cleaning 14998 clauses out of 30013 with flag 4445000/4445000
667.35/666.50	c cleaning 15001 clauses out of 30016 with flag 4460001/4460001
669.55/668.73	c cleaning 14996 clauses out of 30014 with flag 4475000/4475000
671.85/671.04	c cleaning 14998 clauses out of 30019 with flag 4490001/4490001
674.15/673.34	c cleaning 14999 clauses out of 30020 with flag 4505000/4505000
676.45/675.65	c cleaning 14994 clauses out of 30021 with flag 4520000/4520000
678.65/677.85	c cleaning 15003 clauses out of 30028 with flag 4535001/4535001
680.85/680.10	c cleaning 14997 clauses out of 30024 with flag 4550000/4550000
683.15/682.37	c cleaning 14999 clauses out of 30027 with flag 4565000/4565000
685.45/684.61	c cleaning 15009 clauses out of 30030 with flag 4580002/4580002
687.76/686.97	c cleaning 15001 clauses out of 30019 with flag 4595000/4595000
690.36/689.53	c cleaning 15001 clauses out of 30019 with flag 4610001/4610001
692.67/691.89	c cleaning 15003 clauses out of 30019 with flag 4625002/4625002
695.06/694.25	c cleaning 14997 clauses out of 30014 with flag 4640000/4640000
697.56/696.79	c cleaning 15003 clauses out of 30019 with flag 4655002/4655002
699.86/699.04	c cleaning 15000 clauses out of 30016 with flag 4670002/4670002
702.36/701.55	c cleaning 14997 clauses out of 30015 with flag 4685001/4685001
704.67/703.85	c cleaning 14999 clauses out of 30017 with flag 4700000/4700000
707.07/706.29	c cleaning 15001 clauses out of 30021 with flag 4715003/4715003
709.37/708.59	c cleaning 14996 clauses out of 30017 with flag 4730000/4730000
711.87/711.03	c cleaning 15000 clauses out of 30021 with flag 4745000/4745000
714.17/713.36	c cleaning 15005 clauses out of 30022 with flag 4760001/4760001
716.67/715.86	c cleaning 14988 clauses out of 30016 with flag 4775000/4775000
718.97/718.19	c cleaning 15009 clauses out of 30029 with flag 4790001/4790001
721.47/720.67	c cleaning 14996 clauses out of 30019 with flag 4805000/4805000
723.88/723.07	c cleaning 15004 clauses out of 30023 with flag 4820000/4820000
726.18/725.37	c cleaning 15005 clauses out of 30020 with flag 4835001/4835001
728.39/727.57	c cleaning 15000 clauses out of 30016 with flag 4850002/4850002
730.59/729.72	c cleaning 15000 clauses out of 30014 with flag 4865000/4865000
732.79/731.93	c cleaning 15000 clauses out of 30014 with flag 4880000/4880000
734.99/734.17	c cleaning 14992 clauses out of 30014 with flag 4895000/4895000
737.29/736.42	c cleaning 15005 clauses out of 30023 with flag 4910001/4910001
739.59/738.70	c cleaning 14999 clauses out of 30018 with flag 4925001/4925001
741.79/740.94	c cleaning 15000 clauses out of 30019 with flag 4940001/4940001
743.99/743.18	c cleaning 14991 clauses out of 30018 with flag 4955000/4955000
746.29/745.46	c cleaning 15004 clauses out of 30027 with flag 4970000/4970000
748.69/747.87	c cleaning 15005 clauses out of 30024 with flag 4985001/4985001
751.10/750.28	c cleaning 15004 clauses out of 30020 with flag 5000002/5000002
753.50/752.69	c cleaning 15003 clauses out of 30018 with flag 5015004/5015004
755.90/755.00	c cleaning 14986 clauses out of 30011 with flag 5030000/5030000
758.20/757.30	c cleaning 14999 clauses out of 30025 with flag 5045000/5045000
760.50/759.65	c cleaning 15005 clauses out of 30027 with flag 5060001/5060001
762.90/762.01	c cleaning 14998 clauses out of 30022 with flag 5075001/5075001
765.10/764.29	c cleaning 15004 clauses out of 30023 with flag 5090000/5090000
767.71/766.80	c cleaning 14989 clauses out of 30021 with flag 5105002/5105002
770.01/769.15	c cleaning 15006 clauses out of 30030 with flag 5120000/5120000
772.41/771.56	c cleaning 15001 clauses out of 30024 with flag 5135000/5135000
774.81/773.99	c cleaning 15004 clauses out of 30023 with flag 5150000/5150000
777.21/776.34	c cleaning 15003 clauses out of 30019 with flag 5165000/5165000
779.62/778.70	c cleaning 14997 clauses out of 30017 with flag 5180001/5180001
781.82/780.99	c cleaning 14995 clauses out of 30021 with flag 5195002/5195002
784.21/783.36	c cleaning 15001 clauses out of 30024 with flag 5210000/5210000
786.62/785.72	c cleaning 15006 clauses out of 30026 with flag 5225003/5225003
788.92/788.01	c cleaning 15000 clauses out of 30018 with flag 5240001/5240001
791.42/790.54	c cleaning 14993 clauses out of 30017 with flag 5255000/5255000
793.93/793.01	c cleaning 14995 clauses out of 30026 with flag 5270002/5270002
796.13/795.25	c cleaning 14995 clauses out of 30030 with flag 5285001/5285001
798.52/797.64	c cleaning 14999 clauses out of 30034 with flag 5300000/5300000
800.93/800.02	c cleaning 15009 clauses out of 30035 with flag 5315000/5315000
803.13/802.29	c cleaning 15006 clauses out of 30026 with flag 5330000/5330000
805.33/804.43	c cleaning 15005 clauses out of 30020 with flag 5345000/5345000
807.53/806.62	c cleaning 14996 clauses out of 30015 with flag 5360000/5360000
809.63/808.78	c cleaning 15001 clauses out of 30019 with flag 5375000/5375000
811.83/810.96	c cleaning 14989 clauses out of 30018 with flag 5390000/5390000
814.03/813.15	c cleaning 15008 clauses out of 30030 with flag 5405001/5405001
816.23/815.36	c cleaning 15003 clauses out of 30024 with flag 5420003/5420003
818.53/817.68	c cleaning 14998 clauses out of 30018 with flag 5435000/5435000
820.83/819.96	c cleaning 15004 clauses out of 30022 with flag 5450002/5450002
823.23/822.30	c cleaning 15003 clauses out of 30019 with flag 5465003/5465003
825.43/824.56	c cleaning 14999 clauses out of 30015 with flag 5480002/5480002
827.63/826.78	c cleaning 14992 clauses out of 30015 with flag 5495001/5495001
830.04/829.11	c cleaning 14999 clauses out of 30022 with flag 5510000/5510000
832.44/831.54	c cleaning 14991 clauses out of 30024 with flag 5525001/5525001
834.94/834.03	c cleaning 15004 clauses out of 30032 with flag 5540000/5540000
837.24/836.30	c cleaning 15005 clauses out of 30029 with flag 5555001/5555001
839.64/838.72	c cleaning 14998 clauses out of 30025 with flag 5570002/5570002
842.04/841.18	c cleaning 15000 clauses out of 30025 with flag 5585000/5585000
844.34/843.46	c cleaning 15002 clauses out of 30026 with flag 5600001/5600001
846.75/845.87	c cleaning 15000 clauses out of 30023 with flag 5615000/5615000
848.95/848.09	c cleaning 15000 clauses out of 30023 with flag 5630000/5630000
851.45/850.51	c cleaning 15001 clauses out of 30025 with flag 5645002/5645002
853.65/852.77	c cleaning 14997 clauses out of 30022 with flag 5660000/5660000
856.15/855.21	c cleaning 15001 clauses out of 30026 with flag 5675001/5675001
858.45/857.56	c cleaning 15001 clauses out of 30024 with flag 5690000/5690000
860.95/860.03	c cleaning 14995 clauses out of 30024 with flag 5705001/5705001
863.45/862.50	c cleaning 14992 clauses out of 30028 with flag 5720000/5720000
865.66/864.76	c cleaning 15014 clauses out of 30037 with flag 5735001/5735001
868.06/867.16	c cleaning 15000 clauses out of 30024 with flag 5750002/5750002
870.46/869.50	c cleaning 14997 clauses out of 30022 with flag 5765000/5765000
872.96/872.06	c cleaning 14998 clauses out of 30025 with flag 5780000/5780000
875.36/874.46	c cleaning 14997 clauses out of 30027 with flag 5795000/5795000
877.67/876.78	c cleaning 15008 clauses out of 30030 with flag 5810000/5810000
880.16/879.20	c cleaning 14996 clauses out of 30022 with flag 5825000/5825000
882.47/881.53	c cleaning 15005 clauses out of 30026 with flag 5840000/5840000
884.87/883.94	c cleaning 15002 clauses out of 30022 with flag 5855001/5855001
887.07/886.15	c cleaning 14998 clauses out of 30019 with flag 5870000/5870000
889.28/888.30	c cleaning 15005 clauses out of 30022 with flag 5885001/5885001
891.38/890.49	c cleaning 14996 clauses out of 30017 with flag 5900001/5900001
893.68/892.71	c cleaning 15008 clauses out of 30023 with flag 5915003/5915003
895.88/894.94	c cleaning 15002 clauses out of 30013 with flag 5930001/5930001
898.08/897.13	c cleaning 14997 clauses out of 30011 with flag 5945001/5945001
900.38/899.45	c cleaning 14997 clauses out of 30013 with flag 5960000/5960000
902.68/901.73	c cleaning 15003 clauses out of 30016 with flag 5975000/5975000
904.98/904.07	c cleaning 14996 clauses out of 30013 with flag 5990000/5990000
907.29/906.32	c cleaning 15003 clauses out of 30018 with flag 6005001/6005001
909.59/908.63	c cleaning 14996 clauses out of 30015 with flag 6020001/6020001
911.89/910.90	c cleaning 14994 clauses out of 30020 with flag 6035002/6035002
914.29/913.32	c cleaning 15005 clauses out of 30025 with flag 6050001/6050001
916.79/915.81	c cleaning 15003 clauses out of 30019 with flag 6065000/6065000
919.19/918.28	c cleaning 14990 clauses out of 30016 with flag 6080000/6080000
921.49/920.54	c cleaning 15004 clauses out of 30026 with flag 6095000/6095000
923.90/922.93	c cleaning 15003 clauses out of 30023 with flag 6110001/6110001
926.30/925.39	c cleaning 14992 clauses out of 30019 with flag 6125000/6125000
928.60/927.69	c cleaning 14992 clauses out of 30027 with flag 6140000/6140000
931.10/930.11	c cleaning 15007 clauses out of 30036 with flag 6155001/6155001
933.30/932.33	c cleaning 15000 clauses out of 30028 with flag 6170000/6170000
935.70/934.77	c cleaning 15002 clauses out of 30029 with flag 6185001/6185001
938.00/937.04	c cleaning 14998 clauses out of 30026 with flag 6200000/6200000
940.50/939.57	c cleaning 14995 clauses out of 30028 with flag 6215000/6215000
942.80/941.84	c cleaning 15004 clauses out of 30034 with flag 6230001/6230001
945.21/944.29	c cleaning 14998 clauses out of 30029 with flag 6245000/6245000
947.61/946.64	c cleaning 14999 clauses out of 30031 with flag 6260000/6260000
949.91/948.99	c cleaning 15008 clauses out of 30033 with flag 6275001/6275001
952.42/951.42	c cleaning 15002 clauses out of 30025 with flag 6290001/6290001
954.72/953.73	c cleaning 15009 clauses out of 30023 with flag 6305001/6305001
957.21/956.27	c cleaning 14998 clauses out of 30013 with flag 6320000/6320000
959.72/958.75	c cleaning 14998 clauses out of 30015 with flag 6335000/6335000
962.12/961.12	c cleaning 14994 clauses out of 30017 with flag 6350000/6350000
964.52/963.53	c cleaning 15002 clauses out of 30023 with flag 6365000/6365000
967.02/966.03	c cleaning 14995 clauses out of 30023 with flag 6380002/6380002
969.42/968.46	c cleaning 14996 clauses out of 30026 with flag 6395000/6395000
971.72/970.79	c cleaning 14998 clauses out of 30030 with flag 6410000/6410000
974.12/973.19	c cleaning 15002 clauses out of 30034 with flag 6425002/6425002
976.63/975.65	c cleaning 15002 clauses out of 30034 with flag 6440004/6440004
979.02/978.02	c cleaning 15010 clauses out of 30028 with flag 6455000/6455000
981.13/980.17	c cleaning 15000 clauses out of 30018 with flag 6470000/6470000
983.33/982.34	c cleaning 14998 clauses out of 30018 with flag 6485000/6485000
985.53/984.55	c cleaning 15005 clauses out of 30020 with flag 6500000/6500000
987.73/986.73	c cleaning 14997 clauses out of 30017 with flag 6515002/6515002
989.93/988.99	c cleaning 14998 clauses out of 30019 with flag 6530001/6530001
992.23/991.28	c cleaning 14998 clauses out of 30020 with flag 6545000/6545000
994.53/993.50	c cleaning 15003 clauses out of 30022 with flag 6560000/6560000
996.73/995.73	c cleaning 15000 clauses out of 30019 with flag 6575000/6575000
999.03/998.03	c cleaning 14995 clauses out of 30019 with flag 6590000/6590000
1001.43/1000.47	c cleaning 15001 clauses out of 30024 with flag 6605000/6605000
1003.83/1002.87	c cleaning 14994 clauses out of 30024 with flag 6620001/6620001
1006.23/1005.23	c cleaning 15009 clauses out of 30031 with flag 6635002/6635002
1008.54/1007.59	c cleaning 15002 clauses out of 30021 with flag 6650001/6650001
1010.85/1009.82	c cleaning 15000 clauses out of 30019 with flag 6665001/6665001
1013.14/1012.17	c cleaning 14998 clauses out of 30018 with flag 6680000/6680000
1015.65/1014.64	c cleaning 15003 clauses out of 30020 with flag 6695000/6695000
1017.95/1016.90	c cleaning 14999 clauses out of 30017 with flag 6710000/6710000
1020.35/1019.37	c cleaning 14999 clauses out of 30018 with flag 6725000/6725000
1022.65/1021.64	c cleaning 15001 clauses out of 30020 with flag 6740001/6740001
1025.06/1024.05	c cleaning 15001 clauses out of 30020 with flag 6755002/6755002
1027.56/1026.54	c cleaning 14998 clauses out of 30018 with flag 6770001/6770001
1029.96/1028.95	c cleaning 15002 clauses out of 30021 with flag 6785002/6785002
1032.36/1031.39	c cleaning 15000 clauses out of 30018 with flag 6800001/6800001
1034.76/1033.74	c cleaning 14995 clauses out of 30018 with flag 6815001/6815001
1037.17/1036.12	c cleaning 14996 clauses out of 30023 with flag 6830001/6830001
1039.67/1038.69	c cleaning 14997 clauses out of 30027 with flag 6845001/6845001
1041.97/1040.99	c cleaning 15007 clauses out of 30029 with flag 6860000/6860000
1044.37/1043.36	c cleaning 15000 clauses out of 30022 with flag 6875000/6875000
1046.97/1045.91	c cleaning 15002 clauses out of 30023 with flag 6890001/6890001
1049.28/1048.26	c cleaning 15001 clauses out of 30020 with flag 6905000/6905000
1051.78/1050.70	c cleaning 14999 clauses out of 30019 with flag 6920000/6920000
1054.18/1053.16	c cleaning 14997 clauses out of 30021 with flag 6935001/6935001
1056.48/1055.47	c cleaning 15002 clauses out of 30024 with flag 6950001/6950001
1058.98/1057.95	c cleaning 14993 clauses out of 30021 with flag 6965000/6965000
1061.39/1060.37	c cleaning 15005 clauses out of 30028 with flag 6980000/6980000
1063.69/1062.62	c cleaning 15000 clauses out of 30024 with flag 6995001/6995001
1066.08/1065.05	c cleaning 15000 clauses out of 30026 with flag 7010003/7010003
1068.49/1067.46	c cleaning 15002 clauses out of 30024 with flag 7025001/7025001
1070.89/1069.89	c cleaning 14996 clauses out of 30022 with flag 7040001/7040001
1073.29/1072.22	c cleaning 15001 clauses out of 30025 with flag 7055000/7055000
1075.70/1074.67	c cleaning 14999 clauses out of 30026 with flag 7070002/7070002
1078.19/1077.13	c cleaning 15002 clauses out of 30027 with flag 7085002/7085002
1080.59/1079.52	c cleaning 15000 clauses out of 30024 with flag 7100001/7100001
1082.79/1081.72	c cleaning 15004 clauses out of 30027 with flag 7115004/7115004
1084.89/1083.85	c cleaning 14996 clauses out of 30019 with flag 7130000/7130000
1087.10/1086.06	c cleaning 15003 clauses out of 30023 with flag 7145000/7145000
1089.30/1088.25	c cleaning 15006 clauses out of 30021 with flag 7160001/7160001
1091.50/1090.48	c cleaning 15001 clauses out of 30014 with flag 7175000/7175000
1093.80/1092.72	c cleaning 15001 clauses out of 30013 with flag 7190000/7190000
1096.00/1094.95	c cleaning 14997 clauses out of 30015 with flag 7205003/7205003
1098.30/1097.27	c cleaning 14997 clauses out of 30015 with flag 7220000/7220000
1100.60/1099.57	c cleaning 15000 clauses out of 30018 with flag 7235000/7235000
1102.90/1101.85	c cleaning 15005 clauses out of 30020 with flag 7250002/7250002
1105.11/1104.09	c cleaning 14995 clauses out of 30013 with flag 7265000/7265000
1107.41/1106.35	c cleaning 15004 clauses out of 30019 with flag 7280001/7280001
1109.61/1108.54	c cleaning 14991 clauses out of 30014 with flag 7295000/7295000
1112.01/1110.95	c cleaning 15002 clauses out of 30024 with flag 7310001/7310001
1114.51/1113.42	c cleaning 14997 clauses out of 30021 with flag 7325000/7325000
1116.81/1115.72	c cleaning 14995 clauses out of 30025 with flag 7340001/7340001
1119.11/1118.08	c cleaning 14999 clauses out of 30029 with flag 7355000/7355000
1121.51/1120.49	c cleaning 15004 clauses out of 30032 with flag 7370002/7370002
1123.81/1122.70	c cleaning 15003 clauses out of 30026 with flag 7385000/7385000
1126.21/1125.10	c cleaning 15002 clauses out of 30025 with flag 7400002/7400002
1128.41/1127.33	c cleaning 15002 clauses out of 30023 with flag 7415002/7415002
1130.82/1129.79	c cleaning 15000 clauses out of 30019 with flag 7430000/7430000
1133.22/1132.12	c cleaning 15004 clauses out of 30020 with flag 7445001/7445001
1135.72/1134.61	c cleaning 14999 clauses out of 30015 with flag 7460000/7460000
1138.02/1136.94	c cleaning 15000 clauses out of 30016 with flag 7475000/7475000
1140.52/1139.42	c cleaning 14993 clauses out of 30016 with flag 7490000/7490000
1142.93/1141.85	c cleaning 14999 clauses out of 30023 with flag 7505000/7505000
1145.32/1144.21	c cleaning 15001 clauses out of 30025 with flag 7520001/7520001
1147.73/1146.60	c cleaning 15005 clauses out of 30027 with flag 7535004/7535004
1150.03/1148.93	c cleaning 15001 clauses out of 30019 with flag 7550001/7550001
1152.53/1151.45	c cleaning 14998 clauses out of 30019 with flag 7565002/7565002
1155.04/1153.92	c cleaning 14998 clauses out of 30021 with flag 7580002/7580002
1157.33/1156.20	c cleaning 15002 clauses out of 30021 with flag 7595000/7595000
1159.73/1158.62	c cleaning 15001 clauses out of 30020 with flag 7610001/7610001
1162.03/1161.00	c cleaning 15000 clauses out of 30018 with flag 7625000/7625000
1164.54/1163.47	c cleaning 14990 clauses out of 30018 with flag 7640000/7640000
1166.94/1165.84	c cleaning 15007 clauses out of 30028 with flag 7655000/7655000
1169.35/1168.24	c cleaning 14996 clauses out of 30022 with flag 7670001/7670001
1171.84/1170.70	c cleaning 14998 clauses out of 30025 with flag 7685000/7685000
1174.04/1172.94	c cleaning 15000 clauses out of 30027 with flag 7700000/7700000
1176.54/1175.42	c cleaning 14998 clauses out of 30027 with flag 7715000/7715000
1178.95/1177.86	c cleaning 15005 clauses out of 30030 with flag 7730001/7730001
1181.35/1180.27	c cleaning 15007 clauses out of 30024 with flag 7745000/7745000
1183.75/1182.61	c cleaning 15000 clauses out of 30019 with flag 7760002/7760002
1186.15/1185.08	c cleaning 15000 clauses out of 30017 with flag 7775000/7775000
1188.55/1187.45	c cleaning 14993 clauses out of 30017 with flag 7790000/7790000
1190.95/1189.85	c cleaning 15004 clauses out of 30024 with flag 7805000/7805000
1193.46/1192.31	c cleaning 15010 clauses out of 30021 with flag 7820001/7820001
1195.66/1194.53	c cleaning 14997 clauses out of 30010 with flag 7835000/7835000
1197.76/1196.67	c cleaning 15003 clauses out of 30014 with flag 7850001/7850001
1199.96/1198.82	c cleaning 14992 clauses out of 30010 with flag 7865000/7865000
1202.06/1200.94	c cleaning 14996 clauses out of 30018 with flag 7880000/7880000
1204.26/1203.10	c cleaning 15002 clauses out of 30025 with flag 7895003/7895003
1206.46/1205.30	c cleaning 14998 clauses out of 30020 with flag 7910000/7910000
1208.66/1207.51	c cleaning 15005 clauses out of 30026 with flag 7925004/7925004
1210.96/1209.82	c cleaning 14998 clauses out of 30019 with flag 7940002/7940002
1213.16/1212.09	c cleaning 15003 clauses out of 30021 with flag 7955002/7955002
1215.57/1214.49	c cleaning 14990 clauses out of 30016 with flag 7970000/7970000
1217.96/1216.80	c cleaning 15002 clauses out of 30028 with flag 7985002/7985002
1220.17/1219.06	c cleaning 14994 clauses out of 30024 with flag 8000000/8000000
1222.47/1221.32	c cleaning 15008 clauses out of 30030 with flag 8015000/8015000
1224.77/1223.63	c cleaning 15000 clauses out of 30023 with flag 8030001/8030001
1227.27/1226.18	c cleaning 14991 clauses out of 30022 with flag 8045000/8045000
1229.67/1228.59	c cleaning 15006 clauses out of 30031 with flag 8060000/8060000
1231.98/1230.90	c cleaning 15004 clauses out of 30026 with flag 8075001/8075001
1234.57/1233.40	c cleaning 15004 clauses out of 30023 with flag 8090002/8090002
1236.78/1235.67	c cleaning 14992 clauses out of 30017 with flag 8105000/8105000
1239.18/1238.08	c cleaning 15003 clauses out of 30025 with flag 8120000/8120000
1241.58/1240.46	c cleaning 14998 clauses out of 30022 with flag 8135000/8135000
1244.09/1242.92	c cleaning 14997 clauses out of 30024 with flag 8150000/8150000
1246.29/1245.17	c cleaning 15002 clauses out of 30029 with flag 8165002/8165002
1248.78/1247.64	c cleaning 14999 clauses out of 30026 with flag 8180001/8180001
1250.98/1249.84	c cleaning 14998 clauses out of 30026 with flag 8195000/8195000
1253.28/1252.19	c cleaning 14994 clauses out of 30029 with flag 8210001/8210001
1255.69/1254.51	c cleaning 15007 clauses out of 30035 with flag 8225001/8225001
1258.20/1257.02	c cleaning 15007 clauses out of 30027 with flag 8240000/8240000
1260.60/1259.45	c cleaning 15005 clauses out of 30020 with flag 8255000/8255000
1262.91/1261.77	c cleaning 14997 clauses out of 30016 with flag 8270001/8270001
1265.40/1264.23	c cleaning 14994 clauses out of 30018 with flag 8285000/8285000
1267.90/1266.71	c cleaning 15000 clauses out of 30024 with flag 8300000/8300000
1270.20/1269.04	c cleaning 15007 clauses out of 30025 with flag 8315001/8315001
1272.71/1271.55	c cleaning 15003 clauses out of 30017 with flag 8330000/8330000
1275.10/1273.98	c cleaning 14994 clauses out of 30015 with flag 8345001/8345001
1277.50/1276.35	c cleaning 15001 clauses out of 30021 with flag 8360001/8360001
1279.90/1278.79	c cleaning 15000 clauses out of 30019 with flag 8375000/8375000
1282.41/1281.27	c cleaning 14996 clauses out of 30019 with flag 8390000/8390000
1284.91/1283.77	c cleaning 15004 clauses out of 30024 with flag 8405001/8405001
1287.21/1286.07	c cleaning 14999 clauses out of 30021 with flag 8420002/8420002
1289.71/1288.54	c cleaning 15001 clauses out of 30021 with flag 8435001/8435001
1292.11/1290.93	c cleaning 14998 clauses out of 30020 with flag 8450001/8450001
1294.51/1293.33	c cleaning 14990 clauses out of 30021 with flag 8465000/8465000
1296.71/1295.59	c cleaning 15004 clauses out of 30032 with flag 8480001/8480001
1299.22/1298.06	c cleaning 15007 clauses out of 30027 with flag 8495000/8495000
1301.22/1300.01	c starts		: 2484
1301.22/1300.01	c conflicts		: 8507643
1301.22/1300.01	c decisions		: 10919855
1301.22/1300.01	c propagations		: 575682158
1301.22/1300.01	c inspects		: 13536579185
1301.22/1300.01	c shortcuts		: 0
1301.22/1300.01	c learnt literals	: 0
1301.22/1300.01	c learnt binary clauses	: 0
1301.22/1300.01	c learnt ternary clauses	: 0
1301.22/1300.01	c learnt constraints	: 8507643
1301.22/1300.01	c ignored constraints	: 0
1301.22/1300.01	c root simplifications	: 2484
1301.22/1300.01	c removed literals (reason simplification)	: 86459644
1301.22/1300.01	c reason swapping (by a shorter reason)	: 0
1301.22/1300.01	c Calls to reduceDB	: 570
1301.22/1300.01	c speed (assignments/second)	: 442947.27479354263
1301.22/1300.01	c non guided choices	218
1301.22/1300.02	c learnt constraints type 
1301.22/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27690
1301.22/1300.02	c constraints type 
1301.22/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15000
1301.22/1300.02	s UNKNOWN
1301.22/1300.02	c Total wall clock time (in seconds) : 1299.751

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 0.92 1.04 1.43 3/183 14763
/proc/meminfo: memFree=11204828/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=11760 CPUtime=0 cores=1,3
/proc/14763/stat : 14763 (runsolver) R 14759 14763 14712 0 -1 4202560 48 0 0 0 0 0 0 0 25 0 1 0 449898958 12042240 55 33554432000 4194304 5392636 140736622411264 18446744073709551615 5012135 0 2147483391 4096 24578 0 0 0 17 1 0 0 0
/proc/14763/statm: 2940 55 36 293 0 2644 0

[startup+0.067098 s]
/proc/loadavg: 0.92 1.04 1.43 3/183 14763
/proc/meminfo: memFree=11204828/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=28384 CPUtime=0 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 1169 0 13 0 0 0 0 0 17 0 2 0 449898958 29065216 906 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 7096 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.101076 s]
/proc/loadavg: 0.92 1.04 1.43 3/183 14763
/proc/meminfo: memFree=11204828/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7551740 CPUtime=0.01 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 7761 0 34 0 0 1 0 0 17 0 10 0 449898958 7732981760 7489 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1887935 7489 1205 9 0 1878683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551740

[startup+0.374984 s]
/proc/loadavg: 0.92 1.04 1.43 3/183 14763
/proc/meminfo: memFree=11204828/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7637240 CPUtime=0.32 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 11506 0 63 0 29 3 0 0 17 0 19 0 449898958 7820533760 11008 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1909310 11008 2199 9 0 1900048 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 7637240

[startup+0.701008 s]
/proc/loadavg: 0.92 1.04 1.43 3/183 14763
/proc/meminfo: memFree=11204828/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7639248 CPUtime=0.91 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 14719 0 63 0 87 4 0 0 17 0 19 0 449898958 7822589952 13120 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1909812 13120 2224 9 0 1900550 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 7639248

[startup+1.50088 s]
/proc/loadavg: 0.92 1.04 1.43 7/262 14845
/proc/meminfo: memFree=11004156/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7661908 CPUtime=1.95 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 24000 0 63 0 190 5 0 0 17 0 19 0 449898958 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1915477 20143 2253 9 0 1906215 0
[pid=14763/tid=14776] ppid=14759 vsize=7661908 CPUtime=1.29 cores=1,3
/proc/14763/task/14776/stat : 14776 (java) R 14759 14763 14712 0 -1 4202560 9928 0 49 0 127 2 0 0 20 0 19 0 449898964 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 46912505688374 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=14763/tid=14778] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14778/stat : 14778 (java) S 14759 14763 14712 0 -1 4202560 380 0 0 0 0 0 0 0 17 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14780] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14780/stat : 14780 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14783] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14783/stat : 14783 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14786] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14786/stat : 14786 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14789] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14789/stat : 14789 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14792] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14792/stat : 14792 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14795] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14795/stat : 14795 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14798] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14798/stat : 14798 (java) S 14759 14763 14712 0 -1 4202560 301 0 0 0 0 0 0 0 18 0 19 0 449898967 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14810] ppid=14759 vsize=7661908 CPUtime=0.01 cores=1,3
/proc/14763/task/14810/stat : 14810 (java) S 14759 14763 14712 0 -1 4202560 687 0 0 0 1 0 0 0 16 0 19 0 449898970 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 0 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14814] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14814/stat : 14814 (java) S 14759 14763 14712 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449898971 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14818] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14818/stat : 14818 (java) S 14759 14763 14712 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 449898971 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14823] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14823/stat : 14823 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449898978 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296749489 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14826] ppid=14759 vsize=7661908 CPUtime=0.32 cores=1,3
/proc/14763/task/14826/stat : 14826 (java) S 14759 14763 14712 0 -1 4202560 7754 0 0 0 31 1 0 0 16 0 19 0 449898978 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14831] ppid=14759 vsize=7661908 CPUtime=0.3 cores=1,3
/proc/14763/task/14831/stat : 14831 (java) S 14759 14763 14712 0 -1 4202560 3802 0 1 0 29 1 0 0 16 0 19 0 449898978 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14834] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14834/stat : 14834 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449898978 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14837] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14837/stat : 14837 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449898978 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14843] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14843/stat : 14843 (java) S 14759 14763 14712 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449898993 7845793792 20143 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 7661908

[startup+3.10057 s]
/proc/loadavg: 0.92 1.04 1.43 5/262 14845
/proc/meminfo: memFree=10936700/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7661908 CPUtime=3.57 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 24889 0 63 0 352 5 0 0 17 0 19 0 449898958 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1915477 21030 2255 9 0 1906215 0
[pid=14763/tid=14776] ppid=14759 vsize=7661908 CPUtime=2.84 cores=1,3
/proc/14763/task/14776/stat : 14776 (java) R 14759 14763 14712 0 -1 4202560 9930 0 49 0 282 2 0 0 25 0 19 0 449898964 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 46912505584443 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=14763/tid=14778] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14778/stat : 14778 (java) S 14759 14763 14712 0 -1 4202560 380 0 0 0 0 0 0 0 15 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14780] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14780/stat : 14780 (java) S 14759 14763 14712 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14783] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14783/stat : 14783 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14786] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14786/stat : 14786 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14789] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14789/stat : 14789 (java) S 14759 14763 14712 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14792] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14792/stat : 14792 (java) S 14759 14763 14712 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14795] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14795/stat : 14795 (java) S 14759 14763 14712 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14798] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14798/stat : 14798 (java) S 14759 14763 14712 0 -1 4202560 301 0 0 0 0 0 0 0 16 0 19 0 449898967 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14810] ppid=14759 vsize=7661908 CPUtime=0.04 cores=1,3
/proc/14763/task/14810/stat : 14810 (java) S 14759 14763 14712 0 -1 4202560 999 0 0 0 4 0 0 0 15 0 19 0 449898970 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 0 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14814] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14814/stat : 14814 (java) S 14759 14763 14712 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449898971 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14818] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14818/stat : 14818 (java) S 14759 14763 14712 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 449898971 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14823] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14823/stat : 14823 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449898978 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296749489 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14826] ppid=14759 vsize=7661908 CPUtime=0.34 cores=1,3
/proc/14763/task/14826/stat : 14826 (java) S 14759 14763 14712 0 -1 4202560 7755 0 0 0 33 1 0 0 15 0 19 0 449898978 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14831] ppid=14759 vsize=7661908 CPUtime=0.32 cores=1,3
/proc/14763/task/14831/stat : 14831 (java) S 14759 14763 14712 0 -1 4202560 3804 0 1 0 31 1 0 0 15 0 19 0 449898978 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14834] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14834/stat : 14834 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449898978 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14837] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14837/stat : 14837 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449898978 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14843] ppid=14759 vsize=7661908 CPUtime=0 cores=1,3
/proc/14763/task/14843/stat : 14843 (java) S 14759 14763 14712 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449898993 7845793792 21030 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 7661908

[startup+6.30107 s]
/proc/loadavg: 1.17 1.08 1.44 5/262 14845
/proc/meminfo: memFree=10892664/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7657396 CPUtime=6.78 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 25391 0 63 0 673 5 0 0 17 0 19 0 449898958 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1914349 20806 2255 9 0 1905087 0
[pid=14763/tid=14776] ppid=14759 vsize=7657396 CPUtime=5.97 cores=1,3
/proc/14763/task/14776/stat : 14776 (java) R 14759 14763 14712 0 -1 4202560 9933 0 49 0 595 2 0 0 25 0 19 0 449898964 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 46912505584508 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=14763/tid=14778] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14778/stat : 14778 (java) S 14759 14763 14712 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14780] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14780/stat : 14780 (java) S 14759 14763 14712 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14783] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14783/stat : 14783 (java) S 14759 14763 14712 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14786] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14786/stat : 14786 (java) S 14759 14763 14712 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14789] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14789/stat : 14789 (java) S 14759 14763 14712 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14792] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14792/stat : 14792 (java) S 14759 14763 14712 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14795] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14795/stat : 14795 (java) S 14759 14763 14712 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14798] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14798/stat : 14798 (java) S 14759 14763 14712 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 19 0 449898967 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14810] ppid=14759 vsize=7657396 CPUtime=0.09 cores=1,3
/proc/14763/task/14810/stat : 14810 (java) S 14759 14763 14712 0 -1 4202560 1171 0 0 0 9 0 0 0 16 0 19 0 449898970 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 0 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14814] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14814/stat : 14814 (java) S 14759 14763 14712 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14818] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14818/stat : 14818 (java) S 14759 14763 14712 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14823] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14823/stat : 14823 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449898978 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296749489 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14826] ppid=14759 vsize=7657396 CPUtime=0.34 cores=1,3
/proc/14763/task/14826/stat : 14826 (java) S 14759 14763 14712 0 -1 4202560 7755 0 0 0 33 1 0 0 15 0 19 0 449898978 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14831] ppid=14759 vsize=7657396 CPUtime=0.33 cores=1,3
/proc/14763/task/14831/stat : 14831 (java) S 14759 14763 14712 0 -1 4202560 3808 0 1 0 32 1 0 0 15 0 19 0 449898978 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14834] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14834/stat : 14834 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449898978 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14837] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14837/stat : 14837 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449898978 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14843] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14843/stat : 14843 (java) S 14759 14763 14712 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449898993 7841173504 20806 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 7657396

[startup+12.701 s]

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

[pid=14763/tid=14792] ppid=14759 vsize=7657396 CPUtime=0.21 cores=1,3
/proc/14763/task/14792/stat : 14792 (java) S 14759 14763 14712 0 -1 4202560 415 0 0 0 21 0 0 0 15 0 19 0 449898967 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14795] ppid=14759 vsize=7657396 CPUtime=0.2 cores=1,3
/proc/14763/task/14795/stat : 14795 (java) S 14759 14763 14712 0 -1 4202560 308 0 0 0 20 0 0 0 15 0 19 0 449898967 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14798] ppid=14759 vsize=7657396 CPUtime=0.22 cores=1,3
/proc/14763/task/14798/stat : 14798 (java) S 14759 14763 14712 0 -1 4202560 332 0 0 0 22 0 0 0 16 0 19 0 449898967 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14810] ppid=14759 vsize=7657396 CPUtime=10.1 cores=1,3
/proc/14763/task/14810/stat : 14810 (java) S 14759 14763 14712 0 -1 4202560 2641 0 0 0 1007 3 0 0 15 0 19 0 449898970 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 0 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14814] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14814/stat : 14814 (java) S 14759 14763 14712 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14818] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14818/stat : 14818 (java) S 14759 14763 14712 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14823] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14823/stat : 14823 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449898978 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296749489 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14826] ppid=14759 vsize=7657396 CPUtime=0.34 cores=1,3
/proc/14763/task/14826/stat : 14826 (java) S 14759 14763 14712 0 -1 4202560 7755 0 0 0 33 1 0 0 15 0 19 0 449898978 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14831] ppid=14759 vsize=7657396 CPUtime=0.35 cores=1,3
/proc/14763/task/14831/stat : 14831 (java) S 14759 14763 14712 0 -1 4202560 3828 0 1 0 34 1 0 0 15 0 19 0 449898978 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14834] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14834/stat : 14834 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449898978 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14837] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14837/stat : 14837 (java) S 14759 14763 14712 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 449898978 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14843] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14843/stat : 14843 (java) S 14759 14763 14712 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449898993 7841173504 23504 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.41
Current children cumulated vsize (KiB) 7657396

[startup+1182.3 s]
/proc/loadavg: 4.10 4.00 3.29 5/262 14880
/proc/meminfo: memFree=10680512/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7657396 CPUtime=1183.45 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 28779 0 63 0 118332 13 0 0 17 0 19 0 449898958 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1914349 23543 2256 9 0 1905087 0
[pid=14763/tid=14776] ppid=14759 vsize=7657396 CPUtime=1170.19 cores=1,3
/proc/14763/task/14776/stat : 14776 (java) R 14759 14763 14712 0 -1 4202560 10748 0 49 0 117016 3 0 0 25 0 19 0 449898964 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 46912505584469 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=14763/tid=14778] ppid=14759 vsize=7657396 CPUtime=0.26 cores=1,3
/proc/14763/task/14778/stat : 14778 (java) S 14759 14763 14712 0 -1 4202560 762 0 0 0 26 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14780] ppid=14759 vsize=7657396 CPUtime=0.22 cores=1,3
/proc/14763/task/14780/stat : 14780 (java) S 14759 14763 14712 0 -1 4202560 153 0 0 0 22 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14783] ppid=14759 vsize=7657396 CPUtime=0.24 cores=1,3
/proc/14763/task/14783/stat : 14783 (java) S 14759 14763 14712 0 -1 4202560 27 0 0 0 24 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14786] ppid=14759 vsize=7657396 CPUtime=0.22 cores=1,3
/proc/14763/task/14786/stat : 14786 (java) S 14759 14763 14712 0 -1 4202560 15 0 0 0 22 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14789] ppid=14759 vsize=7657396 CPUtime=0.21 cores=1,3
/proc/14763/task/14789/stat : 14789 (java) S 14759 14763 14712 0 -1 4202560 546 0 0 0 21 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14792] ppid=14759 vsize=7657396 CPUtime=0.22 cores=1,3
/proc/14763/task/14792/stat : 14792 (java) S 14759 14763 14712 0 -1 4202560 417 0 0 0 22 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14795] ppid=14759 vsize=7657396 CPUtime=0.21 cores=1,3
/proc/14763/task/14795/stat : 14795 (java) S 14759 14763 14712 0 -1 4202560 309 0 0 0 21 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14798] ppid=14759 vsize=7657396 CPUtime=0.22 cores=1,3
/proc/14763/task/14798/stat : 14798 (java) S 14759 14763 14712 0 -1 4202560 332 0 0 0 22 0 0 0 15 0 19 0 449898967 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14810] ppid=14759 vsize=7657396 CPUtime=10.65 cores=1,3
/proc/14763/task/14810/stat : 14810 (java) S 14759 14763 14712 0 -1 4202560 2677 0 0 0 1062 3 0 0 15 0 19 0 449898970 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 0 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14814] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14814/stat : 14814 (java) S 14759 14763 14712 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14818] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14818/stat : 14818 (java) S 14759 14763 14712 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14823] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14823/stat : 14823 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449898978 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296749489 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14826] ppid=14759 vsize=7657396 CPUtime=0.34 cores=1,3
/proc/14763/task/14826/stat : 14826 (java) S 14759 14763 14712 0 -1 4202560 7755 0 0 0 33 1 0 0 15 0 19 0 449898978 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14831] ppid=14759 vsize=7657396 CPUtime=0.35 cores=1,3
/proc/14763/task/14831/stat : 14831 (java) S 14759 14763 14712 0 -1 4202560 3828 0 1 0 34 1 0 0 15 0 19 0 449898978 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14834] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14834/stat : 14834 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449898978 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14837] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14837/stat : 14837 (java) S 14759 14763 14712 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 449898978 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14843] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14843/stat : 14843 (java) S 14759 14763 14712 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449898993 7841173504 23543 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.45
Current children cumulated vsize (KiB) 7657396

[startup+1242.3 s]
/proc/loadavg: 4.04 4.00 3.34 5/262 14880
/proc/meminfo: memFree=10672272/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7657396 CPUtime=1243.48 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 28841 0 63 0 124335 13 0 0 17 0 19 0 449898958 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1914349 23571 2256 9 0 1905087 0
[pid=14763/tid=14776] ppid=14759 vsize=7657396 CPUtime=1229.56 cores=1,3
/proc/14763/task/14776/stat : 14776 (java) R 14759 14763 14712 0 -1 4202560 10774 0 49 0 122953 3 0 0 25 0 19 0 449898964 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 46912505688379 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=14763/tid=14778] ppid=14759 vsize=7657396 CPUtime=0.28 cores=1,3
/proc/14763/task/14778/stat : 14778 (java) S 14759 14763 14712 0 -1 4202560 763 0 0 0 28 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14780] ppid=14759 vsize=7657396 CPUtime=0.23 cores=1,3
/proc/14763/task/14780/stat : 14780 (java) S 14759 14763 14712 0 -1 4202560 153 0 0 0 23 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14783] ppid=14759 vsize=7657396 CPUtime=0.25 cores=1,3
/proc/14763/task/14783/stat : 14783 (java) S 14759 14763 14712 0 -1 4202560 27 0 0 0 25 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14786] ppid=14759 vsize=7657396 CPUtime=0.23 cores=1,3
/proc/14763/task/14786/stat : 14786 (java) S 14759 14763 14712 0 -1 4202560 15 0 0 0 23 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14789] ppid=14759 vsize=7657396 CPUtime=0.22 cores=1,3
/proc/14763/task/14789/stat : 14789 (java) S 14759 14763 14712 0 -1 4202560 546 0 0 0 22 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14792] ppid=14759 vsize=7657396 CPUtime=0.24 cores=1,3
/proc/14763/task/14792/stat : 14792 (java) S 14759 14763 14712 0 -1 4202560 417 0 0 0 24 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14795] ppid=14759 vsize=7657396 CPUtime=0.22 cores=1,3
/proc/14763/task/14795/stat : 14795 (java) S 14759 14763 14712 0 -1 4202560 309 0 0 0 22 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14798] ppid=14759 vsize=7657396 CPUtime=0.24 cores=1,3
/proc/14763/task/14798/stat : 14798 (java) S 14759 14763 14712 0 -1 4202560 332 0 0 0 24 0 0 0 15 0 19 0 449898967 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14810] ppid=14759 vsize=7657396 CPUtime=11.21 cores=1,3
/proc/14763/task/14810/stat : 14810 (java) S 14759 14763 14712 0 -1 4202560 2708 0 0 0 1118 3 0 0 15 0 19 0 449898970 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 0 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14814] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14814/stat : 14814 (java) S 14759 14763 14712 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14818] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14818/stat : 14818 (java) S 14759 14763 14712 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14823] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14823/stat : 14823 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449898978 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296749489 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14826] ppid=14759 vsize=7657396 CPUtime=0.34 cores=1,3
/proc/14763/task/14826/stat : 14826 (java) S 14759 14763 14712 0 -1 4202560 7755 0 0 0 33 1 0 0 15 0 19 0 449898978 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14831] ppid=14759 vsize=7657396 CPUtime=0.35 cores=1,3
/proc/14763/task/14831/stat : 14831 (java) S 14759 14763 14712 0 -1 4202560 3828 0 1 0 34 1 0 0 15 0 19 0 449898978 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14834] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14834/stat : 14834 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449898978 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14837] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14837/stat : 14837 (java) S 14759 14763 14712 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 449898978 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14843] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14843/stat : 14843 (java) S 14759 14763 14712 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449898993 7841173504 23571 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.48
Current children cumulated vsize (KiB) 7657396



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 4.00 3.37 8/265 14885
/proc/meminfo: memFree=10670524/32951124 swapFree=67110456/67111528
[pid=14763] ppid=14759 vsize=7657396 CPUtime=1301.22 cores=1,3
/proc/14763/stat : 14763 (java) S 14759 14763 14712 0 -1 4202496 28943 0 63 0 130108 14 0 0 17 0 19 0 449898958 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2
/proc/14763/statm: 1914349 23641 2256 9 0 1905087 0
[pid=14763/tid=14776] ppid=14759 vsize=7657396 CPUtime=1286.69 cores=1,3
/proc/14763/task/14776/stat : 14776 (java) R 14759 14763 14712 0 -1 4202560 10798 0 49 0 128665 4 0 0 25 0 19 0 449898964 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 46912505584135 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=14763/tid=14778] ppid=14759 vsize=7657396 CPUtime=0.28 cores=1,3
/proc/14763/task/14778/stat : 14778 (java) S 14759 14763 14712 0 -1 4202560 763 0 0 0 28 0 0 0 15 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14780] ppid=14759 vsize=7657396 CPUtime=0.23 cores=1,3
/proc/14763/task/14780/stat : 14780 (java) S 14759 14763 14712 0 -1 4202560 153 0 0 0 23 0 0 0 15 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14783] ppid=14759 vsize=7657396 CPUtime=0.26 cores=1,3
/proc/14763/task/14783/stat : 14783 (java) S 14759 14763 14712 0 -1 4202560 28 0 0 0 26 0 0 0 16 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14786] ppid=14759 vsize=7657396 CPUtime=0.24 cores=1,3
/proc/14763/task/14786/stat : 14786 (java) S 14759 14763 14712 0 -1 4202560 17 0 0 0 24 0 0 0 15 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14789] ppid=14759 vsize=7657396 CPUtime=0.24 cores=1,3
/proc/14763/task/14789/stat : 14789 (java) S 14759 14763 14712 0 -1 4202560 546 0 0 0 24 0 0 0 15 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14792] ppid=14759 vsize=7657396 CPUtime=0.25 cores=1,3
/proc/14763/task/14792/stat : 14792 (java) S 14759 14763 14712 0 -1 4202560 418 0 0 0 25 0 0 0 16 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14795] ppid=14759 vsize=7657396 CPUtime=0.24 cores=1,3
/proc/14763/task/14795/stat : 14795 (java) S 14759 14763 14712 0 -1 4202560 311 0 0 0 24 0 0 0 15 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14798] ppid=14759 vsize=7657396 CPUtime=0.25 cores=1,3
/proc/14763/task/14798/stat : 14798 (java) S 14759 14763 14712 0 -1 4202560 333 0 0 0 25 0 0 0 16 0 19 0 449898967 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14810] ppid=14759 vsize=7657396 CPUtime=11.74 cores=1,3
/proc/14763/task/14810/stat : 14810 (java) S 14759 14763 14712 0 -1 4202560 2775 0 0 0 1170 4 0 0 15 0 19 0 449898970 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 0 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14814] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14814/stat : 14814 (java) S 14759 14763 14712 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14818] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14818/stat : 14818 (java) S 14759 14763 14712 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 449898971 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14823] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14823/stat : 14823 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449898978 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296749489 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14826] ppid=14759 vsize=7657396 CPUtime=0.34 cores=1,3
/proc/14763/task/14826/stat : 14826 (java) S 14759 14763 14712 0 -1 4202560 7755 0 0 0 33 1 0 0 15 0 19 0 449898978 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14831] ppid=14759 vsize=7657396 CPUtime=0.35 cores=1,3
/proc/14763/task/14831/stat : 14831 (java) S 14759 14763 14712 0 -1 4202560 3828 0 1 0 34 1 0 0 15 0 19 0 449898978 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 1 0 0 0
[pid=14763/tid=14834] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14834/stat : 14834 (java) S 14759 14763 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449898978 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296741785 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14837] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14837/stat : 14837 (java) S 14759 14763 14712 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 449898978 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
[pid=14763/tid=14843] ppid=14759 vsize=7657396 CPUtime=0 cores=1,3
/proc/14763/task/14843/stat : 14843 (java) S 14759 14763 14712 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449898993 7841173504 23641 33554432000 1073741824 1073778376 140737425798000 18446744073709551615 224296742400 0 4 0 16800975 18446604471127927680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.22
Current children cumulated vsize (KiB) 7657396

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.27
CPU user time (s): 1301.12
CPU system time (s): 0.148977
CPU usage (%): 100.095
Max. virtual memory (cumulated for all children) (KiB): 7661908

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

runsolver used 2.07168 second user time and 5.06823 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-12 10:24:43
IDJOB=3190181
IDBENCH=82512
IDSOLVER=1611
FILE ID=node118/3190181-1302596683
RUNJOBID= node118-1302596683-14732
PBS_JOBID= 12958088
Free space on /tmp= 71920 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k5-r20-v750-c15000-S3662714-068-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-3190181-1302596683/watcher-3190181-1302596683 -o /tmp/evaluation-result-3190181-1302596683/solver-3190181-1302596683 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190181-1302596683.cnf

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

MD5SUM BENCH= 48e79d2b0d6ab8da0627cd3c9f41a435
RANDOM SEED=32329564

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11205612 kB
Buffers:        711764 kB
Cached:       20503376 kB
SwapCached:        640 kB
Active:        9693692 kB
Inactive:     11590656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11205612 kB
SwapTotal:    67111528 kB
SwapFree:     67110456 kB
Dirty:            1956 kB
Writeback:           0 kB
AnonPages:       68520 kB
Mapped:          15580 kB
Slab:           395516 kB
PageTables:       5420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218904 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= 71916 MiB
End job on node118 at 2011-04-12 10:46:25