Trace number 3742084

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT 628.77 319.613

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K108.opb
MD5SUMa293d07a49a0e06ee574b1553fbf5b2b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark105.854
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7344
Total number of constraints7562
Number of constraints which are clauses7454
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint108
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 109
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		9996466904
0.08/0.10	c Max memory 		10048897024
0.08/0.10	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3742084-1338763964.opb
0.08/0.12	c reading problem ... 
0.77/0.45	c ... done. Wall clock time 0.329s.
0.77/0.45	c #vars     7344
0.77/0.45	c #constraints  7562
0.77/0.45	c constraints type 
0.77/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6061
0.77/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 108
0.77/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1391
0.77/0.45	c constraints type 
0.77/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1391
0.77/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6061
0.77/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 108
5.23/2.21	c cleaning 2489 clauses out of 4990 with flag 5000/5000
9.74/4.05	c cleaning 4221 clauses out of 8496 with flag 11000/11000
14.37/6.39	c cleaning 5598 clauses out of 11269 with flag 18000/18000
19.18/8.72	c cleaning 6799 clauses out of 13667 with flag 26002/26002
24.96/11.61	c cleaning 7892 clauses out of 15849 with flag 35000/35000
32.72/15.52	c cleaning 8890 clauses out of 17951 with flag 45000/45000
38.06/18.30	c cleaning 9334 clauses out of 19058 with flag 55002/55002
44.22/21.36	c cleaning 9703 clauses out of 19718 with flag 65001/65001
50.73/24.67	c cleaning 9916 clauses out of 20013 with flag 75001/75001
56.28/27.42	c cleaning 9871 clauses out of 20094 with flag 85001/85001
62.20/30.45	c cleaning 10027 clauses out of 20219 with flag 95000/95000
67.54/33.15	c cleaning 9991 clauses out of 20190 with flag 105000/105000
73.02/35.99	c cleaning 10019 clauses out of 20196 with flag 115000/115000
78.74/38.89	c cleaning 9972 clauses out of 20176 with flag 125003/125003
84.84/41.96	c cleaning 10058 clauses out of 20199 with flag 135001/135001
91.16/45.17	c cleaning 9929 clauses out of 20141 with flag 145002/145002
100.25/49.70	c cleaning 9955 clauses out of 20210 with flag 155000/155000
107.55/53.49	c cleaning 9931 clauses out of 20255 with flag 165002/165002
120.44/59.91	c cleaning 9679 clauses out of 20323 with flag 175002/175002
135.77/67.63	c cleaning 9604 clauses out of 20641 with flag 185003/185003
142.61/71.19	c cleaning 9611 clauses out of 21033 with flag 195000/195000
149.10/74.48	c cleaning 9563 clauses out of 21423 with flag 205002/205002
155.59/77.70	c cleaning 9370 clauses out of 21859 with flag 215002/215002
162.27/81.18	c cleaning 9486 clauses out of 22489 with flag 225002/225002
169.89/85.01	c cleaning 9483 clauses out of 23002 with flag 235001/235001
176.57/88.41	c cleaning 9476 clauses out of 23518 with flag 245001/245001
186.70/93.52	c cleaning 9696 clauses out of 24041 with flag 255000/255000
193.57/97.10	c cleaning 9625 clauses out of 24345 with flag 265000/265000
200.57/100.67	c cleaning 9518 clauses out of 24718 with flag 275000/275000
207.23/104.06	c cleaning 9559 clauses out of 25201 with flag 285001/285001
214.35/107.65	c cleaning 9422 clauses out of 25644 with flag 295003/295003
221.05/111.02	c cleaning 9546 clauses out of 26216 with flag 305001/305001
227.64/114.49	c cleaning 9649 clauses out of 26669 with flag 315000/315000
235.09/118.20	c cleaning 9433 clauses out of 27020 with flag 325000/325000
241.76/121.64	c cleaning 9330 clauses out of 27588 with flag 335001/335001
251.61/126.61	c cleaning 9885 clauses out of 28258 with flag 345002/345002
258.40/130.14	c cleaning 9453 clauses out of 28372 with flag 355001/355001
266.27/134.19	c cleaning 9381 clauses out of 28922 with flag 365004/365004
274.52/138.33	c cleaning 9883 clauses out of 29537 with flag 375000/375000
280.17/141.27	c cleaning 9380 clauses out of 29655 with flag 385001/385001
286.73/144.64	c cleaning 9694 clauses out of 30274 with flag 395000/395000
296.19/149.42	c cleaning 9505 clauses out of 30582 with flag 405002/405002
304.84/153.86	c cleaning 9623 clauses out of 31075 with flag 415001/415001
317.90/160.43	c cleaning 9633 clauses out of 31453 with flag 425002/425002
328.90/166.08	c cleaning 9629 clauses out of 31817 with flag 435000/435000
336.13/169.74	c cleaning 9622 clauses out of 32190 with flag 445002/445002
346.99/175.28	c cleaning 9604 clauses out of 32566 with flag 455000/455000
353.23/178.43	c cleaning 9437 clauses out of 32961 with flag 465000/465000
364.78/184.38	c cleaning 9782 clauses out of 33528 with flag 475004/475004
377.84/190.92	c cleaning 9698 clauses out of 33743 with flag 485001/485001
385.08/194.67	c cleaning 9797 clauses out of 34045 with flag 495001/495001
391.50/197.91	c cleaning 9518 clauses out of 34247 with flag 505000/505000
407.81/206.26	c cleaning 9669 clauses out of 34730 with flag 515001/515001
436.10/220.48	c cleaning 9749 clauses out of 35060 with flag 525000/525000
445.96/225.44	c cleaning 9750 clauses out of 35312 with flag 535001/535001
455.39/230.27	c cleaning 9368 clauses out of 35561 with flag 545001/545001
462.07/233.76	c cleaning 9655 clauses out of 36193 with flag 555001/555001
467.66/236.66	c cleaning 9488 clauses out of 36539 with flag 565002/565002
478.66/242.27	c cleaning 9675 clauses out of 37050 with flag 575002/575002
492.27/249.17	c cleaning 9746 clauses out of 37373 with flag 585000/585000
504.53/255.47	c cleaning 9201 clauses out of 37627 with flag 595000/595000
505.72/256.16	c cleaning 0 clauses out of 5002 with flag 0/5002
513.13/259.81	c cleaning 10065 clauses out of 38425 with flag 605000/605000
521.50/264.10	c cleaning 9520 clauses out of 38358 with flag 615000/615000
537.95/272.53	c cleaning 9710 clauses out of 38839 with flag 625001/625001
544.76/276.05	c cleaning 9523 clauses out of 39129 with flag 635001/635001
553.55/280.50	c cleaning 9609 clauses out of 39605 with flag 645000/645000
561.92/284.89	c cleaning 9606 clauses out of 39996 with flag 655000/655000
573.33/290.73	c cleaning 9693 clauses out of 40391 with flag 665001/665001
584.30/296.33	c cleaning 9501 clauses out of 40697 with flag 675000/675000
597.68/303.13	c cleaning 9822 clauses out of 41196 with flag 685000/685000
605.47/307.17	c cleaning 9337 clauses out of 41374 with flag 695000/695000
613.88/311.58	c cleaning 9567 clauses out of 42038 with flag 705001/705001
626.62/318.07	c cleaning 9756 clauses out of 42470 with flag 715000/715000
628.20/318.91	c  And the winner is Resolution
628.07/319.56	c starts		: 153
628.07/319.56	c conflicts		: 717015
628.07/319.56	c decisions		: 9720737
628.07/319.56	c propagations		: 240434231
628.07/319.56	c inspects		: 574550217
628.07/319.56	c shortcuts		: 0
628.07/319.56	c learnt literals	: 107
628.07/319.56	c learnt binary clauses	: 27520
628.07/319.56	c learnt ternary clauses	: 33310
628.07/319.56	c learnt constraints	: 716908
628.07/319.56	c ignored constraints	: 0
628.07/319.56	c root simplifications	: 0
628.07/319.56	c removed literals (reason simplification)	: 9645024
628.07/319.56	c reason swapping (by a shorter reason)	: 0
628.07/319.56	c Calls to reduceDB	: 73
628.07/319.56	c number of reductions to clauses (during analyze)	: 0
628.07/319.56	c number of learned constraints concerned by reduction	: 0
628.07/319.56	c number of learning phase by resolution	: 0
628.07/319.56	c number of learning phase by cutting planes	: 0
628.07/319.56	c speed (assignments/second)	: 753464.3173876937
628.07/319.56	c non guided choices	9314
628.07/319.58	c learnt constraints type 
628.07/319.58	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 27520
628.07/319.58	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 7209
628.07/319.58	c constraints type 
628.07/319.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6061
628.07/319.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 108
628.07/319.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1391
628.07/319.58	c constraints type 
628.07/319.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1391
628.07/319.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6061
628.07/319.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 108
628.07/319.58	s SATISFIABLE
628.07/319.59	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 
628.07/319.60	c Total wall clock time (in seconds): 319.472

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742084-1338763964/watcher-3742084-1338763964 -o /tmp/evaluation-result-3742084-1338763964/solver-3742084-1338763964 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742084-1338763964.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.74 3.84 3.81 4/195 4770
/proc/meminfo: memFree=25091952/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4770/stat : 4770 (java) R 4768 4770 1918 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342521833 9515008 182 33554432000 1073741824 1073778376 140735853054480 140735853045512 252263087797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4770/statm: 2323 182 140 9 0 71 0

[startup+0.0282441 s]
/proc/loadavg: 3.74 3.84 3.81 4/195 4770
/proc/meminfo: memFree=25091952/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=10510056 CPUtime=0 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 2061 0 1 0 0 0 0 0 20 0 2 0 342521833 10762297344 5830 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2627514 5848 942 9 0 2618623 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10510056

[startup+0.100308 s]
/proc/loadavg: 3.74 3.84 3.81 4/195 4770
/proc/meminfo: memFree=25091952/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 4376 0 1 0 7 1 0 0 20 0 18 0 342521833 11864465408 12736 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2896598 12754 2008 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300325 s]
/proc/loadavg: 3.74 3.84 3.81 4/195 4770
/proc/meminfo: memFree=25091952/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11586392 CPUtime=0.55 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 7612 0 1 0 53 2 0 0 20 0 18 0 342521833 11864465408 17547 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2896598 17547 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 11586392

[startup+0.70021 s]
/proc/loadavg: 3.74 3.84 3.81 4/195 4770
/proc/meminfo: memFree=25091952/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 10539 0 1 0 183 3 0 0 20 0 22 0 342521833 12137111552 27950 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2963162 27950 2264 9 0 2953849 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 11852648

[startup+1.5009 s]
/proc/loadavg: 3.74 3.84 3.81 7/217 4792
/proc/meminfo: memFree=24984080/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11852648 CPUtime=3.97 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 13418 0 1 0 390 7 0 0 20 0 22 0 342521833 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2963162 62172 2267 9 0 2953849 0
[pid=4770/tid=4772] ppid=4768 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4770/task/4772/stat : 4772 (java) S 4768 4770 1918 0 -1 4202560 2940 0 1 0 40 2 0 0 20 0 22 0 342521834 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203579589784 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4773] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4773/stat : 4773 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203416562472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4774] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4774/stat : 4774 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203415509672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4775] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4775/stat : 4775 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203414457384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4776] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4776/stat : 4776 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203413404584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4777] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4777/stat : 4777 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203412351272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4778] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4778/stat : 4778 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203411298472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4779] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4779/stat : 4779 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203410246184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4780] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4780/stat : 4780 (java) S 4768 4770 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203409193384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4781] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4781/stat : 4781 (java) S 4768 4770 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203396995816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4782] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4782/stat : 4782 (java) S 4768 4770 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203395941880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4783] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4783/stat : 4783 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203394889480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4784] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4784/stat : 4784 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203393837968 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4785] ppid=4768 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/4770/task/4785/stat : 4785 (java) S 4768 4770 1918 0 -1 4202560 4099 0 0 0 74 0 0 0 20 0 22 0 342521841 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203392784568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4786] ppid=4768 vsize=11852648 CPUtime=0.7 cores=1,3,5,7
/proc/4770/task/4786/stat : 4786 (java) R 4768 4770 1918 0 -1 4202560 5009 0 0 0 68 2 0 0 20 0 22 0 342521841 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203391731768 140203586033955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4787] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4787/stat : 4787 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203390679672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4788] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4788/stat : 4788 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203389627080 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4789] ppid=4768 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/4770/task/4789/stat : 4789 (java) R 4768 4770 1918 0 -1 4202560 31 0 0 0 102 0 0 0 20 0 22 0 342521879 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203388570576 140203452499692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4790] ppid=4768 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/4770/task/4790/stat : 4790 (java) R 4768 4770 1918 0 -1 4202560 138 0 0 0 99 3 0 0 20 0 22 0 342521879 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203387519176 140203452320990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4791] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4791/stat : 4791 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521881 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203386468008 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4792] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4792/stat : 4792 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521881 12137111552 62172 33554432000 1073741824 1073778376 140736846506496 140203385415208 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 11852648

[startup+3.10093 s]
/proc/loadavg: 3.76 3.84 3.81 4/217 4792
/proc/meminfo: memFree=24614692/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11852648 CPUtime=7.75 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 18832 0 1 0 759 16 0 0 20 0 22 0 342521833 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2963162 142819 2292 9 0 2953849 0
[pid=4770/tid=4772] ppid=4768 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4770/task/4772/stat : 4772 (java) S 4768 4770 1918 0 -1 4202560 2940 0 1 0 40 2 0 0 20 0 22 0 342521834 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203579589784 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4773] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4773/stat : 4773 (java) S 4768 4770 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203416562472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4774] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4774/stat : 4774 (java) S 4768 4770 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203415509672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4775] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4775/stat : 4775 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203414457384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4776] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4776/stat : 4776 (java) S 4768 4770 1918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203413404584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4777] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4777/stat : 4777 (java) S 4768 4770 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203412351272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4778] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4778/stat : 4778 (java) S 4768 4770 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203411298472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4779] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4779/stat : 4779 (java) S 4768 4770 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203410246184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4780] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4780/stat : 4780 (java) S 4768 4770 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203409193384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4781] ppid=4768 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/4770/task/4781/stat : 4781 (java) S 4768 4770 1918 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 22 0 342521838 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203396995816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4782] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4782/stat : 4782 (java) S 4768 4770 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203395941880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4783] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4783/stat : 4783 (java) S 4768 4770 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203394889480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4784] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4784/stat : 4784 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203393837968 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4785] ppid=4768 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/4770/task/4785/stat : 4785 (java) S 4768 4770 1918 0 -1 4202560 8500 0 0 0 121 1 0 0 20 0 22 0 342521841 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203392784568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4786] ppid=4768 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/4770/task/4786/stat : 4786 (java) S 4768 4770 1918 0 -1 4202560 5815 0 0 0 79 2 0 0 20 0 22 0 342521841 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203391731768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4787] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4787/stat : 4787 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203390679672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4788] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4788/stat : 4788 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203389627080 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4789] ppid=4768 vsize=11852648 CPUtime=2.55 cores=1,3,5,7
/proc/4770/task/4789/stat : 4789 (java) R 4768 4770 1918 0 -1 4202560 34 0 0 0 255 0 0 0 20 0 22 0 342521879 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203388572304 140203452324557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4790] ppid=4768 vsize=11852648 CPUtime=2.56 cores=1,3,5,7
/proc/4770/task/4790/stat : 4790 (java) R 4768 4770 1918 0 -1 4202560 278 0 0 0 248 8 0 0 20 0 22 0 342521879 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203387519304 140203452720784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4791] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4791/stat : 4791 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521881 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203386468008 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4792] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4792/stat : 4792 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521881 12137111552 142819 33554432000 1073741824 1073778376 140736846506496 140203385415208 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 11852648

[startup+6.30089 s]
/proc/loadavg: 3.76 3.84 3.81 5/217 4792
/proc/meminfo: memFree=24307628/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11852648 CPUtime=14.37 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 21072 0 1 0 1415 22 0 0 20 0 22 0 342521833 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2963162 205304 2292 9 0 2953849 0
[pid=4770/tid=4772] ppid=4768 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4770/task/4772/stat : 4772 (java) S 4768 4770 1918 0 -1 4202560 2940 0 1 0 40 2 0 0 20 0 22 0 342521834 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203579589784 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4773] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4773/stat : 4773 (java) S 4768 4770 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203416562472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4774] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4774/stat : 4774 (java) S 4768 4770 1918 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203415509672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4775] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4775/stat : 4775 (java) S 4768 4770 1918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203414457384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4776] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4776/stat : 4776 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203413404584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4777] ppid=4768 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/4770/task/4777/stat : 4777 (java) S 4768 4770 1918 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203412351272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4778] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4778/stat : 4778 (java) S 4768 4770 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203411298472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4779] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4779/stat : 4779 (java) S 4768 4770 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203410246184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4780] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4780/stat : 4780 (java) S 4768 4770 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342521837 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203409193384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4781] ppid=4768 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/4770/task/4781/stat : 4781 (java) S 4768 4770 1918 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 22 0 342521838 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203396995816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4782] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4782/stat : 4782 (java) S 4768 4770 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203395941880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4783] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4783/stat : 4783 (java) S 4768 4770 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203394889480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4784] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4784/stat : 4784 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203393837968 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4785] ppid=4768 vsize=11852648 CPUtime=1.33 cores=1,3,5,7
/proc/4770/task/4785/stat : 4785 (java) S 4768 4770 1918 0 -1 4202560 8508 0 0 0 132 1 0 0 20 0 22 0 342521841 12137111552 205304 33554432000 1073741824 1073778376 140736846506496 140203392784568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=4770/tid=4775] ppid=4768 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/4770/task/4775/stat : 4775 (java) S 4768 4770 1918 0 -1 4202560 45 0 0 0 50 0 0 0 20 0 22 0 342521837 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203414457384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4776] ppid=4768 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4770/task/4776/stat : 4776 (java) S 4768 4770 1918 0 -1 4202560 41 0 0 0 43 1 0 0 20 0 22 0 342521837 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203413404584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4777] ppid=4768 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/4770/task/4777/stat : 4777 (java) S 4768 4770 1918 0 -1 4202560 38 0 0 0 47 2 0 0 20 0 22 0 342521837 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203412351272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4778] ppid=4768 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/4770/task/4778/stat : 4778 (java) S 4768 4770 1918 0 -1 4202560 46 0 0 0 44 2 0 0 20 0 22 0 342521837 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203411298472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4779] ppid=4768 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4770/task/4779/stat : 4779 (java) S 4768 4770 1918 0 -1 4202560 23 0 0 0 42 0 0 0 20 0 22 0 342521837 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203410246184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4780] ppid=4768 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/4770/task/4780/stat : 4780 (java) S 4768 4770 1918 0 -1 4202560 34 0 0 0 46 2 0 0 20 0 22 0 342521837 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203409193384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4781] ppid=4768 vsize=11852648 CPUtime=13.49 cores=1,3,5,7
/proc/4770/task/4781/stat : 4781 (java) R 4768 4770 1918 0 -1 4202560 148 0 0 0 1345 4 0 0 20 0 22 0 342521838 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203396994792 140203586097224 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4782] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4782/stat : 4782 (java) S 4768 4770 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203395941880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4783] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4783/stat : 4783 (java) S 4768 4770 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342521838 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203394889480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4784] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4784/stat : 4784 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203393837968 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4785] ppid=4768 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/4770/task/4785/stat : 4785 (java) S 4768 4770 1918 0 -1 4202560 9875 0 0 0 170 1 0 0 20 0 22 0 342521841 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203392784568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4786] ppid=4768 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/4770/task/4786/stat : 4786 (java) S 4768 4770 1918 0 -1 4202560 8054 0 0 0 108 2 0 0 20 0 22 0 342521841 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203391731768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4787] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4787/stat : 4787 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342521841 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203390679672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4788] ppid=4768 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/4770/task/4788/stat : 4788 (java) S 4768 4770 1918 0 -1 4202560 19 0 0 0 6 9 0 0 20 0 22 0 342521841 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203389627080 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4789] ppid=4768 vsize=11852648 CPUtime=302.4 cores=1,3,5,7
/proc/4770/task/4789/stat : 4789 (java) S 4768 4770 1918 0 -1 4202560 74 0 0 0 30236 4 0 0 20 0 22 0 342521879 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203388572488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4790] ppid=4768 vsize=11852648 CPUtime=302.35 cores=1,3,5,7
/proc/4770/task/4790/stat : 4790 (java) S 4768 4770 1918 0 -1 4202560 1305 0 0 0 30181 54 0 0 20 0 22 0 342521879 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203387517816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4791] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4791/stat : 4791 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521881 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203386468008 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4792] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4792/stat : 4792 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342521881 12137111552 716448 33554432000 1073741824 1073778376 140736846506496 140203385415208 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 627.05
Current children cumulated vsize (KiB) 11852648

[startup+319.101 s]
/proc/loadavg: 3.92 3.89 3.83 5/217 4855
/proc/meminfo: memFree=22846692/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11852648 CPUtime=627.67 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 23955 0 1 0 62681 86 0 0 20 0 20 0 342521833 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2963162 716955 2294 9 0 2953849 0
[pid=4770/tid=4772] ppid=4768 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4770/task/4772/stat : 4772 (java) S 4768 4770 1918 0 -1 4202560 2967 0 1 0 41 3 0 0 20 0 20 0 342521834 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203579589784 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4773] ppid=4768 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/4770/task/4773/stat : 4773 (java) S 4768 4770 1918 0 -1 4202560 43 0 0 0 45 0 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203416562472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4774] ppid=4768 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/4770/task/4774/stat : 4774 (java) S 4768 4770 1918 0 -1 4202560 54 0 0 0 41 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203415509672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4775] ppid=4768 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/4770/task/4775/stat : 4775 (java) S 4768 4770 1918 0 -1 4202560 45 0 0 0 50 0 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203414457384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4776] ppid=4768 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4770/task/4776/stat : 4776 (java) S 4768 4770 1918 0 -1 4202560 41 0 0 0 43 1 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203413404584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4777] ppid=4768 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/4770/task/4777/stat : 4777 (java) S 4768 4770 1918 0 -1 4202560 38 0 0 0 47 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203412351272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4778] ppid=4768 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/4770/task/4778/stat : 4778 (java) S 4768 4770 1918 0 -1 4202560 46 0 0 0 44 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203411298472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4779] ppid=4768 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4770/task/4779/stat : 4779 (java) S 4768 4770 1918 0 -1 4202560 23 0 0 0 42 0 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203410246184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4780] ppid=4768 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/4770/task/4780/stat : 4780 (java) S 4768 4770 1918 0 -1 4202560 34 0 0 0 46 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203409193384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4781] ppid=4768 vsize=11852648 CPUtime=13.55 cores=1,3,5,7
/proc/4770/task/4781/stat : 4781 (java) S 4768 4770 1918 0 -1 4202560 149 0 0 0 1351 4 0 0 20 0 20 0 342521838 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203396995816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4782] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4782/stat : 4782 (java) S 4768 4770 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342521838 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203395941880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4783] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4783/stat : 4783 (java) S 4768 4770 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342521838 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203394889480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4784] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4784/stat : 4784 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203393837968 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4785] ppid=4768 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/4770/task/4785/stat : 4785 (java) S 4768 4770 1918 0 -1 4202560 9875 0 0 0 170 1 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203392784568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4786] ppid=4768 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/4770/task/4786/stat : 4786 (java) S 4768 4770 1918 0 -1 4202560 8054 0 0 0 108 2 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203391731768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4787] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4787/stat : 4787 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203390679672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4788] ppid=4768 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/4770/task/4788/stat : 4788 (java) S 4768 4770 1918 0 -1 4202560 19 0 0 0 6 9 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203389627080 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4790] ppid=4768 vsize=11852648 CPUtime=303.09 cores=1,3,5,7
/proc/4770/task/4790/stat : 4790 (java) R 4768 4770 1918 0 -1 4202560 1305 0 0 0 30255 54 0 0 20 0 20 0 342521879 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203387517696 140203452320638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4791] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4791/stat : 4791 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342521881 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203386468008 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 627.67
Current children cumulated vsize (KiB) 11852648

[startup+319.501 s]
/proc/loadavg: 3.92 3.89 3.83 5/217 4855
/proc/meminfo: memFree=22846692/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11852648 CPUtime=628.07 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 23956 0 1 0 62721 86 0 0 20 0 20 0 342521833 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2963162 716955 2294 9 0 2953849 0
[pid=4770/tid=4772] ppid=4768 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4770/task/4772/stat : 4772 (java) S 4768 4770 1918 0 -1 4202560 2968 0 1 0 41 3 0 0 20 0 20 0 342521834 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203579589784 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4773] ppid=4768 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/4770/task/4773/stat : 4773 (java) S 4768 4770 1918 0 -1 4202560 43 0 0 0 45 0 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203416562472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4774] ppid=4768 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/4770/task/4774/stat : 4774 (java) S 4768 4770 1918 0 -1 4202560 54 0 0 0 41 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203415509672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4775] ppid=4768 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/4770/task/4775/stat : 4775 (java) S 4768 4770 1918 0 -1 4202560 45 0 0 0 50 0 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203414457384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4776] ppid=4768 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4770/task/4776/stat : 4776 (java) S 4768 4770 1918 0 -1 4202560 41 0 0 0 43 1 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203413404584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4777] ppid=4768 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/4770/task/4777/stat : 4777 (java) S 4768 4770 1918 0 -1 4202560 38 0 0 0 47 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203412351272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4778] ppid=4768 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/4770/task/4778/stat : 4778 (java) S 4768 4770 1918 0 -1 4202560 46 0 0 0 44 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203411298472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4779] ppid=4768 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4770/task/4779/stat : 4779 (java) S 4768 4770 1918 0 -1 4202560 23 0 0 0 42 0 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203410246184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4780] ppid=4768 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/4770/task/4780/stat : 4780 (java) S 4768 4770 1918 0 -1 4202560 34 0 0 0 46 2 0 0 20 0 20 0 342521837 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203409193384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4781] ppid=4768 vsize=11852648 CPUtime=13.55 cores=1,3,5,7
/proc/4770/task/4781/stat : 4781 (java) S 4768 4770 1918 0 -1 4202560 149 0 0 0 1351 4 0 0 20 0 20 0 342521838 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203396995816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4782] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4782/stat : 4782 (java) S 4768 4770 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342521838 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203395941880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4783] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4783/stat : 4783 (java) S 4768 4770 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342521838 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203394889480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4784] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4784/stat : 4784 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203393837968 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4785] ppid=4768 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/4770/task/4785/stat : 4785 (java) S 4768 4770 1918 0 -1 4202560 9875 0 0 0 170 1 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203392784568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4786] ppid=4768 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/4770/task/4786/stat : 4786 (java) S 4768 4770 1918 0 -1 4202560 8054 0 0 0 108 2 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203391731768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4787] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4787/stat : 4787 (java) S 4768 4770 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203390679672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4770/tid=4788] ppid=4768 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/4770/task/4788/stat : 4788 (java) S 4768 4770 1918 0 -1 4202560 19 0 0 0 6 9 0 0 20 0 20 0 342521841 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203389627080 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4790] ppid=4768 vsize=11852648 CPUtime=303.49 cores=1,3,5,7
/proc/4770/task/4790/stat : 4790 (java) R 4768 4770 1918 0 -1 4202560 1305 0 0 0 30295 54 0 0 20 0 20 0 342521879 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203387517920 140203452320535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4791] ppid=4768 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4770/task/4791/stat : 4791 (java) S 4768 4770 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342521881 12137111552 716955 33554432000 1073741824 1073778376 140736846506496 140203386468008 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 628.07
Current children cumulated vsize (KiB) 11852648

[startup+319.601 s]
/proc/loadavg: 3.92 3.89 3.83 5/217 4855
/proc/meminfo: memFree=22846692/32873852 swapFree=7624/7624
[pid=4770] ppid=4768 vsize=11852648 CPUtime=627.39 cores=1,3,5,7
/proc/4770/stat : 4770 (java) S 4768 4770 1918 0 -1 4202496 23962 0 1 0 62649 90 0 0 20 0 20 0 342521833 12137111552 717460 33554432000 1073741824 1073778376 140736846506496 140736846497632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4770/statm: 2963162 717460 2295 9 0 2953849 0
[pid=4770/tid=4772] ppid=4768 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/4770/task/4772/stat : 4772 (java) S 4768 4770 1918 0 -1 4202560 2968 0 1 0 42 3 0 0 20 0 18 0 342521834 12137111552 717460 33554432000 1073741824 1073778376 140736846506496 140203579589792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4773] ppid=4768 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/4770/task/4773/stat : 4773 (java) S 4768 4770 1918 0 -1 4202560 43 0 0 0 45 0 0 0 20 0 18 0 342521837 12137111552 717460 33554432000 1073741824 1073778376 140736846506496 140203416562472 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4774] ppid=4768 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/4770/task/4774/stat : 4774 (java) S 4768 4770 1918 0 -1 4202560 54 0 0 0 41 2 0 0 20 0 18 0 342521837 12137111552 717460 33554432000 1073741824 1073778376 140736846506496 140203415509672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4775] ppid=4768 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/4770/task/4775/stat : 4775 (java) S 4768 4770 1918 0 -1 4202560 45 0 0 0 50 0 0 0 20 0 18 0 342521837 12137111552 717460 33554432000 1073741824 1073778376 140736846506496 140203414457384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4776] ppid=4768 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4770/task/4776/stat : 4776 (java) S 4768 4770 1918 0 -1 4202560 41 0 0 0 43 1 0 0 20 0 18 0 342521837 12137111552 717457 33554432000 1073741824 1073778376 140736846506496 140203413404584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4777] ppid=4768 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/4770/task/4777/stat : 4777 (java) S 4768 4770 1918 0 -1 4202560 38 0 0 0 47 2 0 0 20 0 18 0 342521837 12137111552 717453 33554432000 1073741824 1073778376 140736846506496 140203412351272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4778] ppid=4768 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/4770/task/4778/stat : 4778 (java) S 4768 4770 1918 0 -1 4202560 46 0 0 0 44 2 0 0 20 0 18 0 342521837 12137111552 717453 33554432000 1073741824 1073778376 140736846506496 140203411298472 252266460220 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=4770/tid=4779] ppid=4768 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4770/task/4779/stat : 4779 (java) R 4768 4770 1918 0 -1 4202560 23 0 0 0 42 0 0 0 20 0 16 0 342521837 12137111552 717453 33554432000 1073741824 1073778376 140736846506496 140203410246184 252266460220 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4770/tid=4780] ppid=4768 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/4770/task/4780/stat : 4780 (java) R 4768 4770 1918 0 -1 4202560 34 0 0 0 46 2 0 0 20 0 13 0 342521837 12137111552 717453 33554432000 1073741824 1073778376 140736846506496 140203409193384 252266460220 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4770/tid=4786] ppid=4768 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/4770/task/4786/stat : 4786 (java) R 4768 4770 1918 0 -1 4203588 8054 0 0 0 110 2 0 0 20 0 2 0 342521841 12137111552 717453 33554432000 1073741824 1073778376 140736846506496 140203391731768 252266460220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 627.39
Current children cumulated vsize (KiB) 11852648

Child status: 10

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.31
#  lost CPU user time (s): 1.40002
#  lost CPU system time (s): -0.09

Real time (s): 319.613
CPU time (s): 628.77
CPU user time (s): 627.828
CPU system time (s): 0.941843
CPU usage (%): 196.729
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 626.428
system time used= 1.03184
maximum resident set size= 2869852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23963
page faults= 1
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10024
involuntary context switches= 10253

runsolver used 1.73274 second user time and 2.6436 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-04 00:52:44
IDJOB=3742084
IDBENCH=90130
IDSOLVER=2328
FILE ID=node131/3742084-1338763964
RUNJOBID= node131-1338749255-1935
PBS_JOBID= 14636797
Free space on /tmp= 71404 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K108.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742084-1338763964/watcher-3742084-1338763964 -o /tmp/evaluation-result-3742084-1338763964/solver-3742084-1338763964 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742084-1338763964.opb

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

MD5SUM BENCH= a293d07a49a0e06ee574b1553fbf5b2b
RANDOM SEED=211876027

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25092224 kB
Buffers:          566828 kB
Cached:          3132968 kB
SwapCached:         2348 kB
Active:          4642584 kB
Inactive:        2264752 kB
Active(anon):    3203240 kB
Inactive(anon):     3664 kB
Active(file):    1439344 kB
Inactive(file):  2261088 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       3211468 kB
Mapped:            22424 kB
Shmem:                 0 kB
Slab:             729164 kB
SReclaimable:     171364 kB
SUnreclaim:       557800 kB
KernelStack:        1616 kB
PageTables:        10500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10461452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3155968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71404 MiB
End job on node131 at 2012-06-04 00:58:04