Trace number 2659176

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB Resolution 2.2.0 2010-05-26SAT (TO)7279722 1800.31 1796.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUMe99162fa0a9c8caac0a04031bf39653d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4382720
Best CPU time to get the best result obtained on this benchmark1800.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4815872
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.23/0.21	c Pseudo Boolean Optimization
0.23/0.21	c --- Begin Solver configuration ---
0.23/0.21	c Stops conflict analysis at the first Unique Implication Point
0.23/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.23/0.21	c Learn all clauses as in MiniSAT
0.23/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.23/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.23/0.21	c Expensive reason simplification
0.23/0.21	c Armin Biere (Picosat) restarts strategy
0.23/0.21	c Glucose learned constraints deletion strategy
0.23/0.21	c timeout=2147483s
0.23/0.21	c DB Simplification allowed=false
0.23/0.21	c --- End Solver configuration ---
0.23/0.21	c solving HOME/instance-2659176-1276525292.opb
0.23/0.21	c reading problem ... 
1.39/0.94	c ... done. Wall clock time 0.725s.
1.39/0.94	c #vars     7812
1.39/0.94	c #constraints  4288
1.39/0.94	c constraints type 
1.39/0.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 316
3.78/2.67	c SATISFIABLE
3.78/2.67	c OPTIMIZING...
3.78/2.67	c Got one! Elapsed wall clock time (in seconds):2.454
3.78/2.67	o 11131126
13.23/11.94	c cleaning 2497 clauses out of 5000 with flag 5000/5000
15.27/13.98	c Got one! Elapsed wall clock time (in seconds):13.755
15.27/13.98	o 10905897
25.10/23.76	c Got one! Elapsed wall clock time (in seconds):23.548
25.10/23.76	o 10892622
26.89/25.47	c Got one! Elapsed wall clock time (in seconds):25.262
26.89/25.47	o 7279722
28.80/27.38	c cleaning 4252 clauses out of 8505 with flag 11002/11002
46.13/44.65	c cleaning 5622 clauses out of 11251 with flag 18000/18000
66.37/64.82	c cleaning 6811 clauses out of 13632 with flag 26003/26003
84.70/83.10	c cleaning 7900 clauses out of 15820 with flag 35002/35002
102.32/100.77	c cleaning 8947 clauses out of 17919 with flag 45001/45001
117.85/116.24	c cleaning 9479 clauses out of 18971 with flag 55000/55000
137.48/135.86	c cleaning 9731 clauses out of 19493 with flag 65001/65001
154.01/152.35	c cleaning 9862 clauses out of 19761 with flag 75000/75000
173.37/171.66	c cleaning 9943 clauses out of 19901 with flag 85002/85002
196.90/195.12	c cleaning 9947 clauses out of 19956 with flag 95000/95000
220.22/218.42	c cleaning 9987 clauses out of 20010 with flag 105001/105001
239.96/238.11	c cleaning 10001 clauses out of 20023 with flag 115001/115001
254.10/252.24	c cleaning 10004 clauses out of 20021 with flag 125000/125000
272.81/270.97	c cleaning 9991 clauses out of 20017 with flag 135000/135000
291.13/289.22	c cleaning 10000 clauses out of 20028 with flag 145002/145002
312.56/310.62	c cleaning 9999 clauses out of 20027 with flag 155001/155001
331.59/329.68	c cleaning 9986 clauses out of 20027 with flag 165000/165000
353.11/351.17	c cleaning 10005 clauses out of 20042 with flag 175001/175001
373.76/371.72	c cleaning 10002 clauses out of 20037 with flag 185001/185001
392.78/390.74	c cleaning 9997 clauses out of 20034 with flag 195000/195000
412.21/410.12	c cleaning 10001 clauses out of 20037 with flag 205000/205000
432.73/430.64	c cleaning 10009 clauses out of 20038 with flag 215002/215002
457.47/455.36	c cleaning 9998 clauses out of 20029 with flag 225002/225002
481.81/479.64	c cleaning 9996 clauses out of 20030 with flag 235001/235001
500.13/497.93	c cleaning 9988 clauses out of 20033 with flag 245000/245000
522.15/519.90	c cleaning 9995 clauses out of 20045 with flag 255000/255000
541.88/539.65	c cleaning 10023 clauses out of 20050 with flag 265000/265000
564.81/562.50	c cleaning 9997 clauses out of 20030 with flag 275003/275003
589.24/586.92	c cleaning 10004 clauses out of 20030 with flag 285000/285000
615.28/612.92	c cleaning 9995 clauses out of 20028 with flag 295002/295002
627.37/625.04	c cleaning 10005 clauses out of 20035 with flag 305004/305004
634.18/631.80	c cleaning 9999 clauses out of 20026 with flag 315000/315000
648.69/646.34	c cleaning 9998 clauses out of 20028 with flag 325001/325001
661.61/659.29	c cleaning 9993 clauses out of 20029 with flag 335000/335000
676.44/674.05	c cleaning 10002 clauses out of 20038 with flag 345002/345002
697.79/695.35	c cleaning 9997 clauses out of 20035 with flag 355001/355001
717.52/715.02	c cleaning 9995 clauses out of 20038 with flag 365001/365001
737.94/735.48	c cleaning 9988 clauses out of 20042 with flag 375000/375000
758.46/755.90	c cleaning 10001 clauses out of 20055 with flag 385001/385001
782.59/780.00	c cleaning 10011 clauses out of 20053 with flag 395000/395000
804.43/801.83	c cleaning 10011 clauses out of 20043 with flag 405001/405001
820.83/818.25	c cleaning 9996 clauses out of 20031 with flag 415000/415000
830.14/827.53	c cleaning 10011 clauses out of 20035 with flag 425000/425000
845.86/843.29	c cleaning 9997 clauses out of 20024 with flag 435000/435000
877.99/875.34	c cleaning 9995 clauses out of 20028 with flag 445001/445001
902.21/899.58	c cleaning 9992 clauses out of 20032 with flag 455000/455000
919.83/917.19	c cleaning 10006 clauses out of 20041 with flag 465001/465001
943.75/941.01	c cleaning 10001 clauses out of 20034 with flag 475000/475000
964.47/961.77	c cleaning 9998 clauses out of 20034 with flag 485001/485001
988.59/985.84	c cleaning 9995 clauses out of 20035 with flag 495000/495000
1008.92/1006.13	c cleaning 9991 clauses out of 20042 with flag 505002/505002
1030.85/1028.05	c cleaning 10003 clauses out of 20049 with flag 515000/515000
1055.48/1052.68	c cleaning 9997 clauses out of 20046 with flag 525000/525000
1081.51/1078.62	c cleaning 10007 clauses out of 20049 with flag 535000/535000
1107.66/1104.79	c cleaning 9976 clauses out of 20042 with flag 545000/545000
1132.80/1129.88	c cleaning 10011 clauses out of 20068 with flag 555002/555002
1157.12/1154.18	c cleaning 10002 clauses out of 20055 with flag 565000/565000
1175.24/1172.23	c cleaning 9999 clauses out of 20055 with flag 575002/575002
1204.37/1201.33	c cleaning 10001 clauses out of 20054 with flag 585000/585000
1233.11/1230.00	c cleaning 10008 clauses out of 20054 with flag 595001/595001
1255.73/1252.60	c cleaning 10006 clauses out of 20046 with flag 605001/605001
1278.38/1275.25	c cleaning 10000 clauses out of 20039 with flag 615000/615000
1307.19/1304.01	c cleaning 10000 clauses out of 20039 with flag 625000/625000
1327.84/1324.67	c cleaning 10001 clauses out of 20041 with flag 635002/635002
1347.75/1344.55	c cleaning 9983 clauses out of 20038 with flag 645000/645000
1373.66/1370.42	c cleaning 9997 clauses out of 20055 with flag 655000/655000
1404.98/1401.76	c cleaning 10001 clauses out of 20058 with flag 665000/665000
1433.60/1430.39	c cleaning 9999 clauses out of 20057 with flag 675000/675000
1458.02/1454.75	c cleaning 10000 clauses out of 20059 with flag 685001/685001
1483.64/1480.36	c cleaning 10005 clauses out of 20059 with flag 695001/695001
1510.16/1506.82	c cleaning 9994 clauses out of 20055 with flag 705002/705002
1535.47/1532.18	c cleaning 10003 clauses out of 20060 with flag 715001/715001
1556.02/1552.67	c cleaning 9999 clauses out of 20057 with flag 725001/725001
1575.25/1571.89	c cleaning 9999 clauses out of 20059 with flag 735002/735002
1595.79/1592.38	c cleaning 10007 clauses out of 20059 with flag 745001/745001
1614.10/1610.61	c cleaning 9997 clauses out of 20053 with flag 755002/755002
1633.91/1630.40	c cleaning 9993 clauses out of 20054 with flag 765000/765000
1653.54/1650.05	c cleaning 10004 clauses out of 20064 with flag 775003/775003
1672.34/1668.87	c cleaning 10023 clauses out of 20057 with flag 785000/785000
1691.86/1688.37	c cleaning 9983 clauses out of 20034 with flag 795000/795000
1713.99/1710.47	c cleaning 9997 clauses out of 20051 with flag 805000/805000
1746.43/1742.81	c cleaning 10011 clauses out of 20056 with flag 815002/815002
1773.46/1769.82	c cleaning 9992 clauses out of 20044 with flag 825001/825001
1796.68/1793.02	c cleaning 9984 clauses out of 20052 with flag 835001/835001
1800.08/1796.41	c starts		: 175
1800.08/1796.41	c conflicts		: 836154
1800.08/1796.41	c decisions		: 1459541
1800.08/1796.41	c propagations		: 73022595
1800.08/1796.41	c inspects		: 291895160
1800.08/1796.41	c learnt literals	: 0
1800.08/1796.41	c learnt binary clauses	: 0
1800.08/1796.41	c learnt ternary clauses	: 0
1800.08/1796.41	c learnt clauses	: 836154
1800.08/1796.41	c ignored clauses	: 0
1800.08/1796.41	c root simplifications	: 0
1800.08/1796.41	c removed literals (reason simplification)	: 62816555
1800.08/1796.41	c reason swapping (by a shorter reason)	: 0
1800.08/1796.41	c Calls to reduceDB	: 85
1800.08/1796.41	c number of reductions to clauses (during analyze)	: 0
1800.08/1796.41	c number of learned constraints concerned by reduction	: 0
1800.08/1796.41	c number of learning phase by resolution	: 0
1800.08/1796.41	c number of learning phase by cutting planes	: 0
1800.08/1796.41	c speed (assignments/second)	: 41234.13118334702
1800.08/1796.41	c non guided choices	27586
1800.08/1796.44	c learnt constraints type 
1800.08/1796.44	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11232
1800.08/1796.44	c constraints type 
1800.08/1796.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 317
1800.08/1796.44	s SATISFIABLE
1800.08/1796.46	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 
1800.08/1796.48	c objective function=7279722
1800.08/1796.48	c Total wall clock time (in seconds): 1796.269

Verifier Data 

OK	7279722

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659176-1276525292/watcher-2659176-1276525292 -o /tmp/evaluation-result-2659176-1276525292/solver-2659176-1276525292 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659176-1276525292.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29299
/proc/meminfo: memFree=1855968/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1832 CPUtime=0
/proc/29299/stat : 29299 (java6) S 29297 29299 28862 0 -1 4194304 240 0 0 0 0 0 0 0 17 0 1 0 28133089 1875968 143 1992294400 134512640 134550932 4289424064 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699379390 0 0 17 1 0 0 0
/proc/29299/statm: 458 143 107 10 0 63 0

[startup+0.0390271 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29299
/proc/meminfo: memFree=1855968/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1520328 CPUtime=0.02
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 3293 0 1 0 1 1 0 0 15 0 4 0 28133089 1556815872 2736 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 380082 2739 945 10 0 377392 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1520328

[startup+0.100026 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29299
/proc/meminfo: memFree=1855968/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1524024 CPUtime=0.08
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 3936 0 1 0 6 2 0 0 15 0 12 0 28133089 1560600576 3375 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 381006 3375 1073 10 0 378308 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524024

[startup+0.300022 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29299
/proc/meminfo: memFree=1855968/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1526868 CPUtime=0.37
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 5457 0 1 0 34 3 0 0 15 0 12 0 28133089 1563512832 4894 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 381717 4894 1364 10 0 379019 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 1526868

[startup+0.700013 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29299
/proc/meminfo: memFree=1855968/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531400 CPUtime=1.06
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 7846 0 1 0 102 4 0 0 15 0 12 0 28133089 1568153600 7204 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382850 7204 1405 10 0 380152 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 1531400

[startup+1.50146 s]
/proc/loadavg: 0.92 0.98 0.99 2/118 29311
/proc/meminfo: memFree=1816688/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=2.45
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 14025 0 1 0 239 6 0 0 15 0 13 0 28133089 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 13383 1429 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=1.01
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 10972 0 1 0 96 5 0 0 25 0 13 0 28133090 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 28133092 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 28133092 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 13 0 28133093 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 28133094 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 28133094 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=0.68
/proc/29299/task/29308/stat : 29308 (java) R 29297 29299 28862 0 -1 4202560 764 0 0 0 68 0 0 0 19 0 13 0 28133098 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4388828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=0.72
/proc/29299/task/29309/stat : 29309 (java) R 29297 29299 28862 0 -1 4202560 1222 0 0 0 72 0 0 0 15 0 13 0 28133098 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 106119804 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 13383 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 1531724

[startup+3.10161 s]
/proc/loadavg: 0.92 0.98 0.99 2/119 29312
/proc/meminfo: memFree=1796964/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=4.35
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 22259 0 1 0 425 10 0 0 15 0 13 0 28133089 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 21616 1431 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=2.43
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 19145 0 1 0 234 9 0 0 25 0 13 0 28133090 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4109651935 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 28133092 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 28133092 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 28133093 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 28133094 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 28133094 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=0.88
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 784 0 0 0 88 0 0 0 16 0 13 0 28133098 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=1.01
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1262 0 0 0 101 0 0 0 16 0 13 0 28133098 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 28133220 1568485376 21616 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 1531724

[startup+6.3009 s]
/proc/loadavg: 0.93 0.98 0.99 2/119 29312
/proc/meminfo: memFree=1759764/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=7.59
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 27856 0 1 0 746 13 0 0 15 0 13 0 28133089 1568485376 27212 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 27212 1431 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=5.62
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 24736 0 1 0 550 12 0 0 25 0 13 0 28133090 1568485376 27212 1992294400 134512640 134550932 4292781808 18446744073709551615 4109651393 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 28133092 1568485376 27212 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 28133092 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28133093 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 28133094 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 28133094 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=0.88
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 784 0 0 0 88 0 0 0 15 0 13 0 28133098 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=1.07
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1268 0 0 0 107 0 0 0 15 0 13 0 28133098 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 28133220 1568485376 27213 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 1531724

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/119 29312
/proc/meminfo: memFree=1705080/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=14.07
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 41514 0 1 0 1387 20 0 0 15 0 13 0 28133089 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 40832 1445 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=11.89
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 32048 0 1 0 1174 15 0 0 25 0 13 0 28133090 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4109797224 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=0.03
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 1806 0 0 0 3 0 0 0 15 0 13 0 28133092 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=0.04
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 2569 0 0 0 3 1 0 0 18 0 13 0 28133092 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=0.04
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 1966 0 0 0 4 0 0 0 15 0 13 0 28133093 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=0.91
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 787 0 0 0 91 0 0 0 15 0 13 0 28133098 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=1.09
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1272 0 0 0 109 0 0 0 16 0 13 0 28133098 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 28133220 1568485376 40832 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.07
Current children cumulated vsize (KiB) 1531724

[startup+25.5005 s]
/proc/loadavg: 0.95 0.98 0.99 2/119 29312
/proc/meminfo: memFree=1696648/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=27
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 41644 0 1 0 2680 20 0 0 15 0 13 0 28133089 1568485376 40960 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 40960 1445 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=24.59
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 32052 0 1 0 2444 15 0 0 25 0 13 0 28133090 1568485376 40960 1992294400 134512640 134550932 4292781808 18446744073709551615 4109637320 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=0.05
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 1869 0 0 0 5 0 0 0 15 0 13 0 28133092 1568485376 40960 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=0.05
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 2619 0 0 0 4 1 0 0 18 0 13 0 28133092 1568485376 40960 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=0.04
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 1966 0 0 0 4 0 0 0 16 0 13 0 28133093 1568485376 40960 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0

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

[pid=29299] ppid=29297 vsize=1531724 CPUtime=1665.84
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 68435 0 1 0 166538 46 0 0 15 0 13 0 28133089 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 61873 1445 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=1652.4
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 32241 0 1 0 165217 23 0 0 25 0 13 0 28133090 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4109651877 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=2.85
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 13733 0 0 0 277 8 0 0 16 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=2.84
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 13873 0 0 0 275 9 0 0 15 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=5.35
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 5340 0 0 0 533 2 0 0 15 0 13 0 28133093 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=1.02
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 797 0 0 0 102 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=1.31
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1285 0 0 0 131 0 0 0 16 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 28133220 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.84
Current children cumulated vsize (KiB) 1531724

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 29358
/proc/meminfo: memFree=1610344/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=1725.9
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 68450 0 1 0 172543 47 0 0 15 0 13 0 28133089 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 61873 1445 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=1712.05
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 32248 0 1 0 171181 24 0 0 25 0 13 0 28133090 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4109767536 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=2.94
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 13733 0 0 0 286 8 0 0 16 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=2.95
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 13873 0 0 0 285 10 0 0 16 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=5.57
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 5344 0 0 0 555 2 0 0 15 0 13 0 28133093 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=1.02
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 797 0 0 0 102 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=1.31
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1285 0 0 0 131 0 0 0 16 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 28133220 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.9
Current children cumulated vsize (KiB) 1531724

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 29360
/proc/meminfo: memFree=1610096/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=1785.96
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 68464 0 1 0 178547 49 0 0 15 0 13 0 28133089 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 61873 1445 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=1771.75
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 32256 0 1 0 177150 25 0 0 25 0 13 0 28133090 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4109478473 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=3.05
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 13733 0 0 0 296 9 0 0 15 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=3.05
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 13873 0 0 0 295 10 0 0 15 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=5.73
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 5346 0 0 0 571 2 0 0 15 0 13 0 28133093 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=1.02
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 797 0 0 0 102 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=1.31
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1285 0 0 0 131 0 0 0 16 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 28133220 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.96
Current children cumulated vsize (KiB) 1531724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 29360
/proc/meminfo: memFree=1610096/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1531724 CPUtime=1800.08
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 68468 0 1 0 179959 49 0 0 15 0 13 0 28133089 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 382931 61873 1445 10 0 380233 0
[pid=29299/tid=29301] ppid=29297 vsize=1531724 CPUtime=1785.75
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 32258 0 1 0 178550 25 0 0 25 0 13 0 28133090 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4109459348 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1531724 CPUtime=3.07
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 13733 0 0 0 298 9 0 0 15 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1531724 CPUtime=3.07
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 13873 0 0 0 297 10 0 0 16 0 13 0 28133092 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1531724 CPUtime=5.8
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 5348 0 0 0 578 2 0 0 15 0 13 0 28133093 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28133094 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1531724 CPUtime=1.02
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 797 0 0 0 102 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1531724 CPUtime=1.31
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1285 0 0 0 131 0 0 0 16 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 13 0 28133098 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1531724 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 28133220 1568485376 61873 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1531724

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

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

[startup+1796.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 29360
/proc/meminfo: memFree=1610096/2059040 swapFree=4140388/4192956
[pid=29299] ppid=29297 vsize=1532372 CPUtime=1800.26
/proc/29299/stat : 29299 (java) S 29297 29299 28862 0 -1 4202496 68491 0 1 0 179977 49 0 0 15 0 14 0 28133089 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29299/statm: 383093 61896 1448 10 0 380395 0
[pid=29299/tid=29301] ppid=29297 vsize=1532372 CPUtime=1785.84
/proc/29299/task/29301/stat : 29301 (java) R 29297 29299 28862 0 -1 4202560 32258 0 1 0 178559 25 0 0 25 0 14 0 28133090 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4109459374 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29299/tid=29302] ppid=29297 vsize=1532372 CPUtime=3.07
/proc/29299/task/29302/stat : 29302 (java) S 29297 29299 28862 0 -1 4202560 13733 0 0 0 298 9 0 0 15 0 14 0 28133092 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29303] ppid=29297 vsize=1532372 CPUtime=3.07
/proc/29299/task/29303/stat : 29303 (java) S 29297 29299 28862 0 -1 4202560 13873 0 0 0 297 10 0 0 16 0 14 0 28133092 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29304] ppid=29297 vsize=1532372 CPUtime=5.8
/proc/29299/task/29304/stat : 29304 (java) S 29297 29299 28862 0 -1 4202560 5348 0 0 0 578 2 0 0 15 0 14 0 28133093 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 0 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29305] ppid=29297 vsize=1532372 CPUtime=0
/proc/29299/task/29305/stat : 29305 (java) S 29297 29299 28862 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 14 0 28133094 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29306] ppid=29297 vsize=1532372 CPUtime=0
/proc/29299/task/29306/stat : 29306 (java) S 29297 29299 28862 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 28133094 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29307] ppid=29297 vsize=1532372 CPUtime=0
/proc/29299/task/29307/stat : 29307 (java) S 29297 29299 28862 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 14 0 28133098 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29308] ppid=29297 vsize=1532372 CPUtime=1.03
/proc/29299/task/29308/stat : 29308 (java) S 29297 29299 28862 0 -1 4202560 797 0 0 0 103 0 0 0 15 0 14 0 28133098 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29309] ppid=29297 vsize=1532372 CPUtime=1.33
/proc/29299/task/29309/stat : 29309 (java) S 29297 29299 28862 0 -1 4202560 1287 0 0 0 133 0 0 0 16 0 14 0 28133098 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29310] ppid=29297 vsize=1532372 CPUtime=0
/proc/29299/task/29310/stat : 29310 (java) S 29297 29299 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 28133098 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
[pid=29299/tid=29311] ppid=29297 vsize=1532372 CPUtime=0
/proc/29299/task/29311/stat : 29311 (java) S 29297 29299 28862 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 14 0 28133098 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 1 0 0 0
[pid=29299/tid=29312] ppid=29297 vsize=1532372 CPUtime=0
/proc/29299/task/29312/stat : 29312 (java) S 29297 29299 28862 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 28133220 1569148928 61896 1992294400 134512640 134550932 4292781808 18446744073709551615 4294960144 0 4 0 16800975 18446604437828575552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 1532372

Child status: 143
Real time (s): 1796.56
CPU time (s): 1800.31
CPU user time (s): 1799.79
CPU system time (s): 0.52392
CPU usage (%): 100.209
Max. virtual memory (cumulated for all children) (KiB): 1532372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.52392
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68492
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39239
involuntary context switches= 19699

runsolver used 3.65344 second user time and 9.56055 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-14 16:21:32
IDJOB=2659176
IDBENCH=2310
IDSOLVER=1164
FILE ID=node004/2659176-1276525292
PBS_JOBID= 11173439
Free space on /tmp= 62548 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659176-1276525292/watcher-2659176-1276525292 -o /tmp/evaluation-result-2659176-1276525292/solver-2659176-1276525292 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659176-1276525292.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e99162fa0a9c8caac0a04031bf39653d
RANDOM SEED=864964722

node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1856488 kB
Buffers:         29680 kB
Cached:          92448 kB
SwapCached:       5996 kB
Active:          75112 kB
Inactive:        59928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1856488 kB
SwapTotal:     4192956 kB
SwapFree:      4140388 kB
Dirty:             700 kB
Writeback:           0 kB
AnonPages:       11288 kB
Mapped:          12932 kB
Slab:            45524 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node004 at 2010-06-14 16:51:31