Trace number 3710926

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 NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)35 1800.74 1797.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
MD5SUM11f76d5c4a01da95c686f09380ec8e85
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark15.8106
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables9709
Total number of constraints29891
Number of constraints which are clauses29891
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 4768
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4768
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4768
Number of bits of the biggest sum of numbers13
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710926-1338312561.opb
0.09/0.12	c reading problem ... 
0.74/0.47	c ... done. Wall clock time 0.349s.
0.74/0.47	c declared #vars     9709
0.74/0.47	c #constraints  29891
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950
0.74/0.47	c org.sat4j.minisat.constraints.cnf.UnitClause => 944
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997
0.74/0.47	c 29891 constraints processed.
1.25/0.60	c SATISFIABLE
1.25/0.60	c OPTIMIZING...
1.25/0.60	c Got one! Elapsed wall clock time (in seconds):0.48
1.25/0.60	o 109
1.51/0.71	c Got one! Elapsed wall clock time (in seconds):0.596
1.51/0.71	o 72
2.01/1.04	c Got one! Elapsed wall clock time (in seconds):0.921
2.01/1.04	o 61
3.04/2.09	c Got one! Elapsed wall clock time (in seconds):1.972
3.04/2.09	o 60
3.68/2.62	c Got one! Elapsed wall clock time (in seconds):2.5
3.68/2.62	o 59
5.61/4.53	c Got one! Elapsed wall clock time (in seconds):4.411
5.61/4.53	o 58
6.33/5.23	c cleaning 3990 clauses out of 7980 with flag 1000/7980
7.08/5.99	c Got one! Elapsed wall clock time (in seconds):5.87
7.08/5.99	o 57
8.91/7.79	c Got one! Elapsed wall clock time (in seconds):7.667
8.91/7.79	o 56
9.51/8.39	c cleaning 4880 clauses out of 9762 with flag 1001/13752
12.71/11.55	c cleaning 5440 clauses out of 10882 with flag 7001/19752
16.62/15.47	c cleaning 6217 clauses out of 12442 with flag 14001/26752
21.47/20.25	c cleaning 7107 clauses out of 14224 with flag 22000/34751
26.67/25.43	c cleaning 8055 clauses out of 16118 with flag 31001/43752
31.27/30.10	c cleaning 9006 clauses out of 18062 with flag 41000/53751
33.27/32.02	c Got one! Elapsed wall clock time (in seconds):31.9
33.27/32.02	o 55
34.37/33.15	c cleaning 7218 clauses out of 14441 with flag 2002/59136
36.87/35.63	c cleaning 6603 clauses out of 13222 with flag 8001/65135
40.78/39.60	c cleaning 6800 clauses out of 13618 with flag 15000/72134
45.19/43.96	c cleaning 7402 clauses out of 14818 with flag 23000/80134
50.08/48.81	c cleaning 8203 clauses out of 16416 with flag 32000/89134
56.20/54.95	c cleaning 9079 clauses out of 18213 with flag 42000/99134
60.89/59.63	c cleaning 10060 clauses out of 20134 with flag 53000/110134
62.29/61.09	c Got one! Elapsed wall clock time (in seconds):60.972
62.29/61.09	o 54
62.49/61.24	c Got one! Elapsed wall clock time (in seconds):61.126
62.49/61.24	o 53
62.49/61.25	c Got one! Elapsed wall clock time (in seconds):61.133
62.49/61.25	o 52
62.49/61.26	c Got one! Elapsed wall clock time (in seconds):61.141
62.49/61.26	o 51
62.49/61.27	c Got one! Elapsed wall clock time (in seconds):61.148
62.49/61.27	o 45
62.49/61.27	c Got one! Elapsed wall clock time (in seconds):61.155
62.49/61.27	o 44
62.49/61.28	c Got one! Elapsed wall clock time (in seconds):61.162
62.49/61.28	o 43
62.49/61.29	c Got one! Elapsed wall clock time (in seconds):61.169
62.49/61.29	o 42
62.49/61.29	c Got one! Elapsed wall clock time (in seconds):61.175
62.49/61.29	o 41
62.60/61.30	c Got one! Elapsed wall clock time (in seconds):61.182
62.60/61.30	o 40
62.60/61.31	c Got one! Elapsed wall clock time (in seconds):61.189
62.60/61.31	o 39
62.60/61.31	c Got one! Elapsed wall clock time (in seconds):61.195
62.60/61.31	o 38
62.60/61.32	c Got one! Elapsed wall clock time (in seconds):61.202
62.60/61.32	o 37
62.60/61.33	c Got one! Elapsed wall clock time (in seconds):61.212
62.60/61.33	o 36
63.60/62.31	c cleaning 8017 clauses out of 16040 with flag 2000/116100
66.80/65.58	c cleaning 7009 clauses out of 14025 with flag 8002/122102
70.52/69.20	c cleaning 7003 clauses out of 14016 with flag 15002/129102
74.23/72.90	c cleaning 7500 clauses out of 15011 with flag 23000/137100
79.63/78.34	c cleaning 8250 clauses out of 16511 with flag 32000/146100
85.25/83.93	c cleaning 9127 clauses out of 18261 with flag 42000/156100
89.96/88.62	c cleaning 10057 clauses out of 20134 with flag 53000/167100
95.46/94.12	c cleaning 11034 clauses out of 22077 with flag 65000/179100
101.47/100.17	c cleaning 12019 clauses out of 24043 with flag 78000/192100
107.57/106.28	c cleaning 12995 clauses out of 26024 with flag 92000/206100
113.28/111.91	c cleaning 14003 clauses out of 28029 with flag 107000/221100
120.68/119.32	c cleaning 14986 clauses out of 30026 with flag 123000/237100
128.68/127.39	c cleaning 15999 clauses out of 32040 with flag 140000/254100
138.10/136.70	c cleaning 17015 clauses out of 34041 with flag 158000/272100
147.10/145.77	c cleaning 18006 clauses out of 36027 with flag 177001/291101
158.62/157.22	c cleaning 18983 clauses out of 38021 with flag 197001/311101
168.91/167.53	c cleaning 20013 clauses out of 40037 with flag 218000/332100
179.72/178.32	c cleaning 21002 clauses out of 42024 with flag 240000/354100
194.43/193.01	c cleaning 21997 clauses out of 44022 with flag 263000/377100
205.43/204.00	c Got one! Elapsed wall clock time (in seconds):203.879
205.43/204.00	o 35
207.43/206.04	c cleaning 23049 clauses out of 46117 with flag 5001/401192
211.03/209.61	c cleaning 14529 clauses out of 29067 with flag 11000/407191
213.65/212.21	c cleaning 10759 clauses out of 21538 with flag 18000/414191
218.66/217.22	c cleaning 9379 clauses out of 18779 with flag 26000/422191
224.26/222.88	c cleaning 9192 clauses out of 18401 with flag 35001/431192
227.97/226.58	c cleaning 9596 clauses out of 19208 with flag 45000/441191
232.58/231.11	c cleaning 10284 clauses out of 20612 with flag 56000/452191
238.20/236.72	c cleaning 11152 clauses out of 22328 with flag 68000/464191
244.54/243.04	c cleaning 12079 clauses out of 24177 with flag 81001/477192
249.93/248.49	c cleaning 13027 clauses out of 26097 with flag 95000/491191
255.67/254.16	c cleaning 14028 clauses out of 28070 with flag 110000/506191
261.86/260.30	c cleaning 15013 clauses out of 30042 with flag 126000/522191
269.47/267.94	c cleaning 16004 clauses out of 32031 with flag 143002/539193
277.88/276.32	c cleaning 16983 clauses out of 34025 with flag 161000/557191
286.40/284.84	c cleaning 18009 clauses out of 36042 with flag 180000/576191
295.71/294.19	c cleaning 19016 clauses out of 38036 with flag 200003/596194
305.44/303.84	c cleaning 20004 clauses out of 40018 with flag 221001/617192
314.76/313.12	c cleaning 20998 clauses out of 42013 with flag 243000/639191
324.27/322.60	c cleaning 21999 clauses out of 44015 with flag 266000/662191
335.18/333.55	c cleaning 22992 clauses out of 46017 with flag 290001/686192
348.29/346.63	c cleaning 23965 clauses out of 48024 with flag 315000/711191
359.20/357.52	c cleaning 25018 clauses out of 50059 with flag 341000/737191
369.83/368.17	c cleaning 26003 clauses out of 52041 with flag 368000/764191
381.75/380.04	c cleaning 26997 clauses out of 54038 with flag 396000/792191
396.45/394.76	c cleaning 27978 clauses out of 56041 with flag 425000/821191
411.67/409.98	c cleaning 29013 clauses out of 58066 with flag 455003/851194
428.88/427.17	c cleaning 29992 clauses out of 60050 with flag 486000/882191
442.81/441.08	c cleaning 31023 clauses out of 62058 with flag 518000/914191
457.80/456.02	c cleaning 32003 clauses out of 64035 with flag 551000/947191
472.33/470.52	c cleaning 32991 clauses out of 66032 with flag 585000/981191
489.05/487.25	c cleaning 34015 clauses out of 68041 with flag 620000/1016191
506.05/504.26	c cleaning 35004 clauses out of 70027 with flag 656001/1052192
523.48/521.67	c cleaning 35987 clauses out of 72022 with flag 693000/1089191
540.89/539.05	c cleaning 36992 clauses out of 74037 with flag 731002/1127193
559.31/557.41	c cleaning 38000 clauses out of 76043 with flag 770000/1166191
576.53/574.62	c cleaning 39011 clauses out of 78043 with flag 810000/1206191
593.24/591.36	c cleaning 39997 clauses out of 80032 with flag 851000/1247191
611.35/609.41	c cleaning 41007 clauses out of 82035 with flag 893000/1289191
629.46/627.54	c cleaning 42009 clauses out of 84028 with flag 936000/1332191
649.18/647.27	c cleaning 43002 clauses out of 86019 with flag 980000/1376191
669.79/667.83	c cleaning 43991 clauses out of 88017 with flag 1025000/1421191
689.90/687.92	c cleaning 44992 clauses out of 90027 with flag 1071001/1467192
712.81/710.87	c cleaning 45987 clauses out of 92036 with flag 1118002/1514193
733.44/731.43	c cleaning 47010 clauses out of 94048 with flag 1166001/1562192
753.96/751.91	c cleaning 48000 clauses out of 96037 with flag 1215000/1611191
778.47/776.41	c cleaning 48986 clauses out of 98037 with flag 1265000/1661191
804.80/802.79	c cleaning 50002 clauses out of 100051 with flag 1316000/1712191
832.76/830.63	c cleaning 51014 clauses out of 102049 with flag 1368000/1764191
855.48/853.36	c cleaning 51994 clauses out of 104035 with flag 1421000/1817191
878.51/876.39	c cleaning 53013 clauses out of 106041 with flag 1475000/1871191
901.92/899.75	c cleaning 54003 clauses out of 108028 with flag 1530000/1926191
926.23/924.06	c cleaning 55002 clauses out of 110027 with flag 1586002/1982193
952.77/950.55	c cleaning 55997 clauses out of 112023 with flag 1643000/2039191
981.10/978.81	c cleaning 57004 clauses out of 114026 with flag 1701000/2097191
1009.72/1007.49	c cleaning 58002 clauses out of 116023 with flag 1760001/2156192
1038.15/1035.86	c cleaning 58968 clauses out of 118021 with flag 1820001/2216192
1071.19/1068.81	c cleaning 60007 clauses out of 120052 with flag 1881000/2277191
1099.31/1096.93	c cleaning 61011 clauses out of 122046 with flag 1943001/2339192
1127.23/1124.83	c cleaning 61992 clauses out of 124034 with flag 2006000/2402191
1158.05/1155.65	c cleaning 63009 clauses out of 126042 with flag 2070000/2466191
1195.16/1192.76	c cleaning 63995 clauses out of 128033 with flag 2135000/2531191
1235.48/1233.09	c cleaning 65003 clauses out of 130039 with flag 2201001/2597192
1276.50/1274.04	c cleaning 66000 clauses out of 132035 with flag 2268000/2664191
1305.02/1302.57	c cleaning 67009 clauses out of 134035 with flag 2336000/2732191
1334.35/1331.84	c cleaning 68004 clauses out of 136026 with flag 2405000/2801191
1364.07/1361.57	c cleaning 68997 clauses out of 138022 with flag 2475000/2871191
1396.41/1393.86	c cleaning 70000 clauses out of 140025 with flag 2546000/2942191
1428.17/1425.57	c cleaning 71002 clauses out of 142026 with flag 2618001/3014192
1461.90/1459.23	c cleaning 71994 clauses out of 144023 with flag 2691000/3087191
1495.32/1492.61	c cleaning 73003 clauses out of 146029 with flag 2765000/3161191
1527.64/1524.93	c cleaning 73994 clauses out of 148026 with flag 2840000/3236191
1561.25/1558.51	c cleaning 74985 clauses out of 150032 with flag 2916000/3312191
1599.37/1596.64	c cleaning 76001 clauses out of 152047 with flag 2993000/3389191
1635.11/1632.38	c cleaning 77014 clauses out of 154046 with flag 3071000/3467191
1669.83/1667.06	c cleaning 78002 clauses out of 156032 with flag 3150000/3546191
1703.36/1700.55	c cleaning 79009 clauses out of 158031 with flag 3230001/3626192
1740.57/1737.79	c cleaning 79968 clauses out of 160021 with flag 3311000/3707191
1782.60/1779.75	c cleaning 80998 clauses out of 162054 with flag 3393001/3789192
1800.03/1797.11	c starts		: 276
1800.03/1797.11	c conflicts		: 3822949
1800.03/1797.11	c decisions		: 11988794
1800.03/1797.11	c propagations		: 8325787752
1800.03/1797.11	c inspects		: 9079223847
1800.03/1797.11	c shortcuts		: 0
1800.03/1797.11	c learnt literals	: 0
1800.03/1797.11	c learnt binary clauses	: 0
1800.03/1797.11	c learnt ternary clauses	: 2
1800.03/1797.11	c learnt constraints	: 3822949
1800.03/1797.11	c ignored constraints	: 0
1800.03/1797.11	c root simplifications	: 276
1800.03/1797.11	c removed literals (reason simplification)	: 2940056
1800.03/1797.11	c reason swapping (by a shorter reason)	: 0
1800.03/1797.11	c Calls to reduceDB	: 111
1800.03/1797.11	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.11	c number of learned constraints concerned by reduction	: 0
1800.03/1797.11	c number of learning phase by resolution	: 0
1800.03/1797.11	c number of learning phase by cutting planes	: 0
1800.03/1797.11	c speed (assignments/second)	: 4634133.033474469
1800.03/1797.11	c non guided choices	38348
1800.03/1797.14	c learnt constraints type 
1800.03/1797.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 114853
1800.03/1797.14	c constraints type 
1800.03/1797.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950
1800.03/1797.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1797.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 944
1800.03/1797.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997
1800.03/1797.14	c 29892 constraints processed.
1800.03/1797.14	s SATISFIABLE
1800.03/1797.15	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 
1800.03/1797.16	c objective function=35
1800.03/1797.16	c Total wall clock time (in seconds): 1797.038

Verifier Data

OK	35

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 1.99 1.89 3/194 5651
/proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5651/stat : 5651 (java) D 5649 5651 5492 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 297383453 9515008 183 33554432000 1073741824 1073778376 140733933650608 140733933641640 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5651/statm: 2323 183 140 9 0 71 0

[startup+0.0433119 s]
/proc/loadavg: 2.01 1.99 1.89 3/194 5651
/proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 3019 0 1 0 1 0 0 0 20 0 13 0 297383453 9446973440 3715 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2306390 3715 1695 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100252 s]
/proc/loadavg: 2.01 1.99 1.89 3/194 5651
/proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 4300 0 1 0 8 1 0 0 20 0 18 0 297383453 9787842560 5506 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2389610 5506 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300263 s]
/proc/loadavg: 2.01 1.99 1.89 3/194 5651
/proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 5801 0 1 0 47 2 0 0 20 0 18 0 297383453 9787842560 8753 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2389610 8753 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700226 s]
/proc/loadavg: 2.01 1.99 1.89 3/194 5651
/proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 9865 0 1 0 147 4 0 0 20 0 19 0 297383453 9856004096 23590 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2406251 23590 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625004

[startup+1.50065 s]
/proc/loadavg: 1.93 1.97 1.89 3/213 5670
/proc/meminfo: memFree=28671156/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9625004 CPUtime=2.54 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 10787 0 1 0 250 4 0 0 20 0 19 0 297383453 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2406251 24104 2259 9 0 2396937 0
[pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2547 0 1 0 143 3 0 0 20 0 19 0 297383454 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043957428296 140043801728565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297383456 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 3751 0 0 0 48 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3288 0 0 0 56 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9625004

[startup+3.10061 s]
/proc/loadavg: 1.93 1.97 1.89 5/213 5670
/proc/meminfo: memFree=28666184/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9625004 CPUtime=4.21 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 10794 0 1 0 417 4 0 0 20 0 19 0 297383453 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2406251 25132 2262 9 0 2396937 0
[pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=3.06 cores=1,3,5,7
/proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2550 0 1 0 303 3 0 0 20 0 19 0 297383454 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043957428872 140043801728771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 297383456 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 3754 0 0 0 52 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3288 0 0 0 59 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 1.86 1.95 1.88 2/193 5673
/proc/meminfo: memFree=29042884/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9625004 CPUtime=7.48 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 10943 0 1 0 743 5 0 0 20 0 19 0 297383453 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2406251 29768 2289 9 0 2396937 0
[pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=6.23 cores=1,3,5,7
/proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2555 0 1 0 620 3 0 0 20 0 19 0 297383454 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043957420480 140043801605440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 297383456 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 3844 0 0 0 57 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 60 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 94 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.4 cores=1,3,5,7
/proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 173 0 0 0 337 3 0 0 20 0 19 0 297383456 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 99 0 0 0 9 17 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.17
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/213 5744
/proc/meminfo: memFree=28824520/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9625004 CPUtime=1785.23 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 12788 0 1 0 178490 33 0 0 20 0 19 0 297383453 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2406251 45036 2290 9 0 2396937 0
[pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1777.99 cores=1,3,5,7
/proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2662 0 1 0 177766 33 0 0 20 0 19 0 297383454 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043957428592 140043801728334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 57 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 62 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 58 0 0 0 28 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 50 0 0 0 27 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 110 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 33 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.49 cores=1,3,5,7
/proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 177 0 0 0 346 3 0 0 20 0 19 0 297383456 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 103 0 0 0 10 18 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.23
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.96 4/213 5744
/proc/meminfo: memFree=28824400/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 12788 0 1 0 179970 33 0 0 20 0 19 0 297383453 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2406251 45036 2290 9 0 2396937 0
[pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1792.8 cores=1,3,5,7
/proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2662 0 1 0 179247 33 0 0 20 0 19 0 297383454 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043957428592 140043801487293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 57 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 62 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 58 0 0 0 28 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 50 0 0 0 27 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 110 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 33 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.49 cores=1,3,5,7
/proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 177 0 0 0 346 3 0 0 20 0 19 0 297383456 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 103 0 0 0 10 18 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.96 4/213 5744
/proc/meminfo: memFree=28824400/32873648 swapFree=7116/7116
[pid=5651] ppid=5649 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 12788 0 1 0 179970 33 0 0 20 0 19 0 297383453 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5651/statm: 2406251 45036 2290 9 0 2396937 0
[pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1792.8 cores=1,3,5,7
/proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2662 0 1 0 179247 33 0 0 20 0 19 0 297383454 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043957428592 140043801487293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 57 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 62 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 58 0 0 0 28 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 50 0 0 0 27 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 110 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 33 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.49 cores=1,3,5,7
/proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 177 0 0 0 346 3 0 0 20 0 19 0 297383456 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 103 0 0 0 10 18 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1797.17
CPU time (s): 1800.74
CPU user time (s): 1800.05
CPU system time (s): 0.691894
CPU usage (%): 100.198
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.691894
maximum resident set size= 180264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12820
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40890
involuntary context switches= 14428

runsolver used 5.51016 second user time and 14.2948 second system time

The end

Launcher Data

Begin job on node114 at 2012-05-29 19:29:21
IDJOB=3710926
IDBENCH=24978
IDSOLVER=2289
FILE ID=node114/3710926-1338312561
RUNJOBID= node114-1338310769-5509
PBS_JOBID= 14632114
Free space on /tmp= 70976 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.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-3710926-1338312561/watcher-3710926-1338312561 -o /tmp/evaluation-result-3710926-1338312561/solver-3710926-1338312561 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710926-1338312561.opb

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=2096491460

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
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		: 2666.242
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:       32873648 kB
MemFree:        28757000 kB
Buffers:          865788 kB
Cached:          1897668 kB
SwapCached:         2300 kB
Active:          1849048 kB
Inactive:        1327580 kB
Active(anon):     399372 kB
Inactive(anon):     8436 kB
Active(file):    1449676 kB
Inactive(file):  1319144 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              1640 kB
Writeback:             0 kB
AnonPages:        412576 kB
Mapped:            19752 kB
Shmem:               104 kB
Slab:             801016 kB
SReclaimable:     245504 kB
SUnreclaim:       555512 kB
KernelStack:        1608 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1079600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70988 MiB
End job on node114 at 2012-05-29 19:59:20