Trace number 3190251

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.46 1300.05

General information on the benchmark

Namerandom/large/
unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf
MD5SUMa9820c4b7c4cca37033a1ea45b264344
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.10137
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.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.07	c no version file found!!!
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.07	c java.vm.version	19.1-b02
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version		1.6.0_24
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.18-164.el5
0.01/0.07	c os.arch		amd64
0.01/0.07	c Free memory 		6997539544
0.01/0.07	c Max memory 		7034241024
0.01/0.07	c Total memory 		7034241024
0.01/0.08	c Number of processors 	8
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3190251-1302597588.cnf
0.09/0.10	c reading problem ... 
0.27/0.22	c ... done. Wall clock time 0.097s.
0.27/0.22	c #vars     750
0.27/0.22	c #constraints  15000
0.27/0.22	c constraints type 
0.27/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15000
1.28/0.96	c cleaning 2499 clauses out of 5001 with flag 5001/5001
2.18/1.67	c cleaning 4243 clauses out of 8501 with flag 11000/11000
2.98/2.47	c cleaning 5628 clauses out of 11258 with flag 18000/18000
3.97/3.42	c cleaning 6812 clauses out of 13630 with flag 26000/26000
5.09/4.50	c cleaning 7903 clauses out of 15818 with flag 35000/35000
6.29/5.74	c cleaning 8956 clauses out of 17915 with flag 45000/45000
7.69/7.18	c cleaning 9975 clauses out of 19960 with flag 56001/56001
9.40/8.83	c cleaning 10991 clauses out of 21986 with flag 68002/68002
11.30/10.76	c cleaning 11992 clauses out of 23993 with flag 81000/81000
13.50/12.94	c cleaning 12999 clauses out of 26003 with flag 95002/95002
15.91/15.40	c cleaning 14000 clauses out of 28004 with flag 110002/110002
18.40/17.87	c cleaning 14503 clauses out of 29005 with flag 125003/125003
20.61/20.08	c cleaning 14748 clauses out of 29501 with flag 140002/140002
22.91/22.32	c cleaning 14870 clauses out of 29752 with flag 155001/155001
25.01/24.48	c cleaning 14939 clauses out of 29882 with flag 170001/170001
27.21/26.68	c cleaning 14964 clauses out of 29944 with flag 185002/185002
29.41/28.86	c cleaning 14987 clauses out of 29979 with flag 200001/200001
31.62/31.09	c cleaning 14994 clauses out of 29992 with flag 215001/215001
33.82/33.23	c cleaning 14994 clauses out of 29997 with flag 230000/230000
36.02/35.47	c cleaning 14989 clauses out of 30004 with flag 245001/245001
38.12/37.55	c cleaning 15001 clauses out of 30015 with flag 260001/260001
40.42/39.81	c cleaning 15004 clauses out of 30019 with flag 275006/275006
42.52/41.91	c cleaning 15004 clauses out of 30011 with flag 290002/290002
44.72/44.17	c cleaning 14995 clauses out of 30005 with flag 305000/305000
46.83/46.29	c cleaning 15001 clauses out of 30010 with flag 320000/320000
49.13/48.53	c cleaning 15000 clauses out of 30010 with flag 335001/335001
51.23/50.62	c cleaning 14998 clauses out of 30009 with flag 350000/350000
53.44/52.85	c cleaning 15001 clauses out of 30012 with flag 365001/365001
55.54/55.00	c cleaning 15001 clauses out of 30012 with flag 380002/380002
57.74/57.14	c cleaning 14997 clauses out of 30009 with flag 395000/395000
59.94/59.39	c cleaning 15002 clauses out of 30012 with flag 410000/410000
62.14/61.59	c cleaning 14997 clauses out of 30010 with flag 425000/425000
64.24/63.68	c cleaning 15004 clauses out of 30013 with flag 440000/440000
66.54/65.94	c cleaning 14999 clauses out of 30009 with flag 455000/455000
68.64/68.02	c cleaning 14997 clauses out of 30011 with flag 470001/470001
70.74/70.19	c cleaning 15001 clauses out of 30015 with flag 485002/485002
73.05/72.44	c cleaning 15004 clauses out of 30013 with flag 500001/500001
75.25/74.61	c cleaning 15001 clauses out of 30010 with flag 515002/515002
77.25/76.69	c cleaning 14996 clauses out of 30007 with flag 530000/530000
79.45/78.85	c cleaning 14998 clauses out of 30012 with flag 545001/545001
81.75/81.12	c cleaning 14999 clauses out of 30014 with flag 560001/560001
83.85/83.27	c cleaning 15003 clauses out of 30014 with flag 575000/575000
86.05/85.40	c cleaning 14984 clauses out of 30011 with flag 590000/590000
88.16/87.59	c cleaning 15009 clauses out of 30027 with flag 605000/605000
90.46/89.83	c cleaning 15005 clauses out of 30021 with flag 620003/620003
92.56/91.97	c cleaning 14999 clauses out of 30014 with flag 635001/635001
94.76/94.10	c cleaning 14996 clauses out of 30015 with flag 650001/650001
96.86/96.25	c cleaning 15002 clauses out of 30019 with flag 665001/665001
99.16/98.50	c cleaning 15001 clauses out of 30016 with flag 680000/680000
101.26/100.66	c cleaning 15005 clauses out of 30016 with flag 695001/695001
103.36/102.77	c cleaning 15002 clauses out of 30012 with flag 710002/710002
105.56/104.90	c cleaning 14996 clauses out of 30008 with flag 725000/725000
107.76/107.11	c cleaning 15001 clauses out of 30013 with flag 740001/740001
110.07/109.41	c cleaning 14999 clauses out of 30012 with flag 755001/755001
112.17/111.57	c cleaning 14994 clauses out of 30012 with flag 770000/770000
114.27/113.66	c cleaning 15005 clauses out of 30020 with flag 785002/785002
116.47/115.85	c cleaning 15005 clauses out of 30014 with flag 800001/800001
118.67/118.09	c cleaning 14996 clauses out of 30010 with flag 815002/815002
121.07/120.41	c cleaning 14999 clauses out of 30012 with flag 830000/830000
123.17/122.54	c cleaning 14997 clauses out of 30013 with flag 845000/845000
125.37/124.76	c cleaning 15006 clauses out of 30017 with flag 860001/860001
127.47/126.88	c cleaning 14996 clauses out of 30010 with flag 875000/875000
129.67/129.03	c cleaning 14995 clauses out of 30014 with flag 890000/890000
131.87/131.24	c cleaning 15004 clauses out of 30019 with flag 905000/905000
134.28/133.62	c cleaning 15006 clauses out of 30015 with flag 920000/920000
136.38/135.70	c cleaning 14996 clauses out of 30009 with flag 935000/935000
138.48/137.83	c cleaning 15003 clauses out of 30014 with flag 950001/950001
140.68/140.01	c cleaning 15001 clauses out of 30010 with flag 965000/965000
142.78/142.19	c cleaning 14993 clauses out of 30010 with flag 980001/980001
144.98/144.37	c cleaning 14993 clauses out of 30016 with flag 995000/995000
147.28/146.64	c cleaning 15002 clauses out of 30023 with flag 1010000/1010000
149.48/148.81	c cleaning 15006 clauses out of 30021 with flag 1025000/1025000
151.58/150.93	c cleaning 15002 clauses out of 30015 with flag 1040000/1040000
153.80/153.10	c cleaning 14996 clauses out of 30013 with flag 1055000/1055000
155.91/155.24	c cleaning 15004 clauses out of 30019 with flag 1070002/1070002
158.11/157.45	c cleaning 14997 clauses out of 30014 with flag 1085001/1085001
160.31/159.67	c cleaning 14988 clauses out of 30016 with flag 1100000/1100000
162.61/161.97	c cleaning 15009 clauses out of 30028 with flag 1115000/1115000
164.81/164.15	c cleaning 15004 clauses out of 30021 with flag 1130002/1130002
167.01/166.30	c cleaning 15002 clauses out of 30016 with flag 1145001/1145001
169.11/168.49	c cleaning 14997 clauses out of 30015 with flag 1160002/1160002
171.31/170.65	c cleaning 15002 clauses out of 30016 with flag 1175000/1175000
173.62/172.91	c cleaning 14999 clauses out of 30015 with flag 1190001/1190001
175.82/175.13	c cleaning 14997 clauses out of 30016 with flag 1205001/1205001
178.02/177.39	c cleaning 15005 clauses out of 30022 with flag 1220004/1220004
180.52/179.82	c cleaning 14997 clauses out of 30013 with flag 1235000/1235000
182.62/181.97	c cleaning 15002 clauses out of 30016 with flag 1250000/1250000
184.82/184.16	c cleaning 14998 clauses out of 30014 with flag 1265000/1265000
187.02/186.35	c cleaning 14998 clauses out of 30016 with flag 1280000/1280000
189.23/188.59	c cleaning 14998 clauses out of 30019 with flag 1295001/1295001
191.53/190.89	c cleaning 14992 clauses out of 30021 with flag 1310001/1310001
193.83/193.16	c cleaning 15003 clauses out of 30028 with flag 1325000/1325000
196.13/195.43	c cleaning 15005 clauses out of 30026 with flag 1340001/1340001
198.43/197.79	c cleaning 15007 clauses out of 30021 with flag 1355001/1355001
200.73/200.06	c cleaning 14994 clauses out of 30013 with flag 1370000/1370000
202.93/202.22	c cleaning 15000 clauses out of 30019 with flag 1385000/1385000
205.03/204.36	c cleaning 15000 clauses out of 30019 with flag 1400000/1400000
207.23/206.55	c cleaning 15002 clauses out of 30019 with flag 1415000/1415000
209.43/208.77	c cleaning 15003 clauses out of 30017 with flag 1430000/1430000
211.73/211.01	c cleaning 14995 clauses out of 30015 with flag 1445001/1445001
214.04/213.30	c cleaning 15000 clauses out of 30019 with flag 1460000/1460000
216.24/215.58	c cleaning 15002 clauses out of 30020 with flag 1475001/1475001
218.74/218.02	c cleaning 14999 clauses out of 30017 with flag 1490000/1490000
221.14/220.40	c cleaning 15001 clauses out of 30018 with flag 1505000/1505000
223.34/222.60	c cleaning 15005 clauses out of 30017 with flag 1520000/1520000
225.44/224.70	c cleaning 14991 clauses out of 30012 with flag 1535000/1535000
227.54/226.89	c cleaning 15002 clauses out of 30021 with flag 1550000/1550000
229.75/229.00	c cleaning 15000 clauses out of 30019 with flag 1565000/1565000
232.06/231.30	c cleaning 15003 clauses out of 30021 with flag 1580002/1580002
234.26/233.50	c cleaning 15002 clauses out of 30017 with flag 1595001/1595001
236.56/235.83	c cleaning 15002 clauses out of 30017 with flag 1610003/1610003
238.76/238.07	c cleaning 15003 clauses out of 30014 with flag 1625002/1625002
241.06/240.32	c cleaning 14992 clauses out of 30010 with flag 1640001/1640001
243.46/242.77	c cleaning 14998 clauses out of 30017 with flag 1655000/1655000
245.66/244.96	c cleaning 15002 clauses out of 30021 with flag 1670002/1670002
247.76/247.09	c cleaning 14999 clauses out of 30018 with flag 1685001/1685001
249.96/249.26	c cleaning 15006 clauses out of 30019 with flag 1700001/1700001
252.16/251.49	c cleaning 15007 clauses out of 30015 with flag 1715003/1715003
254.47/253.73	c cleaning 14998 clauses out of 30005 with flag 1730000/1730000
256.77/256.02	c cleaning 15001 clauses out of 30010 with flag 1745003/1745003
258.97/258.25	c cleaning 14995 clauses out of 30007 with flag 1760001/1760001
261.27/260.53	c cleaning 14993 clauses out of 30011 with flag 1775000/1775000
263.57/262.81	c cleaning 15002 clauses out of 30018 with flag 1790000/1790000
265.77/265.06	c cleaning 14997 clauses out of 30017 with flag 1805001/1805001
267.98/267.27	c cleaning 14998 clauses out of 30020 with flag 1820001/1820001
270.28/269.56	c cleaning 15002 clauses out of 30021 with flag 1835000/1835000
272.38/271.69	c cleaning 15001 clauses out of 30020 with flag 1850001/1850001
274.58/273.81	c cleaning 14999 clauses out of 30018 with flag 1865000/1865000
276.67/275.95	c cleaning 15002 clauses out of 30020 with flag 1880001/1880001
278.88/278.18	c cleaning 14992 clauses out of 30019 with flag 1895002/1895002
281.18/280.40	c cleaning 15005 clauses out of 30026 with flag 1910001/1910001
283.38/282.67	c cleaning 15005 clauses out of 30022 with flag 1925002/1925002
285.68/284.94	c cleaning 14996 clauses out of 30018 with flag 1940003/1940003
287.98/287.24	c cleaning 15003 clauses out of 30020 with flag 1955001/1955001
290.38/289.62	c cleaning 14997 clauses out of 30016 with flag 1970000/1970000
292.68/291.97	c cleaning 15003 clauses out of 30019 with flag 1985000/1985000
295.09/294.34	c cleaning 14993 clauses out of 30016 with flag 2000000/2000000
297.59/296.85	c cleaning 15003 clauses out of 30023 with flag 2015000/2015000
299.79/299.06	c cleaning 15005 clauses out of 30020 with flag 2030000/2030000
302.00/301.21	c cleaning 14998 clauses out of 30016 with flag 2045001/2045001
304.20/303.40	c cleaning 15008 clauses out of 30019 with flag 2060002/2060002
306.40/305.62	c cleaning 14998 clauses out of 30010 with flag 2075001/2075001
308.61/307.85	c cleaning 14999 clauses out of 30012 with flag 2090001/2090001
310.81/310.06	c cleaning 15001 clauses out of 30012 with flag 2105000/2105000
313.01/312.27	c cleaning 14993 clauses out of 30012 with flag 2120001/2120001
315.31/314.53	c cleaning 14995 clauses out of 30018 with flag 2135000/2135000
317.51/316.75	c cleaning 15004 clauses out of 30024 with flag 2150001/2150001
319.72/318.96	c cleaning 15005 clauses out of 30019 with flag 2165000/2165000
322.02/321.24	c cleaning 14999 clauses out of 30015 with flag 2180001/2180001
324.22/323.48	c cleaning 14999 clauses out of 30016 with flag 2195001/2195001
326.51/325.76	c cleaning 14998 clauses out of 30016 with flag 2210000/2210000
328.92/328.16	c cleaning 15006 clauses out of 30019 with flag 2225001/2225001
331.12/330.31	c cleaning 14998 clauses out of 30012 with flag 2240000/2240000
333.22/332.41	c cleaning 15004 clauses out of 30014 with flag 2255000/2255000
335.32/334.55	c cleaning 15004 clauses out of 30011 with flag 2270001/2270001
337.43/336.66	c cleaning 14996 clauses out of 30006 with flag 2285000/2285000
339.63/338.81	c cleaning 14996 clauses out of 30010 with flag 2300000/2300000
341.83/341.05	c cleaning 14993 clauses out of 30014 with flag 2315000/2315000
344.13/343.32	c cleaning 15000 clauses out of 30022 with flag 2330001/2330001
346.33/345.57	c cleaning 15000 clauses out of 30023 with flag 2345002/2345002
348.63/347.87	c cleaning 14996 clauses out of 30021 with flag 2360000/2360000
351.03/350.21	c cleaning 14998 clauses out of 30025 with flag 2375000/2375000
353.33/352.53	c cleaning 15005 clauses out of 30028 with flag 2390001/2390001
355.63/354.85	c cleaning 14996 clauses out of 30022 with flag 2405000/2405000
357.83/357.10	c cleaning 15007 clauses out of 30027 with flag 2420001/2420001
360.13/359.30	c cleaning 14998 clauses out of 30019 with flag 2435000/2435000
362.53/361.70	c cleaning 15008 clauses out of 30021 with flag 2450000/2450000
364.64/363.88	c cleaning 14998 clauses out of 30013 with flag 2465000/2465000
366.84/366.07	c cleaning 15000 clauses out of 30016 with flag 2480001/2480001
369.04/368.23	c cleaning 15004 clauses out of 30015 with flag 2495000/2495000
371.24/370.44	c cleaning 15001 clauses out of 30011 with flag 2510000/2510000
373.44/372.62	c cleaning 15001 clauses out of 30011 with flag 2525001/2525001
375.64/374.89	c cleaning 14996 clauses out of 30009 with flag 2540000/2540000
377.84/377.06	c cleaning 14996 clauses out of 30013 with flag 2555000/2555000
380.25/379.40	c cleaning 14990 clauses out of 30017 with flag 2570000/2570000
382.45/381.68	c cleaning 15004 clauses out of 30027 with flag 2585000/2585000
384.65/383.86	c cleaning 15005 clauses out of 30025 with flag 2600002/2600002
386.95/386.15	c cleaning 14998 clauses out of 30018 with flag 2615000/2615000
389.15/388.37	c cleaning 14999 clauses out of 30020 with flag 2630000/2630000
391.45/390.67	c cleaning 15001 clauses out of 30021 with flag 2645000/2645000
393.85/393.04	c cleaning 14998 clauses out of 30020 with flag 2660000/2660000
396.25/395.45	c cleaning 14992 clauses out of 30022 with flag 2675000/2675000
398.55/397.77	c cleaning 14999 clauses out of 30030 with flag 2690000/2690000
400.95/400.14	c cleaning 15008 clauses out of 30032 with flag 2705001/2705001
403.05/402.26	c cleaning 15004 clauses out of 30024 with flag 2720001/2720001
405.25/404.46	c cleaning 14998 clauses out of 30019 with flag 2735000/2735000
407.45/406.60	c cleaning 15004 clauses out of 30026 with flag 2750005/2750005
409.65/408.82	c cleaning 14998 clauses out of 30018 with flag 2765001/2765001
411.85/411.01	c cleaning 15003 clauses out of 30021 with flag 2780002/2780002
414.16/413.32	c cleaning 14994 clauses out of 30016 with flag 2795000/2795000
416.36/415.53	c cleaning 15002 clauses out of 30024 with flag 2810002/2810002
418.56/417.77	c cleaning 14998 clauses out of 30021 with flag 2825001/2825001
420.86/420.07	c cleaning 14999 clauses out of 30023 with flag 2840001/2840001
423.27/422.44	c cleaning 15002 clauses out of 30024 with flag 2855001/2855001
425.67/424.88	c cleaning 15006 clauses out of 30023 with flag 2870002/2870002
428.07/427.22	c cleaning 14997 clauses out of 30017 with flag 2885002/2885002
430.37/429.55	c cleaning 14999 clauses out of 30018 with flag 2900000/2900000
432.68/431.81	c cleaning 14993 clauses out of 30019 with flag 2915000/2915000
434.98/434.17	c cleaning 15002 clauses out of 30028 with flag 2930002/2930002
437.38/436.53	c cleaning 14998 clauses out of 30025 with flag 2945001/2945001
439.68/438.84	c cleaning 15006 clauses out of 30027 with flag 2960001/2960001
442.08/441.25	c cleaning 14999 clauses out of 30020 with flag 2975000/2975000
444.28/443.47	c cleaning 15004 clauses out of 30024 with flag 2990003/2990003
446.48/445.62	c cleaning 15001 clauses out of 30018 with flag 3005001/3005001
448.59/447.76	c cleaning 15002 clauses out of 30016 with flag 3020000/3020000
450.79/449.95	c cleaning 14992 clauses out of 30014 with flag 3035000/3035000
452.99/452.15	c cleaning 15004 clauses out of 30022 with flag 3050000/3050000
455.19/454.38	c cleaning 15003 clauses out of 30019 with flag 3065001/3065001
457.59/456.73	c cleaning 15003 clauses out of 30015 with flag 3080000/3080000
459.89/459.06	c cleaning 14997 clauses out of 30013 with flag 3095001/3095001
462.19/461.31	c cleaning 14995 clauses out of 30016 with flag 3110001/3110001
464.39/463.57	c cleaning 14998 clauses out of 30021 with flag 3125001/3125001
466.69/465.82	c cleaning 15002 clauses out of 30022 with flag 3140000/3140000
468.99/468.10	c cleaning 15000 clauses out of 30020 with flag 3155000/3155000
471.20/470.34	c cleaning 15001 clauses out of 30024 with flag 3170004/3170004
473.50/472.67	c cleaning 14995 clauses out of 30019 with flag 3185000/3185000
475.90/475.07	c cleaning 15003 clauses out of 30025 with flag 3200001/3200001
478.20/477.35	c cleaning 14993 clauses out of 30023 with flag 3215002/3215002
480.60/479.70	c cleaning 15006 clauses out of 30030 with flag 3230002/3230002
483.10/482.22	c cleaning 15005 clauses out of 30022 with flag 3245000/3245000
485.40/484.51	c cleaning 14999 clauses out of 30017 with flag 3260000/3260000
487.90/487.05	c cleaning 15000 clauses out of 30019 with flag 3275001/3275001
490.21/489.31	c cleaning 15007 clauses out of 30020 with flag 3290002/3290002
492.31/491.45	c cleaning 14998 clauses out of 30011 with flag 3305000/3305000
494.51/493.61	c cleaning 15001 clauses out of 30014 with flag 3320001/3320001
496.61/495.79	c cleaning 14991 clauses out of 30012 with flag 3335000/3335000
498.91/498.00	c cleaning 14992 clauses out of 30021 with flag 3350000/3350000
501.01/500.19	c cleaning 15007 clauses out of 30029 with flag 3365000/3365000
503.21/502.40	c cleaning 15005 clauses out of 30022 with flag 3380000/3380000
505.51/504.66	c cleaning 14995 clauses out of 30017 with flag 3395000/3395000
507.92/507.05	c cleaning 15000 clauses out of 30022 with flag 3410000/3410000
510.22/509.33	c cleaning 15002 clauses out of 30022 with flag 3425000/3425000
512.42/511.57	c cleaning 15000 clauses out of 30021 with flag 3440001/3440001
514.72/513.82	c cleaning 15001 clauses out of 30020 with flag 3455000/3455000
517.02/516.16	c cleaning 15006 clauses out of 30020 with flag 3470001/3470001
519.52/518.62	c cleaning 14997 clauses out of 30013 with flag 3485000/3485000
521.82/520.96	c cleaning 14989 clauses out of 30016 with flag 3500000/3500000
524.02/523.18	c cleaning 15004 clauses out of 30028 with flag 3515001/3515001
526.32/525.49	c cleaning 15002 clauses out of 30023 with flag 3530000/3530000
528.83/527.93	c cleaning 15000 clauses out of 30022 with flag 3545001/3545001
531.13/530.21	c cleaning 14997 clauses out of 30022 with flag 3560001/3560001
533.62/532.73	c cleaning 15003 clauses out of 30025 with flag 3575001/3575001
535.93/535.08	c cleaning 14998 clauses out of 30021 with flag 3590000/3590000
538.43/537.55	c cleaning 14996 clauses out of 30024 with flag 3605001/3605001
540.73/539.87	c cleaning 15009 clauses out of 30027 with flag 3620000/3620000
542.94/542.00	c cleaning 15002 clauses out of 30019 with flag 3635001/3635001
545.04/544.19	c cleaning 15001 clauses out of 30016 with flag 3650000/3650000
547.24/546.37	c cleaning 15003 clauses out of 30017 with flag 3665002/3665002
549.44/548.56	c cleaning 15000 clauses out of 30012 with flag 3680000/3680000
551.64/550.78	c cleaning 14996 clauses out of 30012 with flag 3695000/3695000
554.04/553.11	c cleaning 15000 clauses out of 30016 with flag 3710000/3710000
556.35/555.40	c cleaning 14997 clauses out of 30016 with flag 3725000/3725000
558.55/557.70	c cleaning 15001 clauses out of 30022 with flag 3740003/3740003
560.95/560.07	c cleaning 15003 clauses out of 30018 with flag 3755000/3755000
563.45/562.58	c cleaning 15000 clauses out of 30015 with flag 3770000/3770000
566.05/565.10	c cleaning 14998 clauses out of 30016 with flag 3785001/3785001
568.56/567.62	c cleaning 14991 clauses out of 30017 with flag 3800000/3800000
570.95/570.04	c cleaning 15001 clauses out of 30028 with flag 3815002/3815002
573.26/572.32	c cleaning 15003 clauses out of 30025 with flag 3830000/3830000
575.56/574.60	c cleaning 15000 clauses out of 30022 with flag 3845000/3845000
577.86/577.00	c cleaning 14998 clauses out of 30022 with flag 3860000/3860000
580.16/579.29	c cleaning 14996 clauses out of 30024 with flag 3875000/3875000
582.66/581.70	c cleaning 15008 clauses out of 30029 with flag 3890001/3890001
585.16/584.22	c cleaning 14995 clauses out of 30020 with flag 3905000/3905000
587.56/586.60	c cleaning 14993 clauses out of 30026 with flag 3920001/3920001
590.06/589.11	c cleaning 14993 clauses out of 30033 with flag 3935001/3935001
592.36/591.44	c cleaning 15009 clauses out of 30039 with flag 3950000/3950000
594.87/593.93	c cleaning 15001 clauses out of 30031 with flag 3965001/3965001
597.27/596.32	c cleaning 15004 clauses out of 30032 with flag 3980003/3980003
599.47/598.53	c cleaning 15005 clauses out of 30025 with flag 3995000/3995000
601.58/600.68	c cleaning 14999 clauses out of 30020 with flag 4010000/4010000
603.78/602.82	c cleaning 15001 clauses out of 30021 with flag 4025000/4025000
605.98/605.04	c cleaning 14988 clauses out of 30020 with flag 4040000/4040000
608.18/607.30	c cleaning 15011 clauses out of 30032 with flag 4055000/4055000
610.57/609.62	c cleaning 15006 clauses out of 30023 with flag 4070002/4070002
612.77/611.90	c cleaning 14998 clauses out of 30015 with flag 4085000/4085000
615.18/614.23	c cleaning 14998 clauses out of 30019 with flag 4100002/4100002
617.38/616.49	c cleaning 14998 clauses out of 30020 with flag 4115001/4115001
619.68/618.76	c cleaning 15001 clauses out of 30021 with flag 4130000/4130000
621.98/621.08	c cleaning 15000 clauses out of 30022 with flag 4145002/4145002
624.28/623.38	c cleaning 14997 clauses out of 30022 with flag 4160002/4160002
626.58/625.69	c cleaning 15003 clauses out of 30023 with flag 4175000/4175000
628.99/628.07	c cleaning 15004 clauses out of 30022 with flag 4190002/4190002
631.39/630.42	c cleaning 14996 clauses out of 30017 with flag 4205001/4205001
633.59/632.67	c cleaning 15007 clauses out of 30023 with flag 4220003/4220003
635.89/634.94	c cleaning 15000 clauses out of 30013 with flag 4235000/4235000
638.29/637.34	c cleaning 14994 clauses out of 30015 with flag 4250002/4250002
640.49/639.58	c cleaning 15001 clauses out of 30019 with flag 4265000/4265000
642.99/642.01	c cleaning 15005 clauses out of 30018 with flag 4280000/4280000
645.19/644.29	c cleaning 14998 clauses out of 30013 with flag 4295000/4295000
647.70/646.77	c cleaning 15002 clauses out of 30017 with flag 4310002/4310002
650.01/649.04	c cleaning 15000 clauses out of 30013 with flag 4325000/4325000
652.50/651.52	c cleaning 15004 clauses out of 30015 with flag 4340002/4340002
654.70/653.77	c cleaning 14992 clauses out of 30009 with flag 4355000/4355000
657.20/656.22	c cleaning 14991 clauses out of 30018 with flag 4370001/4370001
659.60/658.65	c cleaning 15003 clauses out of 30026 with flag 4385000/4385000
661.90/660.95	c cleaning 15009 clauses out of 30023 with flag 4400000/4400000
664.10/663.10	c cleaning 14993 clauses out of 30014 with flag 4415000/4415000
666.30/665.31	c cleaning 15004 clauses out of 30022 with flag 4430001/4430001
668.51/667.53	c cleaning 15001 clauses out of 30018 with flag 4445001/4445001
670.71/669.76	c cleaning 15002 clauses out of 30017 with flag 4460001/4460001
672.91/671.92	c cleaning 15004 clauses out of 30018 with flag 4475004/4475004
675.11/674.17	c cleaning 15000 clauses out of 30011 with flag 4490001/4490001
677.41/676.45	c cleaning 14990 clauses out of 30011 with flag 4505001/4505001
679.72/678.73	c cleaning 14998 clauses out of 30020 with flag 4520000/4520000
681.92/680.99	c cleaning 15005 clauses out of 30022 with flag 4535000/4535000
684.21/683.24	c cleaning 14998 clauses out of 30017 with flag 4550000/4550000
686.41/685.48	c cleaning 14999 clauses out of 30019 with flag 4565000/4565000
688.61/687.69	c cleaning 14993 clauses out of 30020 with flag 4580000/4580000
690.91/689.98	c cleaning 15009 clauses out of 30028 with flag 4595001/4595001
693.42/692.42	c cleaning 15003 clauses out of 30019 with flag 4610001/4610001
695.72/694.78	c cleaning 14996 clauses out of 30017 with flag 4625002/4625002
698.12/697.12	c cleaning 14997 clauses out of 30020 with flag 4640001/4640001
700.52/699.59	c cleaning 15003 clauses out of 30022 with flag 4655000/4655000
702.84/701.82	c cleaning 15000 clauses out of 30019 with flag 4670000/4670000
705.23/704.29	c cleaning 14999 clauses out of 30019 with flag 4685000/4685000
707.53/706.58	c cleaning 15003 clauses out of 30021 with flag 4700001/4700001
710.03/709.03	c cleaning 14996 clauses out of 30018 with flag 4715001/4715001
712.43/711.41	c cleaning 14993 clauses out of 30021 with flag 4730000/4730000
714.84/713.89	c cleaning 15002 clauses out of 30028 with flag 4745000/4745000
717.04/716.10	c cleaning 14997 clauses out of 30026 with flag 4760000/4760000
719.44/718.47	c cleaning 15009 clauses out of 30030 with flag 4775001/4775001
721.74/720.78	c cleaning 15002 clauses out of 30021 with flag 4790001/4790001
724.24/723.25	c cleaning 14996 clauses out of 30019 with flag 4805001/4805001
726.65/725.69	c cleaning 15002 clauses out of 30024 with flag 4820002/4820002
729.05/728.05	c cleaning 15006 clauses out of 30021 with flag 4835001/4835001
731.25/730.22	c cleaning 14996 clauses out of 30014 with flag 4850000/4850000
733.35/732.38	c cleaning 15002 clauses out of 30021 with flag 4865003/4865003
735.55/734.54	c cleaning 15000 clauses out of 30016 with flag 4880000/4880000
737.75/736.74	c cleaning 14997 clauses out of 30016 with flag 4895000/4895000
740.05/739.04	c cleaning 14998 clauses out of 30019 with flag 4910000/4910000
742.36/741.32	c cleaning 14990 clauses out of 30021 with flag 4925000/4925000
744.66/743.67	c cleaning 15001 clauses out of 30032 with flag 4940001/4940001
747.05/746.01	c cleaning 14998 clauses out of 30030 with flag 4955000/4955000
749.36/748.35	c cleaning 14995 clauses out of 30032 with flag 4970000/4970000
751.86/750.83	c cleaning 15011 clauses out of 30038 with flag 4985001/4985001
754.16/753.17	c cleaning 14994 clauses out of 30027 with flag 5000001/5000001
756.66/755.66	c cleaning 15006 clauses out of 30034 with flag 5015002/5015002
758.97/757.96	c cleaning 14999 clauses out of 30028 with flag 5030002/5030002
761.36/760.30	c cleaning 15004 clauses out of 30028 with flag 5045001/5045001
763.66/762.68	c cleaning 15005 clauses out of 30024 with flag 5060001/5060001
766.27/765.28	c cleaning 15000 clauses out of 30020 with flag 5075002/5075002
768.57/767.53	c cleaning 14995 clauses out of 30018 with flag 5090000/5090000
770.97/769.94	c cleaning 15004 clauses out of 30024 with flag 5105001/5105001
773.37/772.33	c cleaning 14995 clauses out of 30019 with flag 5120000/5120000
775.77/774.70	c cleaning 15001 clauses out of 30024 with flag 5135000/5135000
778.17/777.14	c cleaning 15000 clauses out of 30023 with flag 5150000/5150000
780.58/779.56	c cleaning 15001 clauses out of 30023 with flag 5165000/5165000
783.08/782.02	c cleaning 15005 clauses out of 30022 with flag 5180000/5180000
785.48/784.48	c cleaning 15001 clauses out of 30020 with flag 5195003/5195003
787.88/786.87	c cleaning 15003 clauses out of 30017 with flag 5210001/5210001
790.38/789.32	c cleaning 14993 clauses out of 30013 with flag 5225000/5225000
792.68/791.65	c cleaning 14999 clauses out of 30020 with flag 5240000/5240000
795.29/794.21	c cleaning 15004 clauses out of 30024 with flag 5255003/5255003
797.78/796.70	c cleaning 15000 clauses out of 30019 with flag 5270002/5270002
800.08/799.00	c cleaning 15001 clauses out of 30017 with flag 5285000/5285000
802.39/801.36	c cleaning 15000 clauses out of 30016 with flag 5300000/5300000
804.88/803.80	c cleaning 14985 clauses out of 30016 with flag 5315000/5315000
807.09/806.07	c cleaning 15008 clauses out of 30031 with flag 5330000/5330000
809.29/808.22	c cleaning 14998 clauses out of 30024 with flag 5345001/5345001
811.39/810.40	c cleaning 15005 clauses out of 30028 with flag 5360003/5360003
813.59/812.56	c cleaning 14995 clauses out of 30020 with flag 5375000/5375000
815.89/814.82	c cleaning 15004 clauses out of 30025 with flag 5390000/5390000
818.09/817.07	c cleaning 15003 clauses out of 30022 with flag 5405001/5405001
820.39/819.32	c cleaning 14999 clauses out of 30018 with flag 5420000/5420000
822.59/821.53	c cleaning 15002 clauses out of 30021 with flag 5435002/5435002
825.00/823.98	c cleaning 14998 clauses out of 30017 with flag 5450000/5450000
827.29/826.26	c cleaning 15003 clauses out of 30019 with flag 5465000/5465000
829.59/828.60	c cleaning 14995 clauses out of 30017 with flag 5480001/5480001
831.90/830.84	c cleaning 15006 clauses out of 30021 with flag 5495000/5495000
834.20/833.19	c cleaning 14995 clauses out of 30016 with flag 5510001/5510001
836.60/835.57	c cleaning 14992 clauses out of 30020 with flag 5525000/5525000
839.00/837.97	c cleaning 14997 clauses out of 30028 with flag 5540000/5540000
841.30/840.23	c cleaning 15008 clauses out of 30032 with flag 5555001/5555001
843.71/842.61	c cleaning 15003 clauses out of 30024 with flag 5570001/5570001
846.10/845.05	c cleaning 14997 clauses out of 30020 with flag 5585000/5585000
848.40/847.33	c cleaning 15003 clauses out of 30023 with flag 5600000/5600000
850.81/849.72	c cleaning 14996 clauses out of 30020 with flag 5615000/5615000
852.91/851.89	c cleaning 15008 clauses out of 30025 with flag 5630001/5630001
855.41/854.33	c cleaning 14995 clauses out of 30016 with flag 5645000/5645000
857.61/856.59	c cleaning 15006 clauses out of 30024 with flag 5660003/5660003
860.12/859.10	c cleaning 14996 clauses out of 30017 with flag 5675002/5675002
862.51/861.43	c cleaning 15007 clauses out of 30019 with flag 5690000/5690000
865.01/863.94	c cleaning 14992 clauses out of 30012 with flag 5705000/5705000
867.41/866.34	c cleaning 14997 clauses out of 30022 with flag 5720002/5720002
869.71/868.60	c cleaning 14991 clauses out of 30023 with flag 5735000/5735000
872.12/871.08	c cleaning 14999 clauses out of 30033 with flag 5750001/5750001
874.52/873.45	c cleaning 15009 clauses out of 30033 with flag 5765000/5765000
877.02/875.96	c cleaning 14997 clauses out of 30025 with flag 5780001/5780001
879.42/878.37	c cleaning 15003 clauses out of 30028 with flag 5795001/5795001
881.83/880.77	c cleaning 15000 clauses out of 30024 with flag 5810000/5810000
884.34/883.24	c cleaning 15006 clauses out of 30024 with flag 5825000/5825000
886.94/885.81	c cleaning 14995 clauses out of 30019 with flag 5840001/5840001
889.34/888.23	c cleaning 15000 clauses out of 30023 with flag 5855000/5855000
891.54/890.49	c cleaning 15009 clauses out of 30025 with flag 5870002/5870002
893.74/892.66	c cleaning 15008 clauses out of 30017 with flag 5885003/5885003
895.94/894.86	c cleaning 14994 clauses out of 30007 with flag 5900001/5900001
898.14/897.03	c cleaning 15000 clauses out of 30013 with flag 5915001/5915001
900.34/899.29	c cleaning 15001 clauses out of 30012 with flag 5930000/5930000
902.74/901.60	c cleaning 14994 clauses out of 30011 with flag 5945000/5945000
905.04/903.98	c cleaning 15003 clauses out of 30017 with flag 5960000/5960000
907.45/906.30	c cleaning 14998 clauses out of 30015 with flag 5975001/5975001
909.75/908.64	c cleaning 15001 clauses out of 30016 with flag 5990000/5990000
912.04/910.90	c cleaning 14999 clauses out of 30015 with flag 6005000/6005000
914.25/913.19	c cleaning 14995 clauses out of 30016 with flag 6020000/6020000
916.65/915.50	c cleaning 15002 clauses out of 30021 with flag 6035000/6035000
918.95/917.83	c cleaning 14996 clauses out of 30019 with flag 6050000/6050000
921.35/920.28	c cleaning 15005 clauses out of 30025 with flag 6065002/6065002
923.75/922.67	c cleaning 15000 clauses out of 30018 with flag 6080000/6080000
926.06/924.94	c cleaning 14996 clauses out of 30020 with flag 6095002/6095002
928.46/927.31	c cleaning 15004 clauses out of 30026 with flag 6110004/6110004
930.96/929.84	c cleaning 14989 clauses out of 30018 with flag 6125000/6125000
933.16/932.00	c cleaning 14998 clauses out of 30029 with flag 6140000/6140000
935.56/934.40	c cleaning 15007 clauses out of 30031 with flag 6155000/6155000
937.66/936.56	c cleaning 15003 clauses out of 30026 with flag 6170002/6170002
940.16/939.04	c cleaning 14995 clauses out of 30022 with flag 6185001/6185001
942.36/941.29	c cleaning 15003 clauses out of 30026 with flag 6200000/6200000
944.87/943.75	c cleaning 14991 clauses out of 30023 with flag 6215000/6215000
947.07/946.00	c cleaning 15009 clauses out of 30032 with flag 6230000/6230000
949.57/948.40	c cleaning 14993 clauses out of 30023 with flag 6245000/6245000
951.97/950.82	c cleaning 14994 clauses out of 30030 with flag 6260000/6260000
954.27/953.19	c cleaning 15005 clauses out of 30038 with flag 6275002/6275002
956.77/955.60	c cleaning 14998 clauses out of 30032 with flag 6290001/6290001
959.07/957.98	c cleaning 15010 clauses out of 30034 with flag 6305001/6305001
961.57/960.44	c cleaning 15000 clauses out of 30023 with flag 6320000/6320000
963.97/962.89	c cleaning 15004 clauses out of 30025 with flag 6335002/6335002
966.38/965.22	c cleaning 14997 clauses out of 30019 with flag 6350000/6350000
968.78/967.68	c cleaning 15006 clauses out of 30022 with flag 6365000/6365000
971.29/970.17	c cleaning 14999 clauses out of 30017 with flag 6380001/6380001
973.78/972.61	c cleaning 15005 clauses out of 30019 with flag 6395002/6395002
976.28/975.11	c cleaning 14996 clauses out of 30013 with flag 6410001/6410001
978.78/977.60	c cleaning 14995 clauses out of 30016 with flag 6425000/6425000
981.29/980.19	c cleaning 14995 clauses out of 30022 with flag 6440001/6440001
983.69/982.57	c cleaning 15007 clauses out of 30026 with flag 6455000/6455000
985.89/984.76	c cleaning 14999 clauses out of 30019 with flag 6470000/6470000
987.99/986.88	c cleaning 15001 clauses out of 30020 with flag 6485000/6485000
990.19/989.03	c cleaning 14995 clauses out of 30019 with flag 6500000/6500000
992.39/991.20	c cleaning 15002 clauses out of 30024 with flag 6515000/6515000
994.59/993.41	c cleaning 15007 clauses out of 30023 with flag 6530001/6530001
996.80/995.68	c cleaning 15000 clauses out of 30016 with flag 6545001/6545001
999.10/997.96	c cleaning 14992 clauses out of 30015 with flag 6560000/6560000
1001.40/1000.29	c cleaning 14992 clauses out of 30025 with flag 6575002/6575002
1003.80/1002.60	c cleaning 15004 clauses out of 30032 with flag 6590001/6590001
1006.10/1004.99	c cleaning 14993 clauses out of 30027 with flag 6605000/6605000
1008.70/1007.51	c cleaning 15000 clauses out of 30035 with flag 6620001/6620001
1011.10/1009.95	c cleaning 15011 clauses out of 30035 with flag 6635001/6635001
1013.40/1012.21	c cleaning 15001 clauses out of 30024 with flag 6650001/6650001
1015.60/1014.48	c cleaning 14998 clauses out of 30023 with flag 6665001/6665001
1018.01/1016.86	c cleaning 15006 clauses out of 30024 with flag 6680000/6680000
1020.51/1019.30	c cleaning 14986 clauses out of 30018 with flag 6695000/6695000
1022.81/1021.63	c cleaning 15006 clauses out of 30034 with flag 6710002/6710002
1025.32/1024.13	c cleaning 14992 clauses out of 30026 with flag 6725000/6725000
1027.71/1026.54	c cleaning 15000 clauses out of 30034 with flag 6740000/6740000
1030.21/1029.04	c cleaning 15005 clauses out of 30034 with flag 6755000/6755000
1032.71/1031.55	c cleaning 15003 clauses out of 30031 with flag 6770002/6770002
1035.02/1033.88	c cleaning 15005 clauses out of 30027 with flag 6785001/6785001
1037.52/1036.34	c cleaning 14995 clauses out of 30022 with flag 6800001/6800001
1040.02/1038.81	c cleaning 15006 clauses out of 30026 with flag 6815000/6815000
1042.32/1041.12	c cleaning 14996 clauses out of 30023 with flag 6830003/6830003
1044.62/1043.49	c cleaning 14991 clauses out of 30024 with flag 6845000/6845000
1046.92/1045.75	c cleaning 15004 clauses out of 30033 with flag 6860000/6860000
1049.43/1048.26	c cleaning 15008 clauses out of 30030 with flag 6875001/6875001
1051.93/1050.76	c cleaning 15003 clauses out of 30021 with flag 6890000/6890000
1054.33/1053.10	c cleaning 14997 clauses out of 30018 with flag 6905000/6905000
1056.63/1055.46	c cleaning 14991 clauses out of 30021 with flag 6920000/6920000
1059.13/1057.91	c cleaning 15009 clauses out of 30032 with flag 6935002/6935002
1061.33/1060.15	c cleaning 15003 clauses out of 30022 with flag 6950001/6950001
1063.74/1062.58	c cleaning 14996 clauses out of 30018 with flag 6965000/6965000
1066.13/1064.97	c cleaning 15005 clauses out of 30022 with flag 6980000/6980000
1068.44/1067.29	c cleaning 14990 clauses out of 30018 with flag 6995001/6995001
1070.94/1069.75	c cleaning 14994 clauses out of 30027 with flag 7010000/7010000
1073.34/1072.15	c cleaning 14995 clauses out of 30033 with flag 7025000/7025000
1075.74/1074.56	c cleaning 15008 clauses out of 30038 with flag 7040000/7040000
1078.05/1076.86	c cleaning 14999 clauses out of 30030 with flag 7055000/7055000
1080.45/1079.28	c cleaning 15005 clauses out of 30031 with flag 7070000/7070000
1082.95/1081.71	c cleaning 15000 clauses out of 30029 with flag 7085003/7085003
1085.35/1084.11	c cleaning 14996 clauses out of 30026 with flag 7100000/7100000
1087.55/1086.34	c cleaning 15007 clauses out of 30033 with flag 7115003/7115003
1089.65/1088.49	c cleaning 15004 clauses out of 30024 with flag 7130001/7130001
1091.86/1090.63	c cleaning 15003 clauses out of 30020 with flag 7145001/7145001
1094.06/1092.86	c cleaning 15002 clauses out of 30019 with flag 7160003/7160003
1096.26/1095.04	c cleaning 15003 clauses out of 30015 with flag 7175001/7175001
1098.56/1097.32	c cleaning 14997 clauses out of 30012 with flag 7190001/7190001
1100.76/1099.54	c cleaning 14993 clauses out of 30014 with flag 7205000/7205000
1103.06/1101.84	c cleaning 15007 clauses out of 30021 with flag 7220000/7220000
1105.36/1104.15	c cleaning 14998 clauses out of 30014 with flag 7235000/7235000
1107.77/1106.51	c cleaning 14997 clauses out of 30016 with flag 7250000/7250000
1109.97/1108.74	c cleaning 15000 clauses out of 30019 with flag 7265000/7265000
1112.17/1110.99	c cleaning 15003 clauses out of 30020 with flag 7280001/7280001
1114.47/1113.28	c cleaning 15001 clauses out of 30019 with flag 7295003/7295003
1116.97/1115.75	c cleaning 14998 clauses out of 30015 with flag 7310000/7310000
1119.57/1118.31	c cleaning 14995 clauses out of 30019 with flag 7325002/7325002
1121.97/1120.72	c cleaning 15005 clauses out of 30022 with flag 7340000/7340000
1124.38/1123.18	c cleaning 15000 clauses out of 30017 with flag 7355000/7355000
1126.87/1125.66	c cleaning 15005 clauses out of 30017 with flag 7370000/7370000
1129.07/1127.89	c cleaning 14994 clauses out of 30013 with flag 7385001/7385001
1131.47/1130.28	c cleaning 14995 clauses out of 30018 with flag 7400000/7400000
1133.87/1132.63	c cleaning 15008 clauses out of 30024 with flag 7415001/7415001
1136.27/1135.04	c cleaning 14994 clauses out of 30015 with flag 7430000/7430000
1138.58/1137.35	c cleaning 15002 clauses out of 30021 with flag 7445000/7445000
1141.08/1139.80	c cleaning 14998 clauses out of 30019 with flag 7460000/7460000
1143.28/1142.09	c cleaning 15002 clauses out of 30021 with flag 7475000/7475000
1145.78/1144.50	c cleaning 14992 clauses out of 30020 with flag 7490001/7490001
1148.28/1147.00	c cleaning 14998 clauses out of 30027 with flag 7505000/7505000
1150.69/1149.43	c cleaning 15005 clauses out of 30029 with flag 7520000/7520000
1153.08/1151.86	c cleaning 14990 clauses out of 30026 with flag 7535002/7535002
1155.39/1154.15	c cleaning 15007 clauses out of 30037 with flag 7550003/7550003
1157.79/1156.59	c cleaning 15008 clauses out of 30027 with flag 7565000/7565000
1160.29/1159.08	c cleaning 14995 clauses out of 30020 with flag 7580001/7580001
1162.69/1161.42	c cleaning 15009 clauses out of 30025 with flag 7595001/7595001
1165.29/1164.01	c cleaning 14994 clauses out of 30015 with flag 7610000/7610000
1167.69/1166.44	c cleaning 15003 clauses out of 30022 with flag 7625001/7625001
1170.10/1168.81	c cleaning 14995 clauses out of 30019 with flag 7640001/7640001
1172.40/1171.15	c cleaning 15004 clauses out of 30026 with flag 7655003/7655003
1174.80/1173.55	c cleaning 14998 clauses out of 30019 with flag 7670000/7670000
1177.11/1175.87	c cleaning 14993 clauses out of 30022 with flag 7685001/7685001
1179.41/1178.11	c cleaning 15000 clauses out of 30028 with flag 7700000/7700000
1181.80/1180.52	c cleaning 14999 clauses out of 30029 with flag 7715001/7715001
1184.20/1182.96	c cleaning 14996 clauses out of 30029 with flag 7730000/7730000
1186.71/1185.45	c cleaning 15012 clauses out of 30035 with flag 7745002/7745002
1189.01/1187.73	c cleaning 15002 clauses out of 30021 with flag 7760000/7760000
1191.52/1190.23	c cleaning 14997 clauses out of 30019 with flag 7775000/7775000
1193.91/1192.66	c cleaning 14995 clauses out of 30022 with flag 7790000/7790000
1196.51/1195.20	c cleaning 14998 clauses out of 30027 with flag 7805000/7805000
1198.91/1197.67	c cleaning 15012 clauses out of 30029 with flag 7820000/7820000
1201.22/1199.93	c cleaning 14999 clauses out of 30017 with flag 7835000/7835000
1203.32/1202.09	c cleaning 15000 clauses out of 30018 with flag 7850000/7850000
1205.62/1204.33	c cleaning 15003 clauses out of 30020 with flag 7865002/7865002
1207.82/1206.54	c cleaning 15000 clauses out of 30015 with flag 7880000/7880000
1210.02/1208.75	c cleaning 14991 clauses out of 30015 with flag 7895000/7895000
1212.22/1210.97	c cleaning 14996 clauses out of 30025 with flag 7910001/7910001
1214.53/1213.27	c cleaning 15010 clauses out of 30028 with flag 7925000/7925000
1216.92/1215.61	c cleaning 15002 clauses out of 30019 with flag 7940001/7940001
1219.23/1217.92	c cleaning 15002 clauses out of 30017 with flag 7955001/7955001
1221.43/1220.19	c cleaning 14995 clauses out of 30014 with flag 7970000/7970000
1223.74/1222.49	c cleaning 15003 clauses out of 30022 with flag 7985003/7985003
1226.04/1224.75	c cleaning 14995 clauses out of 30016 with flag 8000000/8000000
1228.24/1226.99	c cleaning 15000 clauses out of 30021 with flag 8015000/8015000
1230.54/1229.28	c cleaning 15003 clauses out of 30021 with flag 8030000/8030000
1232.94/1231.68	c cleaning 14998 clauses out of 30022 with flag 8045004/8045004
1235.45/1234.11	c cleaning 14994 clauses out of 30020 with flag 8060000/8060000
1237.65/1236.37	c cleaning 15002 clauses out of 30026 with flag 8075000/8075000
1240.05/1238.72	c cleaning 14998 clauses out of 30024 with flag 8090000/8090000
1242.25/1240.98	c cleaning 14998 clauses out of 30028 with flag 8105002/8105002
1244.65/1243.39	c cleaning 14992 clauses out of 30028 with flag 8120000/8120000
1246.95/1245.69	c cleaning 15006 clauses out of 30037 with flag 8135001/8135001
1249.45/1248.19	c cleaning 15003 clauses out of 30032 with flag 8150002/8150002
1251.75/1250.48	c cleaning 14999 clauses out of 30027 with flag 8165000/8165000
1254.16/1252.86	c cleaning 15004 clauses out of 30029 with flag 8180001/8180001
1256.46/1255.12	c cleaning 15005 clauses out of 30024 with flag 8195000/8195000
1258.86/1257.58	c cleaning 14988 clauses out of 30019 with flag 8210000/8210000
1261.26/1259.99	c cleaning 15009 clauses out of 30031 with flag 8225000/8225000
1263.66/1262.36	c cleaning 14994 clauses out of 30022 with flag 8240000/8240000
1266.16/1264.80	c cleaning 15005 clauses out of 30029 with flag 8255001/8255001
1268.36/1267.05	c cleaning 15004 clauses out of 30023 with flag 8270000/8270000
1270.77/1269.47	c cleaning 14994 clauses out of 30019 with flag 8285000/8285000
1273.16/1271.88	c cleaning 15000 clauses out of 30025 with flag 8300000/8300000
1275.37/1274.08	c cleaning 14996 clauses out of 30026 with flag 8315001/8315001
1277.87/1276.59	c cleaning 15001 clauses out of 30030 with flag 8330001/8330001
1280.27/1278.94	c cleaning 15007 clauses out of 30028 with flag 8345000/8345000
1282.57/1281.25	c cleaning 14999 clauses out of 30023 with flag 8360002/8360002
1285.08/1283.71	c cleaning 14999 clauses out of 30024 with flag 8375002/8375002
1287.47/1286.13	c cleaning 15000 clauses out of 30024 with flag 8390001/8390001
1289.87/1288.50	c cleaning 15001 clauses out of 30023 with flag 8405000/8405000
1292.08/1290.79	c cleaning 15002 clauses out of 30023 with flag 8420001/8420001
1294.58/1293.27	c cleaning 14997 clauses out of 30021 with flag 8435001/8435001
1296.98/1295.62	c cleaning 15002 clauses out of 30023 with flag 8450000/8450000
1299.28/1298.00	c cleaning 14996 clauses out of 30021 with flag 8465000/8465000
1301.39/1300.01	c starts		: 2484
1301.39/1300.01	c conflicts		: 8478658
1301.39/1300.01	c decisions		: 10860015
1301.39/1300.01	c propagations		: 576096487
1301.39/1300.01	c inspects		: 13457844031
1301.39/1300.01	c shortcuts		: 0
1301.39/1300.01	c learnt literals	: 0
1301.39/1300.01	c learnt binary clauses	: 0
1301.39/1300.01	c learnt ternary clauses	: 0
1301.39/1300.01	c learnt constraints	: 8478658
1301.39/1300.01	c ignored constraints	: 0
1301.39/1300.01	c root simplifications	: 2484
1301.39/1300.01	c removed literals (reason simplification)	: 87805633
1301.39/1300.01	c reason swapping (by a shorter reason)	: 0
1301.39/1300.01	c Calls to reduceDB	: 568
1301.39/1300.01	c speed (assignments/second)	: 443213.87565624673
1301.39/1300.01	c non guided choices	222
1301.39/1300.04	c learnt constraints type 
1301.39/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28794
1301.39/1300.04	c constraints type 
1301.39/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15000
1301.39/1300.04	s UNKNOWN
1301.39/1300.04	c Total wall clock time (in seconds) : 1299.914

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-3190251-1302597588/watcher-3190251-1302597588 -o /tmp/evaluation-result-3190251-1302597588/solver-3190251-1302597588 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190251-1302597588.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.09 1.48 5/199 25018
/proc/meminfo: memFree=12949380/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=23028 CPUtime=0 cores=1,3
/proc/25018/stat : 25018 (java) R 25016 25018 24951 0 -1 4202496 952 0 0 0 0 0 0 0 18 0 1 0 352174886 23580672 693 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255101806056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25018/statm: 5757 693 509 9 0 124 0

[startup+0.0287369 s]
/proc/loadavg: 0.92 1.09 1.48 5/199 25018
/proc/meminfo: memFree=12949380/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7551884 CPUtime=0.01 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 8296 0 1 0 1 0 0 0 18 0 10 0 352174886 7733129216 7992 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1887971 7996 1517 9 0 1878719 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551884

[startup+0.100704 s]
/proc/loadavg: 0.92 1.09 1.48 5/199 25018
/proc/meminfo: memFree=12949380/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7636224 CPUtime=0.09 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 10278 0 3 0 8 1 0 0 18 0 18 0 352174886 7819493376 9974 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1909056 9974 2092 9 0 1899794 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636224

[startup+0.300642 s]
/proc/loadavg: 0.92 1.09 1.48 5/199 25018
/proc/meminfo: memFree=12949380/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7643868 CPUtime=0.47 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 13428 0 3 0 45 2 0 0 18 0 19 0 352174886 7827320832 12229 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1910967 12229 2211 9 0 1901705 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 7643868

[startup+0.700572 s]
/proc/loadavg: 0.92 1.09 1.48 5/199 25018
/proc/meminfo: memFree=12949380/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7644048 CPUtime=1.08 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 14287 0 3 0 106 2 0 0 18 0 19 0 352174886 7827505152 12966 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1911012 12966 2227 9 0 1901750 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 7644048

[startup+1.50143 s]
/proc/loadavg: 0.92 1.09 1.48 12/262 25084
/proc/meminfo: memFree=12797580/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7664956 CPUtime=2.08 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 22643 0 3 0 205 3 0 0 18 0 19 0 352174886 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1916239 19384 2253 9 0 1906977 0
[pid=25018/tid=25029] ppid=25016 vsize=7664956 CPUtime=1.44 cores=1,3
/proc/25018/task/25029/stat : 25029 (java) R 25016 25018 24951 0 -1 4202560 9980 0 1 0 143 1 0 0 21 0 19 0 352174887 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 46912505606416 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25018/tid=25039] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25039/stat : 25039 (java) S 25016 25018 24951 0 -1 4202560 346 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25040] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25040/stat : 25040 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25041] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25041/stat : 25041 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25042] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25042/stat : 25042 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25043] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25043/stat : 25043 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25044] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25044/stat : 25044 (java) S 25016 25018 24951 0 -1 4202560 115 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25045] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25045/stat : 25045 (java) S 25016 25018 24951 0 -1 4202560 219 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25046] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25046/stat : 25046 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352174888 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25047] ppid=25016 vsize=7664956 CPUtime=0.01 cores=1,3
/proc/25018/task/25047/stat : 25047 (java) S 25016 25018 24951 0 -1 4202560 685 0 0 0 1 0 0 0 16 0 19 0 352174889 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 0 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25061] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25061/stat : 25061 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174890 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25062] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25062/stat : 25062 (java) S 25016 25018 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174890 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25071] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25071/stat : 25071 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174892 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118592433 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25072] ppid=25016 vsize=7664956 CPUtime=0.07 cores=1,3
/proc/25018/task/25072/stat : 25072 (java) S 25016 25018 24951 0 -1 4202560 125 0 0 0 7 0 0 0 16 0 19 0 352174892 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25073] ppid=25016 vsize=7664956 CPUtime=0.52 cores=1,3
/proc/25018/task/25073/stat : 25073 (java) S 25016 25018 24951 0 -1 4202560 10015 0 2 0 52 0 0 0 16 0 19 0 352174892 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25074] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25074/stat : 25074 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174892 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25075] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25075/stat : 25075 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174892 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25082] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25082/stat : 25082 (java) S 25016 25018 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174906 7848914944 19384 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 7664956

[startup+3.10115 s]
/proc/loadavg: 0.92 1.09 1.48 5/262 25084
/proc/meminfo: memFree=12712764/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7664956 CPUtime=3.68 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 23584 0 3 0 365 3 0 0 18 0 19 0 352174886 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1916239 20302 2255 9 0 1906977 0
[pid=25018/tid=25029] ppid=25016 vsize=7664956 CPUtime=2.96 cores=1,3
/proc/25018/task/25029/stat : 25029 (java) R 25016 25018 24951 0 -1 4202560 9983 0 1 0 295 1 0 0 25 0 19 0 352174887 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 46912505166928 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25018/tid=25039] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25039/stat : 25039 (java) S 25016 25018 24951 0 -1 4202560 621 0 0 0 0 0 0 0 15 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25040] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25040/stat : 25040 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25041] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25041/stat : 25041 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25042] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25042/stat : 25042 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25043] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25043/stat : 25043 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25044] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25044/stat : 25044 (java) S 25016 25018 24951 0 -1 4202560 115 0 0 0 0 0 0 0 16 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25045] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25045/stat : 25045 (java) S 25016 25018 24951 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25046] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25046/stat : 25046 (java) S 25016 25018 24951 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 352174888 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25047] ppid=25016 vsize=7664956 CPUtime=0.03 cores=1,3
/proc/25018/task/25047/stat : 25047 (java) S 25016 25018 24951 0 -1 4202560 1004 0 0 0 3 0 0 0 16 0 19 0 352174889 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 0 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25061] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25061/stat : 25061 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174890 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25062] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25062/stat : 25062 (java) S 25016 25018 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174890 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25071] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25071/stat : 25071 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174892 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118592433 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25072] ppid=25016 vsize=7664956 CPUtime=0.11 cores=1,3
/proc/25018/task/25072/stat : 25072 (java) S 25016 25018 24951 0 -1 4202560 174 0 0 0 11 0 0 0 15 0 19 0 352174892 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25073] ppid=25016 vsize=7664956 CPUtime=0.52 cores=1,3
/proc/25018/task/25073/stat : 25073 (java) S 25016 25018 24951 0 -1 4202560 10015 0 2 0 52 0 0 0 15 0 19 0 352174892 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25074] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25074/stat : 25074 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174892 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25075] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25075/stat : 25075 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174892 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25082] ppid=25016 vsize=7664956 CPUtime=0 cores=1,3
/proc/25018/task/25082/stat : 25082 (java) S 25016 25018 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174906 7848914944 20302 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 7664956

[startup+6.30063 s]
/proc/loadavg: 1.25 1.15 1.50 5/262 25084
/proc/meminfo: memFree=12704084/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7659736 CPUtime=6.89 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 24139 0 3 0 686 3 0 0 18 0 19 0 352174886 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1914934 19911 2255 9 0 1905672 0
[pid=25018/tid=25029] ppid=25016 vsize=7659736 CPUtime=6.09 cores=1,3
/proc/25018/task/25029/stat : 25029 (java) R 25016 25018 24951 0 -1 4202560 9986 0 1 0 608 1 0 0 18 0 19 0 352174887 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 46912505583878 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25018/tid=25039] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25039/stat : 25039 (java) S 25016 25018 24951 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25040] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25040/stat : 25040 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25041] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25041/stat : 25041 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25042] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25042/stat : 25042 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25043] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25043/stat : 25043 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25044] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25044/stat : 25044 (java) S 25016 25018 24951 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25045] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25045/stat : 25045 (java) S 25016 25018 24951 0 -1 4202560 225 0 0 0 0 0 0 0 16 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25046] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25046/stat : 25046 (java) S 25016 25018 24951 0 -1 4202560 491 0 0 0 0 0 0 0 16 0 19 0 352174888 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25047] ppid=25016 vsize=7659736 CPUtime=0.09 cores=1,3
/proc/25018/task/25047/stat : 25047 (java) S 25016 25018 24951 0 -1 4202560 1160 0 0 0 9 0 0 0 15 0 19 0 352174889 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 0 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25061] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25061/stat : 25061 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25062] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25062/stat : 25062 (java) S 25016 25018 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25071] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25071/stat : 25071 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174892 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118592433 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25072] ppid=25016 vsize=7659736 CPUtime=0.13 cores=1,3
/proc/25018/task/25072/stat : 25072 (java) S 25016 25018 24951 0 -1 4202560 264 0 0 0 13 0 0 0 15 0 19 0 352174892 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25073] ppid=25016 vsize=7659736 CPUtime=0.52 cores=1,3
/proc/25018/task/25073/stat : 25073 (java) S 25016 25018 24951 0 -1 4202560 10015 0 2 0 52 0 0 0 15 0 19 0 352174892 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25074] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25074/stat : 25074 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174892 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25075] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25075/stat : 25075 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174892 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25082] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25082/stat : 25082 (java) S 25016 25018 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174906 7843569664 19911 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 7659736

[startup+12.7015 s]

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

[pid=25018/tid=25044] ppid=25016 vsize=7659736 CPUtime=0.21 cores=1,3
/proc/25018/task/25044/stat : 25044 (java) S 25016 25018 24951 0 -1 4202560 354 0 0 0 21 0 0 0 15 0 19 0 352174888 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25045] ppid=25016 vsize=7659736 CPUtime=0.19 cores=1,3
/proc/25018/task/25045/stat : 25045 (java) S 25016 25018 24951 0 -1 4202560 232 0 0 0 19 0 0 0 15 0 19 0 352174888 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25046] ppid=25016 vsize=7659736 CPUtime=0.2 cores=1,3
/proc/25018/task/25046/stat : 25046 (java) S 25016 25018 24951 0 -1 4202560 818 0 0 0 20 0 0 0 16 0 19 0 352174888 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25047] ppid=25016 vsize=7659736 CPUtime=10.08 cores=1,3
/proc/25018/task/25047/stat : 25047 (java) S 25016 25018 24951 0 -1 4202560 2657 0 0 0 1005 3 0 0 15 0 19 0 352174889 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 0 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25061] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25061/stat : 25061 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25062] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25062/stat : 25062 (java) S 25016 25018 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25071] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25071/stat : 25071 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174892 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118592433 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25072] ppid=25016 vsize=7659736 CPUtime=0.15 cores=1,3
/proc/25018/task/25072/stat : 25072 (java) S 25016 25018 24951 0 -1 4202560 973 0 0 0 15 0 0 0 15 0 19 0 352174892 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25073] ppid=25016 vsize=7659736 CPUtime=0.52 cores=1,3
/proc/25018/task/25073/stat : 25073 (java) S 25016 25018 24951 0 -1 4202560 10015 0 2 0 52 0 0 0 15 0 19 0 352174892 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25074] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25074/stat : 25074 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174892 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25075] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25075/stat : 25075 (java) S 25016 25018 24951 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 352174892 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25082] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25082/stat : 25082 (java) S 25016 25018 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174906 7843569664 22968 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.57
Current children cumulated vsize (KiB) 7659736

[startup+1182.3 s]
/proc/loadavg: 4.04 3.97 3.29 5/262 25116
/proc/meminfo: memFree=12657532/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7659736 CPUtime=1183.61 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 28305 0 3 0 118350 11 0 0 18 0 19 0 352174886 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1914934 22987 2256 9 0 1905672 0
[pid=25018/tid=25029] ppid=25016 vsize=7659736 CPUtime=1170.43 cores=1,3
/proc/25018/task/25029/stat : 25029 (java) R 25016 25018 24951 0 -1 4202560 10806 0 1 0 117040 3 0 0 25 0 19 0 352174887 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 46912505650166 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25018/tid=25039] ppid=25016 vsize=7659736 CPUtime=0.22 cores=1,3
/proc/25018/task/25039/stat : 25039 (java) S 25016 25018 24951 0 -1 4202560 1058 0 0 0 22 0 0 0 15 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25040] ppid=25016 vsize=7659736 CPUtime=0.23 cores=1,3
/proc/25018/task/25040/stat : 25040 (java) S 25016 25018 24951 0 -1 4202560 113 0 0 0 23 0 0 0 15 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25041] ppid=25016 vsize=7659736 CPUtime=0.21 cores=1,3
/proc/25018/task/25041/stat : 25041 (java) S 25016 25018 24951 0 -1 4202560 12 0 0 0 21 0 0 0 15 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25042] ppid=25016 vsize=7659736 CPUtime=0.23 cores=1,3
/proc/25018/task/25042/stat : 25042 (java) S 25016 25018 24951 0 -1 4202560 16 0 0 0 23 0 0 0 15 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25043] ppid=25016 vsize=7659736 CPUtime=0.23 cores=1,3
/proc/25018/task/25043/stat : 25043 (java) S 25016 25018 24951 0 -1 4202560 13 0 0 0 23 0 0 0 15 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25044] ppid=25016 vsize=7659736 CPUtime=0.22 cores=1,3
/proc/25018/task/25044/stat : 25044 (java) S 25016 25018 24951 0 -1 4202560 355 0 0 0 22 0 0 0 16 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25045] ppid=25016 vsize=7659736 CPUtime=0.2 cores=1,3
/proc/25018/task/25045/stat : 25045 (java) S 25016 25018 24951 0 -1 4202560 232 0 0 0 20 0 0 0 16 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25046] ppid=25016 vsize=7659736 CPUtime=0.21 cores=1,3
/proc/25018/task/25046/stat : 25046 (java) S 25016 25018 24951 0 -1 4202560 818 0 0 0 21 0 0 0 15 0 19 0 352174888 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25047] ppid=25016 vsize=7659736 CPUtime=10.62 cores=1,3
/proc/25018/task/25047/stat : 25047 (java) S 25016 25018 24951 0 -1 4202560 2673 0 0 0 1059 3 0 0 15 0 19 0 352174889 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 0 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25061] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25061/stat : 25061 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25062] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25062/stat : 25062 (java) S 25016 25018 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25071] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25071/stat : 25071 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174892 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118592433 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25072] ppid=25016 vsize=7659736 CPUtime=0.15 cores=1,3
/proc/25018/task/25072/stat : 25072 (java) S 25016 25018 24951 0 -1 4202560 973 0 0 0 15 0 0 0 15 0 19 0 352174892 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25073] ppid=25016 vsize=7659736 CPUtime=0.52 cores=1,3
/proc/25018/task/25073/stat : 25073 (java) S 25016 25018 24951 0 -1 4202560 10015 0 2 0 52 0 0 0 15 0 19 0 352174892 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25074] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25074/stat : 25074 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174892 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25075] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25075/stat : 25075 (java) S 25016 25018 24951 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 352174892 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25082] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25082/stat : 25082 (java) S 25016 25018 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174906 7843569664 22987 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.61
Current children cumulated vsize (KiB) 7659736

[startup+1242.3 s]
/proc/loadavg: 4.01 3.97 3.33 5/262 25117
/proc/meminfo: memFree=12655864/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7659736 CPUtime=1243.65 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 28352 0 3 0 124353 12 0 0 18 0 19 0 352174886 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1914934 23000 2256 9 0 1905672 0
[pid=25018/tid=25029] ppid=25016 vsize=7659736 CPUtime=1229.81 cores=1,3
/proc/25018/task/25029/stat : 25029 (java) R 25016 25018 24951 0 -1 4202560 10832 0 1 0 122978 3 0 0 25 0 19 0 352174887 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 46912505583587 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25018/tid=25039] ppid=25016 vsize=7659736 CPUtime=0.24 cores=1,3
/proc/25018/task/25039/stat : 25039 (java) S 25016 25018 24951 0 -1 4202560 1058 0 0 0 24 0 0 0 15 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25040] ppid=25016 vsize=7659736 CPUtime=0.25 cores=1,3
/proc/25018/task/25040/stat : 25040 (java) S 25016 25018 24951 0 -1 4202560 113 0 0 0 25 0 0 0 15 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25041] ppid=25016 vsize=7659736 CPUtime=0.22 cores=1,3
/proc/25018/task/25041/stat : 25041 (java) S 25016 25018 24951 0 -1 4202560 12 0 0 0 22 0 0 0 15 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25042] ppid=25016 vsize=7659736 CPUtime=0.25 cores=1,3
/proc/25018/task/25042/stat : 25042 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 25 0 0 0 15 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25043] ppid=25016 vsize=7659736 CPUtime=0.25 cores=1,3
/proc/25018/task/25043/stat : 25043 (java) S 25016 25018 24951 0 -1 4202560 13 0 0 0 25 0 0 0 16 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25044] ppid=25016 vsize=7659736 CPUtime=0.23 cores=1,3
/proc/25018/task/25044/stat : 25044 (java) S 25016 25018 24951 0 -1 4202560 355 0 0 0 23 0 0 0 15 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25045] ppid=25016 vsize=7659736 CPUtime=0.22 cores=1,3
/proc/25018/task/25045/stat : 25045 (java) S 25016 25018 24951 0 -1 4202560 233 0 0 0 22 0 0 0 15 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25046] ppid=25016 vsize=7659736 CPUtime=0.22 cores=1,3
/proc/25018/task/25046/stat : 25046 (java) S 25016 25018 24951 0 -1 4202560 819 0 0 0 22 0 0 0 15 0 19 0 352174888 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25047] ppid=25016 vsize=7659736 CPUtime=11.18 cores=1,3
/proc/25018/task/25047/stat : 25047 (java) S 25016 25018 24951 0 -1 4202560 2687 0 0 0 1115 3 0 0 15 0 19 0 352174889 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 0 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25061] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25061/stat : 25061 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25062] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25062/stat : 25062 (java) S 25016 25018 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25071] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25071/stat : 25071 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174892 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118592433 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25072] ppid=25016 vsize=7659736 CPUtime=0.15 cores=1,3
/proc/25018/task/25072/stat : 25072 (java) S 25016 25018 24951 0 -1 4202560 973 0 0 0 15 0 0 0 15 0 19 0 352174892 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25073] ppid=25016 vsize=7659736 CPUtime=0.52 cores=1,3
/proc/25018/task/25073/stat : 25073 (java) S 25016 25018 24951 0 -1 4202560 10015 0 2 0 52 0 0 0 15 0 19 0 352174892 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25074] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25074/stat : 25074 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174892 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25075] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25075/stat : 25075 (java) S 25016 25018 24951 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 352174892 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25082] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25082/stat : 25082 (java) S 25016 25018 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174906 7843569664 23000 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.65
Current children cumulated vsize (KiB) 7659736



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.37 5/245 25134
/proc/meminfo: memFree=12752988/32951124 swapFree=67111528/67111528
[pid=25018] ppid=25016 vsize=7659736 CPUtime=1301.39 cores=1,3
/proc/25018/stat : 25018 (java) S 25016 25018 24951 0 -1 4202496 28441 0 3 0 130127 12 0 0 18 0 19 0 352174886 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25018/statm: 1914934 23057 2256 9 0 1905672 0
[pid=25018/tid=25029] ppid=25016 vsize=7659736 CPUtime=1286.93 cores=1,3
/proc/25018/task/25029/stat : 25029 (java) R 25016 25018 24951 0 -1 4202560 10856 0 1 0 128690 3 0 0 25 0 19 0 352174887 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 46912505650166 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25018/tid=25039] ppid=25016 vsize=7659736 CPUtime=0.25 cores=1,3
/proc/25018/task/25039/stat : 25039 (java) S 25016 25018 24951 0 -1 4202560 1059 0 0 0 25 0 0 0 15 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25040] ppid=25016 vsize=7659736 CPUtime=0.26 cores=1,3
/proc/25018/task/25040/stat : 25040 (java) S 25016 25018 24951 0 -1 4202560 113 0 0 0 26 0 0 0 15 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25041] ppid=25016 vsize=7659736 CPUtime=0.23 cores=1,3
/proc/25018/task/25041/stat : 25041 (java) S 25016 25018 24951 0 -1 4202560 13 0 0 0 23 0 0 0 15 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25042] ppid=25016 vsize=7659736 CPUtime=0.27 cores=1,3
/proc/25018/task/25042/stat : 25042 (java) S 25016 25018 24951 0 -1 4202560 18 0 0 0 27 0 0 0 16 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25043] ppid=25016 vsize=7659736 CPUtime=0.25 cores=1,3
/proc/25018/task/25043/stat : 25043 (java) S 25016 25018 24951 0 -1 4202560 13 0 0 0 25 0 0 0 15 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25044] ppid=25016 vsize=7659736 CPUtime=0.24 cores=1,3
/proc/25018/task/25044/stat : 25044 (java) S 25016 25018 24951 0 -1 4202560 355 0 0 0 24 0 0 0 15 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25045] ppid=25016 vsize=7659736 CPUtime=0.23 cores=1,3
/proc/25018/task/25045/stat : 25045 (java) S 25016 25018 24951 0 -1 4202560 234 0 0 0 23 0 0 0 15 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25046] ppid=25016 vsize=7659736 CPUtime=0.22 cores=1,3
/proc/25018/task/25046/stat : 25046 (java) S 25016 25018 24951 0 -1 4202560 819 0 0 0 22 0 0 0 15 0 19 0 352174888 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25047] ppid=25016 vsize=7659736 CPUtime=11.7 cores=1,3
/proc/25018/task/25047/stat : 25047 (java) S 25016 25018 24951 0 -1 4202560 2744 0 0 0 1167 3 0 0 15 0 19 0 352174889 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 0 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25061] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25061/stat : 25061 (java) S 25016 25018 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25062] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25062/stat : 25062 (java) S 25016 25018 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174890 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25071] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25071/stat : 25071 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174892 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118592433 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25072] ppid=25016 vsize=7659736 CPUtime=0.15 cores=1,3
/proc/25018/task/25072/stat : 25072 (java) S 25016 25018 24951 0 -1 4202560 973 0 0 0 15 0 0 0 15 0 19 0 352174892 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=25018/tid=25073] ppid=25016 vsize=7659736 CPUtime=0.52 cores=1,3
/proc/25018/task/25073/stat : 25073 (java) S 25016 25018 24951 0 -1 4202560 10015 0 2 0 52 0 0 0 15 0 19 0 352174892 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25074] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25074/stat : 25074 (java) S 25016 25018 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174892 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118584729 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=25018/tid=25075] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25075/stat : 25075 (java) R 25016 25018 24951 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 352174892 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25018/tid=25082] ppid=25016 vsize=7659736 CPUtime=0 cores=1,3
/proc/25018/task/25082/stat : 25082 (java) S 25016 25018 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174906 7843569664 23057 33554432000 1073741824 1073778376 140733493744624 18446744073709551615 255118585344 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.39
Current children cumulated vsize (KiB) 7659736

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.46
CPU user time (s): 1301.33
CPU system time (s): 0.13098
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 7664956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.33
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28480
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43058
involuntary context switches= 12951

runsolver used 2.08068 second user time and 5.06823 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-12 10:39:48
IDJOB=3190251
IDBENCH=82582
IDSOLVER=1611
FILE ID=node144/3190251-1302597588
RUNJOBID= node144-1302597587-24971
PBS_JOBID= 12958105
Free space on /tmp= 72204 MiB

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

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

MD5SUM BENCH= a9820c4b7c4cca37033a1ea45b264344
RANDOM SEED=2119119767

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12953876 kB
Buffers:        751736 kB
Cached:       18710732 kB
SwapCached:          0 kB
Active:       10102572 kB
Inactive:      9473924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12953876 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:      113584 kB
Mapped:          20520 kB
Slab:           355688 kB
PageTables:       4948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14670248 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= 72200 MiB
End job on node144 at 2011-04-12 11:01:30