Trace number 3687613

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)981 1800.84 1791.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUM093efae700664f798191c0b27cec34af
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark419
Best CPU time to get the best result obtained on this benchmark1792.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 447
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 494527
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 494527
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.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.08	c version 2.3.2.v20120418
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687613-1337873711.opb
0.11/0.10	c reading problem ... 
3.44/2.72	c ... done. Wall clock time 2.623s.
3.44/2.72	c declared #vars     10000
3.44/2.72	c #constraints  656900
3.44/2.72	c constraints type 
3.44/2.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
3.44/2.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
3.44/2.72	c 656900 constraints processed.
3.44/2.72	c objective function length is 10000 literals
3.89/2.97	c SATISFIABLE
3.89/2.97	c OPTIMIZING...
3.89/2.97	c Got one! Elapsed wall clock time (in seconds):2.87
3.89/2.97	o 1052
4.74/3.21	c Got one! Elapsed wall clock time (in seconds):3.109
4.74/3.21	o 981
6.18/4.42	c cleaning 2602 clauses out of 5203 with flag 5000/5203
8.16/6.18	c cleaning 4301 clauses out of 8601 with flag 11000/11203
10.06/8.05	c cleaning 5651 clauses out of 11301 with flag 18001/18204
12.08/10.09	c cleaning 6826 clauses out of 13651 with flag 26002/26205
14.62/12.54	c cleaning 7911 clauses out of 15824 with flag 35001/35204
17.29/15.11	c cleaning 8954 clauses out of 17913 with flag 45001/45204
20.14/17.98	c cleaning 9973 clauses out of 19959 with flag 56001/56204
23.55/21.33	c cleaning 10990 clauses out of 21985 with flag 68000/68203
27.19/24.97	c cleaning 11998 clauses out of 23996 with flag 81001/81204
30.82/28.54	c cleaning 12997 clauses out of 25997 with flag 95000/95203
34.65/32.37	c cleaning 14000 clauses out of 28001 with flag 110001/110204
38.78/36.48	c cleaning 15000 clauses out of 30002 with flag 126002/126205
43.32/40.99	c cleaning 16001 clauses out of 32001 with flag 143001/143204
48.06/45.66	c cleaning 16998 clauses out of 33999 with flag 161000/161203
53.10/50.68	c cleaning 17994 clauses out of 36002 with flag 180001/180204
58.33/55.80	c cleaning 19000 clauses out of 38007 with flag 200000/200203
63.87/61.35	c cleaning 20002 clauses out of 40011 with flag 221004/221207
69.49/66.97	c cleaning 21000 clauses out of 42006 with flag 243001/243204
75.73/73.11	c cleaning 21998 clauses out of 44006 with flag 266001/266204
82.10/79.43	c cleaning 22999 clauses out of 46007 with flag 290000/290203
88.55/85.80	c cleaning 23994 clauses out of 48008 with flag 315000/315203
95.50/92.71	c cleaning 25004 clauses out of 50015 with flag 341001/341204
102.70/99.82	c cleaning 26000 clauses out of 52011 with flag 368001/368204
109.93/107.09	c cleaning 27005 clauses out of 54010 with flag 396000/396203
118.26/115.33	c cleaning 27989 clauses out of 56005 with flag 425000/425203
126.25/123.29	c cleaning 29000 clauses out of 58016 with flag 455000/455203
134.63/131.50	c cleaning 29996 clauses out of 60016 with flag 486000/486203
143.30/140.16	c cleaning 31007 clauses out of 62022 with flag 518002/518205
151.63/148.41	c cleaning 32002 clauses out of 64013 with flag 551000/551203
160.99/157.74	c cleaning 33003 clauses out of 66012 with flag 585001/585204
170.01/166.69	c cleaning 34003 clauses out of 68009 with flag 620001/620204
179.37/175.93	c cleaning 34997 clauses out of 70006 with flag 656001/656204
189.03/185.53	c cleaning 35991 clauses out of 72008 with flag 693000/693203
198.70/195.12	c cleaning 37005 clauses out of 74019 with flag 731002/731205
208.84/205.23	c cleaning 37977 clauses out of 76012 with flag 770000/770203
219.48/215.88	c cleaning 39008 clauses out of 78037 with flag 810002/810205
230.13/226.46	c cleaning 39993 clauses out of 80027 with flag 851000/851203
240.69/236.98	c cleaning 41013 clauses out of 82034 with flag 893000/893203
251.62/247.90	c cleaning 41991 clauses out of 84022 with flag 936001/936204
263.89/260.05	c cleaning 43008 clauses out of 86030 with flag 980000/980203
276.58/272.62	c cleaning 44000 clauses out of 88023 with flag 1025001/1025204
288.76/284.80	c cleaning 44990 clauses out of 90022 with flag 1071000/1071203
302.07/297.92	c cleaning 46004 clauses out of 92032 with flag 1118000/1118203
316.15/311.94	c cleaning 47003 clauses out of 94028 with flag 1166000/1166203
329.43/325.16	c cleaning 47997 clauses out of 96025 with flag 1215000/1215203
343.01/338.61	c cleaning 48998 clauses out of 98028 with flag 1265000/1265203
358.96/354.52	c cleaning 50005 clauses out of 100032 with flag 1316002/1316205
373.79/369.03	c cleaning 50998 clauses out of 102027 with flag 1368002/1368205
387.94/383.15	c cleaning 51999 clauses out of 104027 with flag 1421000/1421203
402.84/397.94	c cleaning 53008 clauses out of 106031 with flag 1475003/1475206
420.98/416.02	c cleaning 53989 clauses out of 108020 with flag 1530000/1530203
436.32/431.24	c cleaning 55015 clauses out of 110031 with flag 1586000/1586203
452.42/447.26	c cleaning 56002 clauses out of 112017 with flag 1643001/1643204
468.99/463.74	c cleaning 56993 clauses out of 114014 with flag 1701000/1701203
484.57/479.20	c cleaning 57996 clauses out of 116021 with flag 1760000/1760203
500.65/495.24	c cleaning 58990 clauses out of 118025 with flag 1820000/1820203
517.83/512.34	c cleaning 60008 clauses out of 120035 with flag 1881000/1881203
534.92/529.33	c cleaning 61001 clauses out of 122027 with flag 1943000/1943203
552.33/546.61	c cleaning 62007 clauses out of 124026 with flag 2006000/2006203
571.60/565.81	c cleaning 62996 clauses out of 126019 with flag 2070000/2070203
589.17/583.34	c cleaning 64012 clauses out of 128024 with flag 2135001/2135204
606.95/601.03	c cleaning 65000 clauses out of 130013 with flag 2201002/2201205
626.84/620.83	c cleaning 65999 clauses out of 132012 with flag 2268001/2268204
650.85/644.77	c cleaning 67005 clauses out of 134012 with flag 2336000/2336203
671.82/665.53	c cleaning 67984 clauses out of 136007 with flag 2405000/2405203
693.05/686.61	c cleaning 69009 clauses out of 138026 with flag 2475003/2475206
714.63/708.19	c cleaning 69999 clauses out of 140014 with flag 2546000/2546203
736.24/729.67	c cleaning 70998 clauses out of 142015 with flag 2618000/2618203
758.69/751.93	c cleaning 71999 clauses out of 144017 with flag 2691000/2691203
781.39/774.52	c cleaning 72993 clauses out of 146018 with flag 2765000/2765203
804.59/797.68	c cleaning 74011 clauses out of 148025 with flag 2840000/2840203
828.07/821.08	c cleaning 74997 clauses out of 150014 with flag 2916000/2916203
853.67/846.66	c cleaning 76003 clauses out of 152018 with flag 2993001/2993204
876.74/869.50	c cleaning 77001 clauses out of 154014 with flag 3071000/3071203
897.64/890.36	c cleaning 77990 clauses out of 156015 with flag 3150002/3150205
919.22/911.82	c cleaning 78992 clauses out of 158023 with flag 3230000/3230203
942.21/934.79	c cleaning 80008 clauses out of 160031 with flag 3311000/3311203
964.00/956.47	c cleaning 80995 clauses out of 162024 with flag 3393001/3393204
985.51/977.86	c cleaning 82002 clauses out of 164028 with flag 3476000/3476203
1010.08/1002.34	c cleaning 82992 clauses out of 166026 with flag 3560000/3560203
1035.24/1027.45	c cleaning 83992 clauses out of 168036 with flag 3645002/3645205
1056.87/1048.97	c cleaning 85008 clauses out of 170043 with flag 3731001/3731204
1078.81/1070.84	c cleaning 86009 clauses out of 172034 with flag 3818000/3818203
1103.51/1095.44	c cleaning 86996 clauses out of 174026 with flag 3906001/3906204
1127.66/1119.44	c cleaning 88004 clauses out of 176030 with flag 3995001/3995204
1151.54/1143.22	c cleaning 88996 clauses out of 178025 with flag 4085000/4085203
1178.53/1170.25	c cleaning 90011 clauses out of 180030 with flag 4176001/4176204
1203.63/1195.35	c cleaning 90998 clauses out of 182021 with flag 4268003/4268206
1228.63/1220.30	c cleaning 91985 clauses out of 184020 with flag 4361000/4361203
1255.22/1246.80	c cleaning 93003 clauses out of 186035 with flag 4455000/4455203
1278.92/1270.50	c cleaning 93991 clauses out of 188032 with flag 4550000/4550203
1303.51/1295.15	c cleaning 95017 clauses out of 190042 with flag 4646001/4646204
1331.21/1322.89	c cleaning 96005 clauses out of 192024 with flag 4743000/4743203
1360.73/1352.20	c cleaning 96998 clauses out of 194020 with flag 4841001/4841204
1388.23/1379.76	c cleaning 98009 clauses out of 196023 with flag 4940002/4940205
1415.92/1407.47	c cleaning 99001 clauses out of 198012 with flag 5040000/5040203
1447.72/1439.23	c cleaning 99986 clauses out of 200011 with flag 5141000/5141203
1477.32/1468.82	c cleaning 101010 clauses out of 202025 with flag 5243000/5243203
1507.21/1498.78	c cleaning 101998 clauses out of 204015 with flag 5346000/5346203
1536.71/1528.29	c cleaning 102998 clauses out of 206017 with flag 5450000/5450203
1568.40/1559.93	c cleaning 103994 clauses out of 208019 with flag 5555000/5555203
1607.80/1599.39	c cleaning 105001 clauses out of 210027 with flag 5661002/5661205
1641.20/1632.76	c cleaning 106003 clauses out of 212024 with flag 5768000/5768203
1677.90/1669.46	c cleaning 106993 clauses out of 214021 with flag 5876000/5876203
1710.69/1702.20	c cleaning 108010 clauses out of 216028 with flag 5985000/5985203
1740.68/1732.25	c cleaning 108998 clauses out of 218018 with flag 6095000/6095203
1770.87/1762.42	c cleaning 110001 clauses out of 220020 with flag 6206000/6206203
1800.08/1791.61	c starts		: 278
1800.08/1791.61	c conflicts		: 6309098
1800.08/1791.61	c decisions		: 19673929
1800.08/1791.61	c propagations		: 1832158099
1800.08/1791.61	c inspects		: 2256298514
1800.08/1791.61	c shortcuts		: 0
1800.08/1791.61	c learnt literals	: 0
1800.08/1791.61	c learnt binary clauses	: 0
1800.08/1791.61	c learnt ternary clauses	: 0
1800.08/1791.61	c learnt constraints	: 6309098
1800.08/1791.61	c ignored constraints	: 0
1800.08/1791.61	c root simplifications	: 0
1800.08/1791.61	c removed literals (reason simplification)	: 0
1800.08/1791.61	c reason swapping (by a shorter reason)	: 0
1800.08/1791.61	c Calls to reduceDB	: 107
1800.08/1791.61	c number of reductions to clauses (during analyze)	: 0
1800.08/1791.61	c number of learned constraints concerned by reduction	: 0
1800.08/1791.61	c number of learning phase by resolution	: 0
1800.08/1791.61	c number of learning phase by cutting planes	: 0
1800.08/1791.61	c speed (assignments/second)	: 1024211.741417796
1800.08/1791.61	c non guided choices	0
1800.08/1791.64	c learnt constraints type 
1800.08/1791.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 213008
1800.08/1791.64	c constraints type 
1800.08/1791.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.08/1791.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.08/1791.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.08/1791.64	c 656901 constraints processed.
1800.08/1791.64	s SATISFIABLE
1800.08/1791.65	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/1791.66	c objective function=981
1800.08/1791.66	c Total wall clock time (in seconds): 1791.566

Verifier Data

OK	981

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.01 1.71 3/194 21833
/proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21833/stat : 21833 (java) R 21831 21833 21352 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 253499698 23793664 764 33554432000 1073741824 1073778376 140733458001440 140733457990504 139951868463376 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 5809 782 579 9 0 128 0

[startup+0.05567 s]
/proc/loadavg: 2.05 2.01 1.71 3/194 21833
/proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 3204 0 1 0 4 0 0 0 20 0 18 0 253499698 9787813888 4413 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2389603 4413 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.10032 s]
/proc/loadavg: 2.05 2.01 1.71 3/194 21833
/proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 4450 0 1 0 10 1 0 0 20 0 18 0 253499698 9787813888 6111 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2389603 6111 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300187 s]
/proc/loadavg: 2.05 2.01 1.71 3/194 21833
/proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 5663 0 1 0 48 1 0 0 20 0 18 0 253499698 9787813888 9818 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2389603 9818 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700299 s]
/proc/loadavg: 2.05 2.01 1.71 3/194 21833
/proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9558412 CPUtime=1.17 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 8906 0 1 0 112 5 0 0 20 0 18 0 253499698 9787813888 41378 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2389603 41378 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9558412

[startup+1.50071 s]
/proc/loadavg: 2.05 2.01 1.71 3/212 21851
/proc/meminfo: memFree=27035332/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9558412 CPUtime=2.1 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 9153 0 1 0 198 12 0 0 20 0 18 0 253499698 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2389603 79396 2245 9 0 2380296 0
[pid=21833/tid=21835] ppid=21831 vsize=9558412 CPUtime=1.41 cores=1,3,5,7
/proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2566 0 1 0 135 6 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951861091832 240430146829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21842] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21843] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21844] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253499701 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21845] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253499701 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21846] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253499701 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21847] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21848] ppid=21831 vsize=9558412 CPUtime=0.21 cores=1,3,5,7
/proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 2267 0 0 0 21 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21849] ppid=21831 vsize=9558412 CPUtime=0.22 cores=1,3,5,7
/proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 2854 0 0 0 22 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21850] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21851] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9558412

[startup+3.10067 s]
/proc/loadavg: 2.05 2.01 1.71 3/212 21851
/proc/meminfo: memFree=26866032/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9624976 CPUtime=4.44 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 15770 0 1 0 427 17 0 0 20 0 19 0 253499698 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2406244 100834 2266 9 0 2396937 0
[pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2603 0 1 0 289 7 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951861093000 139951727517359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 23 0 0 0 4 2 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/21833/task/21848/stat : 21848 (java) R 21831 21833 21352 0 -1 4202560 6440 0 0 0 51 1 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951681127744 139951865210305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/21833/task/21849/stat : 21849 (java) R 21831 21833 21352 0 -1 4202560 5160 0 0 0 51 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951680065632 139951868067180 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 9624976

[startup+6.30077 s]
/proc/loadavg: 2.04 2.01 1.71 3/213 21852
/proc/meminfo: memFree=26719948/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9624976 CPUtime=8.36 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 18626 0 1 0 812 24 0 0 20 0 19 0 253499698 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2406244 120513 2282 9 0 2396937 0
[pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=5.78 cores=1,3,5,7
/proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21352 0 -1 4202560 2613 0 1 0 570 8 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951861092424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 20 0 0 0 4 1 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 52 0 0 0 9 3 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 53 0 0 0 4 1 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 60 0 0 0 7 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/21833/task/21844/stat : 21844 (java) R 21831 21833 21352 0 -1 4202560 226 0 0 0 30 0 0 0 20 0 19 0 253499701 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951685351152 139951867600979 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6516 0 0 0 81 2 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7755 0 0 0 73 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.36
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]
/proc/loadavg: 2.04 2.01 1.71 3/213 21852
/proc/meminfo: memFree=26709868/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9624976 CPUtime=14.84 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 18639 0 1 0 1460 24 0 0 20 0 19 0 253499698 9855975424 122895 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0

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

[pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=24.9 cores=1,3,5,7
/proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 351 0 0 0 2487 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 95 0 0 0 18 20 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1670.79
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 21889
/proc/meminfo: memFree=26066540/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9624976 CPUtime=1730.78 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 21119 0 1 0 172988 90 0 0 20 0 19 0 253499698 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2406244 216928 2283 9 0 2396937 0
[pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=1694.09 cores=1,3,5,7
/proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2752 0 1 0 169373 36 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951861092624 139951728508433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 424 0 0 0 111 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 226 0 0 0 110 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 295 0 0 0 121 12 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 419 0 0 0 109 6 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 280 0 0 0 105 9 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=25.55 cores=1,3,5,7
/proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 355 0 0 0 2552 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 99 0 0 0 18 21 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1730.78
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 2/193 21892
/proc/meminfo: memFree=26821444/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9624976 CPUtime=1790.78 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 21129 0 1 0 178987 91 0 0 20 0 19 0 253499698 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2406244 216928 2283 9 0 2396937 0
[pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=1753.55 cores=1,3,5,7
/proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2754 0 1 0 175318 37 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951861092624 139951728544140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 424 0 0 0 111 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 226 0 0 0 110 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 295 0 0 0 121 12 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 419 0 0 0 109 6 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 280 0 0 0 105 9 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=26.08 cores=1,3,5,7
/proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 359 0 0 0 2605 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 103 0 0 0 18 22 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1790.78
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 21948
/proc/meminfo: memFree=26774444/32873844 swapFree=6080/6080
[pid=21833] ppid=21831 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 21129 0 1 0 179917 91 0 0 20 0 19 0 253499698 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21833/statm: 2406244 216928 2283 9 0 2396937 0
[pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=1762.85 cores=1,3,5,7
/proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2754 0 1 0 176248 37 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951861092624 139951728507463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 424 0 0 0 111 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 226 0 0 0 110 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 295 0 0 0 121 12 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 419 0 0 0 109 6 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 280 0 0 0 105 9 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=26.08 cores=1,3,5,7
/proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 359 0 0 0 2605 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 103 0 0 0 18 22 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 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
Real time (s): 1791.67
CPU time (s): 1800.84
CPU user time (s): 1799.42
CPU system time (s): 1.42278
CPU usage (%): 100.512
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 1.42278
maximum resident set size= 867832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21163
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40545
involuntary context switches= 25999

runsolver used 7.09992 second user time and 14.5248 second system time

The end

Launcher Data

Begin job on node108 at 2012-05-24 17:35:11
IDJOB=3687613
IDBENCH=1972
IDSOLVER=2269
FILE ID=node108/3687613-1337873711
RUNJOBID= node108-1337871881-21369
PBS_JOBID= 14620096
Free space on /tmp= 71688 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_9.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687613-1337873711/watcher-3687613-1337873711 -o /tmp/evaluation-result-3687613-1337873711/solver-3687613-1337873711 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687613-1337873711.opb

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

MD5SUM BENCH= 093efae700664f798191c0b27cec34af
RANDOM SEED=152657804

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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:        27204376 kB
Buffers:          189540 kB
Cached:          4215028 kB
SwapCached:            0 kB
Active:          1015744 kB
Inactive:        3883752 kB
Active(anon):     497464 kB
Inactive(anon):        0 kB
Active(file):     518280 kB
Inactive(file):  3883752 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34536 kB
Writeback:             8 kB
AnonPages:        502704 kB
Mapped:            22600 kB
Shmem:               200 kB
Slab:             630840 kB
SReclaimable:      72624 kB
SUnreclaim:       558216 kB
KernelStack:        1592 kB
PageTables:         5160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1081992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    466944 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= 71704 MiB
End job on node108 at 2012-05-24 18:05:05