Trace number 3744462

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO) 1800.19 907.952

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_7.opb
MD5SUMb79cf832cc8fb39cc9e05c792def1a32
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4636291
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 95222180678
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 95222180678
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.1.v20110525
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		9996466904
0.09/0.10	c Max memory 		10048897024
0.09/0.10	c Total memory 		10048897024
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3744462-1338807237.opb
0.09/0.13	c reading problem ... 
1.61/0.73	c ... done. Wall clock time 0.605s.
1.61/0.73	c #vars     9940
1.61/0.73	c #constraints  24650
1.61/0.73	c constraints type 
1.61/0.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1.61/0.73	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.61/0.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.61/0.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1.61/0.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
1.61/0.73	c constraints type 
1.61/0.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390
1.61/0.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486
1.61/0.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.61/0.73	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.61/0.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625
2.72/1.02	c  And the winner is Resolution
2.80/1.29	c SATISFIABLE
2.80/1.29	c OPTIMIZING...
2.80/1.29	c Got one! Elapsed wall clock time (in seconds):1.162
2.80/1.29	o 4646049
2.88/1.35	c  And the winner is Resolution
3.12/1.86	c Got one! Elapsed wall clock time (in seconds):1.73
3.12/1.86	o 4643913
3.29/1.91	c  And the winner is Resolution
3.42/2.43	c Got one! Elapsed wall clock time (in seconds):2.305
3.42/2.43	o 4643371
10.28/5.79	c  And the winner is CuttingPlanes
10.45/6.00	c Got one! Elapsed wall clock time (in seconds):5.871
10.45/6.00	o 4636291
16.18/8.83	c cleaning 2709 clauses out of 5418 with flag 2001/5418
26.68/14.06	c cleaning 4349 clauses out of 8709 with flag 8001/11418
40.61/21.04	c cleaning 5675 clauses out of 11359 with flag 15000/18417
51.75/26.64	c cleaning 6820 clauses out of 13684 with flag 23000/26417
63.92/32.70	c cleaning 7927 clauses out of 15865 with flag 32001/35418
77.68/39.63	c cleaning 8955 clauses out of 17939 with flag 42002/45419
94.40/48.05	c cleaning 9984 clauses out of 19982 with flag 53000/56417
119.62/60.62	c cleaning 10983 clauses out of 21999 with flag 65001/68418
137.14/69.43	c cleaning 11996 clauses out of 24015 with flag 78000/81417
152.28/77.01	c cleaning 13004 clauses out of 26019 with flag 92000/95417
164.65/83.24	c cleaning 14003 clauses out of 28016 with flag 107001/110418
182.59/92.23	c cleaning 14997 clauses out of 30013 with flag 123001/126418
196.91/99.42	c cleaning 16002 clauses out of 32015 with flag 140000/143417
210.31/106.13	c cleaning 17001 clauses out of 34014 with flag 158001/161418
229.05/115.51	c cleaning 18007 clauses out of 36013 with flag 177001/180418
254.38/128.28	c cleaning 18983 clauses out of 38005 with flag 197000/200417
272.53/137.32	c cleaning 20001 clauses out of 40023 with flag 218001/221418
293.48/147.82	c cleaning 21006 clauses out of 42022 with flag 240001/243418
313.59/157.96	c cleaning 22002 clauses out of 44016 with flag 263001/266418
333.90/168.14	c cleaning 23002 clauses out of 46014 with flag 287001/290418
357.35/179.97	c cleaning 24002 clauses out of 48012 with flag 312001/315418
377.01/189.85	c cleaning 24499 clauses out of 49009 with flag 337000/340417
397.70/200.28	c cleaning 24748 clauses out of 49511 with flag 362001/365418
418.22/210.59	c cleaning 24874 clauses out of 49763 with flag 387001/390418
451.67/227.36	c cleaning 24936 clauses out of 49888 with flag 412000/415417
477.55/240.34	c cleaning 24954 clauses out of 49952 with flag 437000/440417
498.21/250.77	c cleaning 24978 clauses out of 49998 with flag 462000/465417
518.90/261.10	c cleaning 25005 clauses out of 50020 with flag 487000/490417
538.08/270.85	c cleaning 25001 clauses out of 50015 with flag 512000/515417
563.13/283.46	c cleaning 24972 clauses out of 50014 with flag 537000/540417
582.81/293.30	c cleaning 24992 clauses out of 50042 with flag 562000/565417
601.66/302.86	c cleaning 24998 clauses out of 50051 with flag 587001/590418
626.44/315.33	c cleaning 25012 clauses out of 50052 with flag 612000/615417
649.09/326.70	c cleaning 25014 clauses out of 50040 with flag 637000/640417
671.32/337.99	c cleaning 25001 clauses out of 50026 with flag 662000/665417
695.57/350.12	c cleaning 25000 clauses out of 50025 with flag 687000/690417
715.52/360.28	c cleaning 24997 clauses out of 50025 with flag 712000/715417
735.16/370.19	c cleaning 25007 clauses out of 50028 with flag 737000/740417
755.80/380.53	c cleaning 25003 clauses out of 50021 with flag 762000/765417
779.00/392.21	c cleaning 24983 clauses out of 50018 with flag 787000/790417
802.34/404.08	c cleaning 24976 clauses out of 50036 with flag 812001/815418
820.98/413.47	c cleaning 24997 clauses out of 50059 with flag 837000/840417
840.21/423.10	c cleaning 25003 clauses out of 50063 with flag 862001/865418
866.85/436.54	c cleaning 25028 clauses out of 50060 with flag 887001/890418
892.63/449.51	c cleaning 25010 clauses out of 50031 with flag 912000/915417
911.49/459.01	c cleaning 25002 clauses out of 50021 with flag 937000/940417
931.54/469.11	c cleaning 24996 clauses out of 50020 with flag 962001/965418
951.98/479.42	c cleaning 25004 clauses out of 50023 with flag 987000/990417
969.95/488.54	c cleaning 24998 clauses out of 50020 with flag 1012001/1015418
996.42/501.87	c cleaning 24998 clauses out of 50022 with flag 1037001/1040418
1015.66/511.56	c cleaning 24998 clauses out of 50024 with flag 1062001/1065418
1035.88/521.79	c cleaning 25005 clauses out of 50026 with flag 1087001/1090418
1057.81/532.80	c cleaning 25001 clauses out of 50020 with flag 1112000/1115417
1079.25/543.62	c cleaning 24999 clauses out of 50020 with flag 1137001/1140418
1101.06/554.68	c cleaning 24997 clauses out of 50020 with flag 1162000/1165417
1123.49/565.97	c cleaning 24985 clauses out of 50023 with flag 1187000/1190417
1143.24/575.95	c cleaning 25001 clauses out of 50039 with flag 1212001/1215418
1163.66/586.27	c cleaning 25000 clauses out of 50038 with flag 1237001/1240418
1183.26/596.16	c cleaning 24992 clauses out of 50038 with flag 1262001/1265418
1205.49/607.39	c cleaning 24985 clauses out of 50046 with flag 1287001/1290418
1227.76/618.69	c cleaning 24996 clauses out of 50061 with flag 1312001/1315418
1265.56/637.69	c cleaning 25015 clauses out of 50064 with flag 1337000/1340417
1300.58/655.24	c cleaning 25014 clauses out of 50050 with flag 1362001/1365418
1325.18/667.64	c cleaning 24999 clauses out of 50036 with flag 1387001/1390418
1347.44/678.91	c cleaning 24994 clauses out of 50036 with flag 1412000/1415417
1367.81/689.27	c cleaning 25011 clauses out of 50042 with flag 1437000/1440417
1391.03/700.95	c cleaning 25005 clauses out of 50031 with flag 1462000/1465417
1411.80/711.49	c cleaning 25002 clauses out of 50026 with flag 1487000/1490417
1430.45/720.98	c cleaning 24999 clauses out of 50024 with flag 1512000/1515417
1448.65/730.14	c cleaning 25010 clauses out of 50025 with flag 1537000/1540417
1467.63/739.72	c cleaning 25001 clauses out of 50015 with flag 1562000/1565417
1486.81/749.44	c cleaning 24998 clauses out of 50014 with flag 1587000/1590417
1504.91/758.68	c cleaning 25004 clauses out of 50017 with flag 1612001/1615418
1526.10/769.37	c cleaning 24994 clauses out of 50012 with flag 1637000/1640417
1548.47/780.67	c cleaning 24990 clauses out of 50018 with flag 1662000/1665417
1572.26/792.68	c cleaning 24995 clauses out of 50029 with flag 1687001/1690418
1599.72/806.59	c cleaning 25001 clauses out of 50034 with flag 1712001/1715418
1627.90/820.70	c cleaning 24995 clauses out of 50032 with flag 1737000/1740417
1653.74/833.70	c cleaning 25003 clauses out of 50038 with flag 1762001/1765418
1672.89/843.44	c cleaning 24995 clauses out of 50034 with flag 1787000/1790417
1691.15/852.78	c cleaning 25001 clauses out of 50039 with flag 1812000/1815417
1710.53/862.58	c cleaning 25000 clauses out of 50039 with flag 1837001/1840418
1729.11/871.96	c cleaning 25000 clauses out of 50039 with flag 1862001/1865418
1747.48/881.25	c cleaning 25000 clauses out of 50038 with flag 1887000/1890417
1765.63/890.45	c cleaning 25002 clauses out of 50039 with flag 1912001/1915418
1783.41/899.48	c cleaning 24996 clauses out of 50037 with flag 1937001/1940418
1800.19/907.91	c starts		: 6
1800.19/907.91	c conflicts		: 443
1800.19/907.91	c decisions		: 49844
1800.19/907.91	c propagations		: 481906
1800.19/907.91	c inspects		: 9285195
1800.19/907.91	c shortcuts		: 0
1800.19/907.91	c learnt literals	: 0
1800.19/907.91	c learnt binary clauses	: 0
1800.19/907.91	c learnt ternary clauses	: 0
1800.19/907.91	c learnt constraints	: 441
1800.19/907.91	c ignored constraints	: 0
1800.19/907.91	c root simplifications	: 0
1800.19/907.91	c removed literals (reason simplification)	: 0
1800.19/907.91	c reason swapping (by a shorter reason)	: 0
1800.19/907.91	c Calls to reduceDB	: 0
1800.19/907.91	c number of reductions to clauses (during analyze)	: 0
1800.19/907.91	c number of learned constraints concerned by reduction	: 0
1800.19/907.91	c number of learning phase by resolution	: 0
1800.19/907.91	c number of learning phase by cutting planes	: 0
1800.19/907.91	c speed (assignments/second)	: 534.3260579113977
1800.19/907.91	c non guided choices	0
1800.19/907.91	c learnt constraints type 
1800.19/907.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.19/907.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 439
1800.19/907.91	c constraints type 
1800.19/907.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1800.19/907.91	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.19/907.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.19/907.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1800.19/907.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626
1800.19/907.91	c constraints type 
1800.19/907.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390
1800.19/907.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486
1800.19/907.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.19/907.91	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1800.19/907.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626
1800.19/907.91	s SATISFIABLE
1800.19/907.92	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 
1800.19/907.93	c objective function=4636291
1800.19/907.93	c Total wall clock time (in seconds): 907.806

Verifier Data

OK	4636291

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-3744462-1338807237/watcher-3744462-1338807237 -o /tmp/evaluation-result-3744462-1338807237/solver-3744462-1338807237 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744462-1338807237.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.72 3.84 3.59 4/197 29891
/proc/meminfo: memFree=22009560/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29891/stat : 29891 (java) D 29889 29891 20391 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 346848099 9515008 185 33554432000 1073741824 1073778376 140733309635472 140733309624536 251035479335 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2323 185 143 9 0 71 0

[startup+0.068882 s]
/proc/loadavg: 3.72 3.84 3.59 4/197 29891
/proc/meminfo: memFree=22009560/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11253516 CPUtime=0.05 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 4318 0 1 0 4 1 0 0 20 0 13 0 346848099 11523600384 12680 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2813379 12685 1715 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516

[startup+0.100263 s]
/proc/loadavg: 3.72 3.84 3.59 4/197 29891
/proc/meminfo: memFree=22009560/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 5154 0 1 0 8 1 0 0 20 0 18 0 346848099 11864465408 13511 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2896598 13516 2083 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.30022 s]
/proc/loadavg: 3.72 3.84 3.59 4/197 29891
/proc/meminfo: memFree=22009560/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11586392 CPUtime=0.48 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 6142 0 1 0 46 2 0 0 20 0 18 0 346848099 11864465408 16779 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2896598 16779 2226 9 0 2887285 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392

[startup+0.700229 s]
/proc/loadavg: 3.72 3.84 3.59 4/197 29891
/proc/meminfo: memFree=22009560/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11586392 CPUtime=1.61 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 18424 0 1 0 156 5 0 0 20 0 18 0 346848099 11864465408 36175 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2896598 36175 2246 9 0 2887285 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 11586392

[startup+1.50077 s]
/proc/loadavg: 3.72 3.84 3.59 6/219 29913
/proc/meminfo: memFree=21855880/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11852648 CPUtime=3.12 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 19417 0 1 0 303 9 0 0 20 0 19 0 346848099 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2963162 43962 2264 9 0 2953849 0
[pid=29891/tid=29893] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29893/stat : 29893 (java) S 29889 29891 20391 0 -1 4202560 3418 0 1 0 75 3 0 0 20 0 19 0 346848099 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495942718616 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29894] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29894/stat : 29894 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495778998952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29895] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29895/stat : 29895 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495777946408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29896] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29896/stat : 29896 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495776893864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29897] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29897/stat : 29897 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495775841320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29898] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29898/stat : 29898 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495774787752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29899] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29899/stat : 29899 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495773735208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29900] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29900/stat : 29900 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495772682664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29901] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29901/stat : 29901 (java) S 29889 29891 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346848101 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495771630120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29902] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29902/stat : 29902 (java) S 29889 29891 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346848102 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495289301608 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29903] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29903/stat : 29903 (java) S 29889 29891 20391 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346848103 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495288247928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29904] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29904/stat : 29904 (java) S 29889 29891 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346848103 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495287195272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29905] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29905/stat : 29905 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848106 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495286144016 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29906] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29906/stat : 29906 (java) S 29889 29891 20391 0 -1 4202560 9350 0 0 0 78 1 0 0 20 0 19 0 346848106 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495285090360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29907] ppid=29889 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/29891/task/29907/stat : 29907 (java) S 29889 29891 20391 0 -1 4202560 5334 0 0 0 80 1 0 0 20 0 19 0 346848106 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495284037816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29908] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29908/stat : 29908 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848106 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495282985464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29909] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29909/stat : 29909 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346848106 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495281933128 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29913] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29913/stat : 29913 (java) S 29889 29891 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346848176 12137111552 43962 33554432000 1073741824 1073778376 140733309635472 140495277721256 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 11852648

[startup+3.10064 s]
/proc/loadavg: 3.72 3.84 3.59 3/216 29919
/proc/meminfo: memFree=21779592/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11852648 CPUtime=5.01 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 21176 0 1 0 486 15 0 0 20 0 22 0 346848099 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2963162 98753 2264 9 0 2953849 0
[pid=29891/tid=29893] ppid=29889 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/29891/task/29893/stat : 29893 (java) S 29889 29891 20391 0 -1 4202560 3424 0 1 0 89 3 0 0 20 0 22 0 346848099 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495942718632 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29894] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29894/stat : 29894 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495778998952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29895] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29895/stat : 29895 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495777946408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29896] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29896/stat : 29896 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495776893864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29897] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29897/stat : 29897 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495775841320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29898] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29898/stat : 29898 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495774787752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29899] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29899/stat : 29899 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495773735208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29900] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29900/stat : 29900 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495772682664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29901] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29901/stat : 29901 (java) S 29889 29891 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495771630120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29902] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29902/stat : 29902 (java) S 29889 29891 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346848102 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495289301608 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29903] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29903/stat : 29903 (java) S 29889 29891 20391 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495288247928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29904] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29904/stat : 29904 (java) S 29889 29891 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495287195272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29905] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29905/stat : 29905 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495286144016 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29906] ppid=29889 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/29891/task/29906/stat : 29906 (java) S 29889 29891 20391 0 -1 4202560 10987 0 0 0 96 2 0 0 20 0 22 0 346848106 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495285090360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29907] ppid=29889 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/29891/task/29907/stat : 29907 (java) S 29889 29891 20391 0 -1 4202560 5334 0 0 0 98 2 0 0 20 0 22 0 346848106 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495284037816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29908] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29908/stat : 29908 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495282985464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29909] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29909/stat : 29909 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495281933128 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29913] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29913/stat : 29913 (java) S 29889 29891 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346848176 12137111552 98753 33554432000 1073741824 1073778376 140733309635472 140495277721256 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 11852648

[startup+6.30064 s]
/proc/loadavg: 3.83 3.86 3.60 5/219 29925
/proc/meminfo: memFree=21278988/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11852648 CPUtime=11.15 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 21286 0 1 0 1096 19 0 0 20 0 22 0 346848099 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2963162 142091 2266 9 0 2953849 0
[pid=29891/tid=29893] ppid=29889 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/29891/task/29893/stat : 29893 (java) S 29889 29891 20391 0 -1 4202560 3426 0 1 0 95 3 0 0 20 0 22 0 346848099 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495942718616 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29894] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29894/stat : 29894 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495778998952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29895] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29895/stat : 29895 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495777946408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29896] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29896/stat : 29896 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495776893864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29897] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29897/stat : 29897 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495775841320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29898] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29898/stat : 29898 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495774787752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29899] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29899/stat : 29899 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495773735208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29900] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29900/stat : 29900 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495772682664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29901] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29901/stat : 29901 (java) S 29889 29891 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346848101 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495771630120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29902] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29902/stat : 29902 (java) S 29889 29891 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346848102 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495289301608 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29903] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29903/stat : 29903 (java) S 29889 29891 20391 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495288247928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29904] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29904/stat : 29904 (java) S 29889 29891 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495287195272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29905] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29905/stat : 29905 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495286144016 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29906] ppid=29889 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/29891/task/29906/stat : 29906 (java) S 29889 29891 20391 0 -1 4202560 10997 0 0 0 105 2 0 0 20 0 22 0 346848106 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495285090360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29907] ppid=29889 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/29891/task/29907/stat : 29907 (java) S 29889 29891 20391 0 -1 4202560 5339 0 0 0 103 2 0 0 20 0 22 0 346848106 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495284037816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29908] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29908/stat : 29908 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495282985464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29909] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29909/stat : 29909 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495281933128 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29922] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29922/stat : 29922 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848344 12137111552 142091 33554432000 1073741824 1073778376 140733309635472 140495278773032 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 11852648

[startup+12.7008 s]

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

/proc/29891/statm: 2963162 916174 2293 9 0 2953849 0
[pid=29891/tid=29893] ppid=29889 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/29891/task/29893/stat : 29893 (java) S 29889 29891 20391 0 -1 4202560 3448 0 1 0 98 4 0 0 20 0 22 0 346848099 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495942718616 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29894] ppid=29889 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/29891/task/29894/stat : 29894 (java) S 29889 29891 20391 0 -1 4202560 164 0 0 0 74 3 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495778998952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29895] ppid=29889 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/29891/task/29895/stat : 29895 (java) S 29889 29891 20391 0 -1 4202560 112 0 0 0 74 3 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495777946408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29896] ppid=29889 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/29891/task/29896/stat : 29896 (java) S 29889 29891 20391 0 -1 4202560 124 0 0 0 73 3 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495776893864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29897] ppid=29889 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/29891/task/29897/stat : 29897 (java) S 29889 29891 20391 0 -1 4202560 152 0 0 0 74 3 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495775841320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29898] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29898/stat : 29898 (java) S 29889 29891 20391 0 -1 4202560 162 0 0 0 74 4 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495774787752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29899] ppid=29889 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/29891/task/29899/stat : 29899 (java) S 29889 29891 20391 0 -1 4202560 149 0 0 0 79 3 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495773735208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29900] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29900/stat : 29900 (java) S 29889 29891 20391 0 -1 4202560 153 0 0 0 75 3 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495772682664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29901] ppid=29889 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/29891/task/29901/stat : 29901 (java) S 29889 29891 20391 0 -1 4202560 159 0 0 0 73 4 0 0 20 0 22 0 346848101 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495771630120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29902] ppid=29889 vsize=11852648 CPUtime=16.59 cores=0,2,4,6
/proc/29891/task/29902/stat : 29902 (java) S 29889 29891 20391 0 -1 4202560 131 0 0 0 1649 10 0 0 20 0 22 0 346848102 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495289301608 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29903] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29903/stat : 29903 (java) S 29889 29891 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495288247928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29904] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29904/stat : 29904 (java) S 29889 29891 20391 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495287195272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29905] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29905/stat : 29905 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495286144016 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29906] ppid=29889 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/29891/task/29906/stat : 29906 (java) S 29889 29891 20391 0 -1 4202560 11015 0 0 0 156 2 0 0 20 0 22 0 346848106 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495285090360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29907] ppid=29889 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/29891/task/29907/stat : 29907 (java) S 29889 29891 20391 0 -1 4202560 5349 0 0 0 115 2 0 0 20 0 22 0 346848106 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495284037816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29908] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29908/stat : 29908 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495282985464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29909] ppid=29889 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/29891/task/29909/stat : 29909 (java) S 29889 29891 20391 0 -1 4202560 52 0 0 0 18 12 0 0 20 0 22 0 346848106 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495281933128 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29922] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29922/stat : 29922 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848344 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495278773032 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29926] ppid=29889 vsize=11852648 CPUtime=855.34 cores=0,2,4,6
/proc/29891/task/29926/stat : 29926 (java) R 29889 29891 20391 0 -1 4202560 137 0 0 0 85519 15 0 0 20 0 22 0 346848700 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495279825104 140495780020382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29927] ppid=29889 vsize=11852648 CPUtime=855.41 cores=0,2,4,6
/proc/29891/task/29927/stat : 29927 (java) R 29889 29891 20391 0 -1 4202560 1465 0 0 0 85479 62 0 0 20 0 22 0 346848700 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495280875712 140495780135282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29928] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29928/stat : 29928 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848701 12137111552 916174 33554432000 1073741824 1073778376 140733309635472 140495277720744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1749.42
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.901 s]
/proc/loadavg: 3.70 3.85 3.77 5/219 30169
/proc/meminfo: memFree=19397300/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11852648 CPUtime=1800.19 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 24313 0 1 0 179900 119 0 0 20 0 22 0 346848099 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2963162 916203 2293 9 0 2953849 0
[pid=29891/tid=29893] ppid=29889 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/29891/task/29893/stat : 29893 (java) S 29889 29891 20391 0 -1 4202560 3449 0 1 0 98 4 0 0 20 0 22 0 346848099 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495942718616 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29894] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29894/stat : 29894 (java) S 29889 29891 20391 0 -1 4202560 164 0 0 0 74 4 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495778998952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29895] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29895/stat : 29895 (java) S 29889 29891 20391 0 -1 4202560 119 0 0 0 76 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495777946408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29896] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29896/stat : 29896 (java) S 29889 29891 20391 0 -1 4202560 124 0 0 0 75 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495776893864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29897] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29897/stat : 29897 (java) S 29889 29891 20391 0 -1 4202560 152 0 0 0 75 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495775841320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29898] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29898/stat : 29898 (java) S 29889 29891 20391 0 -1 4202560 162 0 0 0 75 4 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495774787752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29899] ppid=29889 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/29891/task/29899/stat : 29899 (java) S 29889 29891 20391 0 -1 4202560 155 0 0 0 80 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495773735208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29900] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29900/stat : 29900 (java) S 29889 29891 20391 0 -1 4202560 153 0 0 0 76 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495772682664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29901] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29901/stat : 29901 (java) S 29889 29891 20391 0 -1 4202560 175 0 0 0 75 4 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495771630120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29902] ppid=29889 vsize=11852648 CPUtime=17.06 cores=0,2,4,6
/proc/29891/task/29902/stat : 29902 (java) S 29889 29891 20391 0 -1 4202560 133 0 0 0 1696 10 0 0 20 0 22 0 346848102 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495289301608 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29903] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29903/stat : 29903 (java) S 29889 29891 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495288247928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29904] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29904/stat : 29904 (java) S 29889 29891 20391 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495287195272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29905] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29905/stat : 29905 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495286144016 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29906] ppid=29889 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/29891/task/29906/stat : 29906 (java) S 29889 29891 20391 0 -1 4202560 11015 0 0 0 156 2 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495285090360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29907] ppid=29889 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/29891/task/29907/stat : 29907 (java) S 29889 29891 20391 0 -1 4202560 5349 0 0 0 115 2 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495284037816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29908] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29908/stat : 29908 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495282985464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29909] ppid=29889 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/29891/task/29909/stat : 29909 (java) S 29889 29891 20391 0 -1 4202560 54 0 0 0 18 13 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495281933128 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29922] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29922/stat : 29922 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848344 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495278773032 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29926] ppid=29889 vsize=11852648 CPUtime=880.37 cores=0,2,4,6
/proc/29891/task/29926/stat : 29926 (java) R 29889 29891 20391 0 -1 4202560 139 0 0 0 88022 15 0 0 20 0 22 0 346848700 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495279823216 140495779534460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29927] ppid=29889 vsize=11852648 CPUtime=880.45 cores=0,2,4,6
/proc/29891/task/29927/stat : 29927 (java) R 29889 29891 20391 0 -1 4202560 1468 0 0 0 87981 64 0 0 20 0 22 0 346848700 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495280876624 140495779514322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29928] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29928/stat : 29928 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848701 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495277720744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 11852648

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

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

[startup+907.901 s]
/proc/loadavg: 3.70 3.85 3.77 5/219 30169
/proc/meminfo: memFree=19397300/32873844 swapFree=7628/7628
[pid=29891] ppid=29889 vsize=11852648 CPUtime=1800.19 cores=0,2,4,6
/proc/29891/stat : 29891 (java) S 29889 29891 20391 0 -1 4202496 24313 0 1 0 179900 119 0 0 20 0 22 0 346848099 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140733309626608 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29891/statm: 2963162 916203 2293 9 0 2953849 0
[pid=29891/tid=29893] ppid=29889 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/29891/task/29893/stat : 29893 (java) S 29889 29891 20391 0 -1 4202560 3449 0 1 0 98 4 0 0 20 0 22 0 346848099 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495942718616 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29894] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29894/stat : 29894 (java) S 29889 29891 20391 0 -1 4202560 164 0 0 0 74 4 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495778998952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29895] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29895/stat : 29895 (java) S 29889 29891 20391 0 -1 4202560 119 0 0 0 76 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495777946408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29896] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29896/stat : 29896 (java) S 29889 29891 20391 0 -1 4202560 124 0 0 0 75 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495776893864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29897] ppid=29889 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29891/task/29897/stat : 29897 (java) S 29889 29891 20391 0 -1 4202560 152 0 0 0 75 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495775841320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29898] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29898/stat : 29898 (java) S 29889 29891 20391 0 -1 4202560 162 0 0 0 75 4 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495774787752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29899] ppid=29889 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/29891/task/29899/stat : 29899 (java) S 29889 29891 20391 0 -1 4202560 155 0 0 0 80 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495773735208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29900] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29900/stat : 29900 (java) S 29889 29891 20391 0 -1 4202560 153 0 0 0 76 3 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495772682664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29901] ppid=29889 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/29891/task/29901/stat : 29901 (java) S 29889 29891 20391 0 -1 4202560 175 0 0 0 75 4 0 0 20 0 22 0 346848101 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495771630120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29902] ppid=29889 vsize=11852648 CPUtime=17.06 cores=0,2,4,6
/proc/29891/task/29902/stat : 29902 (java) S 29889 29891 20391 0 -1 4202560 133 0 0 0 1696 10 0 0 20 0 22 0 346848102 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495289301608 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29903] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29903/stat : 29903 (java) S 29889 29891 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495288247928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29904] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29904/stat : 29904 (java) S 29889 29891 20391 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346848103 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495287195272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29905] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29905/stat : 29905 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495286144016 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29891/tid=29906] ppid=29889 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/29891/task/29906/stat : 29906 (java) S 29889 29891 20391 0 -1 4202560 11015 0 0 0 156 2 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495285090360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29907] ppid=29889 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/29891/task/29907/stat : 29907 (java) S 29889 29891 20391 0 -1 4202560 5349 0 0 0 115 2 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495284037816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29891/tid=29908] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29908/stat : 29908 (java) S 29889 29891 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495282985464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29909] ppid=29889 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/29891/task/29909/stat : 29909 (java) S 29889 29891 20391 0 -1 4202560 54 0 0 0 18 13 0 0 20 0 22 0 346848106 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495281933128 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29922] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29922/stat : 29922 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848344 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495278773032 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29926] ppid=29889 vsize=11852648 CPUtime=880.37 cores=0,2,4,6
/proc/29891/task/29926/stat : 29926 (java) R 29889 29891 20391 0 -1 4202560 139 0 0 0 88022 15 0 0 20 0 22 0 346848700 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495279823216 140495779534460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29891/tid=29927] ppid=29889 vsize=11852648 CPUtime=880.45 cores=0,2,4,6
/proc/29891/task/29927/stat : 29927 (java) R 29889 29891 20391 0 -1 4202560 1468 0 0 0 87981 64 0 0 20 0 22 0 346848700 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495280876624 140495779514322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29891/tid=29928] ppid=29889 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29891/task/29928/stat : 29928 (java) S 29889 29891 20391 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346848701 12137111552 916203 33554432000 1073741824 1073778376 140733309635472 140495277720744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 907.952
CPU time (s): 1800.19
CPU user time (s): 1799
CPU system time (s): 1.19
CPU usage (%): 198.269
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 1.66275
maximum resident set size= 3664928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24343
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27542
involuntary context switches= 28139

runsolver used 3.34949 second user time and 8.24675 second system time

The end

Launcher Data

Begin job on node143 at 2012-06-04 12:53:57
IDJOB=3744462
IDBENCH=92758
IDSOLVER=2328
FILE ID=node143/3744462-1338807237
RUNJOBID= node143-1338805400-29518
PBS_JOBID= 14636856
Free space on /tmp= 68468 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_7.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744462-1338807237/watcher-3744462-1338807237 -o /tmp/evaluation-result-3744462-1338807237/solver-3744462-1338807237 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744462-1338807237.opb

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

MD5SUM BENCH= b79cf832cc8fb39cc9e05c792def1a32
RANDOM SEED=1845207875

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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:        22010088 kB
Buffers:         3531524 kB
Cached:          4015324 kB
SwapCached:          188 kB
Active:          7617056 kB
Inactive:        2217432 kB
Active(anon):    2268120 kB
Inactive(anon):    10988 kB
Active(file):    5348936 kB
Inactive(file):  2206444 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              2932 kB
Writeback:             4 kB
AnonPages:       2292176 kB
Mapped:            18640 kB
Shmem:               160 kB
Slab:             875624 kB
SReclaimable:     316964 kB
SUnreclaim:       558660 kB
KernelStack:        1632 kB
PageTables:         8728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2240512 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= 68468 MiB
End job on node143 at 2012-06-04 13:09:07