Trace number 3257288

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.52 1300.06

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
MD5SUMc848a5766cfcc1d1c3f26c7818e48eb2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.7412
Satisfiable
(Un)Satisfiability was proved
Number of variables1473
Number of clauses11563
Sum of the clauses size37576
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22381
Number of clauses of size 37024
Number of clauses of size 4708
Number of clauses of size 51300
Number of clauses of size over 5150

Solver Data 

0.05/0.35	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.35	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.35	c See www.sat4j.org for details.
0.05/0.35	c no version file found!!!
0.05/0.35	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.35	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.35	c java.vm.version	19.1-b02
0.05/0.35	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.35	c sun.arch.data.model	64
0.05/0.35	c java.version		1.6.0_24
0.05/0.35	c os.name		Linux
0.05/0.35	c os.version		2.6.18-164.el5
0.05/0.35	c os.arch		amd64
0.05/0.35	c Free memory 		6997539544
0.05/0.35	c Max memory 		7034241024
0.05/0.35	c Total memory 		7034241024
0.05/0.35	c Number of processors 	8
0.10/0.43	c --- Begin Solver configuration ---
0.10/0.43	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.10/0.43	c Learn all clauses as in MiniSAT
0.10/0.43	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.10/0.43	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.10/0.43	c Expensive reason simplification
0.10/0.43	c Armin Biere (Picosat) restarts strategy
0.10/0.43	c Glucose learned constraints deletion strategy
0.10/0.43	c timeout=2147483647s
0.10/0.43	c DB Simplification allowed=true
0.10/0.43	c --- End Solver configuration ---
0.10/0.43	c solving HOME/instance-3257288-1303469601.cnf
0.10/0.43	c reading problem ... 
0.10/0.53	c ... done. Wall clock time 0.105s.
0.10/0.53	c #vars     1473
0.10/0.53	c #constraints  11563
0.10/0.53	c constraints type 
0.10/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9182
0.10/0.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2381
1.03/1.03	c cleaning 2463 clauses out of 4972 with flag 5000/5000
1.80/1.44	c cleaning 4239 clauses out of 8509 with flag 11000/11000
2.33/1.96	c cleaning 5625 clauses out of 11264 with flag 18001/18001
3.03/2.64	c cleaning 6784 clauses out of 13624 with flag 26001/26001
3.84/3.50	c cleaning 7896 clauses out of 15839 with flag 35000/35000
5.05/4.65	c cleaning 8948 clauses out of 17943 with flag 45000/45000
6.45/6.07	c cleaning 9984 clauses out of 19997 with flag 56002/56002
8.16/7.74	c cleaning 10992 clauses out of 22015 with flag 68004/68004
10.16/9.76	c cleaning 11490 clauses out of 23019 with flag 80000/80000
12.16/11.78	c cleaning 11727 clauses out of 23529 with flag 92000/92000
14.36/13.94	c cleaning 11866 clauses out of 23802 with flag 104000/104000
16.46/16.06	c cleaning 11909 clauses out of 23936 with flag 116000/116000
18.36/17.90	c cleaning 11972 clauses out of 24028 with flag 128001/128001
20.46/20.06	c cleaning 11997 clauses out of 24058 with flag 140003/140003
22.77/22.34	c cleaning 11992 clauses out of 24058 with flag 152000/152000
24.67/24.23	c cleaning 12009 clauses out of 24069 with flag 164003/164003
26.77/26.32	c cleaning 11998 clauses out of 24057 with flag 176000/176000
29.07/28.64	c cleaning 12006 clauses out of 24061 with flag 188002/188002
31.17/30.71	c cleaning 11946 clauses out of 24053 with flag 200000/200000
33.48/33.00	c cleaning 12016 clauses out of 24107 with flag 212000/212000
35.58/35.17	c cleaning 12029 clauses out of 24091 with flag 224000/224000
37.97/37.58	c cleaning 11982 clauses out of 24066 with flag 236004/236004
40.17/39.71	c cleaning 12000 clauses out of 24081 with flag 248001/248001
42.38/41.95	c cleaning 11950 clauses out of 24080 with flag 260000/260000
44.58/44.11	c cleaning 12014 clauses out of 24131 with flag 272001/272001
46.68/46.24	c cleaning 12050 clauses out of 24119 with flag 284003/284003
48.89/48.48	c cleaning 11977 clauses out of 24066 with flag 296000/296000
50.99/50.55	c cleaning 12021 clauses out of 24089 with flag 308000/308000
53.29/52.85	c cleaning 12020 clauses out of 24069 with flag 320001/320001
55.58/55.18	c cleaning 11970 clauses out of 24048 with flag 332000/332000
57.89/57.46	c cleaning 11980 clauses out of 24078 with flag 344000/344000
60.09/59.61	c cleaning 11987 clauses out of 24098 with flag 356000/356000
62.19/61.76	c cleaning 11994 clauses out of 24112 with flag 368001/368001
64.49/64.08	c cleaning 12037 clauses out of 24119 with flag 380002/380002
66.69/66.22	c cleaning 11973 clauses out of 24080 with flag 392000/392000
68.79/68.39	c cleaning 11994 clauses out of 24107 with flag 404000/404000
70.80/70.38	c cleaning 12019 clauses out of 24113 with flag 416000/416000
72.79/72.31	c cleaning 12010 clauses out of 24094 with flag 428000/428000
74.79/74.37	c cleaning 11968 clauses out of 24086 with flag 440002/440002
77.00/76.56	c cleaning 12025 clauses out of 24116 with flag 452000/452000
79.10/78.64	c cleaning 11986 clauses out of 24091 with flag 464000/464000
81.20/80.78	c cleaning 11986 clauses out of 24106 with flag 476001/476001
83.30/82.86	c cleaning 12020 clauses out of 24121 with flag 488002/488002
85.60/85.14	c cleaning 12010 clauses out of 24101 with flag 500002/500002
87.60/87.15	c cleaning 11978 clauses out of 24090 with flag 512001/512001
89.70/89.21	c cleaning 12019 clauses out of 24111 with flag 524000/524000
91.90/91.41	c cleaning 11977 clauses out of 24094 with flag 536002/536002
94.01/93.59	c cleaning 12041 clauses out of 24116 with flag 548001/548001
96.01/95.58	c cleaning 11983 clauses out of 24074 with flag 560000/560000
97.91/97.44	c cleaning 11937 clauses out of 24091 with flag 572000/572000
100.01/99.59	c cleaning 12059 clauses out of 24155 with flag 584001/584001
102.11/101.64	c cleaning 11983 clauses out of 24096 with flag 596001/596001
104.31/103.85	c cleaning 12020 clauses out of 24112 with flag 608000/608000
106.02/105.59	c cleaning 11964 clauses out of 24092 with flag 620000/620000
108.22/107.74	c cleaning 11990 clauses out of 24128 with flag 632000/632000
110.42/110.00	c cleaning 11950 clauses out of 24138 with flag 644000/644000
112.72/112.24	c cleaning 12016 clauses out of 24189 with flag 656001/656001
114.72/114.26	c cleaning 12071 clauses out of 24172 with flag 668000/668000
116.72/116.28	c cleaning 12012 clauses out of 24102 with flag 680001/680001
118.82/118.38	c cleaning 12009 clauses out of 24090 with flag 692001/692001
120.82/120.36	c cleaning 11956 clauses out of 24081 with flag 704001/704001
122.72/122.22	c cleaning 12013 clauses out of 24128 with flag 716004/716004
124.92/124.46	c cleaning 11988 clauses out of 24111 with flag 728000/728000
127.32/126.87	c cleaning 12023 clauses out of 24124 with flag 740001/740001
129.43/128.99	c cleaning 12004 clauses out of 24100 with flag 752000/752000
131.33/130.84	c cleaning 12003 clauses out of 24100 with flag 764004/764004
133.53/133.09	c cleaning 11977 clauses out of 24093 with flag 776000/776000
135.63/135.18	c cleaning 12017 clauses out of 24116 with flag 788000/788000
138.13/137.65	c cleaning 11963 clauses out of 24099 with flag 800000/800000
140.43/139.99	c cleaning 11997 clauses out of 24138 with flag 812002/812002
142.44/141.99	c cleaning 11963 clauses out of 24140 with flag 824001/824001
144.33/143.87	c cleaning 12059 clauses out of 24176 with flag 836000/836000
146.34/145.87	c cleaning 11983 clauses out of 24117 with flag 848000/848000
148.47/147.98	c cleaning 12012 clauses out of 24142 with flag 860008/860008
150.57/150.00	c cleaning 11994 clauses out of 24122 with flag 872000/872000
152.47/151.97	c cleaning 11995 clauses out of 24131 with flag 884003/884003
154.77/154.21	c cleaning 11982 clauses out of 24134 with flag 896001/896001
156.97/156.40	c cleaning 12060 clauses out of 24152 with flag 908001/908001
158.88/158.40	c cleaning 12018 clauses out of 24091 with flag 920000/920000
161.08/160.52	c cleaning 11951 clauses out of 24073 with flag 932000/932000
163.07/162.55	c cleaning 11960 clauses out of 24122 with flag 944000/944000
165.07/164.59	c cleaning 12009 clauses out of 24162 with flag 956000/956000
167.18/166.61	c cleaning 11999 clauses out of 24154 with flag 968001/968001
169.38/168.80	c cleaning 12052 clauses out of 24155 with flag 980001/980001
171.48/170.99	c cleaning 12028 clauses out of 24106 with flag 992004/992004
173.78/173.25	c cleaning 11974 clauses out of 24075 with flag 1004001/1004001
175.58/175.05	c cleaning 12006 clauses out of 24100 with flag 1016000/1016000
177.38/176.85	c cleaning 11991 clauses out of 24094 with flag 1028000/1028000
179.08/178.58	c cleaning 12019 clauses out of 24103 with flag 1040000/1040000
181.18/180.68	c cleaning 12037 clauses out of 24086 with flag 1052002/1052002
183.39/182.80	c cleaning 11976 clauses out of 24047 with flag 1064000/1064000
185.59/185.07	c cleaning 11926 clauses out of 24073 with flag 1076002/1076002
187.79/187.22	c cleaning 11986 clauses out of 24146 with flag 1088001/1088001
189.99/189.45	c cleaning 12060 clauses out of 24161 with flag 1100002/1100002
192.39/191.86	c cleaning 11945 clauses out of 24101 with flag 1112002/1112002
194.49/193.90	c cleaning 12078 clauses out of 24156 with flag 1124002/1124002
196.19/195.67	c cleaning 11968 clauses out of 24076 with flag 1136000/1136000
198.09/197.56	c cleaning 12023 clauses out of 24108 with flag 1148000/1148000
200.20/199.64	c cleaning 11962 clauses out of 24085 with flag 1160000/1160000
202.10/201.53	c cleaning 12005 clauses out of 24123 with flag 1172000/1172000
204.10/203.58	c cleaning 12020 clauses out of 24118 with flag 1184000/1184000
206.40/205.87	c cleaning 11998 clauses out of 24101 with flag 1196003/1196003
208.80/208.22	c cleaning 11948 clauses out of 24103 with flag 1208003/1208003
211.10/210.56	c cleaning 12007 clauses out of 24152 with flag 1220000/1220000
213.51/212.97	c cleaning 11987 clauses out of 24146 with flag 1232001/1232001
215.31/214.70	c cleaning 12044 clauses out of 24158 with flag 1244000/1244000
217.11/216.55	c cleaning 11970 clauses out of 24116 with flag 1256002/1256002
219.52/219.00	c cleaning 11987 clauses out of 24145 with flag 1268001/1268001
221.31/220.78	c cleaning 12045 clauses out of 24157 with flag 1280000/1280000
223.41/222.89	c cleaning 12004 clauses out of 24113 with flag 1292001/1292001
225.61/225.05	c cleaning 11992 clauses out of 24108 with flag 1304000/1304000
227.91/227.36	c cleaning 11991 clauses out of 24116 with flag 1316000/1316000
230.31/229.78	c cleaning 12043 clauses out of 24126 with flag 1328001/1328001
232.52/231.97	c cleaning 12004 clauses out of 24082 with flag 1340000/1340000
234.72/234.16	c cleaning 11991 clauses out of 24081 with flag 1352003/1352003
236.82/236.20	c cleaning 12017 clauses out of 24087 with flag 1364000/1364000
238.52/237.97	c cleaning 11955 clauses out of 24071 with flag 1376001/1376001
240.52/239.92	c cleaning 12019 clauses out of 24117 with flag 1388002/1388002
243.32/242.70	c cleaning 11987 clauses out of 24096 with flag 1400000/1400000
245.52/244.97	c cleaning 12042 clauses out of 24110 with flag 1412001/1412001
247.73/247.10	c cleaning 11950 clauses out of 24068 with flag 1424001/1424001
249.83/249.26	c cleaning 11999 clauses out of 24117 with flag 1436000/1436000
252.13/251.58	c cleaning 12039 clauses out of 24118 with flag 1448000/1448000
254.83/254.20	c cleaning 12010 clauses out of 24080 with flag 1460001/1460001
257.23/256.65	c cleaning 11953 clauses out of 24069 with flag 1472000/1472000
259.43/258.87	c cleaning 12008 clauses out of 24116 with flag 1484000/1484000
261.84/261.23	c cleaning 11981 clauses out of 24108 with flag 1496000/1496000
263.84/263.25	c cleaning 12004 clauses out of 24127 with flag 1508000/1508000
265.64/265.07	c cleaning 12018 clauses out of 24123 with flag 1520000/1520000
267.54/266.91	c cleaning 12046 clauses out of 24105 with flag 1532000/1532000
269.64/269.02	c cleaning 11966 clauses out of 24059 with flag 1544000/1544000
271.64/271.05	c cleaning 11982 clauses out of 24093 with flag 1556000/1556000
273.74/273.13	c cleaning 11958 clauses out of 24111 with flag 1568000/1568000
276.24/275.64	c cleaning 11960 clauses out of 24154 with flag 1580001/1580001
278.55/277.93	c cleaning 12053 clauses out of 24193 with flag 1592000/1592000
280.85/280.21	c cleaning 11977 clauses out of 24140 with flag 1604000/1604000
283.05/282.40	c cleaning 11991 clauses out of 24163 with flag 1616000/1616000
285.35/284.76	c cleaning 12066 clauses out of 24172 with flag 1628000/1628000
287.55/286.98	c cleaning 11980 clauses out of 24106 with flag 1640000/1640000
290.05/289.48	c cleaning 12004 clauses out of 24127 with flag 1652001/1652001
292.06/291.47	c cleaning 12005 clauses out of 24124 with flag 1664002/1664002
294.06/293.44	c cleaning 12034 clauses out of 24117 with flag 1676000/1676000
296.06/295.40	c cleaning 11997 clauses out of 24085 with flag 1688002/1688002
298.16/297.50	c cleaning 11968 clauses out of 24086 with flag 1700000/1700000
300.16/299.58	c cleaning 12046 clauses out of 24118 with flag 1712000/1712000
302.26/301.61	c cleaning 11991 clauses out of 24074 with flag 1724002/1724002
304.56/303.92	c cleaning 11998 clauses out of 24081 with flag 1736000/1736000
306.76/306.11	c cleaning 11993 clauses out of 24085 with flag 1748002/1748002
309.27/308.63	c cleaning 11920 clauses out of 24091 with flag 1760001/1760001
311.57/310.92	c cleaning 12010 clauses out of 24170 with flag 1772000/1772000
313.67/313.03	c cleaning 11980 clauses out of 24162 with flag 1784002/1784002
316.07/315.49	c cleaning 12055 clauses out of 24184 with flag 1796004/1796004
318.77/318.19	c cleaning 11971 clauses out of 24125 with flag 1808000/1808000
321.28/320.60	c cleaning 12009 clauses out of 24154 with flag 1820000/1820000
323.48/322.81	c cleaning 12048 clauses out of 24145 with flag 1832000/1832000
325.18/324.58	c cleaning 11974 clauses out of 24098 with flag 1844001/1844001
327.28/326.66	c cleaning 11980 clauses out of 24123 with flag 1856000/1856000
329.38/328.72	c cleaning 12030 clauses out of 24144 with flag 1868001/1868001
331.48/330.86	c cleaning 11972 clauses out of 24113 with flag 1880000/1880000
333.78/333.14	c cleaning 11966 clauses out of 24141 with flag 1892000/1892000
336.28/335.66	c cleaning 11994 clauses out of 24175 with flag 1904000/1904000
338.29/337.70	c cleaning 12015 clauses out of 24182 with flag 1916001/1916001
340.39/339.78	c cleaning 12005 clauses out of 24166 with flag 1928000/1928000
342.59/341.95	c cleaning 11980 clauses out of 24164 with flag 1940003/1940003
344.69/344.01	c cleaning 12054 clauses out of 24182 with flag 1952001/1952001
346.79/346.18	c cleaning 12026 clauses out of 24129 with flag 1964002/1964002
349.09/348.42	c cleaning 11998 clauses out of 24106 with flag 1976005/1976005
350.99/350.38	c cleaning 11997 clauses out of 24106 with flag 1988003/1988003
353.40/352.77	c cleaning 11965 clauses out of 24109 with flag 2000003/2000003
356.20/355.56	c cleaning 11980 clauses out of 24141 with flag 2012000/2012000
358.10/357.42	c cleaning 12017 clauses out of 24162 with flag 2024001/2024001
359.90/359.24	c cleaning 12025 clauses out of 24145 with flag 2036001/2036001
361.70/361.09	c cleaning 12029 clauses out of 24119 with flag 2048000/2048000
363.50/362.83	c cleaning 11989 clauses out of 24093 with flag 2060003/2060003
365.41/364.77	c cleaning 12037 clauses out of 24101 with flag 2072000/2072000
367.51/366.80	c cleaning 11971 clauses out of 24064 with flag 2084000/2084000
369.71/369.04	c cleaning 11988 clauses out of 24094 with flag 2096001/2096001
371.91/371.20	c cleaning 11993 clauses out of 24106 with flag 2108001/2108001
374.21/373.58	c cleaning 12036 clauses out of 24112 with flag 2120000/2120000
376.61/375.92	c cleaning 11959 clauses out of 24078 with flag 2132002/2132002
378.51/377.83	c cleaning 11965 clauses out of 24117 with flag 2144000/2144000
380.71/380.04	c cleaning 12004 clauses out of 24152 with flag 2156000/2156000
383.02/382.33	c cleaning 12034 clauses out of 24148 with flag 2168000/2168000
385.33/384.62	c cleaning 11967 clauses out of 24116 with flag 2180002/2180002
387.53/386.85	c cleaning 12017 clauses out of 24147 with flag 2192000/2192000
390.33/389.67	c cleaning 11983 clauses out of 24132 with flag 2204002/2204002
392.73/392.02	c cleaning 12038 clauses out of 24147 with flag 2216000/2216000
394.54/393.89	c cleaning 12002 clauses out of 24109 with flag 2228000/2228000
396.44/395.75	c cleaning 11971 clauses out of 24108 with flag 2240001/2240001
398.54/397.84	c cleaning 11964 clauses out of 24137 with flag 2252001/2252001
400.64/399.99	c cleaning 12063 clauses out of 24173 with flag 2264001/2264001
402.94/402.25	c cleaning 11962 clauses out of 24109 with flag 2276000/2276000
405.14/404.40	c cleaning 12012 clauses out of 24148 with flag 2288001/2288001
407.24/406.55	c cleaning 12030 clauses out of 24137 with flag 2300002/2300002
409.45/408.78	c cleaning 11926 clauses out of 24105 with flag 2312000/2312000
411.85/411.17	c cleaning 12016 clauses out of 24180 with flag 2324001/2324001
414.15/413.46	c cleaning 11997 clauses out of 24163 with flag 2336000/2336000
416.56/415.82	c cleaning 12002 clauses out of 24167 with flag 2348001/2348001
419.05/418.31	c cleaning 11971 clauses out of 24165 with flag 2360001/2360001
421.65/420.92	c cleaning 12053 clauses out of 24193 with flag 2372000/2372000
423.46/422.79	c cleaning 12038 clauses out of 24140 with flag 2384000/2384000
425.16/424.40	c cleaning 12015 clauses out of 24102 with flag 2396000/2396000
427.36/426.61	c cleaning 11986 clauses out of 24087 with flag 2408000/2408000
429.56/428.86	c cleaning 11958 clauses out of 24102 with flag 2420001/2420001
432.06/431.33	c cleaning 12033 clauses out of 24143 with flag 2432000/2432000
434.36/433.61	c cleaning 11966 clauses out of 24113 with flag 2444003/2444003
436.47/435.75	c cleaning 12011 clauses out of 24144 with flag 2456000/2456000
438.17/437.49	c cleaning 12023 clauses out of 24136 with flag 2468003/2468003
440.17/439.43	c cleaning 12028 clauses out of 24110 with flag 2480000/2480000
442.17/441.48	c cleaning 11977 clauses out of 24086 with flag 2492004/2492004
444.57/443.80	c cleaning 11974 clauses out of 24107 with flag 2504002/2504002
446.67/445.93	c cleaning 11965 clauses out of 24131 with flag 2516000/2516000
448.77/448.03	c cleaning 11986 clauses out of 24168 with flag 2528002/2528002
450.68/449.99	c cleaning 12063 clauses out of 24182 with flag 2540002/2540002
452.98/452.24	c cleaning 11994 clauses out of 24118 with flag 2552001/2552001
455.18/454.42	c cleaning 12032 clauses out of 24123 with flag 2564000/2564000
457.68/456.91	c cleaning 12008 clauses out of 24091 with flag 2576000/2576000
459.88/459.18	c cleaning 12000 clauses out of 24084 with flag 2588001/2588001
462.08/461.32	c cleaning 12005 clauses out of 24083 with flag 2600000/2600000
464.18/463.47	c cleaning 11979 clauses out of 24079 with flag 2612001/2612001
466.89/466.17	c cleaning 12004 clauses out of 24099 with flag 2624000/2624000
469.69/468.94	c cleaning 11966 clauses out of 24095 with flag 2636000/2636000
471.79/471.01	c cleaning 12022 clauses out of 24131 with flag 2648002/2648002
473.99/473.28	c cleaning 11970 clauses out of 24108 with flag 2660001/2660001
476.59/475.89	c cleaning 11925 clauses out of 24137 with flag 2672000/2672000
479.20/478.47	c cleaning 12051 clauses out of 24212 with flag 2684000/2684000
481.80/481.08	c cleaning 12002 clauses out of 24161 with flag 2696000/2696000
483.70/482.92	c cleaning 12042 clauses out of 24161 with flag 2708002/2708002
485.60/484.85	c cleaning 12007 clauses out of 24117 with flag 2720000/2720000
487.40/486.67	c cleaning 11964 clauses out of 24112 with flag 2732002/2732002
489.70/488.97	c cleaning 11971 clauses out of 24146 with flag 2744000/2744000
491.90/491.19	c cleaning 12021 clauses out of 24175 with flag 2756000/2756000
494.10/493.33	c cleaning 11997 clauses out of 24156 with flag 2768002/2768002
496.91/496.16	c cleaning 11988 clauses out of 24157 with flag 2780000/2780000
499.51/498.70	c cleaning 12062 clauses out of 24171 with flag 2792002/2792002
501.41/500.68	c cleaning 11925 clauses out of 24107 with flag 2804000/2804000
503.91/503.12	c cleaning 12001 clauses out of 24184 with flag 2816002/2816002
506.72/505.93	c cleaning 12034 clauses out of 24182 with flag 2828001/2828001
509.71/508.92	c cleaning 11977 clauses out of 24149 with flag 2840002/2840002
512.12/511.34	c cleaning 11925 clauses out of 24171 with flag 2852001/2852001
514.32/513.53	c cleaning 11979 clauses out of 24245 with flag 2864000/2864000
516.93/516.18	c cleaning 11967 clauses out of 24266 with flag 2876000/2876000
519.83/519.04	c cleaning 11992 clauses out of 24299 with flag 2888000/2888000
521.83/521.06	c cleaning 11874 clauses out of 24307 with flag 2900000/2900000
524.23/523.49	c cleaning 12048 clauses out of 24433 with flag 2912000/2912000
527.04/526.20	c cleaning 11969 clauses out of 24385 with flag 2924000/2924000
529.34/528.58	c cleaning 11974 clauses out of 24419 with flag 2936003/2936003
532.24/531.42	c cleaning 11936 clauses out of 24444 with flag 2948002/2948002
534.64/533.80	c cleaning 12030 clauses out of 24506 with flag 2960000/2960000
537.24/536.46	c cleaning 11933 clauses out of 24477 with flag 2972001/2972001
539.24/538.49	c cleaning 11995 clauses out of 24544 with flag 2984001/2984001
541.24/540.45	c cleaning 11921 clauses out of 24548 with flag 2996000/2996000
543.15/542.36	c cleaning 11903 clauses out of 24628 with flag 3008001/3008001
545.14/544.36	c cleaning 11975 clauses out of 24724 with flag 3020000/3020000
547.55/546.73	c cleaning 11923 clauses out of 24750 with flag 3032001/3032001
550.04/549.22	c cleaning 12037 clauses out of 24827 with flag 3044001/3044001
552.14/551.36	c cleaning 11973 clauses out of 24790 with flag 3056001/3056001
554.54/553.79	c cleaning 11949 clauses out of 24816 with flag 3068000/3068000
557.14/556.32	c cleaning 11950 clauses out of 24867 with flag 3080000/3080000
559.24/558.49	c cleaning 11987 clauses out of 24917 with flag 3092000/3092000
561.64/560.85	c cleaning 12005 clauses out of 24930 with flag 3104000/3104000
564.15/563.33	c cleaning 11969 clauses out of 24927 with flag 3116002/3116002
566.55/565.75	c cleaning 11883 clauses out of 24956 with flag 3128000/3128000
568.85/568.02	c cleaning 12009 clauses out of 25076 with flag 3140003/3140003
570.95/570.19	c cleaning 11974 clauses out of 25065 with flag 3152001/3152001
573.05/572.20	c cleaning 11960 clauses out of 25091 with flag 3164001/3164001
575.65/574.84	c cleaning 11926 clauses out of 25131 with flag 3176001/3176001
578.15/577.35	c cleaning 11957 clauses out of 25206 with flag 3188002/3188002
580.85/580.08	c cleaning 11990 clauses out of 25248 with flag 3200001/3200001
583.55/582.78	c cleaning 11983 clauses out of 25257 with flag 3212000/3212000
585.96/585.14	c cleaning 11990 clauses out of 25275 with flag 3224001/3224001
588.46/587.63	c cleaning 11999 clauses out of 25285 with flag 3236001/3236001
590.86/590.05	c cleaning 11933 clauses out of 25288 with flag 3248003/3248003
593.46/592.61	c cleaning 11991 clauses out of 25352 with flag 3260000/3260000
596.26/595.43	c cleaning 11995 clauses out of 25361 with flag 3272000/3272000
598.86/598.00	c cleaning 11992 clauses out of 25366 with flag 3284000/3284000
600.67/599.82	c cleaning 11925 clauses out of 25376 with flag 3296002/3296002
602.67/601.81	c cleaning 12002 clauses out of 25449 with flag 3308000/3308000
604.87/604.06	c cleaning 11967 clauses out of 25447 with flag 3320000/3320000
606.98/606.13	c cleaning 11991 clauses out of 25483 with flag 3332003/3332003
609.08/608.27	c cleaning 11899 clauses out of 25490 with flag 3344001/3344001
611.28/610.50	c cleaning 11946 clauses out of 25592 with flag 3356002/3356002
613.58/612.77	c cleaning 11994 clauses out of 25645 with flag 3368001/3368001
615.98/615.12	c cleaning 11951 clauses out of 25653 with flag 3380003/3380003
618.88/618.07	c cleaning 11964 clauses out of 25699 with flag 3392000/3392000
621.08/620.27	c cleaning 11946 clauses out of 25735 with flag 3404000/3404000
623.08/622.25	c cleaning 12028 clauses out of 25790 with flag 3416001/3416001
624.79/623.91	c cleaning 11891 clauses out of 25761 with flag 3428000/3428000
626.99/626.14	c cleaning 12001 clauses out of 25873 with flag 3440003/3440003
629.59/628.74	c cleaning 11968 clauses out of 25870 with flag 3452001/3452001
632.09/631.25	c cleaning 11988 clauses out of 25903 with flag 3464002/3464002
634.40/633.51	c cleaning 11956 clauses out of 25915 with flag 3476002/3476002
636.89/636.08	c cleaning 12028 clauses out of 25957 with flag 3488000/3488000
639.49/638.69	c cleaning 11939 clauses out of 25929 with flag 3500000/3500000
642.20/641.34	c cleaning 12012 clauses out of 25990 with flag 3512000/3512000
644.70/643.81	c cleaning 11957 clauses out of 25978 with flag 3524000/3524000
647.10/646.24	c cleaning 11965 clauses out of 26021 with flag 3536000/3536000
649.91/649.02	c cleaning 12018 clauses out of 26058 with flag 3548002/3548002
652.40/651.50	c cleaning 12018 clauses out of 26039 with flag 3560001/3560001
654.81/653.97	c cleaning 11960 clauses out of 26023 with flag 3572003/3572003
657.71/656.82	c cleaning 11975 clauses out of 26061 with flag 3584001/3584001
660.41/659.57	c cleaning 11979 clauses out of 26085 with flag 3596000/3596000
663.12/662.29	c cleaning 12036 clauses out of 26107 with flag 3608001/3608001
665.32/664.48	c cleaning 11965 clauses out of 26071 with flag 3620001/3620001
667.52/666.63	c cleaning 11888 clauses out of 26105 with flag 3632000/3632000
669.73/668.81	c cleaning 11967 clauses out of 26217 with flag 3644000/3644000
671.62/670.78	c cleaning 11933 clauses out of 26251 with flag 3656001/3656001
673.52/672.69	c cleaning 11963 clauses out of 26318 with flag 3668001/3668001
676.23/675.31	c cleaning 11908 clauses out of 26354 with flag 3680000/3680000
678.73/677.85	c cleaning 12059 clauses out of 26446 with flag 3692000/3692000
681.23/680.37	c cleaning 11943 clauses out of 26389 with flag 3704002/3704002
684.04/683.13	c cleaning 11922 clauses out of 26444 with flag 3716000/3716000
686.73/685.87	c cleaning 11991 clauses out of 26522 with flag 3728000/3728000
689.13/688.27	c cleaning 11994 clauses out of 26531 with flag 3740000/3740000
691.43/690.59	c cleaning 11948 clauses out of 26538 with flag 3752001/3752001
694.03/693.13	c cleaning 12012 clauses out of 26589 with flag 3764000/3764000
696.94/696.03	c cleaning 11985 clauses out of 26577 with flag 3776000/3776000
699.65/698.72	c cleaning 11966 clauses out of 26592 with flag 3788000/3788000
702.45/701.52	c cleaning 12033 clauses out of 26627 with flag 3800001/3800001
705.05/704.15	c cleaning 12025 clauses out of 26594 with flag 3812001/3812001
707.55/706.67	c cleaning 12000 clauses out of 26568 with flag 3824000/3824000
710.15/709.28	c cleaning 11979 clauses out of 26570 with flag 3836002/3836002
712.56/711.66	c cleaning 11960 clauses out of 26590 with flag 3848001/3848001
715.36/714.42	c cleaning 11943 clauses out of 26630 with flag 3860001/3860001
717.66/716.70	c cleaning 11998 clauses out of 26686 with flag 3872000/3872000
719.86/718.99	c cleaning 12018 clauses out of 26688 with flag 3884000/3884000
722.66/721.76	c cleaning 11963 clauses out of 26671 with flag 3896001/3896001
725.66/724.71	c cleaning 11986 clauses out of 26712 with flag 3908005/3908005
728.56/727.60	c cleaning 12005 clauses out of 26722 with flag 3920001/3920001
731.27/730.38	c cleaning 11991 clauses out of 26716 with flag 3932000/3932000
734.07/733.17	c cleaning 12009 clauses out of 26726 with flag 3944001/3944001
736.47/735.54	c cleaning 11971 clauses out of 26716 with flag 3956000/3956000
738.98/738.07	c cleaning 11986 clauses out of 26750 with flag 3968005/3968005
741.37/740.41	c cleaning 11948 clauses out of 26759 with flag 3980000/3980000
743.28/742.35	c cleaning 11978 clauses out of 26812 with flag 3992001/3992001
745.58/744.63	c cleaning 11924 clauses out of 26833 with flag 4004000/4004000
748.08/747.10	c cleaning 12024 clauses out of 26909 with flag 4016000/4016000
750.18/749.24	c cleaning 11921 clauses out of 26886 with flag 4028001/4028001
752.68/751.74	c cleaning 11962 clauses out of 26964 with flag 4040000/4040000
755.08/754.10	c cleaning 12006 clauses out of 27004 with flag 4052002/4052002
757.69/756.70	c cleaning 11964 clauses out of 26996 with flag 4064000/4064000
759.78/758.85	c cleaning 11950 clauses out of 27032 with flag 4076000/4076000
762.28/761.31	c cleaning 11986 clauses out of 27082 with flag 4088000/4088000
764.69/763.74	c cleaning 11921 clauses out of 27098 with flag 4100002/4100002
767.29/766.31	c cleaning 11993 clauses out of 27175 with flag 4112000/4112000
769.59/768.65	c cleaning 11958 clauses out of 27184 with flag 4124002/4124002
772.59/771.67	c cleaning 11971 clauses out of 27225 with flag 4136001/4136001
775.50/774.54	c cleaning 12000 clauses out of 27256 with flag 4148003/4148003
778.00/777.03	c cleaning 11963 clauses out of 27253 with flag 4160000/4160000
780.80/779.84	c cleaning 11998 clauses out of 27290 with flag 4172000/4172000
783.40/782.48	c cleaning 12012 clauses out of 27293 with flag 4184001/4184001
785.51/784.57	c cleaning 11896 clauses out of 27280 with flag 4196000/4196000
788.31/787.37	c cleaning 12023 clauses out of 27385 with flag 4208001/4208001
790.61/789.60	c cleaning 11970 clauses out of 27361 with flag 4220000/4220000
793.32/792.32	c cleaning 11968 clauses out of 27393 with flag 4232002/4232002
795.82/794.84	c cleaning 12003 clauses out of 27424 with flag 4244001/4244001
798.82/797.82	c cleaning 11979 clauses out of 27420 with flag 4256000/4256000
801.62/800.60	c cleaning 11999 clauses out of 27442 with flag 4268001/4268001
804.52/803.53	c cleaning 11964 clauses out of 27442 with flag 4280000/4280000
807.13/806.14	c cleaning 11992 clauses out of 27478 with flag 4292000/4292000
809.93/808.90	c cleaning 12016 clauses out of 27490 with flag 4304004/4304004
813.03/812.03	c cleaning 11974 clauses out of 27470 with flag 4316000/4316000
815.53/814.57	c cleaning 11940 clauses out of 27496 with flag 4328000/4328000
818.24/817.22	c cleaning 12007 clauses out of 27557 with flag 4340001/4340001
820.84/819.80	c cleaning 11989 clauses out of 27549 with flag 4352000/4352000
823.34/822.39	c cleaning 11987 clauses out of 27562 with flag 4364002/4364002
826.24/825.29	c cleaning 11969 clauses out of 27573 with flag 4376000/4376000
829.04/828.08	c cleaning 12032 clauses out of 27604 with flag 4388000/4388000
831.05/830.02	c cleaning 11954 clauses out of 27572 with flag 4400000/4400000
832.95/831.93	c cleaning 11974 clauses out of 27619 with flag 4412001/4412001
835.15/834.13	c cleaning 11935 clauses out of 27644 with flag 4424000/4424000
837.75/836.79	c cleaning 11937 clauses out of 27709 with flag 4436000/4436000
840.26/839.25	c cleaning 12007 clauses out of 27774 with flag 4448002/4448002
842.66/841.65	c cleaning 11979 clauses out of 27765 with flag 4460000/4460000
845.36/844.39	c cleaning 12020 clauses out of 27786 with flag 4472000/4472000
847.66/846.65	c cleaning 11930 clauses out of 27766 with flag 4484000/4484000
850.17/849.14	c cleaning 11993 clauses out of 27837 with flag 4496001/4496001
852.86/851.83	c cleaning 11966 clauses out of 27843 with flag 4508000/4508000
855.27/854.29	c cleaning 11971 clauses out of 27877 with flag 4520000/4520000
857.87/856.86	c cleaning 11885 clauses out of 27908 with flag 4532002/4532002
860.57/859.59	c cleaning 12078 clauses out of 28022 with flag 4544001/4544001
863.87/862.82	c cleaning 11917 clauses out of 27944 with flag 4556001/4556001
866.28/865.21	c cleaning 12011 clauses out of 28029 with flag 4568003/4568003
868.88/867.83	c cleaning 11988 clauses out of 28016 with flag 4580001/4580001
871.18/870.16	c cleaning 12035 clauses out of 28027 with flag 4592000/4592000
873.88/872.82	c cleaning 11913 clauses out of 27994 with flag 4604002/4604002
876.88/875.87	c cleaning 11954 clauses out of 28081 with flag 4616002/4616002
879.59/878.58	c cleaning 11937 clauses out of 28125 with flag 4628000/4628000
882.49/881.45	c cleaning 12053 clauses out of 28189 with flag 4640001/4640001
885.79/884.78	c cleaning 11977 clauses out of 28135 with flag 4652000/4652000
888.59/887.55	c cleaning 11996 clauses out of 28160 with flag 4664002/4664002
891.39/890.38	c cleaning 11964 clauses out of 28166 with flag 4676004/4676004
894.20/893.14	c cleaning 12037 clauses out of 28200 with flag 4688002/4688002
896.40/895.34	c cleaning 11927 clauses out of 28162 with flag 4700001/4700001
899.10/898.04	c cleaning 11975 clauses out of 28237 with flag 4712003/4712003
901.91/900.87	c cleaning 12025 clauses out of 28259 with flag 4724000/4724000
904.90/903.83	c cleaning 11979 clauses out of 28236 with flag 4736002/4736002
908.11/907.09	c cleaning 12000 clauses out of 28257 with flag 4748002/4748002
910.91/909.82	c cleaning 11973 clauses out of 28255 with flag 4760000/4760000
914.02/912.94	c cleaning 11899 clauses out of 28282 with flag 4772000/4772000
917.11/916.03	c cleaning 12042 clauses out of 28384 with flag 4784001/4784001
919.52/918.43	c cleaning 12066 clauses out of 28343 with flag 4796002/4796002
922.12/921.02	c cleaning 11990 clauses out of 28278 with flag 4808003/4808003
924.72/923.60	c cleaning 11920 clauses out of 28285 with flag 4820000/4820000
927.72/926.63	c cleaning 12043 clauses out of 28365 with flag 4832000/4832000
929.53/928.47	c cleaning 11921 clauses out of 28323 with flag 4844001/4844001
931.73/930.69	c cleaning 11953 clauses out of 28402 with flag 4856001/4856001
933.93/932.89	c cleaning 11927 clauses out of 28450 with flag 4868002/4868002
935.93/934.89	c cleaning 11972 clauses out of 28521 with flag 4880000/4880000
938.24/937.17	c cleaning 11950 clauses out of 28550 with flag 4892001/4892001
940.83/939.70	c cleaning 11958 clauses out of 28599 with flag 4904000/4904000
943.54/942.44	c cleaning 11999 clauses out of 28641 with flag 4916000/4916000
946.24/945.13	c cleaning 11997 clauses out of 28642 with flag 4928000/4928000
949.14/948.06	c cleaning 11927 clauses out of 28645 with flag 4940000/4940000
952.04/950.91	c cleaning 12060 clauses out of 28720 with flag 4952002/4952002
954.64/953.52	c cleaning 11936 clauses out of 28659 with flag 4964001/4964001
957.05/955.94	c cleaning 12032 clauses out of 28723 with flag 4976001/4976001
959.75/958.62	c cleaning 11967 clauses out of 28691 with flag 4988001/4988001
962.35/961.23	c cleaning 11986 clauses out of 28723 with flag 5000000/5000000
965.15/964.05	c cleaning 11990 clauses out of 28740 with flag 5012003/5012003
967.75/966.68	c cleaning 11953 clauses out of 28747 with flag 5024000/5024000
970.76/969.60	c cleaning 12033 clauses out of 28796 with flag 5036002/5036002
973.36/972.21	c cleaning 11948 clauses out of 28761 with flag 5048000/5048000
976.26/975.10	c cleaning 12046 clauses out of 28815 with flag 5060002/5060002
978.66/977.58	c cleaning 11953 clauses out of 28767 with flag 5072000/5072000
981.37/980.26	c cleaning 11983 clauses out of 28814 with flag 5084000/5084000
984.27/983.14	c cleaning 11992 clauses out of 28835 with flag 5096004/5096004
987.27/986.16	c cleaning 12011 clauses out of 28839 with flag 5108000/5108000
989.87/988.74	c cleaning 11893 clauses out of 28828 with flag 5120000/5120000
992.57/991.40	c cleaning 12052 clauses out of 28936 with flag 5132001/5132001
995.28/994.14	c cleaning 12007 clauses out of 28883 with flag 5144000/5144000
998.48/997.34	c cleaning 11980 clauses out of 28877 with flag 5156001/5156001
1001.28/1000.17	c cleaning 11973 clauses out of 28896 with flag 5168000/5168000
1003.88/1002.74	c cleaning 11909 clauses out of 28924 with flag 5180001/5180001
1006.78/1005.65	c cleaning 11997 clauses out of 29015 with flag 5192001/5192001
1009.49/1008.32	c cleaning 12013 clauses out of 29017 with flag 5204000/5204000
1012.19/1011.06	c cleaning 11971 clauses out of 29006 with flag 5216002/5216002
1015.30/1014.11	c cleaning 11966 clauses out of 29033 with flag 5228000/5228000
1018.19/1017.08	c cleaning 11973 clauses out of 29067 with flag 5240000/5240000
1021.10/1019.95	c cleaning 12081 clauses out of 29094 with flag 5252000/5252000
1024.00/1022.89	c cleaning 11976 clauses out of 29013 with flag 5264000/5264000
1026.80/1025.61	c cleaning 11935 clauses out of 29038 with flag 5276001/5276001
1029.30/1028.12	c cleaning 12015 clauses out of 29102 with flag 5288000/5288000
1031.81/1030.68	c cleaning 11968 clauses out of 29088 with flag 5300001/5300001
1034.51/1033.30	c cleaning 11994 clauses out of 29121 with flag 5312002/5312002
1037.01/1035.88	c cleaning 11997 clauses out of 29125 with flag 5324000/5324000
1039.11/1037.94	c cleaning 11973 clauses out of 29128 with flag 5336000/5336000
1041.41/1040.20	c cleaning 11969 clauses out of 29156 with flag 5348001/5348001
1044.02/1042.88	c cleaning 11971 clauses out of 29186 with flag 5360000/5360000
1046.32/1045.19	c cleaning 11946 clauses out of 29216 with flag 5372001/5372001
1049.02/1047.87	c cleaning 11942 clauses out of 29269 with flag 5384000/5384000
1051.22/1050.01	c cleaning 12070 clauses out of 29327 with flag 5396000/5396000
1053.72/1052.54	c cleaning 11913 clauses out of 29259 with flag 5408002/5408002
1056.52/1055.36	c cleaning 11991 clauses out of 29344 with flag 5420000/5420000
1059.23/1058.09	c cleaning 11931 clauses out of 29353 with flag 5432000/5432000
1061.73/1060.54	c cleaning 12077 clauses out of 29423 with flag 5444001/5444001
1064.13/1062.97	c cleaning 11967 clauses out of 29345 with flag 5456000/5456000
1066.73/1065.51	c cleaning 11952 clauses out of 29378 with flag 5468000/5468000
1069.54/1068.34	c cleaning 12002 clauses out of 29426 with flag 5480000/5480000
1072.24/1071.05	c cleaning 11985 clauses out of 29424 with flag 5492000/5492000
1074.74/1073.53	c cleaning 12012 clauses out of 29439 with flag 5504000/5504000
1077.34/1076.14	c cleaning 11918 clauses out of 29427 with flag 5516000/5516000
1079.84/1078.60	c cleaning 11986 clauses out of 29510 with flag 5528001/5528001
1082.55/1081.40	c cleaning 11978 clauses out of 29524 with flag 5540001/5540001
1085.05/1083.87	c cleaning 11990 clauses out of 29546 with flag 5552001/5552001
1087.75/1086.57	c cleaning 11965 clauses out of 29559 with flag 5564004/5564004
1090.66/1089.48	c cleaning 12027 clauses out of 29594 with flag 5576004/5576004
1093.47/1092.23	c cleaning 11955 clauses out of 29564 with flag 5588001/5588001
1096.26/1095.08	c cleaning 12025 clauses out of 29609 with flag 5600001/5600001
1099.47/1098.21	c cleaning 11975 clauses out of 29584 with flag 5612001/5612001
1102.57/1101.33	c cleaning 11972 clauses out of 29609 with flag 5624001/5624001
1105.37/1104.17	c cleaning 12021 clauses out of 29637 with flag 5636001/5636001
1108.67/1107.40	c cleaning 12011 clauses out of 29615 with flag 5648000/5648000
1111.58/1110.37	c cleaning 11933 clauses out of 29605 with flag 5660001/5660001
1114.39/1113.17	c cleaning 11939 clauses out of 29672 with flag 5672001/5672001
1117.58/1116.35	c cleaning 12002 clauses out of 29732 with flag 5684000/5684000
1119.89/1118.70	c cleaning 11999 clauses out of 29731 with flag 5696001/5696001
1122.29/1121.09	c cleaning 11964 clauses out of 29731 with flag 5708000/5708000
1124.79/1123.51	c cleaning 12017 clauses out of 29771 with flag 5720004/5720004
1127.39/1126.13	c cleaning 11958 clauses out of 29750 with flag 5732000/5732000
1130.19/1128.90	c cleaning 12037 clauses out of 29792 with flag 5744000/5744000
1133.10/1131.80	c cleaning 11978 clauses out of 29755 with flag 5756000/5756000
1135.80/1134.56	c cleaning 11947 clauses out of 29777 with flag 5768000/5768000
1139.00/1137.71	c cleaning 11936 clauses out of 29830 with flag 5780000/5780000
1141.80/1140.56	c cleaning 12054 clauses out of 29897 with flag 5792003/5792003
1145.10/1143.84	c cleaning 11997 clauses out of 29840 with flag 5804000/5804000
1147.91/1146.61	c cleaning 11978 clauses out of 29843 with flag 5816000/5816000
1150.91/1149.65	c cleaning 11965 clauses out of 29865 with flag 5828000/5828000
1153.81/1152.54	c cleaning 12039 clauses out of 29901 with flag 5840001/5840001
1156.41/1155.16	c cleaning 11976 clauses out of 29862 with flag 5852001/5852001
1158.71/1157.48	c cleaning 12026 clauses out of 29885 with flag 5864000/5864000
1160.92/1159.66	c cleaning 11960 clauses out of 29859 with flag 5876000/5876000
1163.22/1161.90	c cleaning 11969 clauses out of 29899 with flag 5888000/5888000
1165.42/1164.13	c cleaning 11976 clauses out of 29930 with flag 5900000/5900000
1167.72/1166.46	c cleaning 11992 clauses out of 29954 with flag 5912000/5912000
1170.43/1169.14	c cleaning 11932 clauses out of 29962 with flag 5924000/5924000
1173.43/1172.19	c cleaning 11941 clauses out of 30030 with flag 5936000/5936000
1176.04/1174.75	c cleaning 12008 clauses out of 30089 with flag 5948000/5948000
1178.83/1177.54	c cleaning 12040 clauses out of 30081 with flag 5960000/5960000
1181.54/1180.28	c cleaning 12000 clauses out of 30041 with flag 5972000/5972000
1184.24/1182.99	c cleaning 11929 clauses out of 30041 with flag 5984000/5984000
1186.94/1185.60	c cleaning 11996 clauses out of 30113 with flag 5996001/5996001
1189.35/1188.08	c cleaning 11957 clauses out of 30117 with flag 6008001/6008001
1191.94/1190.64	c cleaning 11990 clauses out of 30160 with flag 6020001/6020001
1194.54/1193.28	c cleaning 11965 clauses out of 30169 with flag 6032000/6032000
1197.64/1196.35	c cleaning 11901 clauses out of 30204 with flag 6044000/6044000
1200.65/1199.33	c cleaning 12069 clauses out of 30303 with flag 6056000/6056000
1203.85/1202.54	c cleaning 12036 clauses out of 30234 with flag 6068000/6068000
1206.65/1205.32	c cleaning 11925 clauses out of 30200 with flag 6080002/6080002
1209.25/1207.90	c cleaning 12007 clauses out of 30274 with flag 6092001/6092001
1212.25/1210.91	c cleaning 11936 clauses out of 30266 with flag 6104000/6104000
1215.26/1213.95	c cleaning 12015 clauses out of 30330 with flag 6116000/6116000
1218.46/1217.11	c cleaning 11963 clauses out of 30315 with flag 6128000/6128000
1221.56/1220.24	c cleaning 12029 clauses out of 30353 with flag 6140001/6140001
1224.47/1223.20	c cleaning 12010 clauses out of 30323 with flag 6152000/6152000
1227.56/1226.25	c cleaning 11993 clauses out of 30313 with flag 6164000/6164000
1230.27/1228.99	c cleaning 11995 clauses out of 30320 with flag 6176000/6176000
1232.97/1231.67	c cleaning 12026 clauses out of 30326 with flag 6188001/6188001
1235.67/1234.36	c cleaning 11959 clauses out of 30301 with flag 6200002/6200002
1238.27/1236.98	c cleaning 12025 clauses out of 30342 with flag 6212002/6212002
1241.27/1239.92	c cleaning 11980 clauses out of 30316 with flag 6224001/6224001
1243.88/1242.52	c cleaning 11959 clauses out of 30336 with flag 6236001/6236001
1246.68/1245.39	c cleaning 11991 clauses out of 30377 with flag 6248001/6248001
1249.79/1248.45	c cleaning 12000 clauses out of 30385 with flag 6260000/6260000
1252.59/1251.26	c cleaning 11974 clauses out of 30385 with flag 6272000/6272000
1255.69/1254.36	c cleaning 11975 clauses out of 30412 with flag 6284001/6284001
1258.90/1257.57	c cleaning 11997 clauses out of 30436 with flag 6296000/6296000
1262.01/1260.62	c cleaning 12028 clauses out of 30440 with flag 6308001/6308001
1265.31/1263.93	c cleaning 11991 clauses out of 30413 with flag 6320002/6320002
1268.41/1267.05	c cleaning 11941 clauses out of 30420 with flag 6332000/6332000
1271.61/1270.27	c cleaning 12016 clauses out of 30481 with flag 6344002/6344002
1274.21/1272.88	c cleaning 12014 clauses out of 30464 with flag 6356001/6356001
1277.42/1276.07	c cleaning 11959 clauses out of 30451 with flag 6368002/6368002
1280.52/1279.18	c cleaning 11987 clauses out of 30490 with flag 6380000/6380000
1283.72/1282.37	c cleaning 12025 clauses out of 30504 with flag 6392001/6392001
1286.62/1285.23	c cleaning 11976 clauses out of 30478 with flag 6404000/6404000
1289.82/1288.44	c cleaning 12010 clauses out of 30502 with flag 6416000/6416000
1292.73/1291.38	c cleaning 11934 clauses out of 30493 with flag 6428001/6428001
1295.83/1294.44	c cleaning 12010 clauses out of 30558 with flag 6440000/6440000
1299.03/1297.68	c cleaning 12050 clauses out of 30548 with flag 6452000/6452000
1301.23/1299.88	c cleaning 11934 clauses out of 30498 with flag 6464000/6464000
1301.44/1300.02	c starts		: 2306
1301.44/1300.02	c conflicts		: 6464740
1301.44/1300.02	c decisions		: 14498651
1301.44/1300.02	c propagations		: 980239454
1301.44/1300.02	c inspects		: 13647708286
1301.44/1300.02	c shortcuts		: 0
1301.44/1300.02	c learnt literals	: 20
1301.44/1300.02	c learnt binary clauses	: 5972
1301.44/1300.02	c learnt ternary clauses	: 41117
1301.44/1300.02	c learnt constraints	: 6464721
1301.44/1300.02	c ignored constraints	: 0
1301.44/1300.02	c root simplifications	: 2326
1301.44/1300.02	c removed literals (reason simplification)	: 227334415
1301.44/1300.02	c reason swapping (by a shorter reason)	: 0
1301.44/1300.02	c Calls to reduceDB	: 541
1301.44/1300.02	c speed (assignments/second)	: 754329.3697118474
1301.44/1300.02	c non guided choices	1279
1301.44/1300.05	c learnt constraints type 
1301.44/1300.05	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5967
1301.44/1300.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13504
1301.44/1300.05	c constraints type 
1301.44/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9182
1301.44/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2381
1301.44/1300.05	s UNKNOWN
1301.44/1300.05	c Total wall clock time (in seconds) : 1299.59

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

running on 2 cores: 4,6

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.96 2.08 3.32 3/179 9799
/proc/meminfo: memFree=21929424/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=11800 CPUtime=0 cores=4,6
/proc/9799/stat : 9799 (runsolver) R 9797 9799 9257 0 -1 4202560 46 0 0 0 0 0 0 0 23 0 1 0 458558758 12083200 55 33554432000 4194304 5434984 140735673765136 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/9799/statm: 2950 55 34 303 0 2644 0

[startup+0.0260349 s]
/proc/loadavg: 0.96 2.08 3.32 3/179 9799
/proc/meminfo: memFree=21929424/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=9100 CPUtime=0 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 236 0 0 0 0 0 0 0 23 0 1 0 458558758 9318400 171 33554432000 1073741824 1073778376 140736429977712 18446744073709551615 242970546021 0 2147483391 4096 0 18446744071699855507 0 0 17 6 0 0 0
/proc/9799/statm: 2275 171 130 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100

[startup+0.101082 s]
/proc/loadavg: 0.96 2.08 3.32 3/179 9799
/proc/meminfo: memFree=21929424/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=36924 CPUtime=0 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 1374 0 2 0 0 0 0 0 23 0 2 0 458558758 37810176 1076 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 9231 1076 836 9 0 387 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36924

[startup+0.300982 s]
/proc/loadavg: 0.96 2.08 3.32 3/179 9799
/proc/meminfo: memFree=21929424/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7569940 CPUtime=0.05 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 9344 0 5 0 4 1 0 0 23 0 18 0 458558758 7751618560 9043 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1892485 9043 1752 9 0 1883223 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569940

[startup+0.700828 s]
/proc/loadavg: 0.96 2.08 3.32 3/179 9799
/proc/meminfo: memFree=21929424/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7640780 CPUtime=0.57 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 12741 0 9 0 55 2 0 0 23 0 19 0 458558758 7824158720 11784 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1910195 11784 2216 9 0 1900933 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 7640780

[startup+1.50072 s]
/proc/loadavg: 0.96 2.08 3.32 9/260 9888
/proc/meminfo: memFree=21727768/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7640928 CPUtime=1.93 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 22271 0 9 0 188 5 0 0 23 0 19 0 458558758 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1910232 17718 2253 9 0 1900970 0
[pid=9799/tid=9802] ppid=9797 vsize=7640928 CPUtime=1.09 cores=4,6
/proc/9799/task/9802/stat : 9802 (java) R 9797 9799 9257 0 -1 4202560 9362 0 5 0 107 2 0 0 20 0 19 0 458558761 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 46912505592442 0 4 0 16800975 0 0 0 -1 6 0 0 27
[pid=9799/tid=9818] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9818/stat : 9818 (java) S 9797 9799 9257 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9819] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9819/stat : 9819 (java) S 9797 9799 9257 0 -1 4202560 307 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9821] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9821/stat : 9821 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9822] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9822/stat : 9822 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9824] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9824/stat : 9824 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9826] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9826/stat : 9826 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9828] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9828/stat : 9828 (java) S 9797 9799 9257 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9830] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9830/stat : 9830 (java) S 9797 9799 9257 0 -1 4202560 245 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9836] ppid=9797 vsize=7640928 CPUtime=0.02 cores=4,6
/proc/9799/task/9836/stat : 9836 (java) S 9797 9799 9257 0 -1 4202560 673 0 0 0 2 0 0 0 16 0 19 0 458558771 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 0 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9839] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9839/stat : 9839 (java) S 9797 9799 9257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9841] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9841/stat : 9841 (java) S 9797 9799 9257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9845] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9845/stat : 9845 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 458558774 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982373809 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9847] ppid=9797 vsize=7640928 CPUtime=0.29 cores=4,6
/proc/9799/task/9847/stat : 9847 (java) S 9797 9799 9257 0 -1 4202560 1488 0 2 0 29 0 0 0 15 0 19 0 458558774 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 2
[pid=9799/tid=9851] ppid=9797 vsize=7640928 CPUtime=0.48 cores=4,6
/proc/9799/task/9851/stat : 9851 (java) S 9797 9799 9257 0 -1 4202560 8675 0 2 0 47 1 0 0 16 0 19 0 458558774 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 1
[pid=9799/tid=9853] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9853/stat : 9853 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 458558774 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9856] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9856/stat : 9856 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 458558774 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9886] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9886/stat : 9886 (java) S 9797 9799 9257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 458558812 7824310272 17718 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 7640928

[startup+3.1015 s]
/proc/loadavg: 1.36 2.15 3.33 6/260 9888
/proc/meminfo: memFree=21693168/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7640928 CPUtime=3.54 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 22498 0 9 0 349 5 0 0 23 0 19 0 458558758 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1910232 17943 2253 9 0 1900970 0
[pid=9799/tid=9802] ppid=9797 vsize=7640928 CPUtime=2.65 cores=4,6
/proc/9799/task/9802/stat : 9802 (java) R 9797 9799 9257 0 -1 4202560 9364 0 5 0 263 2 0 0 24 0 19 0 458558761 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 46912505592524 0 4 0 16800975 0 0 0 -1 4 0 0 27
[pid=9799/tid=9818] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9818/stat : 9818 (java) S 9797 9799 9257 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9819] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9819/stat : 9819 (java) S 9797 9799 9257 0 -1 4202560 307 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9821] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9821/stat : 9821 (java) S 9797 9799 9257 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9822] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9822/stat : 9822 (java) S 9797 9799 9257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9824] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9824/stat : 9824 (java) S 9797 9799 9257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9826] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9826/stat : 9826 (java) S 9797 9799 9257 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9828] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9828/stat : 9828 (java) S 9797 9799 9257 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9830] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9830/stat : 9830 (java) S 9797 9799 9257 0 -1 4202560 245 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9836] ppid=9797 vsize=7640928 CPUtime=0.05 cores=4,6
/proc/9799/task/9836/stat : 9836 (java) S 9797 9799 9257 0 -1 4202560 809 0 0 0 5 0 0 0 16 0 19 0 458558771 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 0 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9839] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9839/stat : 9839 (java) S 9797 9799 9257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9841] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9841/stat : 9841 (java) S 9797 9799 9257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9845] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9845/stat : 9845 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 458558774 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982373809 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9847] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9847/stat : 9847 (java) S 9797 9799 9257 0 -1 4202560 1488 0 2 0 30 0 0 0 15 0 19 0 458558774 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 2
[pid=9799/tid=9851] ppid=9797 vsize=7640928 CPUtime=0.49 cores=4,6
/proc/9799/task/9851/stat : 9851 (java) S 9797 9799 9257 0 -1 4202560 8675 0 2 0 48 1 0 0 15 0 19 0 458558774 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 1
[pid=9799/tid=9853] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9853/stat : 9853 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 458558774 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9856] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9856/stat : 9856 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 458558774 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9886] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9886/stat : 9886 (java) S 9797 9799 9257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 458558812 7824310272 17943 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 7640928

[startup+6.30096 s]
/proc/loadavg: 1.36 2.15 3.33 6/260 9889
/proc/meminfo: memFree=21601380/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7640928 CPUtime=6.75 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 22847 0 9 0 670 5 0 0 23 0 19 0 458558758 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1910232 17125 2253 9 0 1900970 0
[pid=9799/tid=9802] ppid=9797 vsize=7640928 CPUtime=5.8 cores=4,6
/proc/9799/task/9802/stat : 9802 (java) R 9797 9799 9257 0 -1 4202560 9368 0 5 0 578 2 0 0 25 0 19 0 458558761 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 46912505608787 0 4 0 16800975 0 0 0 -1 4 0 0 27
[pid=9799/tid=9818] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9818/stat : 9818 (java) S 9797 9799 9257 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9819] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9819/stat : 9819 (java) S 9797 9799 9257 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9821] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9821/stat : 9821 (java) S 9797 9799 9257 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9822] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9822/stat : 9822 (java) S 9797 9799 9257 0 -1 4202560 27 0 0 0 0 0 0 0 16 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9824] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9824/stat : 9824 (java) S 9797 9799 9257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9826] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9826/stat : 9826 (java) S 9797 9799 9257 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9828] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9828/stat : 9828 (java) S 9797 9799 9257 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9830] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9830/stat : 9830 (java) S 9797 9799 9257 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 458558770 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9836] ppid=9797 vsize=7640928 CPUtime=0.09 cores=4,6
/proc/9799/task/9836/stat : 9836 (java) S 9797 9799 9257 0 -1 4202560 1059 0 0 0 9 0 0 0 16 0 19 0 458558771 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 0 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9839] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9839/stat : 9839 (java) S 9797 9799 9257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9841] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9841/stat : 9841 (java) S 9797 9799 9257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9845] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9845/stat : 9845 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 458558774 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982373809 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9847] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9847/stat : 9847 (java) S 9797 9799 9257 0 -1 4202560 1488 0 2 0 30 0 0 0 15 0 19 0 458558774 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 2
[pid=9799/tid=9851] ppid=9797 vsize=7640928 CPUtime=0.5 cores=4,6
/proc/9799/task/9851/stat : 9851 (java) S 9797 9799 9257 0 -1 4202560 8675 0 2 0 49 1 0 0 15 0 19 0 458558774 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 1
[pid=9799/tid=9853] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9853/stat : 9853 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 458558774 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9856] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9856/stat : 9856 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 458558774 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9886] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9886/stat : 9886 (java) S 9797 9799 9257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 458558812 7824310272 17125 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 7640928

[startup+12.7008 s]

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

[pid=9799/tid=9826] ppid=9797 vsize=7640928 CPUtime=0.27 cores=4,6
/proc/9799/task/9826/stat : 9826 (java) S 9797 9799 9257 0 -1 4202560 299 0 0 0 27 0 0 0 15 0 19 0 458558770 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9828] ppid=9797 vsize=7640928 CPUtime=0.27 cores=4,6
/proc/9799/task/9828/stat : 9828 (java) S 9797 9799 9257 0 -1 4202560 160 0 0 0 27 0 0 0 15 0 19 0 458558770 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9830] ppid=9797 vsize=7640928 CPUtime=0.26 cores=4,6
/proc/9799/task/9830/stat : 9830 (java) S 9797 9799 9257 0 -1 4202560 346 0 0 0 26 0 0 0 15 0 19 0 458558770 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9836] ppid=9797 vsize=7640928 CPUtime=9.07 cores=4,6
/proc/9799/task/9836/stat : 9836 (java) S 9797 9799 9257 0 -1 4202560 3227 0 0 0 904 3 0 0 15 0 19 0 458558771 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 0 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9839] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9839/stat : 9839 (java) S 9797 9799 9257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9841] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9841/stat : 9841 (java) S 9797 9799 9257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9845] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9845/stat : 9845 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 458558774 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982373809 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9847] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9847/stat : 9847 (java) S 9797 9799 9257 0 -1 4202560 1488 0 2 0 30 0 0 0 15 0 19 0 458558774 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 2
[pid=9799/tid=9851] ppid=9797 vsize=7640928 CPUtime=0.52 cores=4,6
/proc/9799/task/9851/stat : 9851 (java) S 9797 9799 9257 0 -1 4202560 8678 0 2 0 51 1 0 0 15 0 19 0 458558774 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 1
[pid=9799/tid=9853] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9853/stat : 9853 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 458558774 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9856] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9856/stat : 9856 (java) S 9797 9799 9257 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 458558774 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9886] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9886/stat : 9886 (java) S 9797 9799 9257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 458558812 7824310272 21078 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.59
Current children cumulated vsize (KiB) 7640928

[startup+1182.3 s]
/proc/loadavg: 4.12 4.00 3.80 6/260 9932
/proc/meminfo: memFree=21502496/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7640928 CPUtime=1183.64 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 27463 0 9 0 118353 11 0 0 23 0 19 0 458558758 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1910232 21110 2254 9 0 1900970 0
[pid=9799/tid=9802] ppid=9797 vsize=7640928 CPUtime=1171.01 cores=4,6
/proc/9799/task/9802/stat : 9802 (java) R 9797 9799 9257 0 -1 4202560 10574 0 5 0 117098 3 0 0 25 0 19 0 458558761 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 46912505592437 0 4 0 16800975 0 0 0 -1 4 0 0 27
[pid=9799/tid=9818] ppid=9797 vsize=7640928 CPUtime=0.26 cores=4,6
/proc/9799/task/9818/stat : 9818 (java) S 9797 9799 9257 0 -1 4202560 520 0 0 0 26 0 0 0 15 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9819] ppid=9797 vsize=7640928 CPUtime=0.28 cores=4,6
/proc/9799/task/9819/stat : 9819 (java) S 9797 9799 9257 0 -1 4202560 480 0 0 0 28 0 0 0 15 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9821] ppid=9797 vsize=7640928 CPUtime=0.26 cores=4,6
/proc/9799/task/9821/stat : 9821 (java) S 9797 9799 9257 0 -1 4202560 204 0 0 0 26 0 0 0 15 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9822] ppid=9797 vsize=7640928 CPUtime=0.28 cores=4,6
/proc/9799/task/9822/stat : 9822 (java) S 9797 9799 9257 0 -1 4202560 157 0 0 0 28 0 0 0 15 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9824] ppid=9797 vsize=7640928 CPUtime=0.25 cores=4,6
/proc/9799/task/9824/stat : 9824 (java) S 9797 9799 9257 0 -1 4202560 75 0 0 0 25 0 0 0 15 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9826] ppid=9797 vsize=7640928 CPUtime=0.28 cores=4,6
/proc/9799/task/9826/stat : 9826 (java) S 9797 9799 9257 0 -1 4202560 299 0 0 0 28 0 0 0 15 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9828] ppid=9797 vsize=7640928 CPUtime=0.29 cores=4,6
/proc/9799/task/9828/stat : 9828 (java) S 9797 9799 9257 0 -1 4202560 160 0 0 0 29 0 0 0 16 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9830] ppid=9797 vsize=7640928 CPUtime=0.27 cores=4,6
/proc/9799/task/9830/stat : 9830 (java) S 9797 9799 9257 0 -1 4202560 347 0 0 0 27 0 0 0 16 0 19 0 458558770 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9836] ppid=9797 vsize=7640928 CPUtime=9.55 cores=4,6
/proc/9799/task/9836/stat : 9836 (java) S 9797 9799 9257 0 -1 4202560 3262 0 0 0 951 4 0 0 15 0 19 0 458558771 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 0 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9839] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9839/stat : 9839 (java) S 9797 9799 9257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9841] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9841/stat : 9841 (java) S 9797 9799 9257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9845] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9845/stat : 9845 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 458558774 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982373809 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9847] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9847/stat : 9847 (java) S 9797 9799 9257 0 -1 4202560 1488 0 2 0 30 0 0 0 15 0 19 0 458558774 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 2
[pid=9799/tid=9851] ppid=9797 vsize=7640928 CPUtime=0.52 cores=4,6
/proc/9799/task/9851/stat : 9851 (java) S 9797 9799 9257 0 -1 4202560 8678 0 2 0 51 1 0 0 15 0 19 0 458558774 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 1
[pid=9799/tid=9853] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9853/stat : 9853 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 458558774 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9856] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9856/stat : 9856 (java) S 9797 9799 9257 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 458558774 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9886] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9886/stat : 9886 (java) S 9797 9799 9257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 458558812 7824310272 21110 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.64
Current children cumulated vsize (KiB) 7640928

[startup+1242.3 s]
/proc/loadavg: 4.17 4.03 3.83 5/260 9934
/proc/meminfo: memFree=21499836/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7640928 CPUtime=1243.68 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 27553 0 9 0 124357 11 0 0 23 0 19 0 458558758 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1910232 21171 2254 9 0 1900970 0
[pid=9799/tid=9802] ppid=9797 vsize=7640928 CPUtime=1230.48 cores=4,6
/proc/9799/task/9802/stat : 9802 (java) R 9797 9799 9257 0 -1 4202560 10595 0 5 0 123045 3 0 0 25 0 19 0 458558761 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 46912505558248 0 4 0 16800975 0 0 0 -1 4 0 0 27
[pid=9799/tid=9818] ppid=9797 vsize=7640928 CPUtime=0.27 cores=4,6
/proc/9799/task/9818/stat : 9818 (java) S 9797 9799 9257 0 -1 4202560 520 0 0 0 27 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9819] ppid=9797 vsize=7640928 CPUtime=0.29 cores=4,6
/proc/9799/task/9819/stat : 9819 (java) S 9797 9799 9257 0 -1 4202560 480 0 0 0 29 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9821] ppid=9797 vsize=7640928 CPUtime=0.27 cores=4,6
/proc/9799/task/9821/stat : 9821 (java) S 9797 9799 9257 0 -1 4202560 204 0 0 0 27 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9822] ppid=9797 vsize=7640928 CPUtime=0.29 cores=4,6
/proc/9799/task/9822/stat : 9822 (java) S 9797 9799 9257 0 -1 4202560 161 0 0 0 29 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9824] ppid=9797 vsize=7640928 CPUtime=0.27 cores=4,6
/proc/9799/task/9824/stat : 9824 (java) S 9797 9799 9257 0 -1 4202560 75 0 0 0 27 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9826] ppid=9797 vsize=7640928 CPUtime=0.29 cores=4,6
/proc/9799/task/9826/stat : 9826 (java) S 9797 9799 9257 0 -1 4202560 299 0 0 0 29 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9828] ppid=9797 vsize=7640928 CPUtime=0.31 cores=4,6
/proc/9799/task/9828/stat : 9828 (java) S 9797 9799 9257 0 -1 4202560 161 0 0 0 31 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9830] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9830/stat : 9830 (java) S 9797 9799 9257 0 -1 4202560 349 0 0 0 30 0 0 0 15 0 19 0 458558770 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9836] ppid=9797 vsize=7640928 CPUtime=10.01 cores=4,6
/proc/9799/task/9836/stat : 9836 (java) S 9797 9799 9257 0 -1 4202560 3320 0 0 0 997 4 0 0 15 0 19 0 458558771 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 0 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9839] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9839/stat : 9839 (java) S 9797 9799 9257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9841] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9841/stat : 9841 (java) S 9797 9799 9257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9845] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9845/stat : 9845 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 458558774 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982373809 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9847] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9847/stat : 9847 (java) S 9797 9799 9257 0 -1 4202560 1488 0 2 0 30 0 0 0 15 0 19 0 458558774 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 2
[pid=9799/tid=9851] ppid=9797 vsize=7640928 CPUtime=0.52 cores=4,6
/proc/9799/task/9851/stat : 9851 (java) S 9797 9799 9257 0 -1 4202560 8678 0 2 0 51 1 0 0 15 0 19 0 458558774 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 1
[pid=9799/tid=9853] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9853/stat : 9853 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 458558774 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9856] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9856/stat : 9856 (java) S 9797 9799 9257 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 458558774 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9886] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9886/stat : 9886 (java) S 9797 9799 9257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 458558812 7824310272 21171 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.68
Current children cumulated vsize (KiB) 7640928



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.16 4.06 3.85 5/262 9937
/proc/meminfo: memFree=21498912/32951132 swapFree=67111524/67111528
[pid=9799] ppid=9797 vsize=7640928 CPUtime=1301.44 cores=4,6
/proc/9799/stat : 9799 (java) S 9797 9799 9257 0 -1 4202496 27673 0 9 0 130132 12 0 0 23 0 19 0 458558758 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/9799/statm: 1910232 21263 2254 9 0 1900970 0
[pid=9799/tid=9802] ppid=9797 vsize=7640928 CPUtime=1287.68 cores=4,6
/proc/9799/task/9802/stat : 9802 (java) R 9797 9799 9257 0 -1 4202560 10615 0 5 0 128765 3 0 0 25 0 19 0 458558761 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 4 0 0 27
[pid=9799/tid=9818] ppid=9797 vsize=7640928 CPUtime=0.28 cores=4,6
/proc/9799/task/9818/stat : 9818 (java) S 9797 9799 9257 0 -1 4202560 520 0 0 0 28 0 0 0 15 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9819] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9819/stat : 9819 (java) S 9797 9799 9257 0 -1 4202560 481 0 0 0 30 0 0 0 15 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9821] ppid=9797 vsize=7640928 CPUtime=0.29 cores=4,6
/proc/9799/task/9821/stat : 9821 (java) S 9797 9799 9257 0 -1 4202560 204 0 0 0 29 0 0 0 15 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9822] ppid=9797 vsize=7640928 CPUtime=0.31 cores=4,6
/proc/9799/task/9822/stat : 9822 (java) S 9797 9799 9257 0 -1 4202560 161 0 0 0 31 0 0 0 15 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9824] ppid=9797 vsize=7640928 CPUtime=0.29 cores=4,6
/proc/9799/task/9824/stat : 9824 (java) S 9797 9799 9257 0 -1 4202560 76 0 0 0 29 0 0 0 15 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9826] ppid=9797 vsize=7640928 CPUtime=0.31 cores=4,6
/proc/9799/task/9826/stat : 9826 (java) S 9797 9799 9257 0 -1 4202560 299 0 0 0 31 0 0 0 15 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9828] ppid=9797 vsize=7640928 CPUtime=0.32 cores=4,6
/proc/9799/task/9828/stat : 9828 (java) S 9797 9799 9257 0 -1 4202560 167 0 0 0 32 0 0 0 16 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9830] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9830/stat : 9830 (java) S 9797 9799 9257 0 -1 4202560 350 0 0 0 30 0 0 0 15 0 19 0 458558770 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9836] ppid=9797 vsize=7640928 CPUtime=10.46 cores=4,6
/proc/9799/task/9836/stat : 9836 (java) S 9797 9799 9257 0 -1 4202560 3407 0 0 0 1042 4 0 0 16 0 19 0 458558771 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 0 0 16800975 18446604445533562112 0 0 -1 4 0 0 0
[pid=9799/tid=9839] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9839/stat : 9839 (java) S 9797 9799 9257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9841] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9841/stat : 9841 (java) S 9797 9799 9257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 458558771 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9845] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9845/stat : 9845 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 458558774 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982373809 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9847] ppid=9797 vsize=7640928 CPUtime=0.3 cores=4,6
/proc/9799/task/9847/stat : 9847 (java) S 9797 9799 9257 0 -1 4202560 1488 0 2 0 30 0 0 0 15 0 19 0 458558774 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 4 0 0 2
[pid=9799/tid=9851] ppid=9797 vsize=7640928 CPUtime=0.52 cores=4,6
/proc/9799/task/9851/stat : 9851 (java) S 9797 9799 9257 0 -1 4202560 8678 0 2 0 51 1 0 0 15 0 19 0 458558774 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 1
[pid=9799/tid=9853] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9853/stat : 9853 (java) S 9797 9799 9257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 458558774 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366105 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9856] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9856/stat : 9856 (java) S 9797 9799 9257 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 458558774 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
[pid=9799/tid=9886] ppid=9797 vsize=7640928 CPUtime=0 cores=4,6
/proc/9799/task/9886/stat : 9886 (java) S 9797 9799 9257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 458558812 7824310272 21263 33554432000 1073741824 1073778376 140733738264448 18446744073709551615 242982366720 0 4 0 16800975 18446604445533562112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.44
Current children cumulated vsize (KiB) 7640928

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.06
CPU time (s): 1301.52
CPU user time (s): 1301.4
CPU system time (s): 0.12698
CPU usage (%): 100.113
Max. virtual memory (cumulated for all children) (KiB): 7641096

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

runsolver used 2.28565 second user time and 4.86526 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-22 12:53:21
IDJOB=3257288
IDBENCH=70907
IDSOLVER=1611
FILE ID=node128/3257288-1303469601
RUNJOBID= node128-1303469601-9774
PBS_JOBID= 13107180
Free space on /tmp= 66580 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.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-3257288-1303469601/watcher-3257288-1303469601 -o /tmp/evaluation-result-3257288-1303469601/solver-3257288-1303469601 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3257288-1303469601.cnf

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

MD5SUM BENCH= c848a5766cfcc1d1c3f26c7818e48eb2
RANDOM SEED=1330582162

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      21929704 kB
Buffers:        811484 kB
Cached:        9578024 kB
SwapCached:          4 kB
Active:        1338424 kB
Inactive:      9119880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      21929704 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2072 kB
Writeback:           0 kB
AnonPages:       67776 kB
Mapped:          15172 kB
Slab:           499876 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   216560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66572 MiB
End job on node128 at 2011-04-22 13:15:03