Trace number 3710488

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 PB specific settings 2.3.2 snapshotSAT (TO) 1800.1 1790.95

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_9_mh.opb
MD5SUMdceb2101253472cec95359fbc82f66a4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6925310
Best CPU time to get the best result obtained on this benchmark41.2897
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 105154048
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4901449287
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 105154048
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4901449287
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.14	c --- Begin Solver configuration ---
0.08/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.14	c Learn all clauses as in MiniSAT
0.08/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.14	c Expensive reason simplification
0.08/0.14	c Armin Biere (Picosat) restarts strategy
0.08/0.14	c Glucose learned constraints deletion strategy
0.08/0.14	c timeout=2147483s
0.08/0.14	c DB Simplification allowed=true
0.08/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.14	c --- End Solver configuration ---
0.08/0.14	c solving HOME/instance-3710488-1338252963.opb
0.08/0.14	c reading problem ... 
0.66/0.44	c ... done. Wall clock time 0.306s.
0.66/0.44	c declared #vars     6810
0.66/0.44	c #constraints  15626
0.66/0.44	c constraints type 
0.66/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
0.66/0.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.66/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.66/0.44	c ignored satisfied constraints => 3
0.66/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
0.66/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.66/0.44	c 15629 constraints processed.
2.91/2.11	c cleaning 2489 clauses out of 5002 with flag 5002/5002
4.29/3.43	c cleaning 4250 clauses out of 8511 with flag 11000/11000
5.60/4.78	c cleaning 5629 clauses out of 11261 with flag 18000/18000
7.31/6.48	c cleaning 6810 clauses out of 13632 with flag 26000/26000
8.16/7.23	c SATISFIABLE
8.16/7.23	c OPTIMIZING...
8.16/7.23	c Got one! Elapsed wall clock time (in seconds):7.095
8.16/7.23	o 530308195
8.73/7.79	c cleaning 6014 clauses out of 12037 with flag 3000/31215
10.13/9.17	c cleaning 5999 clauses out of 12023 with flag 9000/37215
11.24/10.23	c Got one! Elapsed wall clock time (in seconds):10.091
11.24/10.23	o 236491463
12.38/11.36	c cleaning 8945 clauses out of 17902 with flag 5001/49093
13.29/12.28	c cleaning 7470 clauses out of 14956 with flag 11000/55092
14.49/13.43	c cleaning 7233 clauses out of 14490 with flag 18004/62096
15.79/14.72	c cleaning 7617 clauses out of 15254 with flag 26001/70093
17.09/16.07	c cleaning 8306 clauses out of 16636 with flag 35000/79092
18.70/17.66	c cleaning 9157 clauses out of 18332 with flag 45002/89094
20.39/19.36	c cleaning 10087 clauses out of 20177 with flag 56004/100096
22.10/21.09	c cleaning 11033 clauses out of 22086 with flag 68000/112092
24.40/23.39	c cleaning 12022 clauses out of 24053 with flag 81000/125092
26.31/25.23	c cleaning 13011 clauses out of 26034 with flag 95003/139095
27.32/26.30	c Got one! Elapsed wall clock time (in seconds):26.167
27.32/26.30	o 229771813
27.68/26.53	c cleaning 9307 clauses out of 18613 with flag 1000/144685
28.48/27.39	c cleaning 7649 clauses out of 15311 with flag 7005/150690
29.88/28.73	c cleaning 7323 clauses out of 14666 with flag 14009/157694
31.19/30.04	c cleaning 7646 clauses out of 15334 with flag 22000/165685
32.81/31.64	c cleaning 8342 clauses out of 16690 with flag 31002/174687
34.31/33.18	c cleaning 9167 clauses out of 18348 with flag 41002/184687
35.73/34.53	c cleaning 10076 clauses out of 20179 with flag 52000/195685
37.74/36.52	c cleaning 11052 clauses out of 22106 with flag 64003/207688
39.75/38.52	c cleaning 12017 clauses out of 24055 with flag 77004/220689
41.96/40.77	c cleaning 13008 clauses out of 26036 with flag 91002/234687
44.56/43.30	c cleaning 13998 clauses out of 28026 with flag 106000/249685
47.06/45.80	c cleaning 15015 clauses out of 30038 with flag 122010/265695
50.08/48.87	c cleaning 16007 clauses out of 32013 with flag 139000/282685
52.78/51.55	c cleaning 16994 clauses out of 34006 with flag 157000/300685
55.20/53.96	c cleaning 18001 clauses out of 36016 with flag 176004/319689
57.99/56.75	c cleaning 18996 clauses out of 38012 with flag 196001/339686
60.50/59.23	c cleaning 19997 clauses out of 40015 with flag 217000/360685
64.12/62.88	c cleaning 20999 clauses out of 42019 with flag 239001/382686
67.84/66.59	c cleaning 22005 clauses out of 44019 with flag 262000/405685
72.26/70.90	c cleaning 23004 clauses out of 46016 with flag 286002/429687
75.77/74.42	c cleaning 23986 clauses out of 48010 with flag 311000/454685
78.67/77.34	c cleaning 25005 clauses out of 50024 with flag 337000/480685
83.09/81.80	c cleaning 26008 clauses out of 52019 with flag 364000/507685
86.72/85.33	c cleaning 26992 clauses out of 54013 with flag 392002/535687
89.84/88.41	c cleaning 27992 clauses out of 56019 with flag 421000/564685
93.44/92.02	c cleaning 29002 clauses out of 58028 with flag 451001/594686
98.06/96.63	c cleaning 30003 clauses out of 60025 with flag 482000/625685
103.06/101.60	c cleaning 31000 clauses out of 62022 with flag 514000/657685
107.37/105.97	c Got one! Elapsed wall clock time (in seconds):105.831
107.37/105.97	o 154116171
108.51/107.07	c cleaning 31738 clauses out of 63508 with flag 5000/690171
109.53/108.06	c cleaning 18876 clauses out of 37770 with flag 11000/696171
111.05/109.54	c cleaning 12931 clauses out of 25894 with flag 18000/703171
112.27/110.73	c cleaning 10452 clauses out of 20967 with flag 26004/711175
113.68/112.20	c cleaning 9734 clauses out of 19512 with flag 35001/720172
115.49/113.92	c cleaning 9867 clauses out of 19777 with flag 45000/730171
116.89/115.35	c cleaning 10444 clauses out of 20912 with flag 56002/741173
118.50/116.98	c cleaning 11220 clauses out of 22466 with flag 68000/753171
120.34/118.78	c cleaning 12110 clauses out of 24247 with flag 81001/766172
122.05/120.45	c cleaning 13056 clauses out of 26137 with flag 95001/780172
124.89/123.28	c cleaning 14028 clauses out of 28071 with flag 110003/795174
126.40/124.79	c Got one! Elapsed wall clock time (in seconds):124.651
126.40/124.79	o 150909397
127.22/125.53	c cleaning 14171 clauses out of 28364 with flag 5000/809495
128.04/126.33	c cleaning 10072 clauses out of 20193 with flag 11000/815495
128.95/127.25	c cleaning 8543 clauses out of 17108 with flag 18000/822495
129.75/128.09	c cleaning 8271 clauses out of 16567 with flag 26002/830497
130.77/129.05	c cleaning 8641 clauses out of 17296 with flag 35002/839497
131.87/130.11	c cleaning 9313 clauses out of 18654 with flag 45001/849496
133.07/131.30	c cleaning 10160 clauses out of 20340 with flag 56000/860495
134.37/132.69	c cleaning 11082 clauses out of 22180 with flag 68000/872495
135.90/134.15	c cleaning 12044 clauses out of 24098 with flag 81000/885495
137.59/135.82	c cleaning 13020 clauses out of 26056 with flag 95002/899497
139.39/137.69	c cleaning 14006 clauses out of 28038 with flag 110004/914499
141.80/140.04	c cleaning 14994 clauses out of 30015 with flag 126001/930496
144.23/142.47	c cleaning 15999 clauses out of 32014 with flag 143000/947495
148.04/146.22	c cleaning 16997 clauses out of 34017 with flag 161002/965497
151.14/149.38	c cleaning 17998 clauses out of 36018 with flag 180000/984495
153.57/151.73	c cleaning 18989 clauses out of 38021 with flag 200001/1004496
158.86/157.07	c cleaning 20002 clauses out of 40032 with flag 221001/1025496
163.50/161.68	c cleaning 20999 clauses out of 42032 with flag 243003/1047498
167.31/165.41	c cleaning 22009 clauses out of 44033 with flag 266003/1070498
170.14/168.23	c cleaning 23007 clauses out of 46021 with flag 290000/1094495
173.26/171.32	c cleaning 23998 clauses out of 48015 with flag 315001/1119496
176.96/175.03	c cleaning 24999 clauses out of 50016 with flag 341000/1145495
180.66/178.75	c cleaning 25982 clauses out of 52017 with flag 368000/1172495
184.57/182.62	c cleaning 27006 clauses out of 54035 with flag 396000/1200495
188.68/186.77	c cleaning 28013 clauses out of 56033 with flag 425004/1229499
193.10/191.18	c cleaning 28999 clauses out of 58016 with flag 455000/1259495
197.20/195.27	c cleaning 29996 clauses out of 60018 with flag 486001/1290496
201.81/199.85	c cleaning 31008 clauses out of 62022 with flag 518001/1322496
207.64/205.65	c cleaning 32000 clauses out of 64015 with flag 551002/1355497
212.96/210.93	c cleaning 32988 clauses out of 66013 with flag 585000/1389495
219.49/217.45	c cleaning 33999 clauses out of 68026 with flag 620001/1424496
226.83/224.79	c cleaning 35005 clauses out of 70026 with flag 656000/1460495
232.65/230.50	c cleaning 36005 clauses out of 72021 with flag 693000/1497495
238.09/235.98	c cleaning 37003 clauses out of 74016 with flag 731000/1535495
243.50/241.37	c cleaning 37990 clauses out of 76013 with flag 770000/1574495
250.50/248.32	c cleaning 38986 clauses out of 78023 with flag 810000/1614495
257.32/255.18	c cleaning 40005 clauses out of 80037 with flag 851000/1655495
263.64/261.46	c cleaning 41003 clauses out of 82033 with flag 893001/1697496
270.06/267.85	c cleaning 42003 clauses out of 84029 with flag 936000/1740495
277.88/275.61	c cleaning 43005 clauses out of 86027 with flag 980001/1784496
279.52/277.28	c Got one! Elapsed wall clock time (in seconds):277.145
279.52/277.28	o 124287370
280.11/277.82	c cleaning 28053 clauses out of 56132 with flag 5002/1797606
280.72/278.46	c cleaning 17014 clauses out of 34077 with flag 11000/1803604
281.84/279.54	c cleaning 12012 clauses out of 24063 with flag 18000/1810604
282.95/280.64	c cleaning 9996 clauses out of 20025 with flag 26000/1818604
284.05/281.75	c cleaning 9503 clauses out of 19022 with flag 35005/1827609
285.36/283.07	c cleaning 9731 clauses out of 19514 with flag 45000/1837604
286.78/284.40	c cleaning 10369 clauses out of 20784 with flag 56001/1848605
288.18/285.84	c Got one! Elapsed wall clock time (in seconds):285.7
288.18/285.84	o 109393387
288.78/286.44	c cleaning 12945 clauses out of 25902 with flag 5001/1864092
289.60/287.28	c cleaning 9467 clauses out of 18957 with flag 11001/1870092
290.71/288.36	c cleaning 8224 clauses out of 16492 with flag 18003/1877094
291.92/289.56	c cleaning 8100 clauses out of 16265 with flag 26000/1885091
293.94/291.56	c cleaning 8563 clauses out of 17165 with flag 35000/1894091
294.85/292.43	c Got one! Elapsed wall clock time (in seconds):292.293
294.85/292.43	o 95374997
294.95/292.59	c cleaning 7000 clauses out of 14053 with flag 1003/1899542
295.65/293.25	c cleaning 6501 clauses out of 13052 with flag 7002/1905541
296.45/294.00	c cleaning 6766 clauses out of 13552 with flag 14003/1912542
297.17/294.76	c cleaning 7379 clauses out of 14783 with flag 22000/1920539
298.17/295.70	c cleaning 8186 clauses out of 16404 with flag 31000/1929539
299.19/296.71	c cleaning 9100 clauses out of 18218 with flag 41000/1939539
300.31/297.87	c cleaning 10059 clauses out of 20122 with flag 52004/1950543
301.73/299.23	c cleaning 11022 clauses out of 22061 with flag 64002/1962541
303.22/300.75	c cleaning 12009 clauses out of 24039 with flag 77002/1975541
304.93/302.43	c cleaning 12997 clauses out of 26028 with flag 91000/1989539
306.73/304.28	c cleaning 14009 clauses out of 28032 with flag 106001/2004540
308.74/306.26	c cleaning 15007 clauses out of 30023 with flag 122001/2020540
310.75/308.29	c cleaning 15999 clauses out of 32016 with flag 139001/2037540
313.25/310.74	c cleaning 16991 clauses out of 33990 with flag 157001/2055540
315.47/312.98	c cleaning 17977 clauses out of 35965 with flag 176002/2074541
318.38/315.82	c cleaning 18986 clauses out of 37987 with flag 196001/2094540
321.51/318.91	c cleaning 19986 clauses out of 40002 with flag 217002/2115541
325.72/323.13	c cleaning 20995 clauses out of 42016 with flag 239002/2137541
328.04/325.49	c cleaning 21997 clauses out of 44020 with flag 262001/2160540
331.56/328.97	c cleaning 22998 clauses out of 46022 with flag 286000/2184539
336.06/333.40	c Got one! Elapsed wall clock time (in seconds):333.266
336.06/333.40	o 85759438
336.56/333.98	c cleaning 24839 clauses out of 49700 with flag 5002/2211215
337.29/334.60	c cleaning 15420 clauses out of 30860 with flag 11001/2217214
337.99/335.37	c cleaning 11197 clauses out of 22441 with flag 18002/2224215
338.91/336.23	c cleaning 9602 clauses out of 19243 with flag 26001/2232214
339.81/337.19	c cleaning 9299 clauses out of 18640 with flag 35000/2241213
341.22/338.53	c cleaning 9657 clauses out of 19341 with flag 45000/2251213
342.63/339.98	c cleaning 10336 clauses out of 20688 with flag 56004/2262217
344.53/341.83	c cleaning 11160 clauses out of 22348 with flag 68000/2274213
346.43/343.70	c cleaning 12079 clauses out of 24188 with flag 81000/2287213
348.45/345.75	c cleaning 13044 clauses out of 26109 with flag 95000/2301213
350.45/347.71	c Got one! Elapsed wall clock time (in seconds):347.577
350.45/347.71	o 49039813
351.15/348.44	c cleaning 14632 clauses out of 29274 with flag 5000/2317500
351.79/349.08	c cleaning 10290 clauses out of 20642 with flag 11000/2323500
352.50/349.80	c cleaning 8652 clauses out of 17353 with flag 18001/2330501
353.40/350.61	c cleaning 8324 clauses out of 16700 with flag 26000/2338500
354.52/351.76	c cleaning 8680 clauses out of 17377 with flag 35001/2347501
355.71/352.95	c cleaning 9339 clauses out of 18696 with flag 45000/2357500
356.92/354.18	c cleaning 10163 clauses out of 20358 with flag 56001/2368501
358.32/355.55	c cleaning 11087 clauses out of 22194 with flag 68000/2380500
359.82/357.03	c cleaning 12038 clauses out of 24108 with flag 81001/2393501
361.43/358.65	c cleaning 13013 clauses out of 26069 with flag 95000/2407500
362.92/360.16	c cleaning 13980 clauses out of 27981 with flag 110002/2422502
364.63/361.80	c cleaning 14990 clauses out of 30001 with flag 126002/2438502
366.33/363.59	c cleaning 15989 clauses out of 32010 with flag 143001/2455501
368.24/365.48	c cleaning 16995 clauses out of 34021 with flag 161001/2473501
370.44/367.60	c cleaning 18003 clauses out of 36026 with flag 180001/2492501
372.96/370.13	c cleaning 19005 clauses out of 38022 with flag 200000/2512500
375.49/372.67	c cleaning 19990 clauses out of 40018 with flag 221001/2533501
378.50/375.64	c cleaning 21003 clauses out of 42027 with flag 243000/2555500
381.70/378.82	c cleaning 21947 clauses out of 43932 with flag 266000/2578500
384.52/381.66	c cleaning 22980 clauses out of 45985 with flag 290000/2602500
387.32/384.48	c cleaning 23987 clauses out of 48006 with flag 315001/2627501
390.34/387.41	c cleaning 24993 clauses out of 50020 with flag 341002/2653502
393.74/390.80	c cleaning 25987 clauses out of 52025 with flag 368000/2680500
397.16/394.28	c cleaning 27006 clauses out of 54040 with flag 396002/2708502
400.86/397.95	c cleaning 28000 clauses out of 56033 with flag 425001/2737501
404.87/401.91	c cleaning 28992 clauses out of 58032 with flag 455000/2767500
408.78/405.85	c cleaning 29995 clauses out of 60015 with flag 486000/2798500
413.78/410.84	c cleaning 30999 clauses out of 62021 with flag 518001/2830501
417.01/414.03	c Got one! Elapsed wall clock time (in seconds):413.894
417.01/414.03	o 44579940
417.51/414.60	c cleaning 28331 clauses out of 56679 with flag 5000/2856158
418.31/415.30	c cleaning 17168 clauses out of 34349 with flag 11001/2862159
419.02/416.09	c cleaning 12073 clauses out of 24180 with flag 18000/2869158
420.12/417.14	c cleaning 10028 clauses out of 20107 with flag 26000/2877158
421.12/418.17	c cleaning 9503 clauses out of 19068 with flag 35003/2886161
421.82/418.87	c Got one! Elapsed wall clock time (in seconds):418.735
421.82/418.87	o 31589633
422.62/419.61	c cleaning 10298 clauses out of 20628 with flag 5000/2897242
423.43/420.42	c cleaning 8114 clauses out of 16330 with flag 11000/2903242
424.34/421.38	c cleaning 7582 clauses out of 15216 with flag 18000/2910242
425.35/422.32	c cleaning 7784 clauses out of 15634 with flag 26000/2918242
426.64/423.69	c cleaning 8405 clauses out of 16850 with flag 35000/2927242
428.26/425.24	c cleaning 9208 clauses out of 18445 with flag 45000/2937242
429.96/426.99	c cleaning 10109 clauses out of 20239 with flag 56002/2948244
432.08/429.02	c cleaning 11047 clauses out of 22129 with flag 68001/2960243
434.28/431.23	c cleaning 12033 clauses out of 24085 with flag 81004/2973246
436.69/433.69	c cleaning 13002 clauses out of 26048 with flag 95000/2987242
439.40/436.34	c cleaning 14014 clauses out of 28047 with flag 110001/3002243
441.91/438.88	c cleaning 15014 clauses out of 30037 with flag 126005/3018247
444.91/441.85	c cleaning 15995 clauses out of 32020 with flag 143002/3035244
448.21/445.17	c cleaning 16994 clauses out of 34023 with flag 161000/3053242
451.82/448.79	c cleaning 17997 clauses out of 36030 with flag 180001/3072243
454.72/451.64	c cleaning 19006 clauses out of 38020 with flag 200001/3092243
457.14/454.03	c cleaning 19999 clauses out of 40013 with flag 221000/3113242
459.84/456.77	c cleaning 20991 clauses out of 42014 with flag 243000/3135242
462.66/459.55	c cleaning 22002 clauses out of 44025 with flag 266002/3158244
465.27/462.14	c cleaning 23000 clauses out of 46021 with flag 290000/3182242
468.27/465.20	c cleaning 24004 clauses out of 48022 with flag 315001/3207243
471.48/468.30	c cleaning 25000 clauses out of 50021 with flag 341004/3233246
474.69/471.57	c cleaning 25991 clauses out of 52017 with flag 368000/3260242
478.09/474.94	c cleaning 26995 clauses out of 54026 with flag 396000/3288242
481.71/478.56	c cleaning 28006 clauses out of 56031 with flag 425000/3317242
485.72/482.53	c cleaning 28991 clauses out of 58025 with flag 455000/3347242
489.92/486.71	c cleaning 30006 clauses out of 60037 with flag 486003/3378245
494.05/490.89	c cleaning 30998 clauses out of 62028 with flag 518000/3410242
498.56/495.30	c Got one! Elapsed wall clock time (in seconds):495.161
498.56/495.30	o 27593251
499.56/496.36	c cleaning 33522 clauses out of 67068 with flag 5001/3446547
500.58/497.39	c cleaning 19767 clauses out of 39548 with flag 11003/3452549
501.49/498.25	c cleaning 13373 clauses out of 26780 with flag 18002/3459548
502.69/499.47	c cleaning 10686 clauses out of 21405 with flag 26000/3467546
503.80/500.51	c cleaning 9832 clauses out of 19719 with flag 35000/3476546
505.31/502.05	c cleaning 9926 clauses out of 19887 with flag 45000/3486546
507.21/503.91	c cleaning 10475 clauses out of 20963 with flag 56002/3497548
508.92/505.64	c cleaning 11233 clauses out of 22486 with flag 68000/3509546
511.32/508.04	c cleaning 12115 clauses out of 24249 with flag 81000/3522546
513.94/510.66	c cleaning 13054 clauses out of 26135 with flag 95001/3536547
516.84/513.57	c cleaning 14033 clauses out of 28082 with flag 110002/3551548
519.16/515.80	c cleaning 15015 clauses out of 30047 with flag 126000/3567546
520.86/517.59	c cleaning 16004 clauses out of 32032 with flag 143000/3584546
522.98/519.62	c cleaning 17009 clauses out of 34033 with flag 161005/3602551
525.78/522.44	c cleaning 17987 clauses out of 36019 with flag 180000/3621546
528.50/525.13	c cleaning 19006 clauses out of 38032 with flag 200000/3641546
531.41/528.08	c cleaning 19995 clauses out of 40027 with flag 221001/3662547
534.82/531.42	c cleaning 20995 clauses out of 42031 with flag 243000/3684546
537.82/534.48	c cleaning 22002 clauses out of 44039 with flag 266003/3707549
540.74/537.33	c cleaning 23009 clauses out of 46034 with flag 290000/3731546
544.74/541.33	c cleaning 24001 clauses out of 48025 with flag 315000/3756546
548.47/545.03	c cleaning 25000 clauses out of 50025 with flag 341001/3782547
552.59/549.17	c cleaning 25997 clauses out of 52026 with flag 368002/3809548
557.10/553.66	c cleaning 27002 clauses out of 54028 with flag 396001/3837547
561.63/558.14	c cleaning 27998 clauses out of 56025 with flag 425000/3866546
565.85/562.31	c cleaning 28997 clauses out of 58027 with flag 455000/3896546
569.47/565.95	c cleaning 29998 clauses out of 60030 with flag 486000/3927546
573.40/569.85	c cleaning 31002 clauses out of 62033 with flag 518001/3959547
577.51/573.97	c cleaning 32012 clauses out of 64034 with flag 551004/3992550
582.03/578.47	c cleaning 32993 clauses out of 66018 with flag 585000/4026546
586.86/583.26	c cleaning 33994 clauses out of 68025 with flag 620000/4061546
591.68/588.00	c cleaning 35003 clauses out of 70031 with flag 656000/4097546
596.79/593.18	c cleaning 36002 clauses out of 72029 with flag 693001/4134547
602.32/598.63	c cleaning 37003 clauses out of 74028 with flag 731002/4172548
607.65/603.93	c cleaning 38006 clauses out of 76023 with flag 770000/4211546
613.06/609.37	c cleaning 39002 clauses out of 78017 with flag 810000/4251546
619.58/615.88	c cleaning 40001 clauses out of 80016 with flag 851001/4292547
624.20/620.43	c Got one! Elapsed wall clock time (in seconds):620.296
624.20/620.43	o 26059120
624.80/621.01	c cleaning 37182 clauses out of 74394 with flag 5002/4326926
625.42/621.69	c cleaning 21583 clauses out of 43210 with flag 11000/4332924
626.23/622.48	c cleaning 14279 clauses out of 28628 with flag 18001/4339925
627.23/623.42	c cleaning 11135 clauses out of 22348 with flag 26000/4347924
628.37/624.57	c cleaning 10080 clauses out of 20215 with flag 35002/4356926
629.57/625.76	c cleaning 10042 clauses out of 20136 with flag 45003/4366927
630.78/627.00	c cleaning 10530 clauses out of 21092 with flag 56001/4377925
632.27/628.43	c cleaning 11262 clauses out of 22562 with flag 68001/4389925
633.58/629.79	c cleaning 12134 clauses out of 24299 with flag 81000/4402924
635.38/631.50	c cleaning 13072 clauses out of 26165 with flag 95000/4416924
637.28/633.48	c cleaning 14032 clauses out of 28071 with flag 110000/4431924
639.69/635.87	c cleaning 15014 clauses out of 30040 with flag 126001/4447925
642.19/638.38	c cleaning 16001 clauses out of 32025 with flag 143000/4464924
644.89/641.05	c cleaning 16999 clauses out of 34024 with flag 161000/4482924
647.81/643.92	c cleaning 18002 clauses out of 36025 with flag 180000/4501924
651.03/647.18	c cleaning 18979 clauses out of 38023 with flag 200000/4521924
654.59/650.67	c cleaning 20007 clauses out of 40047 with flag 221003/4542927
658.00/654.07	c cleaning 21011 clauses out of 42037 with flag 243000/4564924
661.83/657.87	c cleaning 21995 clauses out of 44028 with flag 266002/4587926
665.73/661.73	c cleaning 23001 clauses out of 46031 with flag 290000/4611924
669.63/665.60	c cleaning 23987 clauses out of 48031 with flag 315001/4636925
674.04/670.02	c cleaning 25013 clauses out of 50043 with flag 341000/4662924
678.27/674.29	c cleaning 26001 clauses out of 52030 with flag 368000/4689924
682.27/678.29	c cleaning 27000 clauses out of 54029 with flag 396000/4717924
686.87/682.80	c cleaning 27999 clauses out of 56029 with flag 425000/4746924
691.68/687.60	c cleaning 29003 clauses out of 58033 with flag 455003/4776927
696.50/692.45	c cleaning 29999 clauses out of 60027 with flag 486000/4807924
701.63/697.55	c cleaning 31009 clauses out of 62031 with flag 518003/4839927
707.04/702.98	c cleaning 32002 clauses out of 64021 with flag 551002/4872926
712.96/708.83	c cleaning 32999 clauses out of 66017 with flag 585000/4906924
718.38/714.29	c cleaning 34006 clauses out of 68022 with flag 620004/4941928
723.19/719.07	c cleaning 34999 clauses out of 70015 with flag 656003/4977927
727.80/723.69	c cleaning 36001 clauses out of 72014 with flag 693001/5014925
732.56/728.34	c cleaning 36993 clauses out of 74016 with flag 731004/5052928
739.30/735.05	c cleaning 38001 clauses out of 76019 with flag 770000/5091924
746.13/741.82	c cleaning 39000 clauses out of 78019 with flag 810001/5131925
751.64/747.33	c cleaning 39991 clauses out of 80018 with flag 851000/5172924
754.56/750.29	c Got one! Elapsed wall clock time (in seconds):750.15
754.56/750.29	o 24612368
755.25/750.99	c cleaning 32025 clauses out of 64074 with flag 5002/5196971
756.06/751.79	c cleaning 19003 clauses out of 38047 with flag 11000/5202969
757.16/752.83	c cleaning 12992 clauses out of 26047 with flag 18003/5209972
758.48/754.19	c cleaning 10522 clauses out of 21054 with flag 26002/5217971
759.58/755.25	c cleaning 9726 clauses out of 19530 with flag 35000/5226969
760.70/756.38	c cleaning 9872 clauses out of 19804 with flag 45000/5236969
762.02/757.63	c cleaning 10458 clauses out of 20933 with flag 56001/5247970
763.44/759.01	c cleaning 11217 clauses out of 22474 with flag 68000/5259969
764.95/760.56	c cleaning 12103 clauses out of 24257 with flag 81000/5272969
766.77/762.35	c cleaning 13063 clauses out of 26154 with flag 95000/5286969
768.67/764.20	c cleaning 14038 clauses out of 28093 with flag 110002/5301971
770.69/766.28	c cleaning 15013 clauses out of 30057 with flag 126004/5317973
772.99/768.55	c cleaning 16010 clauses out of 32040 with flag 143000/5334969
775.69/771.27	c cleaning 16995 clauses out of 34031 with flag 161001/5352970
778.90/774.44	c cleaning 18012 clauses out of 36035 with flag 180000/5371969
782.22/777.76	c cleaning 19006 clauses out of 38026 with flag 200003/5391972
785.44/780.97	c cleaning 20001 clauses out of 40018 with flag 221001/5412970
788.98/784.46	c cleaning 20992 clauses out of 42019 with flag 243003/5434972
792.88/788.33	c cleaning 22004 clauses out of 44024 with flag 266000/5457969
796.00/791.42	c cleaning 23000 clauses out of 46020 with flag 290000/5481969
798.92/794.31	c cleaning 24001 clauses out of 48022 with flag 315002/5506971
801.85/797.28	c cleaning 24995 clauses out of 50019 with flag 341000/5532969
805.18/800.52	c cleaning 26007 clauses out of 52026 with flag 368002/5559971
808.19/803.51	c cleaning 27002 clauses out of 54018 with flag 396001/5587970
811.61/806.94	c cleaning 27997 clauses out of 56015 with flag 425000/5616969
815.42/810.79	c cleaning 28992 clauses out of 58018 with flag 455000/5646969
819.85/815.14	c cleaning 29999 clauses out of 60027 with flag 486001/5677970
824.18/819.42	c cleaning 31002 clauses out of 62027 with flag 518000/5709969
829.39/824.64	c cleaning 32000 clauses out of 64031 with flag 551006/5742975
834.31/829.52	c cleaning 32997 clauses out of 66027 with flag 585002/5776971
839.11/834.30	c cleaning 33996 clauses out of 68028 with flag 620000/5811969
844.04/839.27	c cleaning 34992 clauses out of 70033 with flag 656001/5847970
849.55/844.73	c cleaning 36009 clauses out of 72040 with flag 693000/5884969
855.47/850.67	c cleaning 36996 clauses out of 74016 with flag 731000/5922969
860.39/855.56	c cleaning 37993 clauses out of 76020 with flag 770000/5961969
865.51/860.64	c cleaning 39006 clauses out of 78027 with flag 810000/6001969
870.32/865.49	c cleaning 39995 clauses out of 80022 with flag 851001/6042970
875.63/870.79	c cleaning 40994 clauses out of 82026 with flag 893000/6084969
881.65/876.78	c cleaning 42003 clauses out of 84032 with flag 936000/6127969
889.38/884.47	c cleaning 42996 clauses out of 86029 with flag 980000/6171969
897.68/892.79	c cleaning 44008 clauses out of 88034 with flag 1025001/6216970
906.00/901.09	c cleaning 44981 clauses out of 90025 with flag 1071000/6262969
914.44/909.40	c cleaning 46000 clauses out of 92044 with flag 1118000/6309969
923.15/918.18	c cleaning 47008 clauses out of 94049 with flag 1166005/6357974
931.17/926.19	c cleaning 47982 clauses out of 96036 with flag 1215000/6406969
938.00/932.94	c cleaning 49012 clauses out of 98054 with flag 1265000/6456969
945.61/940.59	c cleaning 50013 clauses out of 100042 with flag 1316000/6507969
953.54/948.38	c cleaning 50995 clauses out of 102029 with flag 1368000/6559969
961.25/956.09	c cleaning 52002 clauses out of 104035 with flag 1421001/6612970
969.77/964.58	c cleaning 53005 clauses out of 106032 with flag 1475000/6666969
978.58/973.36	c cleaning 54000 clauses out of 108027 with flag 1530000/6721969
978.99/973.73	c Got one! Elapsed wall clock time (in seconds):973.597
978.99/973.73	o 23454039
979.49/974.29	c cleaning 29702 clauses out of 59438 with flag 4000/6727661
980.31/975.01	c cleaning 17846 clauses out of 35736 with flag 10000/6733661
981.11/975.83	c cleaning 12423 clauses out of 24892 with flag 17002/6740663
981.94/976.70	c cleaning 10196 clauses out of 20467 with flag 25000/6748661
982.94/977.66	c cleaning 9606 clauses out of 19272 with flag 34001/6757662
984.15/978.83	c cleaning 9824 clauses out of 19665 with flag 44000/6767661
985.46/980.11	c cleaning 10408 clauses out of 20841 with flag 55000/6778661
986.76/981.49	c cleaning 11205 clauses out of 22433 with flag 67000/6790661
988.28/982.98	c cleaning 12105 clauses out of 24228 with flag 80000/6803661
989.89/984.59	c cleaning 13047 clauses out of 26123 with flag 94000/6817661
991.58/986.30	c cleaning 14038 clauses out of 28081 with flag 109005/6832666
993.51/988.14	c cleaning 15013 clauses out of 30038 with flag 125000/6848661
995.51/990.16	c cleaning 15999 clauses out of 32025 with flag 142000/6865661
997.73/992.32	c cleaning 17001 clauses out of 34026 with flag 160000/6883661
1000.15/994.77	c cleaning 18001 clauses out of 36026 with flag 179001/6902662
1002.86/997.43	c cleaning 18998 clauses out of 38024 with flag 199000/6922661
1005.67/1000.26	c cleaning 20007 clauses out of 40026 with flag 220000/6943661
1009.07/1003.68	c cleaning 21004 clauses out of 42019 with flag 242000/6965661
1012.99/1007.53	c cleaning 21990 clauses out of 44015 with flag 265000/6988661
1016.50/1011.03	c cleaning 22996 clauses out of 46026 with flag 289001/7012662
1020.70/1015.22	c cleaning 23998 clauses out of 48031 with flag 314002/7037663
1024.62/1019.12	c cleaning 25005 clauses out of 50031 with flag 340000/7063661
1028.74/1023.22	c cleaning 25987 clauses out of 52029 with flag 367003/7090664
1033.26/1027.77	c cleaning 27004 clauses out of 54039 with flag 395000/7118661
1038.26/1032.73	c cleaning 28008 clauses out of 56036 with flag 424001/7147662
1043.08/1037.58	c cleaning 29003 clauses out of 58027 with flag 454000/7177661
1047.89/1042.38	c cleaning 30000 clauses out of 60025 with flag 485001/7208662
1053.30/1047.79	c cleaning 31004 clauses out of 62025 with flag 517001/7240662
1058.75/1053.17	c cleaning 31983 clauses out of 64020 with flag 550000/7273661
1064.37/1058.75	c cleaning 33003 clauses out of 66037 with flag 584000/7307661
1070.17/1064.52	c cleaning 33995 clauses out of 68036 with flag 619002/7342663
1076.09/1070.40	c cleaning 35006 clauses out of 70039 with flag 655000/7378661
1081.60/1075.91	c cleaning 36006 clauses out of 72035 with flag 692002/7415663
1087.20/1081.53	c cleaning 37003 clauses out of 74028 with flag 730001/7453662
1090.71/1085.06	c Got one! Elapsed wall clock time (in seconds):1084.918
1090.71/1085.06	o 23347932
1091.61/1085.98	c cleaning 32552 clauses out of 65116 with flag 5002/7481781
1092.64/1086.90	c cleaning 19271 clauses out of 38563 with flag 11001/7487780
1093.55/1087.88	c cleaning 13136 clauses out of 26293 with flag 18002/7494781
1094.76/1089.07	c cleaning 10563 clauses out of 21155 with flag 26000/7502779
1094.97/1089.22	c Got one! Elapsed wall clock time (in seconds):1089.085
1094.97/1089.22	o 22381545
1095.37/1089.63	c Got one! Elapsed wall clock time (in seconds):1089.494
1095.37/1089.63	o 22359808
1095.87/1090.11	c cleaning 8282 clauses out of 16601 with flag 3001/7508803
1096.78/1091.03	c cleaning 7128 clauses out of 14319 with flag 9001/7514803
1097.69/1091.91	c cleaning 7079 clauses out of 14190 with flag 16000/7521802
1098.61/1092.90	c cleaning 7546 clauses out of 15111 with flag 24000/7529802
1099.71/1093.98	c cleaning 8277 clauses out of 16565 with flag 33000/7538802
1100.92/1095.11	c cleaning 9128 clauses out of 18289 with flag 43001/7548803
1102.13/1096.39	c cleaning 10077 clauses out of 20161 with flag 54001/7559803
1103.84/1098.08	c cleaning 11042 clauses out of 22085 with flag 66002/7571804
1105.54/1099.75	c cleaning 12014 clauses out of 24041 with flag 79000/7584802
1107.56/1101.79	c cleaning 13010 clauses out of 26027 with flag 93000/7598802
1108.97/1103.19	c Got one! Elapsed wall clock time (in seconds):1103.049
1108.97/1103.19	o 17037806
1109.87/1104.02	c Got one! Elapsed wall clock time (in seconds):1103.883
1109.87/1104.02	o 16830739
1109.97/1104.18	c cleaning 12602 clauses out of 25211 with flag 1001/7611076
1110.80/1104.91	c cleaning 9297 clauses out of 18608 with flag 7000/7617075
1111.51/1105.67	c cleaning 8153 clauses out of 16312 with flag 14001/7624076
1112.42/1106.57	c cleaning 8057 clauses out of 16158 with flag 22000/7632075
1113.53/1107.62	c cleaning 8537 clauses out of 17101 with flag 31000/7641075
1114.63/1108.77	c cleaning 9268 clauses out of 18566 with flag 41002/7651077
1116.33/1110.44	c cleaning 10140 clauses out of 20298 with flag 52002/7662077
1117.74/1111.83	c cleaning 11068 clauses out of 22156 with flag 64000/7674075
1119.26/1113.32	c cleaning 12026 clauses out of 24088 with flag 77000/7687075
1120.77/1114.89	c cleaning 13015 clauses out of 26063 with flag 91001/7701076
1122.38/1116.50	c cleaning 14007 clauses out of 28047 with flag 106000/7716075
1123.58/1117.63	c Got one! Elapsed wall clock time (in seconds):1117.488
1123.58/1117.63	o 10563116
1124.08/1118.17	c cleaning 13606 clauses out of 27218 with flag 5000/7729293
1124.79/1118.83	c cleaning 9792 clauses out of 19614 with flag 11002/7735295
1125.61/1119.69	c cleaning 8382 clauses out of 16820 with flag 18000/7742293
1126.85/1120.84	c cleaning 8179 clauses out of 16439 with flag 26001/7750294
1128.06/1122.04	c cleaning 8617 clauses out of 17259 with flag 35000/7759293
1129.26/1123.29	c cleaning 9305 clauses out of 18642 with flag 45000/7769293
1130.89/1124.85	c cleaning 10158 clauses out of 20339 with flag 56002/7780295
1132.51/1126.48	c cleaning 11073 clauses out of 22179 with flag 68000/7792293
1134.32/1128.30	c cleaning 12039 clauses out of 24106 with flag 81000/7805293
1136.33/1130.22	c cleaning 13029 clauses out of 26069 with flag 95002/7819295
1138.24/1132.10	c cleaning 14005 clauses out of 28038 with flag 110000/7834293
1140.06/1133.99	c cleaning 15006 clauses out of 30034 with flag 126001/7850294
1142.27/1136.20	c cleaning 15999 clauses out of 32027 with flag 143000/7867293
1145.09/1138.96	c cleaning 17004 clauses out of 34022 with flag 161000/7885293
1145.40/1139.20	c Got one! Elapsed wall clock time (in seconds):1139.06
1145.40/1139.20	o 9851657
1146.10/1139.92	c cleaning 11376 clauses out of 22780 with flag 4001/7891064
1146.23/1140.05	c Got one! Elapsed wall clock time (in seconds):1139.918
1146.23/1140.05	o 9847734
1147.23/1141.01	c cleaning 8416 clauses out of 16883 with flag 5000/7896557
1148.45/1142.26	c cleaning 7196 clauses out of 14467 with flag 11000/7902557
1149.86/1143.61	c cleaning 7128 clauses out of 14272 with flag 18001/7909558
1151.37/1145.15	c cleaning 7560 clauses out of 15147 with flag 26004/7917561
1153.09/1146.85	c cleaning 8280 clauses out of 16583 with flag 35000/7926557
1155.11/1148.80	c cleaning 9144 clauses out of 18305 with flag 45002/7936559
1157.23/1150.95	c cleaning 10058 clauses out of 20159 with flag 56000/7947557
1157.55/1151.21	c Got one! Elapsed wall clock time (in seconds):1151.076
1157.55/1151.21	o 9844695
1158.24/1151.93	c cleaning 7538 clauses out of 15123 with flag 4000/7952583
1159.45/1153.10	c cleaning 6756 clauses out of 13585 with flag 10000/7958583
1160.86/1154.50	c cleaning 6873 clauses out of 13829 with flag 17000/7965583
1162.36/1156.09	c cleaning 7458 clauses out of 14956 with flag 25000/7973583
1164.17/1157.86	c cleaning 8240 clauses out of 16498 with flag 34000/7982583
1166.08/1159.78	c cleaning 9120 clauses out of 18258 with flag 44000/7992583
1168.29/1161.99	c cleaning 10066 clauses out of 20143 with flag 55005/8003588
1170.72/1164.38	c cleaning 11024 clauses out of 22072 with flag 67000/8015583
1173.33/1166.95	c cleaning 11998 clauses out of 24048 with flag 80000/8028583
1176.15/1169.72	c cleaning 13012 clauses out of 26050 with flag 94000/8042583
1179.16/1172.75	c cleaning 14011 clauses out of 28038 with flag 109000/8057583
1182.56/1176.12	c cleaning 15000 clauses out of 30027 with flag 125000/8073583
1185.57/1179.20	c Got one! Elapsed wall clock time (in seconds):1179.062
1185.57/1179.20	o 9629536
1186.67/1180.21	c cleaning 17440 clauses out of 34897 with flag 5000/8093466
1187.89/1181.42	c cleaning 11720 clauses out of 23457 with flag 11000/8099466
1189.31/1182.80	c cleaning 9368 clauses out of 18739 with flag 18002/8106468
1190.91/1184.41	c cleaning 8670 clauses out of 17370 with flag 26001/8114467
1192.62/1186.19	c cleaning 8820 clauses out of 17699 with flag 35000/8123466
1194.53/1188.03	c cleaning 9423 clauses out of 18880 with flag 45001/8133467
1196.64/1190.13	c cleaning 10202 clauses out of 20456 with flag 56000/8144466
1198.85/1192.39	c cleaning 11113 clauses out of 22254 with flag 68000/8156466
1201.55/1195.02	c cleaning 12059 clauses out of 24141 with flag 81000/8169466
1204.36/1197.85	c cleaning 13012 clauses out of 26082 with flag 95000/8183466
1207.29/1200.70	c cleaning 14022 clauses out of 28072 with flag 110002/8198468
1210.30/1203.77	c cleaning 15013 clauses out of 30048 with flag 126000/8214466
1213.60/1207.09	c cleaning 16001 clauses out of 32035 with flag 143000/8231466
1214.71/1208.18	c Got one! Elapsed wall clock time (in seconds):1208.047
1214.71/1208.18	o 9624327
1214.81/1208.26	c Got one! Elapsed wall clock time (in seconds):1208.121
1214.81/1208.26	o 9598679
1215.71/1209.16	c cleaning 13252 clauses out of 26541 with flag 5000/8241973
1216.92/1210.30	c cleaning 9633 clauses out of 19290 with flag 11001/8247974
1218.12/1211.58	c Got one! Elapsed wall clock time (in seconds):1211.443
1218.12/1211.58	o 9584177
1219.12/1212.50	c cleaning 10755 clauses out of 21553 with flag 5000/8259870
1220.23/1213.66	c cleaning 8377 clauses out of 16798 with flag 11000/8265870
1221.66/1215.01	c cleaning 7679 clauses out of 15421 with flag 18000/8272870
1223.30/1216.62	c cleaning 7850 clauses out of 15742 with flag 26000/8280870
1225.11/1218.44	c cleaning 8432 clauses out of 16894 with flag 35002/8289872
1227.04/1220.39	c cleaning 9213 clauses out of 18460 with flag 45000/8299870
1229.17/1222.49	c cleaning 10107 clauses out of 20250 with flag 56003/8310873
1231.59/1224.83	c cleaning 11065 clauses out of 22141 with flag 68001/8322871
1234.51/1227.72	c cleaning 12016 clauses out of 24076 with flag 81001/8335871
1234.62/1227.84	c Got one! Elapsed wall clock time (in seconds):1227.708
1234.62/1227.84	o 9542987
1235.52/1228.78	c cleaning 8695 clauses out of 17415 with flag 5000/8341226
1236.73/1229.93	c cleaning 7326 clauses out of 14720 with flag 11000/8347226
1238.04/1231.24	c cleaning 7161 clauses out of 14394 with flag 18000/8354226
1239.65/1232.87	c cleaning 7613 clauses out of 15233 with flag 26000/8362226
1241.45/1234.62	c cleaning 8296 clauses out of 16621 with flag 35001/8371227
1243.36/1236.53	c cleaning 9149 clauses out of 18324 with flag 45000/8381226
1245.48/1238.67	c cleaning 10077 clauses out of 20178 with flag 56003/8392229
1247.77/1240.98	c cleaning 11032 clauses out of 22098 with flag 68000/8404226
1250.29/1243.45	c cleaning 12027 clauses out of 24068 with flag 81002/8417228
1252.99/1246.15	c cleaning 13000 clauses out of 26040 with flag 95001/8431227
1255.89/1249.08	c cleaning 14008 clauses out of 28039 with flag 110000/8446226
1259.00/1252.12	c cleaning 15002 clauses out of 30031 with flag 126000/8462226
1262.21/1255.38	c cleaning 16002 clauses out of 32029 with flag 143000/8479226
1262.93/1256.04	c Got one! Elapsed wall clock time (in seconds):1255.903
1262.93/1256.04	o 9540577
1263.33/1256.42	c cleaning 10721 clauses out of 21454 with flag 2000/8484653
1264.54/1257.66	c cleaning 8339 clauses out of 16734 with flag 8001/8490654
1265.96/1259.07	c cleaning 7666 clauses out of 15395 with flag 15001/8497654
1267.57/1260.68	c cleaning 7856 clauses out of 15728 with flag 23000/8505653
1269.39/1262.47	c cleaning 8418 clauses out of 16873 with flag 32001/8514654
1271.49/1264.52	c cleaning 9216 clauses out of 18454 with flag 42000/8524653
1273.59/1266.68	c cleaning 10097 clauses out of 20238 with flag 53000/8535653
1276.01/1269.07	c cleaning 11051 clauses out of 22141 with flag 65000/8547653
1278.54/1271.59	c cleaning 12025 clauses out of 24090 with flag 78000/8560653
1281.33/1274.32	c cleaning 13014 clauses out of 26066 with flag 92001/8574654
1284.35/1277.32	c cleaning 14020 clauses out of 28051 with flag 107000/8589653
1287.66/1280.60	c cleaning 15002 clauses out of 30031 with flag 123000/8605653
1290.87/1283.89	c cleaning 15998 clauses out of 32029 with flag 140000/8622653
1294.67/1287.63	c cleaning 17002 clauses out of 34031 with flag 158000/8640653
1298.58/1291.54	c cleaning 18002 clauses out of 36029 with flag 177000/8659653
1302.71/1295.63	c cleaning 18999 clauses out of 38028 with flag 197001/8679654
1307.11/1300.07	c cleaning 19996 clauses out of 40029 with flag 218001/8700654
1311.72/1304.61	c Got one! Elapsed wall clock time (in seconds):1304.475
1311.72/1304.61	o 9540474
1312.61/1305.59	c cleaning 23352 clauses out of 46723 with flag 5003/8727344
1313.83/1306.76	c cleaning 14677 clauses out of 29370 with flag 11002/8733343
1315.14/1308.08	c cleaning 10829 clauses out of 21691 with flag 18000/8740341
1316.65/1309.51	c cleaning 9393 clauses out of 18862 with flag 26000/8748341
1318.30/1311.11	c Got one! Elapsed wall clock time (in seconds):1310.972
1318.30/1311.11	o 9516648
1319.19/1312.08	c cleaning 11394 clauses out of 22805 with flag 5000/8761677
1320.41/1313.30	c cleaning 8668 clauses out of 17411 with flag 11000/8767677
1321.81/1314.63	c cleaning 7853 clauses out of 15743 with flag 18000/8774677
1323.41/1316.24	c cleaning 7898 clauses out of 15890 with flag 26000/8782677
1325.12/1317.94	c cleaning 8477 clauses out of 16992 with flag 35000/8791677
1325.23/1318.05	c Got one! Elapsed wall clock time (in seconds):1317.917
1325.23/1318.05	o 9510184
1326.14/1318.97	c cleaning 6897 clauses out of 13830 with flag 5000/8796992
1327.35/1320.18	c cleaning 6434 clauses out of 12934 with flag 11001/8802993
1328.85/1321.62	c cleaning 6745 clauses out of 13499 with flag 18000/8809992
1330.36/1323.20	c cleaning 7362 clauses out of 14754 with flag 26000/8817992
1332.17/1324.99	c cleaning 8187 clauses out of 16393 with flag 35001/8826993
1334.29/1327.03	c cleaning 9092 clauses out of 18205 with flag 45000/8836992
1336.49/1329.22	c cleaning 10037 clauses out of 20113 with flag 56000/8847992
1338.91/1331.64	c cleaning 11027 clauses out of 22076 with flag 68000/8859992
1341.41/1334.20	c cleaning 12006 clauses out of 24049 with flag 81000/8872992
1344.32/1337.07	c cleaning 13009 clauses out of 26044 with flag 95001/8886993
1347.54/1340.29	c cleaning 14007 clauses out of 28035 with flag 110001/8901993
1350.86/1343.57	c cleaning 15005 clauses out of 30029 with flag 126002/8917994
1354.39/1347.02	c cleaning 15997 clauses out of 32023 with flag 143001/8934993
1358.19/1350.83	c cleaning 16992 clauses out of 34025 with flag 161000/8952992
1362.10/1354.72	c cleaning 18004 clauses out of 36035 with flag 180002/8971994
1366.40/1359.08	c cleaning 19013 clauses out of 38030 with flag 200001/8991993
1371.01/1363.62	c cleaning 19986 clauses out of 40016 with flag 221000/9012992
1375.82/1368.43	c cleaning 21007 clauses out of 42030 with flag 243000/9034992
1380.53/1373.18	c cleaning 21997 clauses out of 44023 with flag 266000/9057992
1385.45/1378.04	c cleaning 23011 clauses out of 46028 with flag 290002/9081994
1389.97/1382.57	c Got one! Elapsed wall clock time (in seconds):1382.432
1389.97/1382.57	o 8345910
1390.67/1383.30	c cleaning 24951 clauses out of 49929 with flag 5001/9109001
1391.60/1384.17	c cleaning 15474 clauses out of 30977 with flag 11000/9115000
1392.81/1385.32	c cleaning 11225 clauses out of 22503 with flag 18000/9122000
1394.13/1386.66	c cleaning 9620 clauses out of 19279 with flag 26001/9130001
1395.35/1387.86	c cleaning 9319 clauses out of 18660 with flag 35002/9139002
1396.47/1388.95	c cleaning 9664 clauses out of 19339 with flag 45000/9149000
1397.99/1390.42	c cleaning 10320 clauses out of 20675 with flag 56000/9160000
1399.60/1392.08	c cleaning 11165 clauses out of 22356 with flag 68001/9172001
1401.80/1394.23	c cleaning 12081 clauses out of 24190 with flag 81000/9185000
1404.32/1396.73	c cleaning 13041 clauses out of 26112 with flag 95003/9199003
1406.74/1399.15	c cleaning 14028 clauses out of 28068 with flag 110000/9214000
1409.05/1401.46	c cleaning 15009 clauses out of 30041 with flag 126001/9230001
1411.87/1404.26	c cleaning 15997 clauses out of 32031 with flag 143000/9247000
1415.08/1407.41	c cleaning 17006 clauses out of 34034 with flag 161000/9265000
1418.30/1410.61	c cleaning 18009 clauses out of 36029 with flag 180001/9284001
1421.80/1414.13	c cleaning 19005 clauses out of 38020 with flag 200001/9304001
1425.31/1417.70	c cleaning 19995 clauses out of 40016 with flag 221002/9325002
1429.23/1421.53	c cleaning 20998 clauses out of 42021 with flag 243002/9347002
1433.37/1425.63	c cleaning 22002 clauses out of 44022 with flag 266001/9370001
1437.79/1430.05	c cleaning 22994 clauses out of 46019 with flag 290000/9394000
1441.99/1434.28	c cleaning 24008 clauses out of 48026 with flag 315001/9419001
1446.11/1438.38	c cleaning 25003 clauses out of 50019 with flag 341002/9445002
1450.63/1442.88	c cleaning 25998 clauses out of 52015 with flag 368001/9472001
1455.26/1447.42	c cleaning 26997 clauses out of 54017 with flag 396001/9500001
1460.27/1452.42	c cleaning 27984 clauses out of 56019 with flag 425000/9529000
1465.48/1457.63	c cleaning 29002 clauses out of 58037 with flag 455002/9559002
1470.80/1462.95	c cleaning 30002 clauses out of 60035 with flag 486002/9590002
1473.03/1465.17	c Got one! Elapsed wall clock time (in seconds):1465.029
1473.03/1465.17	o 8134089
1473.32/1465.44	c Got one! Elapsed wall clock time (in seconds):1465.302
1473.32/1465.44	o 8098825
1473.72/1465.81	c Got one! Elapsed wall clock time (in seconds):1465.677
1473.72/1465.81	o 8082083
1473.82/1465.97	c Got one! Elapsed wall clock time (in seconds):1465.835
1473.82/1465.97	o 8074285
1474.23/1466.39	c cleaning 24130 clauses out of 48268 with flag 2001/9609190
1475.45/1467.50	c cleaning 15053 clauses out of 30137 with flag 8000/9615189
1476.66/1468.78	c cleaning 11008 clauses out of 22084 with flag 15000/9622189
1478.06/1470.17	c cleaning 9529 clauses out of 19078 with flag 23002/9630191
1479.47/1471.54	c Got one! Elapsed wall clock time (in seconds):1471.406
1479.47/1471.54	o 8073692
1479.47/1471.59	c Got one! Elapsed wall clock time (in seconds):1471.453
1479.47/1471.59	o 8066830
1480.30/1472.34	c Got one! Elapsed wall clock time (in seconds):1472.203
1480.30/1472.34	o 8060487
1480.70/1472.70	c cleaning 11637 clauses out of 23288 with flag 2002/9643930
1480.93/1472.98	c Got one! Elapsed wall clock time (in seconds):1472.839
1480.93/1472.98	o 8037582
1481.02/1473.02	c Got one! Elapsed wall clock time (in seconds):1472.878
1481.02/1473.02	o 7972709
1481.72/1473.75	c cleaning 8555 clauses out of 17173 with flag 4000/9649452
1482.94/1474.90	c cleaning 7281 clauses out of 14618 with flag 10000/9655452
1484.19/1476.18	c cleaning 7141 clauses out of 14337 with flag 17000/9662452
1485.80/1477.73	c cleaning 7589 clauses out of 15196 with flag 25000/9670452
1487.51/1479.45	c cleaning 8292 clauses out of 16607 with flag 34000/9679452
1489.41/1481.38	c cleaning 9137 clauses out of 18315 with flag 44000/9689452
1491.51/1483.50	c cleaning 10077 clauses out of 20178 with flag 55000/9700452
1493.83/1485.75	c cleaning 11042 clauses out of 22103 with flag 67002/9712454
1496.24/1488.19	c cleaning 12019 clauses out of 24059 with flag 80000/9725452
1498.94/1490.80	c cleaning 13019 clauses out of 26041 with flag 94001/9739453
1501.76/1493.67	c cleaning 13997 clauses out of 28023 with flag 109002/9754454
1504.78/1496.68	c cleaning 15006 clauses out of 30024 with flag 125000/9770452
1508.09/1499.93	c cleaning 16001 clauses out of 32018 with flag 142000/9787452
1511.82/1503.61	c cleaning 16998 clauses out of 34017 with flag 160000/9805452
1515.54/1507.31	c cleaning 17995 clauses out of 36020 with flag 179001/9824453
1519.36/1511.19	c cleaning 19003 clauses out of 38025 with flag 199001/9844453
1523.77/1515.51	c cleaning 19998 clauses out of 40021 with flag 220000/9865452
1528.19/1519.90	c cleaning 20999 clauses out of 42026 with flag 242003/9887455
1532.09/1523.81	c cleaning 21994 clauses out of 44024 with flag 265000/9910452
1535.61/1527.31	c cleaning 22999 clauses out of 46030 with flag 289000/9934452
1539.24/1530.90	c cleaning 24011 clauses out of 48033 with flag 314002/9959454
1542.85/1534.54	c cleaning 24998 clauses out of 50021 with flag 340001/9985453
1546.95/1538.63	c cleaning 26002 clauses out of 52023 with flag 367001/10012453
1551.26/1542.92	c cleaning 26990 clauses out of 54020 with flag 395000/10040452
1555.77/1547.48	c cleaning 28001 clauses out of 56032 with flag 424002/10069454
1560.79/1552.45	c cleaning 28992 clauses out of 58030 with flag 454001/10099453
1565.59/1557.22	c cleaning 30008 clauses out of 60037 with flag 485000/10130452
1570.31/1561.96	c cleaning 30995 clauses out of 62031 with flag 517002/10162454
1575.52/1567.14	c cleaning 32002 clauses out of 64034 with flag 550000/10195452
1580.84/1572.42	c cleaning 32998 clauses out of 66033 with flag 584001/10229453
1586.35/1577.97	c cleaning 34012 clauses out of 68035 with flag 619001/10264453
1592.48/1584.06	c cleaning 35002 clauses out of 70024 with flag 655002/10300454
1599.29/1590.82	c cleaning 35985 clauses out of 72020 with flag 692000/10337452
1602.42/1593.98	c Got one! Elapsed wall clock time (in seconds):1593.84
1602.42/1593.98	o 7971470
1603.32/1594.86	c cleaning 29283 clauses out of 58578 with flag 5001/10359995
1604.23/1595.76	c Got one! Elapsed wall clock time (in seconds):1595.622
1604.23/1595.76	o 7971422
1604.44/1595.98	c cleaning 17627 clauses out of 35269 with flag 1000/10365969
1605.55/1597.07	c cleaning 11804 clauses out of 23642 with flag 7000/10371969
1606.86/1598.36	c cleaning 9389 clauses out of 18838 with flag 14000/10378969
1608.16/1599.63	c cleaning 8701 clauses out of 17450 with flag 22001/10386970
1609.57/1601.04	c cleaning 8867 clauses out of 17749 with flag 31001/10395970
1611.20/1602.61	c cleaning 9424 clauses out of 18881 with flag 41000/10405969
1613.00/1604.42	c cleaning 10221 clauses out of 20458 with flag 52001/10416970
1614.91/1606.39	c cleaning 11102 clauses out of 22236 with flag 64000/10428969
1617.23/1608.62	c cleaning 12056 clauses out of 24134 with flag 77000/10441969
1619.55/1610.97	c cleaning 13029 clauses out of 26079 with flag 91001/10455970
1622.05/1613.44	c cleaning 14009 clauses out of 28049 with flag 106000/10470969
1624.76/1616.11	c cleaning 15006 clauses out of 30041 with flag 122001/10486970
1627.58/1618.96	c cleaning 16000 clauses out of 32035 with flag 139001/10503970
1630.68/1622.05	c cleaning 17010 clauses out of 34035 with flag 157001/10521970
1634.01/1625.30	c cleaning 17993 clauses out of 36024 with flag 176000/10540969
1637.53/1628.80	c cleaning 18994 clauses out of 38032 with flag 196001/10560970
1641.14/1632.46	c cleaning 20003 clauses out of 40038 with flag 217001/10581970
1644.94/1636.26	c cleaning 20999 clauses out of 42035 with flag 239001/10603970
1648.86/1640.14	c cleaning 21998 clauses out of 44035 with flag 262000/10626969
1653.18/1644.41	c cleaning 23006 clauses out of 46038 with flag 286001/10650970
1657.60/1648.84	c cleaning 23997 clauses out of 48033 with flag 311002/10675971
1662.20/1653.42	c cleaning 25008 clauses out of 50036 with flag 337002/10701971
1666.72/1657.98	c cleaning 26004 clauses out of 52029 with flag 364003/10728972
1671.25/1662.43	c cleaning 27001 clauses out of 54023 with flag 392001/10756970
1675.76/1666.99	c cleaning 27995 clauses out of 56022 with flag 421001/10785970
1680.97/1672.16	c cleaning 29002 clauses out of 58030 with flag 451004/10815973
1686.38/1677.58	c cleaning 29996 clauses out of 60024 with flag 482000/10846969
1691.79/1682.98	c cleaning 31001 clauses out of 62028 with flag 514000/10878969
1697.39/1688.56	c cleaning 31996 clauses out of 64027 with flag 547000/10911969
1703.41/1694.51	c cleaning 32991 clauses out of 66031 with flag 581000/10945969
1709.33/1700.48	c cleaning 34007 clauses out of 68041 with flag 616001/10980970
1715.36/1706.45	c cleaning 35007 clauses out of 70033 with flag 652000/11016969
1721.46/1712.53	c cleaning 36004 clauses out of 72027 with flag 689001/11053970
1727.58/1718.63	c cleaning 36996 clauses out of 74022 with flag 727000/11091969
1734.99/1726.00	c cleaning 37995 clauses out of 76026 with flag 766000/11130969
1742.01/1733.06	c cleaning 38997 clauses out of 78032 with flag 806001/11170970
1749.25/1740.26	c cleaning 40005 clauses out of 80034 with flag 847000/11211969
1756.85/1747.88	c cleaning 40995 clauses out of 82029 with flag 889000/11253969
1764.47/1755.45	c cleaning 41994 clauses out of 84034 with flag 932000/11296969
1772.69/1763.63	c cleaning 43012 clauses out of 86040 with flag 976000/11340969
1781.12/1772.10	c cleaning 43993 clauses out of 88029 with flag 1021001/11385970
1789.03/1779.92	c cleaning 45007 clauses out of 90036 with flag 1067001/11431970
1796.64/1787.54	c Got one! Elapsed wall clock time (in seconds):1787.407
1796.64/1787.54	o 7952348
1797.74/1788.64	c cleaning 48205 clauses out of 96422 with flag 5001/11483420
1798.76/1789.64	c cleaning 27105 clauses out of 54217 with flag 11001/11489420
1799.97/1790.80	c cleaning 17048 clauses out of 34112 with flag 18001/11496420
1800.10/1790.91	c starts		: 359
1800.10/1790.91	c conflicts		: 11496841
1800.10/1790.91	c decisions		: 21236584
1800.10/1790.91	c propagations		: 1616854662
1800.10/1790.91	c inspects		: 10421840361
1800.10/1790.91	c shortcuts		: 0
1800.10/1790.91	c learnt literals	: 80
1800.10/1790.91	c learnt binary clauses	: 1642
1800.10/1790.91	c learnt ternary clauses	: 25605
1800.10/1790.91	c learnt constraints	: 11496761
1800.10/1790.91	c ignored constraints	: 0
1800.10/1790.91	c root simplifications	: 439
1800.10/1790.91	c removed literals (reason simplification)	: 156326306
1800.10/1790.91	c reason swapping (by a shorter reason)	: 0
1800.10/1790.91	c Calls to reduceDB	: 610
1800.10/1790.91	c number of reductions to clauses (during analyze)	: 0
1800.10/1790.91	c number of learned constraints concerned by reduction	: 0
1800.10/1790.91	c number of learning phase by resolution	: 0
1800.10/1790.91	c number of learning phase by cutting planes	: 0
1800.10/1790.91	c speed (assignments/second)	: 903041.4548257287
1800.10/1790.91	c non guided choices	17732
1800.10/1790.92	c learnt constraints type 
1800.10/1790.92	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 997
1800.10/1790.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16553
1800.10/1790.92	c constraints type 
1800.10/1790.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
1800.10/1790.92	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
1800.10/1790.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.10/1790.92	c ignored satisfied constraints => 3
1800.10/1790.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
1800.10/1790.92	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3076
1800.10/1790.92	c 15630 constraints processed.
1800.10/1790.92	s SATISFIABLE
1800.10/1790.93	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 -x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 x6572 -x6573 -x6574 -x6575 x6576 -x6577 -x6578 -x6579 -x6580 x6581 x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 -x6603 x6604 -x6605 x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 x6722 -x6723 -x6724 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 x6761 x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 
1800.10/1790.94	c objective function=7952348
1800.10/1790.94	c Total wall clock time (in seconds): 1790.802

Verifier Data

OK	7952348

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3710488-1338252963/watcher-3710488-1338252963 -o /tmp/evaluation-result-3710488-1338252963/solver-3710488-1338252963 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710488-1338252963.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.04 2.00 3/194 3901
/proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3901/stat : 3901 (java) D 3899 3901 2017 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 291421228 9515008 175 33554432000 1073741824 1073778376 140735620389424 140735620372152 240565175184 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/3901/statm: 2323 175 133 9 0 71 0

[startup+0.0820079 s]
/proc/loadavg: 2.08 2.04 2.00 3/194 3901
/proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 3330 0 1 0 5 0 0 0 20 0 18 0 291421228 9787842560 4027 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2389610 4027 1766 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440

[startup+0.10033 s]
/proc/loadavg: 2.08 2.04 2.00 3/194 3901
/proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 3638 0 1 0 7 1 0 0 20 0 18 0 291421228 9787842560 4335 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2389610 4346 1867 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300287 s]
/proc/loadavg: 2.08 2.04 2.00 3/194 3901
/proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 5201 0 1 0 44 1 0 0 20 0 18 0 291421228 9787842560 8708 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2389610 8708 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.700298 s]
/proc/loadavg: 2.08 2.04 2.00 3/194 3901
/proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 7996 0 1 0 135 3 0 0 20 0 19 0 291421228 9856004096 17638 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2406251 17638 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9625004

[startup+1.50084 s]
/proc/loadavg: 2.08 2.03 2.00 3/213 3920
/proc/meminfo: memFree=30022588/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9625004 CPUtime=2.28 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 8079 0 1 0 225 3 0 0 20 0 19 0 291421228 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2406251 18177 2264 9 0 2396937 0
[pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 2583 0 1 0 144 2 0 0 20 0 19 0 291421229 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631928168888 140631800556376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 1531 0 0 0 36 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 2769 0 0 0 40 2 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 2.08 2.03 2.00 5/213 3920
/proc/meminfo: memFree=30019540/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9625004 CPUtime=3.95 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 8350 0 1 0 391 4 0 0 20 0 19 0 291421228 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2406251 21301 2289 9 0 2396937 0
[pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=3.03 cores=1,3,5,7
/proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 2586 0 1 0 301 2 0 0 20 0 19 0 291421229 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631928168936 140631800483377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291421232 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 1743 0 0 0 39 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 2775 0 0 0 43 2 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.08 2.03 2.00 3/213 3920
/proc/meminfo: memFree=30003032/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9625004 CPUtime=7.21 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 8371 0 1 0 717 4 0 0 20 0 19 0 291421228 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2406251 22151 2289 9 0 2396937 0
[pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=6.18 cores=1,3,5,7
/proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 2589 0 1 0 616 2 0 0 20 0 19 0 291421229 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631928168712 140631800490787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291421232 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 1747 0 0 0 42 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 2778 0 0 0 45 2 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 96 0 0 0 25 8 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.29
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 4018
/proc/meminfo: memFree=29468032/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9625004 CPUtime=1791.44 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 11571 0 1 0 179110 34 0 0 20 0 19 0 291421228 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2406251 36330 2292 9 0 2396937 0
[pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1749.63 cores=1,3,5,7
/proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 3198 0 1 0 174933 30 0 0 20 0 19 0 291421229 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631928168784 140631800436004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=1.48 cores=1,3,5,7
/proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 137 0 0 0 144 4 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 148 0 0 0 140 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 110 0 0 0 147 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7
/proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 152 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 30 0 0 0 147 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=1.57 cores=1,3,5,7
/proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 29 0 0 0 154 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 58 0 0 0 152 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7
/proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 153 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=23.84 cores=1,3,5,7
/proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 178 0 0 0 2382 2 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 100 0 0 0 27 8 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.9 s]
/proc/loadavg: 2.09 2.03 2.01 3/214 4018
/proc/meminfo: memFree=29467908/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 11574 0 1 0 179976 34 0 0 20 0 19 0 291421228 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2406251 36330 2292 9 0 2396937 0
[pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1758.02 cores=1,3,5,7
/proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 3201 0 1 0 175772 30 0 0 20 0 19 0 291421229 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631928168784 140631800485661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 137 0 0 0 145 4 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 148 0 0 0 140 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 110 0 0 0 148 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 153 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 30 0 0 0 148 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 29 0 0 0 155 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7
/proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 58 0 0 0 153 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 154 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=24.01 cores=1,3,5,7
/proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 178 0 0 0 2399 2 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 100 0 0 0 27 8 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1790.9 s]
/proc/loadavg: 2.09 2.03 2.01 3/214 4018
/proc/meminfo: memFree=29467908/32873844 swapFree=7116/7116
[pid=3901] ppid=3899 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7
/proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 11574 0 1 0 179976 34 0 0 20 0 19 0 291421228 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3901/statm: 2406251 36330 2292 9 0 2396937 0
[pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1758.02 cores=1,3,5,7
/proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 3201 0 1 0 175772 30 0 0 20 0 19 0 291421229 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631928168784 140631800485661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 137 0 0 0 145 4 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 148 0 0 0 140 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 110 0 0 0 148 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 153 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 30 0 0 0 148 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 29 0 0 0 155 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7
/proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 58 0 0 0 153 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 154 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=24.01 cores=1,3,5,7
/proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 178 0 0 0 2399 2 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 100 0 0 0 27 8 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3901 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=420054
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=773882
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.95
CPU time (s): 1800.1
CPU user time (s): 1799.76
CPU system time (s): 0.34
CPU usage (%): 100.511
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.42
system time used= 0.773882
maximum resident set size= 145452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11608
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54328
involuntary context switches= 51867

runsolver used 6.11007 second user time and 14.7238 second system time

The end

Launcher Data

Begin job on node146 at 2012-05-29 02:56:03
IDJOB=3710488
IDBENCH=92716
IDSOLVER=2289
FILE ID=node146/3710488-1338252963
RUNJOBID= node146-1338229576-2034
PBS_JOBID= 14624646
Free space on /tmp= 71184 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_9_mh.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710488-1338252963/watcher-3710488-1338252963 -o /tmp/evaluation-result-3710488-1338252963/solver-3710488-1338252963 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710488-1338252963.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dceb2101253472cec95359fbc82f66a4
RANDOM SEED=94443576

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30084300 kB
Buffers:          432796 kB
Cached:          1017204 kB
SwapCached:         2180 kB
Active:          1485432 kB
Inactive:         430892 kB
Active(anon):     466136 kB
Inactive(anon):     2668 kB
Active(file):    1019296 kB
Inactive(file):   428224 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100344 kB
Dirty:              1232 kB
Writeback:             0 kB
AnonPages:        472712 kB
Mapped:            17576 kB
Shmem:                 0 kB
Slab:             730744 kB
SReclaimable:     171980 kB
SUnreclaim:       558764 kB
KernelStack:        1600 kB
PageTables:         5188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71160 MiB
End job on node146 at 2012-05-29 03:25:56