Trace number 3710449

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 1793.25

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_0_mh_ic.opb
MD5SUMb32f126aecba6bfb006545c8818dc00d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2252617
Best CPU time to get the best result obtained on this benchmark504.786
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 68417929
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3962242471
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 68417929
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3962242471
Number of bits of the biggest sum of numbers32
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.04/0.35	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.35	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.35	c See www.sat4j.org for details.
0.04/0.35	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.36	c version 2.3.2.v20120418
0.04/0.36	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.36	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.36	c java.vm.version	19.1-b02
0.04/0.36	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.36	c sun.arch.data.model	64
0.04/0.36	c java.version		1.6.0_24
0.04/0.36	c os.name		Linux
0.04/0.36	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.36	c os.arch		amd64
0.04/0.36	c Free memory 		501472288
0.04/0.36	c Max memory 		7480803328
0.04/0.36	c Total memory 		504102912
0.04/0.36	c Number of processors 	8
0.13/0.41	c read org.sat4j.minisat.orders.VarOrderHeap
0.13/0.41	c configuring ORDERS
0.13/0.42	c --- Begin Solver configuration ---
0.13/0.42	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.13/0.42	c Learn all clauses as in MiniSAT
0.13/0.42	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.42	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.13/0.42	c Expensive reason simplification
0.13/0.42	c Armin Biere (Picosat) restarts strategy
0.13/0.42	c Glucose learned constraints deletion strategy
0.13/0.42	c timeout=2147483s
0.13/0.42	c DB Simplification allowed=true
0.13/0.42	c Heuristics kept accross calls (keep the solver "hot")
0.13/0.42	c --- End Solver configuration ---
0.13/0.42	c solving HOME/instance-3710449-1338249041.opb
0.13/0.42	c reading problem ... 
0.70/0.77	c ... done. Wall clock time 0.351s.
0.70/0.77	c declared #vars     9765
0.70/0.77	c #constraints  21927
0.70/0.77	c constraints type 
0.70/0.77	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
0.70/0.77	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
0.70/0.77	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.70/0.77	c ignored satisfied constraints => 4
0.70/0.77	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
0.70/0.77	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015
0.70/0.77	c 21931 constraints processed.
2.38/2.07	c SATISFIABLE
2.38/2.07	c OPTIMIZING...
2.38/2.07	c Got one! Elapsed wall clock time (in seconds):1.651
2.38/2.07	o 15954811
3.94/3.34	c cleaning 2961 clauses out of 5923 with flag 3002/5938
5.58/4.56	c Got one! Elapsed wall clock time (in seconds):4.149
5.91/4.75	o 15561692
6.01/4.86	c cleaning 4019 clauses out of 8039 with flag 1002/11021
7.31/6.16	c cleaning 4997 clauses out of 10018 with flag 7000/17019
8.72/7.56	c cleaning 6002 clauses out of 12021 with flag 14000/24019
10.47/9.20	c cleaning 6995 clauses out of 14019 with flag 22000/32019
12.07/10.84	c cleaning 8008 clauses out of 16024 with flag 31000/41019
13.78/12.58	c cleaning 9006 clauses out of 18016 with flag 41000/51019
15.98/14.73	c cleaning 9998 clauses out of 20010 with flag 52000/62019
17.99/16.75	c Got one! Elapsed wall clock time (in seconds):16.331
17.99/16.75	o 13753164
18.94/17.65	c cleaning 11533 clauses out of 23096 with flag 5001/75103
20.43/19.11	c cleaning 8775 clauses out of 17562 with flag 11000/81102
22.24/20.94	c cleaning 7888 clauses out of 15786 with flag 18000/88102
23.55/22.24	c cleaning 7936 clauses out of 15898 with flag 26000/96102
25.07/23.75	c cleaning 8472 clauses out of 16962 with flag 35000/105102
26.59/25.22	c cleaning 9243 clauses out of 18490 with flag 45000/115102
28.70/27.30	c cleaning 10109 clauses out of 20248 with flag 56001/126103
30.80/29.40	c cleaning 11057 clauses out of 22138 with flag 68001/138103
32.80/31.41	c cleaning 12034 clauses out of 24081 with flag 81001/151103
35.21/33.84	c cleaning 13014 clauses out of 26046 with flag 95000/165102
38.11/36.70	c cleaning 13996 clauses out of 28032 with flag 110000/180102
40.71/39.30	c cleaning 15009 clauses out of 30036 with flag 126000/196102
43.82/42.48	c cleaning 16010 clauses out of 32027 with flag 143000/213102
47.12/45.71	c cleaning 16989 clauses out of 34020 with flag 161003/231105
50.53/49.12	c cleaning 18001 clauses out of 36028 with flag 180000/250102
55.04/53.65	c cleaning 19007 clauses out of 38027 with flag 200000/270102
58.75/57.39	c cleaning 20000 clauses out of 40022 with flag 221002/291104
60.66/59.26	c Got one! Elapsed wall clock time (in seconds):58.849
60.66/59.26	o 12956847
61.37/59.97	c cleaning 17878 clauses out of 35775 with flag 5000/306857
62.40/60.97	c cleaning 11930 clauses out of 23897 with flag 11000/312857
63.52/62.06	c cleaning 9461 clauses out of 18967 with flag 18000/319857
64.82/63.39	c cleaning 8743 clauses out of 17506 with flag 26000/327857
66.22/64.75	c cleaning 8874 clauses out of 17764 with flag 35001/336858
67.72/66.28	c cleaning 9434 clauses out of 18892 with flag 45003/346860
69.33/67.83	c cleaning 10222 clauses out of 20455 with flag 56003/357860
70.94/69.47	c cleaning 11094 clauses out of 22230 with flag 68000/369857
72.64/71.19	c cleaning 12062 clauses out of 24137 with flag 81001/382858
75.04/73.53	c cleaning 12936 clauses out of 25887 with flag 95000/396857
75.35/73.81	c Got one! Elapsed wall clock time (in seconds):73.397
75.35/73.81	o 10327167
75.97/74.43	c cleaning 9275 clauses out of 18585 with flag 4000/402491
77.39/75.87	c cleaning 7624 clauses out of 15311 with flag 10003/408494
78.69/77.14	c cleaning 7324 clauses out of 14684 with flag 17000/415491
78.79/77.23	c Got one! Elapsed wall clock time (in seconds):76.815
78.79/77.23	o 8343317
78.89/77.33	c Got one! Elapsed wall clock time (in seconds):76.914
78.89/77.33	o 8197081
80.09/78.59	c cleaning 6618 clauses out of 13280 with flag 5000/421411
81.41/79.85	c cleaning 6312 clauses out of 12663 with flag 11001/427412
82.53/80.93	c cleaning 6667 clauses out of 13350 with flag 18000/434411
83.73/82.15	c cleaning 7331 clauses out of 14684 with flag 26001/442412
85.24/83.62	c cleaning 8171 clauses out of 16352 with flag 35000/451411
86.93/85.38	c cleaning 9085 clauses out of 18181 with flag 45000/461411
88.57/86.95	c cleaning 10045 clauses out of 20097 with flag 56001/472412
90.69/89.03	c cleaning 11006 clauses out of 22052 with flag 68001/484412
93.08/91.41	c cleaning 12020 clauses out of 24047 with flag 81002/497413
95.49/93.89	c cleaning 12998 clauses out of 26025 with flag 95000/511411
97.99/96.32	c cleaning 14005 clauses out of 28029 with flag 110002/526413
100.19/98.54	c cleaning 15000 clauses out of 30022 with flag 126000/542411
103.00/101.35	c cleaning 15991 clauses out of 32022 with flag 143000/559411
105.80/104.18	c cleaning 17003 clauses out of 34031 with flag 161000/577411
108.70/107.05	c cleaning 17995 clauses out of 36028 with flag 180000/596411
112.23/110.53	c cleaning 19013 clauses out of 38037 with flag 200004/616415
115.45/113.74	c cleaning 19997 clauses out of 40021 with flag 221001/637412
119.07/117.37	c cleaning 21005 clauses out of 42023 with flag 243000/659411
123.07/121.37	c cleaning 21993 clauses out of 44018 with flag 266000/682411
127.38/125.62	c cleaning 23007 clauses out of 46027 with flag 290002/706413
132.08/130.40	c cleaning 24007 clauses out of 48018 with flag 315000/731411
137.49/135.76	c cleaning 24993 clauses out of 50011 with flag 341000/757411
143.63/141.81	c cleaning 25995 clauses out of 52018 with flag 368000/784411
149.54/147.76	c cleaning 26993 clauses out of 54023 with flag 396000/812411
156.06/154.25	c cleaning 28006 clauses out of 56030 with flag 425000/841411
162.87/161.05	c cleaning 28995 clauses out of 58025 with flag 455001/871412
169.47/167.67	c cleaning 30008 clauses out of 60029 with flag 486000/902411
176.07/174.21	c cleaning 30539 clauses out of 61130 with flag 518000/934411
183.68/181.82	c cleaning 31769 clauses out of 63592 with flag 551001/967412
189.12/187.20	c cleaning 32901 clauses out of 65822 with flag 585000/1001411
194.24/192.34	c cleaning 33954 clauses out of 67921 with flag 620000/1036411
201.26/199.33	c cleaning 34977 clauses out of 69967 with flag 656000/1072411
207.68/205.79	c cleaning 35980 clauses out of 71991 with flag 693001/1109412
214.29/212.37	c cleaning 36983 clauses out of 74009 with flag 731000/1147411
221.50/219.52	c cleaning 37978 clauses out of 75994 with flag 770000/1186411
227.91/225.90	c cleaning 38989 clauses out of 78016 with flag 810000/1226411
234.14/232.17	c cleaning 39996 clauses out of 80028 with flag 851001/1267412
243.14/241.17	c cleaning 41012 clauses out of 82030 with flag 893000/1309411
253.06/251.00	c cleaning 41975 clauses out of 84018 with flag 936000/1352411
264.38/262.38	c cleaning 43009 clauses out of 86044 with flag 980001/1396412
275.20/273.14	c cleaning 43997 clauses out of 88034 with flag 1025000/1441411
283.02/280.95	c cleaning 45012 clauses out of 90035 with flag 1071000/1487411
291.43/289.38	c cleaning 46005 clauses out of 92023 with flag 1118000/1534411
295.45/293.37	c Got one! Elapsed wall clock time (in seconds):292.958
295.45/293.37	o 8187741
296.55/294.46	c cleaning 35345 clauses out of 70716 with flag 5001/1559109
297.85/295.75	c cleaning 20662 clauses out of 41370 with flag 11000/1565108
299.46/297.30	c cleaning 13836 clauses out of 27708 with flag 18000/1572108
301.27/299.17	c cleaning 10918 clauses out of 21872 with flag 26000/1580108
303.27/301.19	c cleaning 9971 clauses out of 19957 with flag 35003/1589111
306.07/303.95	c cleaning 9965 clauses out of 19984 with flag 45001/1599109
309.18/307.00	c cleaning 10475 clauses out of 21018 with flag 56000/1610108
312.20/310.06	c cleaning 11253 clauses out of 22547 with flag 68004/1622112
315.20/313.04	c cleaning 12129 clauses out of 24290 with flag 81000/1635108
318.83/316.68	c cleaning 13056 clauses out of 26164 with flag 95003/1649111
321.65/319.40	c cleaning 14047 clauses out of 28105 with flag 110000/1664108
324.48/322.29	c cleaning 15018 clauses out of 30058 with flag 126000/1680108
327.88/325.62	c cleaning 16008 clauses out of 32040 with flag 143000/1697108
330.98/328.77	c cleaning 17006 clauses out of 34032 with flag 161000/1715108
334.18/331.93	c cleaning 18007 clauses out of 36027 with flag 180001/1734109
337.39/335.10	c cleaning 19007 clauses out of 38021 with flag 200002/1754110
338.82/336.58	c Got one! Elapsed wall clock time (in seconds):336.166
338.82/336.58	o 6656315
339.82/337.50	c cleaning 17739 clauses out of 35491 with flag 5000/1770588
340.72/338.46	c cleaning 11858 clauses out of 23753 with flag 11001/1776589
341.93/339.61	c cleaning 9417 clauses out of 18896 with flag 18002/1783590
343.13/340.83	c cleaning 8711 clauses out of 17477 with flag 26000/1791588
344.34/342.10	c cleaning 8871 clauses out of 17766 with flag 35000/1800588
345.76/343.49	c cleaning 9436 clauses out of 18896 with flag 45001/1810589
347.16/344.89	c cleaning 10215 clauses out of 20460 with flag 56001/1821589
349.18/346.82	c cleaning 11116 clauses out of 22245 with flag 68001/1833589
351.11/348.70	c cleaning 12051 clauses out of 24128 with flag 81000/1846588
353.33/350.91	c Got one! Elapsed wall clock time (in seconds):350.499
353.33/350.91	o 6597213
354.03/351.67	c cleaning 13918 clauses out of 27875 with flag 5000/1862386
355.33/352.96	c cleaning 9844 clauses out of 19718 with flag 11000/1868386
357.34/354.90	c cleaning 8415 clauses out of 16874 with flag 18000/1875386
359.46/357.00	c cleaning 8197 clauses out of 16459 with flag 26000/1883386
361.88/359.42	c cleaning 8617 clauses out of 17264 with flag 35002/1892388
364.48/362.03	c cleaning 9310 clauses out of 18645 with flag 45000/1902386
367.28/364.85	c cleaning 10155 clauses out of 20335 with flag 56000/1913386
370.38/367.96	c cleaning 11081 clauses out of 22180 with flag 68000/1925386
373.79/371.30	c cleaning 12042 clauses out of 24099 with flag 81000/1938386
377.29/374.85	c cleaning 13010 clauses out of 26057 with flag 95000/1952386
381.19/378.75	c cleaning 14006 clauses out of 28047 with flag 110000/1967386
385.30/382.83	c cleaning 15005 clauses out of 30041 with flag 126000/1983386
389.41/386.97	c cleaning 16006 clauses out of 32036 with flag 143000/2000386
393.51/391.00	c cleaning 17011 clauses out of 34031 with flag 161001/2018387
395.92/393.43	c cleaning 17999 clauses out of 36019 with flag 180000/2037386
398.54/396.00	c cleaning 18993 clauses out of 38020 with flag 200000/2057386
401.44/398.91	c cleaning 20009 clauses out of 40023 with flag 221000/2078386
405.35/402.89	c cleaning 20997 clauses out of 42015 with flag 243001/2100387
409.58/407.02	c cleaning 21998 clauses out of 44017 with flag 266000/2123386
413.88/411.31	c cleaning 23003 clauses out of 46019 with flag 290000/2147386
417.67/415.10	c cleaning 23992 clauses out of 48017 with flag 315001/2172387
422.69/420.15	c cleaning 25002 clauses out of 50024 with flag 341000/2198386
427.59/425.01	c cleaning 26002 clauses out of 52022 with flag 368000/2225386
433.40/430.80	c cleaning 26997 clauses out of 54021 with flag 396001/2253387
439.52/436.90	c cleaning 27991 clauses out of 56023 with flag 425000/2282386
440.94/438.31	c Got one! Elapsed wall clock time (in seconds):437.892
440.94/438.31	o 6588710
441.84/439.29	c cleaning 19690 clauses out of 39421 with flag 5002/2293935
443.26/440.65	c cleaning 12845 clauses out of 25731 with flag 11002/2299935
444.26/441.68	c cleaning 9916 clauses out of 19884 with flag 18000/2306933
445.47/442.89	c cleaning 8949 clauses out of 17952 with flag 26002/2314935
446.87/444.21	c cleaning 8969 clauses out of 18001 with flag 35000/2323933
448.08/445.46	c cleaning 9509 clauses out of 19033 with flag 45001/2333934
449.49/446.89	c cleaning 10249 clauses out of 20528 with flag 56005/2344938
451.19/448.55	c cleaning 11125 clauses out of 22274 with flag 68000/2356933
452.99/450.34	c cleaning 12073 clauses out of 24149 with flag 81000/2369933
455.09/452.41	c cleaning 13028 clauses out of 26078 with flag 95002/2383935
457.50/454.81	c cleaning 14007 clauses out of 28049 with flag 110001/2398934
459.72/457.02	c cleaning 15014 clauses out of 30041 with flag 126000/2414933
462.13/459.41	c cleaning 16007 clauses out of 32027 with flag 143000/2431933
464.34/461.64	c cleaning 17007 clauses out of 34021 with flag 161001/2449934
466.97/464.25	c cleaning 17997 clauses out of 36016 with flag 180003/2468936
469.67/466.99	c cleaning 18997 clauses out of 38016 with flag 200000/2488933
472.68/469.91	c cleaning 19996 clauses out of 40019 with flag 221000/2509933
475.71/472.96	c cleaning 20997 clauses out of 42023 with flag 243000/2531933
479.06/476.25	c cleaning 22006 clauses out of 44029 with flag 266003/2554936
482.38/479.51	c cleaning 22993 clauses out of 46020 with flag 290000/2578933
486.01/483.18	c cleaning 23998 clauses out of 48027 with flag 315000/2603933
490.33/487.45	c cleaning 24997 clauses out of 50030 with flag 341001/2629934
495.24/492.36	c cleaning 26002 clauses out of 52032 with flag 368000/2656933
500.55/497.65	c cleaning 27010 clauses out of 54031 with flag 396001/2684934
505.68/502.73	c cleaning 28004 clauses out of 56023 with flag 425003/2713936
509.89/506.90	c cleaning 29001 clauses out of 58016 with flag 455000/2743933
513.90/510.98	c cleaning 29999 clauses out of 60015 with flag 486000/2774933
518.33/515.36	c cleaning 30990 clauses out of 62017 with flag 518001/2806934
523.16/520.12	c cleaning 31999 clauses out of 64026 with flag 551000/2839933
528.38/525.35	c cleaning 33004 clauses out of 66028 with flag 585001/2873934
534.10/531.09	c cleaning 34001 clauses out of 68023 with flag 620000/2908933
540.92/537.87	c cleaning 34993 clauses out of 70022 with flag 656000/2944933
549.13/546.07	c cleaning 35988 clauses out of 72029 with flag 693000/2981933
556.85/553.76	c cleaning 37001 clauses out of 74041 with flag 731000/3019933
565.78/562.63	c cleaning 38008 clauses out of 76040 with flag 770000/3058933
575.02/571.87	c cleaning 39008 clauses out of 78032 with flag 810000/3098933
584.74/581.50	c cleaning 39997 clauses out of 80025 with flag 851001/3139934
594.77/591.57	c cleaning 41001 clauses out of 82030 with flag 893003/3181936
605.51/602.23	c cleaning 42000 clauses out of 84026 with flag 936000/3224933
615.92/612.64	c cleaning 42992 clauses out of 86027 with flag 980001/3268934
625.02/621.76	c Got one! Elapsed wall clock time (in seconds):621.342
625.02/621.76	o 6559745
626.32/623.03	c cleaning 42303 clauses out of 84608 with flag 5000/3310725
627.83/624.58	c cleaning 24136 clauses out of 48305 with flag 11000/3316725
629.54/626.25	c cleaning 15570 clauses out of 31169 with flag 18000/3323725
631.45/628.11	c cleaning 11763 clauses out of 23600 with flag 26001/3331726
633.46/630.17	c cleaning 10397 clauses out of 20837 with flag 35001/3340726
636.17/632.87	c cleaning 10176 clauses out of 20439 with flag 45000/3350725
639.19/635.86	c cleaning 10615 clauses out of 21263 with flag 56000/3361725
642.20/638.83	c cleaning 11322 clauses out of 22651 with flag 68003/3373728
645.41/642.02	c cleaning 12151 clauses out of 24326 with flag 81000/3386725
648.93/645.55	c cleaning 13069 clauses out of 26175 with flag 95000/3400725
652.24/648.90	c cleaning 14039 clauses out of 28106 with flag 110000/3415725
656.36/652.96	c cleaning 15022 clauses out of 30067 with flag 126000/3431725
660.86/657.41	c cleaning 16005 clauses out of 32045 with flag 143000/3448725
665.29/661.86	c cleaning 17000 clauses out of 34040 with flag 161000/3466725
670.00/666.55	c cleaning 18013 clauses out of 36043 with flag 180003/3485728
674.70/671.22	c cleaning 18985 clauses out of 38027 with flag 200000/3505725
679.73/676.22	c cleaning 20011 clauses out of 40043 with flag 221001/3526726
685.14/681.68	c cleaning 21000 clauses out of 42032 with flag 243001/3548726
690.75/687.28	c cleaning 22006 clauses out of 44031 with flag 266000/3571725
693.26/689.74	c Got one! Elapsed wall clock time (in seconds):689.329
693.26/689.75	o 6557949
694.26/690.77	c cleaning 18812 clauses out of 37653 with flag 5000/3587353
695.68/692.18	c cleaning 12413 clauses out of 24843 with flag 11002/3593355
697.30/693.73	c cleaning 9698 clauses out of 19431 with flag 18003/3600356
699.22/695.60	c cleaning 8838 clauses out of 17730 with flag 26000/3608353
701.13/697.58	c cleaning 8919 clauses out of 17892 with flag 35000/3617353
703.34/699.76	c cleaning 9478 clauses out of 18973 with flag 45000/3627353
705.94/702.34	c cleaning 10227 clauses out of 20496 with flag 56001/3638354
708.85/705.24	c cleaning 11125 clauses out of 22268 with flag 68000/3650353
711.85/708.20	c cleaning 12066 clauses out of 24148 with flag 81005/3663358
715.19/711.51	c cleaning 13030 clauses out of 26078 with flag 95001/3677354
718.51/714.85	c cleaning 14011 clauses out of 28047 with flag 110000/3692353
722.23/718.57	c cleaning 15000 clauses out of 30037 with flag 126001/3708354
725.93/722.25	c cleaning 15987 clauses out of 32039 with flag 143003/3725356
730.84/727.14	c cleaning 17006 clauses out of 34049 with flag 161000/3743353
735.84/732.13	c cleaning 18009 clauses out of 36043 with flag 180000/3762353
741.04/737.32	c cleaning 19000 clauses out of 38038 with flag 200004/3782357
746.36/742.62	c cleaning 19987 clauses out of 40034 with flag 221000/3803353
752.16/748.48	c cleaning 20990 clauses out of 42047 with flag 243000/3825353
758.28/754.56	c cleaning 22020 clauses out of 44060 with flag 266003/3848356
764.28/760.52	c cleaning 23010 clauses out of 46037 with flag 290000/3872353
770.39/766.67	c cleaning 23987 clauses out of 48029 with flag 315002/3897355
777.00/773.20	c cleaning 25000 clauses out of 50040 with flag 341000/3923353
783.71/779.98	c cleaning 26014 clauses out of 52041 with flag 368001/3950354
790.72/786.97	c cleaning 27002 clauses out of 54026 with flag 396000/3978353
797.86/794.07	c cleaning 27994 clauses out of 56024 with flag 425000/4007353
804.77/800.99	c cleaning 28993 clauses out of 58030 with flag 455000/4037353
811.89/808.05	c cleaning 29997 clauses out of 60038 with flag 486001/4068354
819.50/815.63	c cleaning 31009 clauses out of 62042 with flag 518002/4100355
827.73/823.89	c cleaning 31990 clauses out of 64031 with flag 551000/4133353
836.14/832.25	c cleaning 32993 clauses out of 66041 with flag 585000/4167353
844.85/840.99	c cleaning 34009 clauses out of 68049 with flag 620001/4202354
853.55/849.63	c cleaning 35002 clauses out of 70039 with flag 656000/4238353
862.58/858.64	c cleaning 36008 clauses out of 72040 with flag 693003/4275356
872.92/868.93	c cleaning 36987 clauses out of 74029 with flag 731000/4313353
884.03/880.04	c cleaning 38002 clauses out of 76043 with flag 770001/4352354
894.73/890.73	c cleaning 39003 clauses out of 78040 with flag 810000/4392353
897.65/893.66	c Got one! Elapsed wall clock time (in seconds):893.247
897.65/893.66	o 6553838
898.95/894.92	c cleaning 27307 clauses out of 54649 with flag 5001/4407965
900.47/896.42	c cleaning 16658 clauses out of 33342 with flag 11001/4413965
902.07/898.09	c cleaning 11817 clauses out of 23683 with flag 18000/4420964
904.11/900.06	c cleaning 9905 clauses out of 19870 with flag 26004/4428968
906.32/902.27	c cleaning 9466 clauses out of 18962 with flag 35001/4437965
908.64/904.56	c cleaning 9737 clauses out of 19495 with flag 45000/4447964
911.04/906.94	c cleaning 10366 clauses out of 20760 with flag 56002/4458966
913.67/909.50	c cleaning 11171 clauses out of 22392 with flag 68000/4470964
916.37/912.26	c cleaning 12103 clauses out of 24221 with flag 81000/4483964
919.68/915.55	c cleaning 13049 clauses out of 26118 with flag 95000/4497964
923.38/919.24	c cleaning 14008 clauses out of 28069 with flag 110000/4512964
927.28/923.11	c cleaning 15011 clauses out of 30061 with flag 126000/4528964
931.39/927.26	c cleaning 16001 clauses out of 32050 with flag 143000/4545964
935.60/931.46	c cleaning 17005 clauses out of 34053 with flag 161004/4563968
939.90/935.76	c cleaning 18012 clauses out of 36044 with flag 180000/4582964
944.40/940.24	c cleaning 18990 clauses out of 38032 with flag 200000/4602964
948.91/944.71	c cleaning 20006 clauses out of 40043 with flag 221001/4623965
954.03/949.86	c cleaning 20998 clauses out of 42037 with flag 243001/4645965
959.95/955.74	c cleaning 22001 clauses out of 44039 with flag 266001/4668965
965.96/961.76	c cleaning 23003 clauses out of 46037 with flag 290000/4692964
972.06/967.82	c cleaning 23998 clauses out of 48034 with flag 315000/4717964
978.17/973.94	c cleaning 25013 clauses out of 50037 with flag 341001/4743965
984.07/979.89	c cleaning 25984 clauses out of 52024 with flag 368001/4770965
990.90/986.67	c cleaning 27015 clauses out of 54041 with flag 396002/4798966
994.72/990.48	c cleaning 27997 clauses out of 56024 with flag 425000/4827964
999.03/994.71	c cleaning 29005 clauses out of 58027 with flag 455000/4857964
1003.95/999.63	c cleaning 29999 clauses out of 60022 with flag 486000/4888964
1008.66/1004.35	c cleaning 31007 clauses out of 62023 with flag 518000/4920964
1015.06/1010.76	c cleaning 32002 clauses out of 64017 with flag 551001/4953965
1019.47/1015.15	c Got one! Elapsed wall clock time (in seconds):1014.73
1019.47/1015.15	o 6117336
1020.30/1015.90	c cleaning 32257 clauses out of 64549 with flag 5000/4986499
1021.21/1016.86	c cleaning 19131 clauses out of 38291 with flag 11000/4992499
1022.11/1017.74	c cleaning 13061 clauses out of 26161 with flag 18001/4999500
1023.12/1018.75	c cleaning 10512 clauses out of 21099 with flag 26000/5007499
1024.25/1019.83	c cleaning 9775 clauses out of 19587 with flag 35000/5016499
1025.65/1021.25	c cleaning 9892 clauses out of 19812 with flag 45000/5026499
1027.37/1022.98	c cleaning 10451 clauses out of 20919 with flag 56000/5037499
1030.07/1025.67	c cleaning 11225 clauses out of 22469 with flag 68001/5049500
1032.78/1028.34	c cleaning 12101 clauses out of 24243 with flag 81000/5062499
1035.89/1031.40	c cleaning 13053 clauses out of 26142 with flag 95000/5076499
1039.21/1034.77	c cleaning 14030 clauses out of 28092 with flag 110003/5091502
1042.82/1038.30	c cleaning 15016 clauses out of 30059 with flag 126000/5107499
1046.32/1041.88	c cleaning 16011 clauses out of 32043 with flag 143000/5124499
1050.43/1045.98	c cleaning 17006 clauses out of 34033 with flag 161001/5142500
1054.84/1050.30	c cleaning 17999 clauses out of 36026 with flag 180000/5161499
1059.16/1054.63	c cleaning 18994 clauses out of 38027 with flag 200000/5181499
1063.79/1059.23	c cleaning 20006 clauses out of 40033 with flag 221000/5202499
1069.09/1064.53	c cleaning 20987 clauses out of 42028 with flag 243001/5224500
1074.80/1070.24	c cleaning 22003 clauses out of 44040 with flag 266000/5247499
1080.21/1075.63	c cleaning 23008 clauses out of 46038 with flag 290001/5271500
1084.32/1079.74	c cleaning 24007 clauses out of 48034 with flag 315005/5296504
1087.62/1083.09	c cleaning 25001 clauses out of 50022 with flag 341000/5322499
1091.23/1086.68	c cleaning 25994 clauses out of 52022 with flag 368001/5349500
1095.13/1090.56	c cleaning 27008 clauses out of 54027 with flag 396000/5377499
1099.14/1094.51	c cleaning 27998 clauses out of 56020 with flag 425001/5406500
1103.55/1098.96	c cleaning 28998 clauses out of 58023 with flag 455002/5436501
1108.26/1103.68	c cleaning 29993 clauses out of 60023 with flag 486000/5467499
1113.16/1108.60	c cleaning 30996 clauses out of 62030 with flag 518000/5499499
1117.67/1113.10	c cleaning 31998 clauses out of 64034 with flag 551000/5532499
1122.18/1117.57	c Got one! Elapsed wall clock time (in seconds):1117.152
1122.18/1117.57	o 5496644
1122.97/1118.34	c cleaning 30457 clauses out of 60944 with flag 5001/5561407
1124.00/1119.34	c cleaning 18229 clauses out of 36486 with flag 11000/5567406
1125.10/1120.40	c cleaning 12604 clauses out of 25257 with flag 18000/5574406
1126.40/1121.70	c cleaning 10292 clauses out of 20653 with flag 26000/5582406
1128.01/1123.39	c cleaning 9665 clauses out of 19363 with flag 35002/5591408
1129.73/1125.07	c cleaning 9823 clauses out of 19696 with flag 45000/5601406
1132.04/1127.35	c cleaning 10425 clauses out of 20876 with flag 56003/5612409
1134.66/1129.93	c cleaning 11205 clauses out of 22448 with flag 68000/5624406
1137.37/1132.64	c cleaning 12110 clauses out of 24245 with flag 81002/5637408
1140.37/1135.62	c cleaning 13058 clauses out of 26134 with flag 95001/5651407
1143.30/1138.57	c cleaning 14025 clauses out of 28075 with flag 110000/5666406
1146.51/1141.72	c cleaning 15005 clauses out of 30053 with flag 126003/5682409
1149.91/1145.18	c cleaning 15995 clauses out of 32045 with flag 143000/5699406
1153.61/1148.87	c cleaning 17007 clauses out of 34050 with flag 161000/5717406
1157.63/1152.88	c cleaning 18005 clauses out of 36043 with flag 180000/5736406
1161.93/1157.18	c cleaning 19013 clauses out of 38040 with flag 200002/5756408
1166.24/1161.46	c cleaning 20005 clauses out of 40025 with flag 221000/5777406
1170.04/1165.28	c cleaning 20994 clauses out of 42020 with flag 243000/5799406
1174.95/1170.19	c cleaning 21998 clauses out of 44026 with flag 266000/5822406
1177.56/1172.77	c Got one! Elapsed wall clock time (in seconds):1172.349
1177.56/1172.77	o 5411762
1178.86/1174.04	c cleaning 19777 clauses out of 39576 with flag 5000/5840219
1180.26/1175.45	c cleaning 12880 clauses out of 25801 with flag 11002/5846221
1181.77/1176.93	c cleaning 9930 clauses out of 19919 with flag 18000/5853219
1183.47/1178.63	c cleaning 8972 clauses out of 17989 with flag 26000/5861219
1185.18/1180.31	c cleaning 8983 clauses out of 18019 with flag 35002/5870221
1187.39/1182.51	c cleaning 9508 clauses out of 19035 with flag 45001/5880220
1189.89/1185.05	c cleaning 10243 clauses out of 20526 with flag 56000/5891219
1192.30/1187.43	c Got one! Elapsed wall clock time (in seconds):1187.017
1192.30/1187.43	o 5344470
1193.21/1188.36	c Got one! Elapsed wall clock time (in seconds):1187.942
1193.21/1188.36	o 5288760
1193.52/1188.65	c cleaning 13482 clauses out of 26989 with flag 2000/5907936
1194.53/1189.65	c cleaning 9740 clauses out of 19507 with flag 8000/5913936
1195.54/1190.65	c cleaning 8351 clauses out of 16767 with flag 15000/5920936
1196.56/1191.68	c cleaning 8182 clauses out of 16416 with flag 23000/5928936
1197.86/1192.91	c cleaning 8603 clauses out of 17234 with flag 32000/5937936
1199.26/1194.37	c cleaning 9313 clauses out of 18632 with flag 42001/5947937
1200.77/1195.83	c cleaning 10144 clauses out of 20319 with flag 53001/5958937
1202.37/1197.41	c cleaning 11076 clauses out of 22176 with flag 65002/5970938
1204.07/1199.10	c cleaning 12039 clauses out of 24100 with flag 78002/5983938
1205.68/1200.78	c cleaning 13022 clauses out of 26061 with flag 92002/5997938
1207.68/1202.75	c cleaning 14009 clauses out of 28037 with flag 107000/6012936
1209.79/1204.83	c cleaning 15005 clauses out of 30028 with flag 123000/6028936
1213.01/1208.00	c cleaning 15995 clauses out of 32024 with flag 140001/6045937
1215.92/1210.95	c cleaning 17002 clauses out of 34028 with flag 158000/6063936
1219.33/1214.33	c cleaning 18011 clauses out of 36026 with flag 177000/6082936
1222.13/1217.19	c cleaning 18990 clauses out of 38015 with flag 197000/6102936
1225.83/1220.89	c cleaning 20000 clauses out of 40025 with flag 218000/6123936
1229.85/1224.85	c cleaning 20986 clauses out of 42026 with flag 240001/6145937
1234.17/1229.17	c cleaning 22016 clauses out of 44039 with flag 263000/6168936
1238.57/1233.59	c cleaning 22995 clauses out of 46023 with flag 287000/6192936
1243.02/1237.97	c cleaning 24003 clauses out of 48028 with flag 312000/6217936
1247.72/1242.64	c cleaning 25005 clauses out of 50027 with flag 338002/6243938
1252.43/1247.30	c cleaning 25999 clauses out of 52022 with flag 365002/6270938
1257.24/1252.18	c cleaning 26984 clauses out of 54021 with flag 393000/6298936
1262.35/1257.29	c cleaning 28010 clauses out of 56037 with flag 422000/6327936
1267.65/1262.50	c cleaning 28988 clauses out of 58027 with flag 452000/6357936
1273.85/1268.76	c cleaning 30001 clauses out of 60040 with flag 483001/6388937
1276.96/1271.82	c Got one! Elapsed wall clock time (in seconds):1271.4
1276.96/1271.82	o 5255881
1277.86/1272.72	c cleaning 25611 clauses out of 51231 with flag 5001/6410129
1278.97/1273.86	c cleaning 15798 clauses out of 31622 with flag 11003/6416131
1280.49/1275.34	c cleaning 11383 clauses out of 22822 with flag 18001/6423129
1282.11/1276.98	c cleaning 9691 clauses out of 19438 with flag 26000/6431128
1283.51/1278.39	c cleaning 9333 clauses out of 18747 with flag 35000/6440128
1285.53/1280.38	c cleaning 9670 clauses out of 19415 with flag 45001/6450129
1287.73/1282.57	c cleaning 10344 clauses out of 20744 with flag 56000/6461128
1289.83/1284.63	c cleaning 11188 clauses out of 22400 with flag 68000/6473128
1292.16/1286.98	c cleaning 12089 clauses out of 24212 with flag 81000/6486128
1294.86/1289.62	c cleaning 13050 clauses out of 26125 with flag 95002/6500130
1297.68/1292.44	c cleaning 14023 clauses out of 28074 with flag 110001/6515129
1300.99/1295.73	c cleaning 15019 clauses out of 30051 with flag 126001/6531129
1303.89/1298.62	c cleaning 16004 clauses out of 32034 with flag 143003/6548131
1307.30/1302.03	c cleaning 16992 clauses out of 34028 with flag 161001/6566129
1311.01/1305.71	c cleaning 17995 clauses out of 36035 with flag 180000/6585128
1314.81/1309.50	c cleaning 19010 clauses out of 38040 with flag 200000/6605128
1319.02/1313.71	c cleaning 19997 clauses out of 40030 with flag 221000/6626128
1323.14/1317.85	c cleaning 20989 clauses out of 42034 with flag 243001/6648129
1327.36/1322.01	c cleaning 21986 clauses out of 44046 with flag 266002/6671130
1332.26/1326.98	c cleaning 23020 clauses out of 46060 with flag 290002/6695130
1337.08/1331.78	c cleaning 24006 clauses out of 48039 with flag 315001/6720129
1342.10/1336.75	c cleaning 24992 clauses out of 50033 with flag 341001/6746129
1347.92/1342.50	c cleaning 25999 clauses out of 52040 with flag 368000/6773128
1353.75/1348.31	c cleaning 27004 clauses out of 54041 with flag 396000/6801128
1359.46/1354.07	c cleaning 27984 clauses out of 56037 with flag 425000/6830128
1365.86/1360.41	c cleaning 29011 clauses out of 58054 with flag 455001/6860129
1371.79/1366.39	c cleaning 30000 clauses out of 60042 with flag 486000/6891128
1378.10/1372.65	c cleaning 31002 clauses out of 62042 with flag 518000/6923128
1385.00/1379.53	c cleaning 31997 clauses out of 64040 with flag 551000/6956128
1391.41/1385.98	c cleaning 32990 clauses out of 66043 with flag 585000/6990128
1397.91/1392.41	c cleaning 34007 clauses out of 68054 with flag 620001/7025129
1405.61/1400.19	c cleaning 35009 clauses out of 70048 with flag 656002/7061130
1413.92/1408.46	c cleaning 35998 clauses out of 72039 with flag 693002/7098130
1422.33/1416.89	c cleaning 36981 clauses out of 74040 with flag 731001/7136129
1428.03/1422.55	c Got one! Elapsed wall clock time (in seconds):1422.137
1428.03/1422.55	o 5221695
1429.23/1423.75	c cleaning 34982 clauses out of 69985 with flag 5001/7169055
1430.05/1424.56	c cleaning 20487 clauses out of 41002 with flag 11000/7175054
1430.86/1425.38	c Got one! Elapsed wall clock time (in seconds):1424.963
1430.86/1425.38	o 5198061
1432.06/1426.55	c cleaning 15291 clauses out of 30596 with flag 5001/7185135
1433.50/1427.90	c cleaning 10624 clauses out of 21304 with flag 11000/7191134
1434.32/1428.78	c cleaning 8817 clauses out of 17680 with flag 18000/7198134
1435.53/1429.91	c cleaning 8423 clauses out of 16864 with flag 26001/7206135
1436.53/1430.97	c cleaning 8708 clauses out of 17440 with flag 35000/7215134
1438.04/1432.48	c cleaning 9356 clauses out of 18734 with flag 45002/7225136
1439.95/1434.39	c cleaning 10169 clauses out of 20376 with flag 56000/7236134
1442.77/1437.10	c cleaning 11094 clauses out of 22207 with flag 68000/7248134
1443.79/1438.10	c Got one! Elapsed wall clock time (in seconds):1437.681
1443.79/1438.10	o 5184363
1443.89/1438.20	c Got one! Elapsed wall clock time (in seconds):1437.787
1443.89/1438.20	o 4686173
1443.99/1438.38	c cleaning 8302 clauses out of 16669 with flag 1000/7253690
1444.81/1439.18	c cleaning 7165 clauses out of 14368 with flag 7001/7259691
1445.93/1440.22	c cleaning 7068 clauses out of 14203 with flag 14001/7266691
1447.04/1441.39	c cleaning 7564 clauses out of 15136 with flag 22002/7274692
1448.34/1442.69	c cleaning 8276 clauses out of 16572 with flag 31002/7283692
1450.16/1444.47	c cleaning 9134 clauses out of 18294 with flag 41000/7293690
1452.40/1446.61	c cleaning 10062 clauses out of 20161 with flag 52001/7304691
1455.21/1449.44	c cleaning 11023 clauses out of 22099 with flag 64001/7316691
1458.21/1452.46	c cleaning 12028 clauses out of 24077 with flag 77002/7329692
1461.31/1455.60	c cleaning 13011 clauses out of 26048 with flag 91001/7343691
1464.12/1458.32	c cleaning 14005 clauses out of 28036 with flag 106000/7358690
1466.93/1461.15	c cleaning 15006 clauses out of 30031 with flag 122000/7374690
1470.14/1464.32	c cleaning 15994 clauses out of 32026 with flag 139001/7391691
1473.15/1467.38	c cleaning 16997 clauses out of 34033 with flag 157002/7409692
1476.45/1470.68	c cleaning 18005 clauses out of 36034 with flag 176000/7428690
1480.25/1474.40	c cleaning 19010 clauses out of 38030 with flag 196001/7448691
1480.66/1474.82	c Got one! Elapsed wall clock time (in seconds):1474.406
1480.66/1474.82	o 4193259
1481.56/1475.76	c cleaning 12310 clauses out of 24643 with flag 4000/7454314
1483.09/1477.23	c cleaning 9150 clauses out of 18333 with flag 10000/7460314
1484.70/1478.88	c cleaning 8065 clauses out of 16184 with flag 17001/7467315
1486.75/1480.86	c cleaning 8016 clauses out of 16118 with flag 25000/7475314
1488.67/1482.78	c cleaning 8526 clauses out of 17102 with flag 34000/7484314
1489.07/1483.18	c Got one! Elapsed wall clock time (in seconds):1482.766
1489.07/1483.18	o 4153218
1489.97/1484.02	c cleaning 7192 clauses out of 14421 with flag 4000/7490172
1491.18/1485.22	c cleaning 6591 clauses out of 13230 with flag 10001/7496173
1492.48/1486.54	c cleaning 6806 clauses out of 13640 with flag 17002/7503174
1493.98/1488.08	c cleaning 7400 clauses out of 14832 with flag 25000/7511172
1495.78/1489.82	c cleaning 8202 clauses out of 16433 with flag 34001/7520173
1497.69/1491.74	c cleaning 9094 clauses out of 18230 with flag 44000/7530172
1499.72/1493.75	c cleaning 10051 clauses out of 20138 with flag 55002/7541174
1502.31/1496.31	c cleaning 11035 clauses out of 22086 with flag 67001/7553173
1504.92/1498.94	c cleaning 12013 clauses out of 24050 with flag 80000/7566172
1507.53/1501.54	c cleaning 13002 clauses out of 26038 with flag 94001/7580173
1510.62/1504.61	c cleaning 14003 clauses out of 28036 with flag 109001/7595173
1513.84/1507.86	c cleaning 14998 clauses out of 30034 with flag 125002/7611174
1517.04/1511.06	c cleaning 16003 clauses out of 32034 with flag 142000/7628172
1520.95/1514.93	c cleaning 16856 clauses out of 33729 with flag 160000/7646172
1525.17/1519.12	c cleaning 17921 clauses out of 35873 with flag 179000/7665172
1529.66/1523.69	c cleaning 18951 clauses out of 37952 with flag 199000/7685172
1534.18/1528.16	c cleaning 19989 clauses out of 40001 with flag 220000/7706172
1539.39/1533.33	c cleaning 20994 clauses out of 42012 with flag 242000/7728172
1544.48/1538.45	c cleaning 21992 clauses out of 44020 with flag 265002/7751174
1549.99/1543.96	c cleaning 23002 clauses out of 46026 with flag 289000/7775172
1555.30/1549.21	c cleaning 23987 clauses out of 48024 with flag 314000/7800172
1561.31/1555.21	c cleaning 25002 clauses out of 50037 with flag 340000/7826172
1567.32/1561.25	c Got one! Elapsed wall clock time (in seconds):1560.835
1567.32/1561.25	o 4113862
1568.62/1562.51	c cleaning 27818 clauses out of 55646 with flag 5001/7856783
1569.83/1563.72	c Got one! Elapsed wall clock time (in seconds):1563.305
1569.83/1563.72	o 4039472
1571.13/1565.00	c cleaning 18971 clauses out of 37969 with flag 5001/7866924
1572.64/1566.54	c cleaning 12477 clauses out of 24997 with flag 11000/7872923
1574.46/1568.33	c cleaning 9728 clauses out of 19520 with flag 18000/7879923
1576.47/1570.31	c cleaning 8869 clauses out of 17795 with flag 26003/7887926
1578.69/1572.58	c cleaning 8947 clauses out of 17923 with flag 35000/7896923
1581.30/1575.12	c cleaning 9474 clauses out of 18976 with flag 45000/7906923
1583.89/1577.79	c cleaning 10233 clauses out of 20503 with flag 56001/7917924
1586.69/1580.59	c cleaning 11123 clauses out of 22269 with flag 68000/7929923
1589.81/1583.65	c cleaning 12053 clauses out of 24146 with flag 81000/7942923
1593.32/1587.15	c cleaning 13029 clauses out of 26093 with flag 95000/7956923
1597.23/1591.03	c cleaning 14011 clauses out of 28065 with flag 110001/7971924
1601.17/1594.98	c cleaning 15000 clauses out of 30053 with flag 126000/7987923
1605.36/1599.15	c cleaning 16004 clauses out of 32055 with flag 143002/8004925
1609.58/1603.35	c cleaning 17009 clauses out of 34050 with flag 161001/8022924
1610.50/1604.23	c Got one! Elapsed wall clock time (in seconds):1603.816
1610.50/1604.23	o 4013926
1611.00/1604.74	c cleaning 11199 clauses out of 22411 with flag 2001/8028294
1611.82/1605.55	c cleaning 8589 clauses out of 17215 with flag 8004/8034297
1612.82/1606.54	c cleaning 7773 clauses out of 15623 with flag 15001/8041294
1614.04/1607.76	c cleaning 7908 clauses out of 15849 with flag 23000/8049293
1615.46/1609.16	c cleaning 8467 clauses out of 16945 with flag 32004/8058297
1617.07/1610.79	c cleaning 9224 clauses out of 18474 with flag 42000/8068293
1618.77/1612.50	c cleaning 10116 clauses out of 20251 with flag 53001/8079294
1620.78/1614.43	c cleaning 11050 clauses out of 22134 with flag 65000/8091293
1622.70/1616.36	c cleaning 12025 clauses out of 24084 with flag 78000/8104293
1624.90/1618.53	c cleaning 13019 clauses out of 26062 with flag 92003/8118296
1627.20/1620.84	c cleaning 14013 clauses out of 28042 with flag 107002/8133295
1629.92/1623.57	c cleaning 15004 clauses out of 30030 with flag 123003/8149296
1632.82/1626.45	c cleaning 15995 clauses out of 32023 with flag 140000/8166293
1636.12/1629.73	c cleaning 17000 clauses out of 34028 with flag 158000/8184293
1639.83/1633.42	c cleaning 17996 clauses out of 36028 with flag 177000/8203293
1643.34/1636.91	c cleaning 19006 clauses out of 38032 with flag 197000/8223293
1647.14/1640.71	c cleaning 20007 clauses out of 40027 with flag 218001/8244294
1651.85/1645.40	c cleaning 21003 clauses out of 42020 with flag 240001/8266294
1655.96/1649.53	c cleaning 22000 clauses out of 44017 with flag 263001/8289294
1660.76/1654.35	c cleaning 22996 clauses out of 46016 with flag 287000/8313293
1665.56/1659.10	c cleaning 23997 clauses out of 48021 with flag 312001/8338294
1670.57/1664.10	c cleaning 24996 clauses out of 50023 with flag 338000/8364293
1675.48/1669.02	c cleaning 25986 clauses out of 52027 with flag 365000/8391293
1681.08/1674.60	c cleaning 27001 clauses out of 54041 with flag 393000/8419293
1686.88/1680.43	c cleaning 27998 clauses out of 56042 with flag 422002/8448295
1692.70/1686.26	c cleaning 29002 clauses out of 58043 with flag 452001/8478294
1698.71/1692.26	c cleaning 30002 clauses out of 60041 with flag 483001/8509294
1704.94/1698.44	c cleaning 31005 clauses out of 62038 with flag 515000/8541293
1711.63/1705.19	c cleaning 31995 clauses out of 64034 with flag 548001/8574294
1716.86/1710.39	c cleaning 32996 clauses out of 66038 with flag 582000/8608293
1723.50/1716.90	c cleaning 34001 clauses out of 68045 with flag 617003/8643296
1730.21/1723.64	c cleaning 34984 clauses out of 70042 with flag 653001/8679294
1736.93/1730.32	c Got one! Elapsed wall clock time (in seconds):1729.901
1736.93/1730.32	o 3981388
1736.93/1730.37	c Got one! Elapsed wall clock time (in seconds):1729.952
1736.93/1730.37	o 3870139
1738.22/1731.62	c cleaning 35159 clauses out of 70341 with flag 5000/8714577
1739.55/1732.94	c cleaning 20566 clauses out of 41182 with flag 11000/8720577
1741.07/1734.43	c cleaning 13788 clauses out of 27616 with flag 18000/8727577
1742.68/1736.06	c cleaning 10882 clauses out of 21828 with flag 26000/8735577
1744.48/1737.86	c cleaning 9941 clauses out of 19946 with flag 35000/8744577
1746.70/1740.06	c cleaning 9967 clauses out of 20005 with flag 45000/8754577
1749.24/1742.52	c cleaning 10496 clauses out of 21038 with flag 56000/8765577
1751.65/1744.94	c cleaning 11252 clauses out of 22544 with flag 68002/8777579
1754.67/1747.97	c cleaning 12129 clauses out of 24290 with flag 81000/8790577
1757.99/1751.27	c cleaning 13067 clauses out of 26161 with flag 95000/8804577
1761.50/1754.78	c cleaning 14029 clauses out of 28094 with flag 110000/8819577
1765.01/1758.23	c cleaning 15028 clauses out of 30066 with flag 126001/8835578
1769.02/1762.21	c cleaning 15985 clauses out of 32037 with flag 143000/8852577
1772.93/1766.18	c cleaning 16995 clauses out of 34052 with flag 161000/8870577
1777.03/1770.21	c cleaning 18013 clauses out of 36058 with flag 180001/8889578
1781.73/1774.97	c cleaning 19003 clauses out of 38044 with flag 200000/8909577
1786.74/1779.90	c cleaning 20012 clauses out of 40041 with flag 221000/8930577
1792.16/1785.34	c cleaning 21006 clauses out of 42029 with flag 243000/8952577
1792.96/1786.13	c Got one! Elapsed wall clock time (in seconds):1785.711
1792.96/1786.13	o 3845270
1792.96/1786.16	c Got one! Elapsed wall clock time (in seconds):1785.744
1792.96/1786.16	o 3653970
1793.56/1786.70	c cleaning 13134 clauses out of 26297 with flag 2000/8957851
1794.98/1788.16	c cleaning 9547 clauses out of 19163 with flag 8000/8963851
1796.78/1789.92	c cleaning 8287 clauses out of 16616 with flag 15000/8970851
1798.89/1792.05	c cleaning 8126 clauses out of 16329 with flag 23000/8978851
1800.10/1793.21	c starts		: 332
1800.10/1793.21	c conflicts		: 8983433
1800.10/1793.21	c decisions		: 18415683
1800.10/1793.21	c propagations		: 1970486671
1800.10/1793.21	c inspects		: 9010235842
1800.10/1793.21	c shortcuts		: 0
1800.10/1793.21	c learnt literals	: 46
1800.10/1793.21	c learnt binary clauses	: 544
1800.10/1793.21	c learnt ternary clauses	: 808
1800.10/1793.21	c learnt constraints	: 8983388
1800.10/1793.21	c ignored constraints	: 0
1800.10/1793.21	c root simplifications	: 378
1800.10/1793.21	c removed literals (reason simplification)	: 166946243
1800.10/1793.21	c reason swapping (by a shorter reason)	: 0
1800.10/1793.21	c Calls to reduceDB	: 493
1800.10/1793.21	c number of reductions to clauses (during analyze)	: 0
1800.10/1793.21	c number of learned constraints concerned by reduction	: 0
1800.10/1793.21	c number of learning phase by resolution	: 0
1800.10/1793.21	c number of learning phase by cutting planes	: 0
1800.10/1793.21	c speed (assignments/second)	: 1099340.968609025
1800.10/1793.21	c non guided choices	12444
1800.10/1793.22	c learnt constraints type 
1800.10/1793.22	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 345
1800.10/1793.22	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12462
1800.10/1793.22	c constraints type 
1800.10/1793.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1800.10/1793.22	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
1800.10/1793.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.10/1793.22	c ignored satisfied constraints => 4
1800.10/1793.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1800.10/1793.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016
1800.10/1793.22	c 21932 constraints processed.
1800.10/1793.22	s SATISFIABLE
1800.10/1793.23	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 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 x9401 -x9402 -x9403 x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 x9523 -x9524 -x9525 x9526 -x9527 x9528 -x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 x9633 -x9634 -x9635 -x9636 x9637 -x9638 x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 x9661 -x9662 -x9663 -x9664 -x9665 -x9666 x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 x9721 -x9722 x9723 -x9724 -x9725 -x9726 -x9727 -x9728 x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 x9751 -x9752 -x9753 -x9754 -x9755 -x9756 x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 
1800.10/1793.24	c objective function=3653970
1800.10/1793.24	c Total wall clock time (in seconds): 1792.82

Verifier Data

OK	3653970

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

running on 4 cores: 0,2,4,6

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: 1.00 1.22 1.81 3/173 30137
/proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/30137/stat : 30137 (java) D 30135 30137 27775 0 -1 4202496 81 0 1 0 0 0 0 0 20 0 1 0 291032688 278528 34 33554432000 1073741824 1073778376 140737013256496 140737013253672 249640873255 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/30137/statm: 68 34 25 9 0 25 0

[startup+0.0190939 s]
/proc/loadavg: 1.00 1.22 1.81 3/173 30137
/proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/30137/stat : 30137 (java) D 30135 30137 27775 0 -1 4202496 284 0 2 0 0 0 0 0 20 0 1 0 291032688 278528 33 33554432000 1073741824 1073778376 140737130780944 140737130778120 249640873255 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/30137/statm: 68 33 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.100258 s]
/proc/loadavg: 1.00 1.22 1.81 3/173 30137
/proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/30137/stat : 30137 (java) D 30135 30137 27775 0 -1 4202496 1054 0 17 0 0 0 0 0 20 0 1 0 291032688 23793664 797 33554432000 1073741824 1073778376 140737130780944 140737130770936 140385415693993 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 6 0 0
/proc/30137/statm: 5809 797 592 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.300199 s]
/proc/loadavg: 1.00 1.22 1.81 3/173 30137
/proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 3066 0 30 0 3 1 0 0 20 0 13 0 291032688 9446973440 4302 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2306390 4302 1714 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.700222 s]
/proc/loadavg: 1.00 1.22 1.81 3/173 30137
/proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9558440 CPUtime=0.7 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 6746 0 31 0 67 3 0 0 20 0 18 0 291032688 9787842560 15561 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2389610 15561 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9558440

[startup+1.50068 s]
/proc/loadavg: 1.08 1.24 1.81 3/190 30156
/proc/meminfo: memFree=31681624/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9625004 CPUtime=1.86 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 8098 0 31 0 182 4 0 0 20 0 19 0 291032688 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2406251 22700 2258 9 0 2396937 0
[pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2514 0 7 0 116 2 0 0 20 0 19 0 291032700 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385409565320 140385251352768 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291032709 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 2160 0 0 0 35 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 2245 0 1 0 29 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625004

[startup+3.10062 s]
/proc/loadavg: 1.08 1.24 1.81 5/212 30183
/proc/meminfo: memFree=31429340/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9625004 CPUtime=3.74 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 12234 0 31 0 370 4 0 0 20 0 19 0 291032688 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2406251 25510 2264 9 0 2396937 0
[pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=2.77 cores=0,2,4,6
/proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2518 0 7 0 275 2 0 0 20 0 19 0 291032700 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385409563088 140385251509288 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291032709 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 5405 0 0 0 49 2 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3132 0 1 0 43 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625004

[startup+6.30069 s]
/proc/loadavg: 1.16 1.25 1.81 3/212 30183
/proc/meminfo: memFree=30914004/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9625004 CPUtime=7.53 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 18058 0 31 0 746 7 0 0 20 0 19 0 291032688 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2406251 32409 2291 9 0 2396937 0
[pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=5.88 cores=0,2,4,6
/proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2522 0 7 0 586 2 0 0 20 0 19 0 291032700 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385409564960 140385251509691 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 43 0 0 0 5 0 0 0 20 0 19 0 291032709 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11141 0 0 0 95 3 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3144 0 1 0 51 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 95 0 0 0 12 15 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.77
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 1.93 3/213 30220
/proc/meminfo: memFree=30642112/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9625004 CPUtime=1728.91 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 19396 0 31 0 172853 38 0 0 20 0 19 0 291032688 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2406251 41380 2292 9 0 2396937 0
[pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1697.84 cores=0,2,4,6
/proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2988 0 7 0 169755 29 0 0 20 0 19 0 291032700 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385409564992 140385251265984 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0
[pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 88 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 59 0 0 0 91 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 75 0 0 0 94 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 83 0 0 0 94 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 105 0 0 0 94 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 64 0 0 0 96 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 86 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 100 0 0 0 102 0 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=17.13 cores=0,2,4,6
/proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 177 0 0 0 1709 4 0 0 20 0 19 0 291032709 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 99 0 0 0 12 16 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.91
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/214 30223
/proc/meminfo: memFree=30640304/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9625004 CPUtime=1789.16 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 19429 0 31 0 178877 39 0 0 20 0 19 0 291032688 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2406251 41739 2292 9 0 2396937 0
[pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1756.84 cores=0,2,4,6
/proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 3006 0 7 0 175654 30 0 0 20 0 19 0 291032700 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385409564992 140385251543472 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0
[pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 88 0 0 0 104 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 63 0 0 0 96 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 75 0 0 0 100 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 83 0 0 0 98 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 105 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 67 0 0 0 100 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 86 0 0 0 105 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 100 0 0 0 107 0 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=17.84 cores=0,2,4,6
/proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 181 0 0 0 1779 5 0 0 20 0 19 0 291032709 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1789.16
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.2 s]
/proc/loadavg: 2.03 2.02 1.93 4/214 30223
/proc/meminfo: memFree=30640552/32873844 swapFree=7116/7116
[pid=30137] ppid=30135 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6
/proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 19434 0 31 0 179971 39 0 0 20 0 19 0 291032688 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/30137/statm: 2406251 41739 2292 9 0 2396937 0
[pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1767.51 cores=0,2,4,6
/proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 3011 0 7 0 176721 30 0 0 20 0 19 0 291032700 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385409564992 140385251265900 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0
[pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 88 0 0 0 104 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 63 0 0 0 97 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 75 0 0 0 100 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 83 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 105 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=1.03 cores=0,2,4,6
/proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 67 0 0 0 101 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 86 0 0 0 107 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 100 0 0 0 108 0 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=18.04 cores=0,2,4,6
/proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 181 0 0 0 1799 5 0 0 20 0 19 0 291032709 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30137 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=317070
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=829873
# CPU time returned by wait4() is 1796.15
# 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): 1793.25
CPU time (s): 1800.1
CPU user time (s): 1799.71
CPU system time (s): 0.39
CPU usage (%): 100.382
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.32
system time used= 0.829873
maximum resident set size= 167080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19467
page faults= 31
swaps= 0
block input operations= 28728
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51480
involuntary context switches= 29886

runsolver used 5.45317 second user time and 13.6419 second system time

The end

Launcher Data

Begin job on node102 at 2012-05-29 01:50:42
IDJOB=3710449
IDBENCH=92671
IDSOLVER=2289
FILE ID=node102/3710449-1338249041
RUNJOBID= node102-1338249041-30119
PBS_JOBID= 14624651
Free space on /tmp= 71520 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.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-3710449-1338249041/watcher-3710449-1338249041 -o /tmp/evaluation-result-3710449-1338249041/solver-3710449-1338249041 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710449-1338249041.opb

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

MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d
RANDOM SEED=618322757

node102.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.178
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.35
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.178
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.90
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.178
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.178
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.178
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.178
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	: 5438.54
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.178
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.178
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31820632 kB
Buffers:          150752 kB
Cached:            63632 kB
SwapCached:            0 kB
Active:           200656 kB
Inactive:          24200 kB
Active(anon):        904 kB
Inactive(anon):    11868 kB
Active(file):     199752 kB
Inactive(file):    12332 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1584 kB
Writeback:             0 kB
AnonPages:         17160 kB
Mapped:             9396 kB
Shmem:               200 kB
Slab:             687672 kB
SReclaimable:     129756 kB
SUnreclaim:       557916 kB
KernelStack:        1400 kB
PageTables:         3704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71480 MiB
End job on node102 at 2012-05-29 02:20:37