Trace number 3687615

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)745 1800.08 1793.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark488
Best CPU time to get the best result obtained on this benchmark1791.96
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 498884
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 498884
Number of bits of the biggest sum of numbers19
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.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.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3687615-1337873712.opb
0.10/0.10	c reading problem ... 
3.29/2.66	c ... done. Wall clock time 2.559s.
3.29/2.66	c declared #vars     10000
3.29/2.66	c #constraints  656900
3.29/2.66	c constraints type 
3.29/2.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
3.29/2.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
3.29/2.66	c 656900 constraints processed.
3.29/2.66	c objective function length is 10000 literals
3.96/2.91	c SATISFIABLE
3.96/2.91	c OPTIMIZING...
3.96/2.91	c Got one! Elapsed wall clock time (in seconds):2.81
3.96/2.91	o 784
4.22/3.08	c Got one! Elapsed wall clock time (in seconds):2.978
4.22/3.08	o 745
5.62/4.16	c cleaning 2602 clauses out of 5205 with flag 5000/5205
7.15/5.50	c cleaning 4302 clauses out of 8603 with flag 11000/11205
8.75/7.00	c cleaning 5651 clauses out of 11301 with flag 18000/18205
10.47/8.79	c cleaning 6825 clauses out of 13650 with flag 26000/26205
12.61/10.82	c cleaning 7913 clauses out of 15825 with flag 35000/35205
14.82/13.00	c cleaning 8956 clauses out of 17912 with flag 45000/45205
17.25/15.49	c cleaning 9977 clauses out of 19957 with flag 56001/56206
19.92/18.07	c cleaning 10988 clauses out of 21981 with flag 68002/68207
22.98/21.08	c cleaning 11997 clauses out of 23994 with flag 81003/81208
26.20/24.28	c cleaning 12991 clauses out of 25994 with flag 95000/95205
29.72/27.74	c cleaning 13997 clauses out of 28003 with flag 110000/110205
33.54/31.58	c cleaning 15001 clauses out of 30006 with flag 126000/126205
37.57/35.59	c cleaning 15993 clauses out of 32005 with flag 143000/143205
41.70/39.60	c cleaning 16998 clauses out of 34012 with flag 161000/161205
46.43/44.37	c cleaning 17990 clauses out of 36014 with flag 180000/180205
51.49/49.37	c cleaning 19010 clauses out of 38024 with flag 200000/200205
56.95/54.71	c cleaning 20003 clauses out of 40014 with flag 221000/221205
62.88/60.67	c cleaning 20992 clauses out of 42011 with flag 243000/243205
69.14/66.84	c cleaning 22004 clauses out of 44023 with flag 266004/266209
74.69/72.38	c cleaning 23005 clauses out of 46015 with flag 290000/290205
81.12/78.74	c cleaning 24005 clauses out of 48011 with flag 315001/315206
87.56/85.15	c cleaning 25002 clauses out of 50006 with flag 341001/341206
93.94/91.45	c cleaning 25998 clauses out of 52005 with flag 368002/368207
100.97/98.42	c cleaning 27001 clauses out of 54005 with flag 396000/396205
108.43/105.83	c cleaning 27997 clauses out of 56005 with flag 425001/425206
116.59/113.94	c cleaning 28999 clauses out of 58008 with flag 455001/455206
124.57/121.85	c cleaning 29993 clauses out of 60008 with flag 486000/486205
132.63/129.83	c cleaning 31004 clauses out of 62015 with flag 518000/518205
142.11/139.25	c cleaning 32004 clauses out of 64011 with flag 551000/551205
151.26/148.33	c cleaning 32997 clauses out of 66008 with flag 585001/585206
160.84/157.89	c cleaning 34001 clauses out of 68010 with flag 620000/620205
170.00/166.91	c cleaning 35005 clauses out of 70010 with flag 656001/656206
180.65/177.55	c cleaning 35999 clauses out of 72008 with flag 693004/693209
191.59/188.40	c cleaning 36993 clauses out of 74005 with flag 731000/731205
202.17/198.90	c cleaning 37998 clauses out of 76012 with flag 770000/770205
215.82/212.50	c cleaning 38993 clauses out of 78015 with flag 810001/810206
227.96/224.59	c cleaning 39995 clauses out of 80024 with flag 851003/851208
239.84/236.32	c cleaning 41009 clauses out of 82026 with flag 893000/893205
250.79/247.25	c cleaning 42008 clauses out of 84017 with flag 936000/936205
263.35/259.76	c cleaning 42994 clauses out of 86009 with flag 980000/980205
274.76/271.09	c cleaning 44005 clauses out of 88016 with flag 1025001/1025206
288.31/284.55	c cleaning 44984 clauses out of 90010 with flag 1071000/1071205
300.77/296.94	c cleaning 45998 clauses out of 92026 with flag 1118000/1118205
313.45/309.54	c cleaning 47005 clauses out of 94028 with flag 1166000/1166205
325.91/321.98	c cleaning 47998 clauses out of 96025 with flag 1215002/1215207
338.36/334.40	c cleaning 49002 clauses out of 98029 with flag 1265004/1265209
352.43/348.38	c cleaning 49989 clauses out of 100025 with flag 1316002/1316207
365.51/361.29	c cleaning 51013 clauses out of 102034 with flag 1368000/1368205
378.25/373.96	c cleaning 52005 clauses out of 104021 with flag 1421000/1421205
391.69/387.35	c cleaning 53000 clauses out of 106016 with flag 1475000/1475205
405.03/400.63	c cleaning 54006 clauses out of 108016 with flag 1530000/1530205
418.48/414.03	c cleaning 55005 clauses out of 110011 with flag 1586001/1586206
432.85/428.30	c cleaning 55995 clauses out of 112005 with flag 1643000/1643205
447.83/443.24	c cleaning 56980 clauses out of 114012 with flag 1701002/1701207
463.18/458.56	c cleaning 58004 clauses out of 116032 with flag 1760002/1760207
480.25/475.52	c cleaning 58998 clauses out of 118026 with flag 1820000/1820205
495.87/491.08	c cleaning 60013 clauses out of 120028 with flag 1881000/1881205
516.05/511.17	c cleaning 60997 clauses out of 122015 with flag 1943000/1943205
531.07/526.02	c cleaning 61999 clauses out of 124018 with flag 2006000/2006205
547.52/542.47	c cleaning 62995 clauses out of 126021 with flag 2070002/2070207
567.24/562.10	c cleaning 64005 clauses out of 128025 with flag 2135001/2135206
585.54/580.33	c cleaning 64986 clauses out of 130019 with flag 2201000/2201205
602.54/597.20	c cleaning 65996 clauses out of 132033 with flag 2268000/2268205
621.60/616.23	c cleaning 67007 clauses out of 134037 with flag 2336000/2336205
642.78/637.30	c cleaning 68003 clauses out of 136030 with flag 2405000/2405205
661.85/656.39	c cleaning 69004 clauses out of 138027 with flag 2475000/2475205
680.01/674.41	c cleaning 69998 clauses out of 140026 with flag 2546003/2546208
699.08/693.41	c cleaning 71007 clauses out of 142026 with flag 2618001/2618206
721.12/715.45	c cleaning 71994 clauses out of 144019 with flag 2691001/2691206
740.90/735.13	c cleaning 73001 clauses out of 146024 with flag 2765000/2765205
765.46/759.66	c cleaning 73999 clauses out of 148023 with flag 2840000/2840205
788.24/782.31	c cleaning 74997 clauses out of 150024 with flag 2916000/2916205
811.54/805.55	c cleaning 76007 clauses out of 152027 with flag 2993000/2993205
832.22/826.14	c cleaning 77005 clauses out of 154021 with flag 3071001/3071206
853.81/847.73	c cleaning 77998 clauses out of 156015 with flag 3150000/3150205
878.42/872.32	c cleaning 79001 clauses out of 158017 with flag 3230000/3230205
902.81/896.71	c cleaning 80003 clauses out of 160016 with flag 3311000/3311205
928.71/922.66	c cleaning 80998 clauses out of 162014 with flag 3393001/3393206
956.42/950.24	c cleaning 82007 clauses out of 164015 with flag 3476000/3476205
985.02/978.83	c cleaning 82992 clauses out of 166009 with flag 3560001/3560206
1014.32/1008.11	c cleaning 84003 clauses out of 168017 with flag 3645001/3645206
1038.02/1031.87	c cleaning 84994 clauses out of 170014 with flag 3731001/3731206
1063.01/1056.85	c cleaning 85989 clauses out of 172019 with flag 3818000/3818205
1088.80/1082.63	c cleaning 86960 clauses out of 174032 with flag 3906002/3906207
1116.61/1110.42	c cleaning 88027 clauses out of 176070 with flag 3995000/3995205
1142.80/1136.68	c cleaning 89018 clauses out of 178043 with flag 4085000/4085205
1167.89/1161.75	c cleaning 89993 clauses out of 180028 with flag 4176003/4176208
1195.39/1189.21	c cleaning 90998 clauses out of 182032 with flag 4268000/4268205
1220.78/1214.67	c cleaning 91999 clauses out of 184034 with flag 4361000/4361205
1255.48/1249.38	c cleaning 92989 clauses out of 186035 with flag 4455000/4455205
1284.17/1278.08	c cleaning 94014 clauses out of 188047 with flag 4550001/4550206
1309.48/1303.31	c cleaning 94998 clauses out of 190032 with flag 4646000/4646205
1333.38/1327.28	c cleaning 96005 clauses out of 192038 with flag 4743004/4743209
1357.88/1351.73	c cleaning 97004 clauses out of 194029 with flag 4841000/4841205
1384.69/1378.50	c cleaning 98003 clauses out of 196025 with flag 4940000/4940205
1412.79/1406.62	c cleaning 99004 clauses out of 198025 with flag 5040003/5040208
1438.69/1432.52	c cleaning 99997 clauses out of 200020 with flag 5141002/5141207
1467.61/1461.46	c cleaning 101006 clauses out of 202021 with flag 5243000/5243205
1494.81/1488.68	c cleaning 102004 clauses out of 204015 with flag 5346000/5346205
1525.62/1519.42	c cleaning 102994 clauses out of 206011 with flag 5450000/5450205
1551.62/1545.47	c cleaning 103994 clauses out of 208017 with flag 5555000/5555205
1577.43/1571.25	c cleaning 104998 clauses out of 210025 with flag 5661002/5661207
1606.42/1600.20	c cleaning 105988 clauses out of 212025 with flag 5768000/5768205
1635.13/1628.93	c cleaning 106996 clauses out of 214037 with flag 5876000/5876205
1663.35/1657.18	c cleaning 108015 clauses out of 216042 with flag 5985001/5985206
1692.24/1686.09	c cleaning 108993 clauses out of 218027 with flag 6095001/6095206
1721.35/1715.17	c cleaning 110009 clauses out of 220035 with flag 6206002/6206207
1751.96/1745.72	c cleaning 111002 clauses out of 222025 with flag 6318001/6318206
1783.66/1777.42	c cleaning 111999 clauses out of 224022 with flag 6431000/6431205
1800.08/1793.81	c starts		: 278
1800.08/1793.81	c conflicts		: 6495765
1800.08/1793.81	c decisions		: 20473011
1800.08/1793.81	c propagations		: 1939324092
1800.08/1793.81	c inspects		: 2344335396
1800.08/1793.81	c shortcuts		: 0
1800.08/1793.81	c learnt literals	: 0
1800.08/1793.81	c learnt binary clauses	: 0
1800.08/1793.81	c learnt ternary clauses	: 0
1800.08/1793.81	c learnt constraints	: 6495766
1800.08/1793.81	c ignored constraints	: 0
1800.08/1793.81	c root simplifications	: 0
1800.08/1793.81	c removed literals (reason simplification)	: 0
1800.08/1793.81	c reason swapping (by a shorter reason)	: 0
1800.08/1793.81	c Calls to reduceDB	: 109
1800.08/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.08/1793.81	c number of learned constraints concerned by reduction	: 0
1800.08/1793.81	c number of learning phase by resolution	: 0
1800.08/1793.81	c number of learning phase by cutting planes	: 0
1800.08/1793.81	c speed (assignments/second)	: 1082748.8660675602
1800.08/1793.81	c non guided choices	0
1800.08/1793.84	c learnt constraints type 
1800.08/1793.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 176692
1800.08/1793.84	c constraints type 
1800.08/1793.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.08/1793.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.08/1793.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.08/1793.84	c 656901 constraints processed.
1800.08/1793.84	s SATISFIABLE
1800.08/1793.85	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 -x6397 -x6398 -x6399 x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 x8832 -x8833 -x8834 -x8835 x8836 -x8837 -x8838 -x8839 x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 x9869 -x9870 -x9871 -x9872 x9873 -x9874 -x9875 x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
1800.08/1793.86	c objective function=745
1800.08/1793.86	c Total wall clock time (in seconds): 1793.76

Verifier Data 

OK	745

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-3687615-1337873712/watcher-3687615-1337873712 -o /tmp/evaluation-result-3687615-1337873712/solver-3687615-1337873712 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687615-1337873712.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.02 1.72 3/194 21257
/proc/meminfo: memFree=29443996/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/21257/stat : 21257 (java) R 21255 21257 20833 0 -1 4202496 979 0 0 0 0 0 0 0 20 0 1 0 253499799 23793664 708 33554432000 1073741824 1073778376 140735554176064 140735554165128 249640826960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 5809 708 522 9 0 128 0

[startup+0.0262439 s]
/proc/loadavg: 2.05 2.02 1.72 3/194 21257
/proc/meminfo: memFree=29443996/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 2961 0 1 0 1 0 0 0 20 0 11 0 253499799 9310650368 3151 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2273108 3151 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100294 s]
/proc/loadavg: 2.05 2.02 1.72 3/194 21257
/proc/meminfo: memFree=29443996/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 4502 0 1 0 9 1 0 0 20 0 18 0 253499799 9787813888 5660 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2389603 5660 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300153 s]
/proc/loadavg: 2.05 2.02 1.72 3/194 21257
/proc/meminfo: memFree=29443996/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9558412 CPUtime=0.49 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 5688 0 1 0 48 1 0 0 20 0 18 0 253499799 9787813888 9375 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2389603 9375 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700272 s]
/proc/loadavg: 2.05 2.02 1.72 3/194 21257
/proc/meminfo: memFree=29443996/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9558412 CPUtime=1.15 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 9011 0 1 0 110 5 0 0 20 0 18 0 253499799 9787813888 41004 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2389603 41004 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9558412

[startup+1.50072 s]
/proc/loadavg: 2.05 2.02 1.72 3/212 21275
/proc/meminfo: memFree=29276288/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9558412 CPUtime=2.08 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 9263 0 1 0 197 11 0 0 20 0 18 0 253499799 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2389603 79022 2245 9 0 2380296 0
[pid=21257/tid=21259] ppid=21255 vsize=9558412 CPUtime=1.42 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 20833 0 -1 4202560 2620 0 1 0 138 4 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969765797368 139969638204594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 20833 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969609391016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 20833 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969608338472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 20833 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969607285416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969606232872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 20833 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969605179816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969604127272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 20833 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969603074216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 20833 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 253499800 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969602021672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 20833 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253499801 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969589824360 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253499802 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969588770680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253499802 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969587717512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499804 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969586666256 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9558412 CPUtime=0.21 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 20833 0 -1 4202560 2317 0 0 0 21 0 0 0 20 0 18 0 253499804 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969585613112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9558412 CPUtime=0.21 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 20833 0 -1 4202560 2856 0 0 0 20 1 0 0 20 0 18 0 253499804 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969584560568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499804 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969583507704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499804 9787813888 79022 33554432000 1073741824 1073778376 140735554176064 139969582455368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9558412

[startup+3.10062 s]
/proc/loadavg: 2.05 2.02 1.72 3/212 21275
/proc/meminfo: memFree=29107236/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9624976 CPUtime=4.45 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 15906 0 1 0 430 15 0 0 20 0 19 0 253499799 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406244 99401 2266 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624976 CPUtime=2.97 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 20833 0 -1 4202560 2659 0 1 0 292 5 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969765790008 139969637876749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 20833 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969609391016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 20833 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969608338472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 20833 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969607285416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 20833 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969606232872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 20833 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969605179816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 20833 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969604127272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 20833 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969603074216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 20833 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 253499800 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969602021672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 20833 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253499801 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969589824360 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969588770680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969587717512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969586666256 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) R 21255 21257 20833 0 -1 4202560 7215 0 0 0 56 1 0 0 20 0 19 0 253499804 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969585613112 139969769885543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) R 21255 21257 20833 0 -1 4202560 4455 0 0 0 49 2 0 0 20 0 19 0 253499804 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969584548096 139969771947679 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969583507704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 99401 33554432000 1073741824 1073778376 140735554176064 139969582455368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 9624976

[startup+6.30071 s]
/proc/loadavg: 2.04 2.02 1.72 3/213 21276
/proc/meminfo: memFree=28969712/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9624976 CPUtime=8.05 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 17323 0 1 0 786 19 0 0 20 0 19 0 253499799 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406244 118232 2284 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624976 CPUtime=5.8 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 20833 0 -1 4202560 2669 0 1 0 575 5 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969765798192 139969638710099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 20833 0 -1 4202560 60 0 0 0 5 2 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969609391016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 20833 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969608338472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 20833 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969607285416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 20833 0 -1 4202560 54 0 0 0 6 1 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969606232872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 20833 0 -1 4202560 52 0 0 0 4 2 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969605179816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 20833 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969604127272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 20833 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969603074216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 20833 0 -1 4202560 32 0 0 0 5 1 0 0 20 0 19 0 253499800 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969602021672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 20833 0 -1 4202560 230 0 0 0 29 0 0 0 20 0 19 0 253499801 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969589824360 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969588770680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969587717512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969586666256 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 20833 0 -1 4202560 7523 0 0 0 68 2 0 0 20 0 19 0 253499804 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969585613112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 20833 0 -1 4202560 5383 0 0 0 60 2 0 0 20 0 19 0 253499804 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969584560568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969583507704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969582455368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253500069 9855975424 118232 33554432000 1073741824 1073778376 140735554176064 139969581401640 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]
/proc/loadavg: 2.04 2.02 1.72 3/213 21276
/proc/meminfo: memFree=28952180/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9624976 CPUtime=14.52 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 17332 0 1 0 1433 19 0 0 20 0 19 0 253499799 9855975424 120658 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0

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

[pid=21257/tid=21272] ppid=21255 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 20833 0 -1 4202560 7524 0 0 0 68 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969585613112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 20833 0 -1 4202560 6507 0 0 0 76 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969584560568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969583507704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 20833 0 -1 4202560 97 0 0 0 17 19 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969582455368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253500069 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969581401640 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1668.54
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/213 21313
/proc/meminfo: memFree=28207552/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9624976 CPUtime=1728.55 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 19930 0 1 0 172774 81 0 0 20 0 19 0 253499799 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406244 190958 2285 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624976 CPUtime=1694.98 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 20833 0 -1 4202560 2773 0 1 0 169465 33 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969765798192 139969638710222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 20833 0 -1 4202560 217 0 0 0 78 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969609391016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 20833 0 -1 4202560 195 0 0 0 78 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969608338472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 20833 0 -1 4202560 177 0 0 0 76 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969607285416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 20833 0 -1 4202560 152 0 0 0 73 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969606232872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 20833 0 -1 4202560 211 0 0 0 71 8 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969605179816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 20833 0 -1 4202560 166 0 0 0 82 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969604127272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 20833 0 -1 4202560 153 0 0 0 66 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969603074216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 20833 0 -1 4202560 223 0 0 0 70 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969602021672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624976 CPUtime=20.95 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 20833 0 -1 4202560 354 0 0 0 2094 1 0 0 20 0 19 0 253499801 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969589824360 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969588770680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969587717512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969586666256 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 20833 0 -1 4202560 7524 0 0 0 68 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969585613112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 20833 0 -1 4202560 6507 0 0 0 76 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969584560568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969583507704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 20833 0 -1 4202560 99 0 0 0 18 20 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969582455368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253500069 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969581401640 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1728.55
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 1.91 3/192 21323
/proc/meminfo: memFree=29162632/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9624976 CPUtime=1788.56 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 19940 0 1 0 178774 82 0 0 20 0 19 0 253499799 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406244 190958 2285 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624976 CPUtime=1754.31 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 20833 0 -1 4202560 2775 0 1 0 175397 34 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969765798192 139969638668586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 20833 0 -1 4202560 217 0 0 0 78 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969609391016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 20833 0 -1 4202560 195 0 0 0 78 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969608338472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 20833 0 -1 4202560 177 0 0 0 76 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969607285416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 20833 0 -1 4202560 152 0 0 0 73 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969606232872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 20833 0 -1 4202560 211 0 0 0 71 8 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969605179816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 20833 0 -1 4202560 166 0 0 0 82 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969604127272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 20833 0 -1 4202560 153 0 0 0 66 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969603074216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 20833 0 -1 4202560 223 0 0 0 70 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969602021672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624976 CPUtime=21.47 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 20833 0 -1 4202560 358 0 0 0 2146 1 0 0 20 0 19 0 253499801 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969589824360 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969588770680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969587717512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969586666256 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 20833 0 -1 4202560 7524 0 0 0 68 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969585613112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 20833 0 -1 4202560 6507 0 0 0 76 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969584560568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969583507704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 20833 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969582455368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253500069 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969581401640 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 1.97 1.98 1.91 3/213 21429
/proc/meminfo: memFree=29128080/32873844 swapFree=7100/7100
[pid=21257] ppid=21255 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 20833 0 -1 4202496 19940 0 1 0 179925 83 0 0 20 0 19 0 253499799 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 140735554167200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406244 190958 2285 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624976 CPUtime=1765.79 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 20833 0 -1 4202560 2775 0 1 0 176545 34 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969765798192 139969638482712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 20833 0 -1 4202560 217 0 0 0 78 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969609391016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 20833 0 -1 4202560 195 0 0 0 78 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969608338472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 20833 0 -1 4202560 177 0 0 0 76 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969607285416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 20833 0 -1 4202560 152 0 0 0 73 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969606232872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 20833 0 -1 4202560 211 0 0 0 71 8 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969605179816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 20833 0 -1 4202560 166 0 0 0 82 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969604127272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 20833 0 -1 4202560 153 0 0 0 66 7 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969603074216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 20833 0 -1 4202560 223 0 0 0 70 5 0 0 20 0 19 0 253499800 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969602021672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624976 CPUtime=21.47 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 20833 0 -1 4202560 358 0 0 0 2146 1 0 0 20 0 19 0 253499801 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969589824360 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969588770680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499802 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969587717512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969586666256 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 20833 0 -1 4202560 7524 0 0 0 68 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969585613112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 20833 0 -1 4202560 6507 0 0 0 76 2 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969584560568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969583507704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 20833 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 253499804 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969582455368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253500069 9855975424 190958 33554432000 1073741824 1073778376 140735554176064 139969581401640 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21257 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=728159
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=231812
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.87
CPU time (s): 1800.08
CPU user time (s): 1799.25
CPU system time (s): 0.83
CPU usage (%): 100.346
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 1.23181
maximum resident set size= 763956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19974
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40128
involuntary context switches= 22466

runsolver used 6.03208 second user time and 14.5228 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-24 17:35:13
IDJOB=3687615
IDBENCH=1973
IDSOLVER=2269
FILE ID=node102/3687615-1337873712
RUNJOBID= node102-1337871881-20849
PBS_JOBID= 14620102
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687615-1337873712/watcher-3687615-1337873712 -o /tmp/evaluation-result-3687615-1337873712/solver-3687615-1337873712 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687615-1337873712.opb

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

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=1442122562

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29444260 kB
Buffers:          195092 kB
Cached:          1982768 kB
SwapCached:            0 kB
Active:          1142892 kB
Inactive:        1508672 kB
Active(anon):     476460 kB
Inactive(anon):        0 kB
Active(file):     666432 kB
Inactive(file):  1508672 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34504 kB
Writeback:            16 kB
AnonPages:        495064 kB
Mapped:            22460 kB
Shmem:               200 kB
Slab:             623808 kB
SReclaimable:      65832 kB
SUnreclaim:       557976 kB
KernelStack:        1616 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1081228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    458752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node102 at 2012-05-24 18:05:09