Trace number 3744316

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO) 1801.74 906.958

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_4.opb
MD5SUMb9760eca078029bee17418839cb4525f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3452273
Best CPU time to get the best result obtained on this benchmark1800.15
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 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 77399784670
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 77399784670
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.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.08	c version 2.2.0.v20100531
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		1349517296
0.04/0.08	c Max memory 		1356595200
0.04/0.08	c Total memory 		1356595200
0.04/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c Stops conflict analysis at the first Unique Implication Point
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c Stops conflict analysis at the first Unique Implication Point
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	
0.10/0.11	c solving HOME/instance-3744316-1338806900.opb
0.10/0.11	c reading problem ... 
1.42/0.65	c ... done. Wall clock time 0.542s.
1.42/0.65	c #vars     9940
1.42/0.65	c #constraints  24648
1.42/0.65	c constraints type 
1.42/0.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1.42/0.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.42/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1.42/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625
1.42/0.65	c constraints type 
1.42/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390
1.42/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486
1.42/0.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.42/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625
3.60/1.23	c And the winner is Resolution
3.79/1.71	c SATISFIABLE
3.79/1.71	c OPTIMIZING...
3.79/1.71	c Got one! Elapsed wall clock time (in seconds):1.598
3.79/1.71	o 3499455
4.04/1.85	c And the winner is Resolution
4.19/2.78	c Got one! Elapsed wall clock time (in seconds):2.669
4.19/2.78	o 3480389
4.30/2.86	c And the winner is Resolution
4.47/3.85	c Got one! Elapsed wall clock time (in seconds):3.739
4.47/3.85	o 3471965
4.63/3.92	c And the winner is Resolution
4.94/4.92	c Got one! Elapsed wall clock time (in seconds):4.811
4.94/4.92	o 3471695
4.94/4.98	c And the winner is Resolution
5.16/5.99	c Got one! Elapsed wall clock time (in seconds):5.879
5.16/5.99	o 3465599
5.23/6.05	c And the winner is Resolution
5.42/7.06	c Got one! Elapsed wall clock time (in seconds):6.948
5.42/7.06	o 3464927
5.55/7.19	c And the winner is Resolution
5.81/8.12	c Got one! Elapsed wall clock time (in seconds):8.016
5.81/8.12	o 3462929
24.76/17.48	c cleaning 2500 clauses out of 5001 with flag 5001/5001
42.80/26.34	c cleaning 4248 clauses out of 8500 with flag 11000/11000
64.04/36.75	c cleaning 5619 clauses out of 11252 with flag 18000/18000
92.62/51.04	c cleaning 6812 clauses out of 13633 with flag 26000/26000
121.54/65.58	c cleaning 7904 clauses out of 15822 with flag 35001/35001
144.08/76.80	c cleaning 8954 clauses out of 17916 with flag 45000/45000
163.21/86.41	c cleaning 9977 clauses out of 19962 with flag 56000/56000
176.12/92.98	c cleaning 10984 clauses out of 21985 with flag 68000/68000
205.79/107.88	c cleaning 12001 clauses out of 24001 with flag 81000/81000
249.52/129.71	c cleaning 12968 clauses out of 26001 with flag 95001/95001
293.29/151.63	c cleaning 14004 clauses out of 28032 with flag 110001/110001
319.71/164.85	c cleaning 15008 clauses out of 30027 with flag 126000/126000
365.20/187.54	c cleaning 15962 clauses out of 32021 with flag 143002/143002
391.60/200.75	c cleaning 17017 clauses out of 34057 with flag 161000/161000
415.86/212.97	c cleaning 18022 clauses out of 36043 with flag 180003/180003
447.53/228.71	c cleaning 19008 clauses out of 38018 with flag 200000/200000
483.18/246.60	c cleaning 19996 clauses out of 40010 with flag 221000/221000
507.67/258.98	c cleaning 21000 clauses out of 42015 with flag 243001/243001
534.95/272.60	c cleaning 22008 clauses out of 44015 with flag 266001/266001
589.83/300.09	c cleaning 22994 clauses out of 46005 with flag 290000/290000
618.67/314.50	c cleaning 23999 clauses out of 48012 with flag 315001/315001
645.98/328.20	c cleaning 24498 clauses out of 49013 with flag 340001/340001
682.88/346.72	c cleaning 24752 clauses out of 49514 with flag 365000/365000
733.79/372.26	c cleaning 24874 clauses out of 49763 with flag 390001/390001
772.87/391.89	c cleaning 24938 clauses out of 49889 with flag 415001/415001
820.30/415.54	c cleaning 24967 clauses out of 49951 with flag 440001/440001
857.83/434.36	c cleaning 24980 clauses out of 49983 with flag 465000/465000
909.46/460.14	c cleaning 24988 clauses out of 50003 with flag 490000/490000
937.06/474.01	c cleaning 24996 clauses out of 50016 with flag 515001/515001
968.01/489.52	c cleaning 25005 clauses out of 50019 with flag 540000/540000
1000.71/505.96	c cleaning 24998 clauses out of 50015 with flag 565001/565001
1032.16/521.76	c cleaning 24995 clauses out of 50016 with flag 590000/590000
1069.93/540.63	c cleaning 24996 clauses out of 50021 with flag 615000/615000
1100.04/555.76	c cleaning 25005 clauses out of 50025 with flag 640000/640000
1130.40/570.91	c cleaning 25001 clauses out of 50021 with flag 665001/665001
1157.08/584.30	c cleaning 24992 clauses out of 50021 with flag 690002/690002
1185.86/598.80	c cleaning 24998 clauses out of 50027 with flag 715000/715000
1215.66/613.72	c cleaning 25002 clauses out of 50030 with flag 740001/740001
1241.71/626.84	c cleaning 24998 clauses out of 50027 with flag 765000/765000
1267.57/639.82	c cleaning 24996 clauses out of 50029 with flag 790000/790000
1300.67/656.42	c cleaning 25007 clauses out of 50033 with flag 815000/815000
1325.53/668.96	c cleaning 25005 clauses out of 50026 with flag 840000/840000
1350.43/681.48	c cleaning 25004 clauses out of 50021 with flag 865000/865000
1377.96/695.21	c cleaning 25005 clauses out of 50018 with flag 890001/890001
1439.62/726.01	c cleaning 24997 clauses out of 50013 with flag 915001/915001
1472.58/742.55	c cleaning 24997 clauses out of 50015 with flag 940000/940000
1509.93/761.27	c cleaning 24994 clauses out of 50019 with flag 965001/965001
1537.90/775.28	c cleaning 24993 clauses out of 50025 with flag 990001/990001
1563.34/788.06	c cleaning 25001 clauses out of 50031 with flag 1015000/1015000
1592.14/802.47	c cleaning 24995 clauses out of 50030 with flag 1040000/1040000
1620.06/816.41	c cleaning 24994 clauses out of 50035 with flag 1065000/1065000
1648.59/830.73	c cleaning 25006 clauses out of 50041 with flag 1090000/1090000
1676.00/844.55	c cleaning 25007 clauses out of 50035 with flag 1115000/1115000
1704.06/858.64	c cleaning 25004 clauses out of 50030 with flag 1140002/1140002
1731.58/872.47	c cleaning 24994 clauses out of 50024 with flag 1165000/1165000
1759.12/886.22	c cleaning 25006 clauses out of 50030 with flag 1190000/1190000
1784.89/899.22	c cleaning 25004 clauses out of 50025 with flag 1215001/1215001
1800.17/906.91	c starts		: 197
1800.17/906.91	c conflicts		: 1230549
1800.17/906.91	c decisions		: 1634098
1800.17/906.91	c propagations		: 109242478
1800.17/906.91	c inspects		: 643766143
1800.17/906.91	c learnt literals	: 3
1800.17/906.91	c learnt binary clauses	: 378
1800.17/906.91	c learnt ternary clauses	: 15347
1800.17/906.91	c learnt clauses	: 1230546
1800.17/906.91	c ignored clauses	: 0
1800.17/906.91	c root simplifications	: 0
1800.17/906.91	c removed literals (reason simplification)	: 140570077
1800.17/906.91	c reason swapping (by a shorter reason)	: 0
1800.17/906.91	c Calls to reduceDB	: 57
1800.17/906.91	c number of reductions to clauses (during analyze)	: 0
1800.17/906.91	c number of learned constraints concerned by reduction	: 0
1800.17/906.91	c number of learning phase by resolution	: 0
1800.17/906.91	c number of learning phase by cutting planes	: 0
1800.17/906.91	c speed (assignments/second)	: 121546.7823211526
1800.17/906.91	c non guided choices	637
1800.17/906.93	c learnt constraints type 
1800.17/906.93	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 40226
1800.17/906.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 378
1800.17/906.93	c constraints type 
1800.17/906.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1800.17/906.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.17/906.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1800.17/906.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626
1800.17/906.93	c constraints type 
1800.17/906.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390
1800.17/906.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486
1800.17/906.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.17/906.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626
1800.17/906.93	s SATISFIABLE
1800.17/906.94	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.17/906.95	c objective function=3462929
1800.17/906.95	c Total wall clock time (in seconds): 906.839

Verifier Data

OK	3462929

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-3744316-1338806900/watcher-3744316-1338806900 -o /tmp/evaluation-result-3744316-1338806900/solver-3744316-1338806900 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744316-1338806900.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.85 3.81 3.71 3/194 2735
/proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/2735/stat : 2735 (java) R 2733 2735 6982 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 346818572 23793664 714 33554432000 1073741824 1073778376 140735615987488 140735615976552 235365512552 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 5809 714 529 9 0 128 0

[startup+0.066483 s]
/proc/loadavg: 3.85 3.81 3.71 3/194 2735
/proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2699928 CPUtime=0.04 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 3856 0 1 0 4 0 0 0 20 0 18 0 346818572 2764726272 5575 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 674982 5575 1759 9 0 665676 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2699928

[startup+0.100305 s]
/proc/loadavg: 3.85 3.81 3.71 3/194 2735
/proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 4725 0 1 0 9 1 0 0 20 0 18 0 346818572 2764726272 6421 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 674982 6421 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928

[startup+0.300161 s]
/proc/loadavg: 3.85 3.81 3.71 3/194 2735
/proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2699928 CPUtime=0.52 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 6851 0 1 0 50 2 0 0 20 0 18 0 346818572 2764726272 11327 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 674982 11327 2220 9 0 665676 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2699928

[startup+0.700172 s]
/proc/loadavg: 3.85 3.81 3.71 3/194 2735
/proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2833056 CPUtime=1.7 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 15481 0 1 0 166 4 0 0 20 0 20 0 346818572 2901049344 31215 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 708264 31215 2246 9 0 698958 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 2833056

[startup+1.5007 s]
/proc/loadavg: 3.85 3.81 3.71 6/215 2757
/proc/meminfo: memFree=20626700/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2966184 CPUtime=3.74 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 17069 0 1 0 368 6 0 0 20 0 20 0 346818572 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 741546 54334 2261 9 0 732240 0
[pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2828 0 1 0 61 2 0 0 20 0 20 0 346818573 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651723465880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=0.9 cores=0,2,4,6
/proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 6895 0 0 0 89 1 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6003 0 0 0 99 1 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 2966184

[startup+3.10071 s]
/proc/loadavg: 3.85 3.81 3.71 3/215 2761
/proc/meminfo: memFree=20495008/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2966184 CPUtime=4.47 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 17123 0 1 0 436 11 0 0 20 0 20 0 346818572 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 741546 77374 2261 9 0 732240 0
[pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=0.79 cores=0,2,4,6
/proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2835 0 1 0 76 3 0 0 20 0 20 0 346818573 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651723465880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.02 cores=0,2,4,6
/proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 6895 0 0 0 100 2 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6003 0 0 0 104 1 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 2966184

[startup+6.30077 s]
/proc/loadavg: 3.78 3.79 3.70 3/215 2769
/proc/meminfo: memFree=20348972/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2966184 CPUtime=5.42 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 17232 0 1 0 524 18 0 0 20 0 20 0 346818572 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 741546 99794 2275 9 0 732240 0
[pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=0.98 cores=0,2,4,6
/proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2839 0 1 0 95 3 0 0 20 0 20 0 346818573 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.06 cores=0,2,4,6
/proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 6895 0 0 0 104 2 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6003 0 0 0 108 2 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 159947 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=799.41 cores=0,2,4,6
/proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 579 0 0 0 79925 16 0 0 20 0 22 0 346819387 3037372416 159947 33554432000 1073741824 1073778376 140735615987488 139651678489776 139651550666114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=799.4 cores=0,2,4,6
/proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 687 0 0 0 79923 17 0 0 20 0 22 0 346819387 3037372416 159947 33554432000 1073741824 1073778376 140735615987488 139651679541328 139651550007985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1631.75
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.91 3.93 3.83 5/217 2815
/proc/meminfo: memFree=19802912/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2966184 CPUtime=1751.28 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 45748 0 1 0 174971 157 0 0 20 0 22 0 346818572 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 741546 160002 2289 9 0 732240 0
[pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=1.13 cores=0,2,4,6
/proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2850 0 1 0 110 3 0 0 20 0 22 0 346818573 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=2.51 cores=0,2,4,6
/proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 155 0 0 0 244 7 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=2.48 cores=0,2,4,6
/proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 150 0 0 0 243 5 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=2.59 cores=0,2,4,6
/proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 111 0 0 0 254 5 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=2.55 cores=0,2,4,6
/proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 249 6 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=2.54 cores=0,2,4,6
/proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 129 0 0 0 249 5 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=2.42 cores=0,2,4,6
/proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 126 0 0 0 236 6 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=2.45 cores=0,2,4,6
/proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 143 0 0 0 238 7 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=2.51 cores=0,2,4,6
/proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 147 0 0 0 245 6 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=8.84 cores=0,2,4,6
/proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 19577 0 0 0 813 71 0 0 20 0 22 0 346818575 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.66 cores=0,2,4,6
/proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 13338 0 0 0 163 3 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.42 cores=0,2,4,6
/proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6019 0 0 0 140 2 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 50 0 0 0 16 12 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=858.28 cores=0,2,4,6
/proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 638 0 0 0 85810 18 0 0 20 0 22 0 346819387 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651678489808 139651550447287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=858.26 cores=0,2,4,6
/proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 733 0 0 0 85808 18 0 0 20 0 22 0 346819387 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651679541328 139651550637504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1751.28
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.901 s]
/proc/loadavg: 3.94 3.94 3.83 5/217 2879
/proc/meminfo: memFree=20135884/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2966184 CPUtime=1800.17 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 46603 0 1 0 179857 160 0 0 20 0 22 0 346818572 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 741546 160032 2289 9 0 732240 0
[pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=1.13 cores=0,2,4,6
/proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2851 0 1 0 110 3 0 0 20 0 22 0 346818573 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6
/proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 164 0 0 0 249 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=2.53 cores=0,2,4,6
/proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 153 0 0 0 248 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=2.65 cores=0,2,4,6
/proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 113 0 0 0 260 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=2.6 cores=0,2,4,6
/proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 254 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=2.59 cores=0,2,4,6
/proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 137 0 0 0 254 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=2.47 cores=0,2,4,6
/proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 131 0 0 0 241 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=2.48 cores=0,2,4,6
/proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 241 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6
/proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 147 0 0 0 250 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=9.21 cores=0,2,4,6
/proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 20357 0 0 0 848 73 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.66 cores=0,2,4,6
/proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 13338 0 0 0 163 3 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.42 cores=0,2,4,6
/proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6019 0 0 0 140 2 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 52 0 0 0 16 13 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6
/proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 670 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651678488864 139651550556071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6
/proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 745 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651679542224 139651550008045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184

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

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

[startup+906.901 s]
/proc/loadavg: 3.94 3.94 3.83 5/217 2879
/proc/meminfo: memFree=20135884/32873844 swapFree=7112/7112
[pid=2735] ppid=2733 vsize=2966184 CPUtime=1800.17 cores=0,2,4,6
/proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 46603 0 1 0 179857 160 0 0 20 0 22 0 346818572 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2735/statm: 741546 160032 2289 9 0 732240 0
[pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=1.13 cores=0,2,4,6
/proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2851 0 1 0 110 3 0 0 20 0 22 0 346818573 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6
/proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 164 0 0 0 249 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=2.53 cores=0,2,4,6
/proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 153 0 0 0 248 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=2.65 cores=0,2,4,6
/proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 113 0 0 0 260 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=2.6 cores=0,2,4,6
/proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 254 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=2.59 cores=0,2,4,6
/proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 137 0 0 0 254 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=2.47 cores=0,2,4,6
/proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 131 0 0 0 241 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=2.48 cores=0,2,4,6
/proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 241 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6
/proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 147 0 0 0 250 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=9.21 cores=0,2,4,6
/proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 20357 0 0 0 848 73 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.66 cores=0,2,4,6
/proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 13338 0 0 0 163 3 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.42 cores=0,2,4,6
/proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6019 0 0 0 140 2 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 52 0 0 0 16 13 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6
/proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 670 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651678488864 139651550556071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6
/proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 745 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651679542224 139651550008045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184

Child status: 143
Real time (s): 906.958
CPU time (s): 1801.74
CPU user time (s): 1799.66
CPU system time (s): 2.08168
CPU usage (%): 198.657
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 2.08168
maximum resident set size= 641960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46633
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60565
involuntary context switches= 77143

runsolver used 2.87156 second user time and 8.17476 second system time

The end

Launcher Data

Begin job on node104 at 2012-06-04 12:48:20
IDJOB=3744316
IDBENCH=92725
IDSOLVER=2324
FILE ID=node104/3744316-1338806900
RUNJOBID= node104-1338804170-1996
PBS_JOBID= 14636834
Free space on /tmp= 66432 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744316-1338806900/watcher-3744316-1338806900 -o /tmp/evaluation-result-3744316-1338806900/solver-3744316-1338806900 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744316-1338806900.opb

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

MD5SUM BENCH= b9760eca078029bee17418839cb4525f
RANDOM SEED=73061879

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        20771084 kB
Buffers:         3057492 kB
Cached:          7470572 kB
SwapCached:          708 kB
Active:          7818356 kB
Inactive:        3204124 kB
Active(anon):     476272 kB
Inactive(anon):     8092 kB
Active(file):    7342084 kB
Inactive(file):  3196032 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:              3136 kB
Writeback:            40 kB
AnonPages:        492736 kB
Mapped:            22456 kB
Shmem:                 8 kB
Slab:             938128 kB
SReclaimable:     379400 kB
SUnreclaim:       558728 kB
KernelStack:        1600 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1564036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 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= 66432 MiB
End job on node104 at 2012-06-04 13:03:29