Trace number 2662506

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)8095222 1800.51 916.266

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
MD5SUM334ff12347ae763156f4e4389dfec521
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8072122
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5885956
Optimality of the best value was proved NO
Number of variables7936
Total number of constraints288
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint31
Maximum length of a constraint480
Number of terms in the objective function 7936
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1558042522197
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1558042522197
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100531
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.16	c Number of processors 	2
0.22/0.22	c Pseudo Boolean Optimization
0.22/0.22	c ManyCore solver with 2 solvers running in parallel
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.22	c Expensive reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.22	c No reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	
0.22/0.22	c solving HOME/instance-2662506-1276521043.opb
0.22/0.22	c reading problem ... 
1.72/1.02	c ... done. Wall clock time 0.794s.
1.72/1.02	c #vars     7936
1.72/1.02	c #constraints  4534
1.72/1.02	c constraints type 
1.72/1.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 320
1.72/1.02	c constraints type 
1.72/1.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 320
6.08/3.22	c And the winner is Resolution
6.26/4.13	c SATISFIABLE
6.26/4.13	c OPTIMIZING...
6.26/4.13	c Got one! Elapsed wall clock time (in seconds):3.912
6.26/4.13	o 9990041
27.42/14.88	c cleaning 2489 clauses out of 5000 with flag 5000/5000
54.32/28.46	c cleaning 4239 clauses out of 8512 with flag 11001/11001
70.50/36.69	c And the winner is Resolution
70.73/37.06	c Got one! Elapsed wall clock time (in seconds):36.832
70.73/37.06	o 9969374
94.50/49.01	c cleaning 5618 clauses out of 11273 with flag 18001/18001
136.43/70.24	c cleaning 6809 clauses out of 13655 with flag 26001/26001
155.31/79.85	c And the winner is CuttingPlanes
155.47/80.26	c Got one! Elapsed wall clock time (in seconds):80.034
155.47/80.26	o 9276412
158.02/81.58	c And the winner is Resolution
158.25/82.35	c Got one! Elapsed wall clock time (in seconds):82.128
158.25/82.35	o 8160822
184.75/95.73	c cleaning 7922 clauses out of 15845 with flag 35000/35000
242.98/125.11	c cleaning 8955 clauses out of 17925 with flag 45002/45002
282.91/145.39	c cleaning 9476 clauses out of 18970 with flag 55002/55002
324.62/166.48	c cleaning 9739 clauses out of 19493 with flag 65001/65001
384.29/196.64	c cleaning 9862 clauses out of 19753 with flag 75000/75000
438.24/223.90	c cleaning 9944 clauses out of 19892 with flag 85001/85001
489.41/249.84	c cleaning 9953 clauses out of 19947 with flag 95000/95000
540.17/275.51	c cleaning 9976 clauses out of 19996 with flag 105002/105002
589.11/300.39	c cleaning 9985 clauses out of 20018 with flag 115000/115000
635.69/323.99	c cleaning 9990 clauses out of 20034 with flag 125001/125001
681.88/347.38	c cleaning 10014 clauses out of 20045 with flag 135002/135002
726.51/369.93	c cleaning 10003 clauses out of 20030 with flag 145001/145001
773.34/393.67	c cleaning 9990 clauses out of 20027 with flag 155001/155001
814.47/414.44	c cleaning 9997 clauses out of 20037 with flag 165001/165001
856.87/435.99	c cleaning 10009 clauses out of 20041 with flag 175002/175002
898.63/457.10	c cleaning 10000 clauses out of 20031 with flag 185001/185001
943.71/480.08	c cleaning 10001 clauses out of 20031 with flag 195001/195001
1005.49/511.33	c cleaning 9997 clauses out of 20029 with flag 205000/205000
1054.57/536.21	c cleaning 10002 clauses out of 20033 with flag 215001/215001
1098.87/558.72	c cleaning 9999 clauses out of 20034 with flag 225004/225004
1149.20/584.36	c cleaning 9988 clauses out of 20033 with flag 235002/235002
1190.05/605.02	c cleaning 9982 clauses out of 20043 with flag 245000/245000
1233.46/627.03	c cleaning 9979 clauses out of 20061 with flag 255000/255000
1247.84/634.45	c And the winner is Resolution
1248.03/634.92	c Got one! Elapsed wall clock time (in seconds):634.693
1248.03/634.92	o 8095222
1287.83/655.06	c cleaning 10012 clauses out of 20083 with flag 265001/265001
1324.69/673.89	c cleaning 10020 clauses out of 20070 with flag 275000/275000
1369.77/696.75	c cleaning 9995 clauses out of 20054 with flag 285004/285004
1413.86/719.14	c cleaning 10001 clauses out of 20059 with flag 295004/295004
1424.05/724.47	c cleaning 10016 clauses out of 20055 with flag 305001/305001
1432.95/729.14	c cleaning 10014 clauses out of 20038 with flag 315000/315000
1484.17/755.18	c cleaning 9987 clauses out of 20025 with flag 325001/325001
1522.13/774.49	c cleaning 9982 clauses out of 20037 with flag 335000/335000
1559.65/793.58	c cleaning 10017 clauses out of 20056 with flag 345001/345001
1601.45/814.83	c cleaning 9971 clauses out of 20038 with flag 355000/355000
1647.51/838.26	c cleaning 9999 clauses out of 20068 with flag 365001/365001
1692.11/860.91	c cleaning 9993 clauses out of 20068 with flag 375000/375000
1722.65/876.53	c cleaning 9991 clauses out of 20075 with flag 385000/385000
1765.95/898.62	c cleaning 10020 clauses out of 20085 with flag 395001/395001
1800.04/916.02	c starts		: 151
1800.04/916.02	c conflicts		: 401394
1800.04/916.02	c decisions		: 727470
1800.04/916.02	c propagations		: 34407422
1800.04/916.02	c inspects		: 128533638
1800.04/916.02	c learnt literals	: 0
1800.04/916.02	c learnt binary clauses	: 0
1800.04/916.02	c learnt ternary clauses	: 0
1800.04/916.02	c learnt clauses	: 401394
1800.04/916.02	c ignored clauses	: 0
1800.04/916.02	c root simplifications	: 0
1800.04/916.02	c removed literals (reason simplification)	: 31500927
1800.04/916.02	c reason swapping (by a shorter reason)	: 0
1800.04/916.02	c Calls to reduceDB	: 41
1800.04/916.02	c number of reductions to clauses (during analyze)	: 0
1800.04/916.02	c number of learned constraints concerned by reduction	: 0
1800.04/916.02	c number of learning phase by resolution	: 0
1800.04/916.02	c number of learning phase by cutting planes	: 0
1800.04/916.02	c speed (assignments/second)	: 122416.39449247518
1800.04/916.02	c non guided choices	13569
1800.25/916.15	c learnt constraints type 
1800.25/916.15	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16508
1800.25/916.15	c constraints type 
1800.25/916.15	c org.sat4j.pb.constraints.pb.MaxWatchPb => 321
1800.25/916.15	c constraints type 
1800.25/916.15	c org.sat4j.pb.constraints.pb.MaxWatchPb => 321
1800.25/916.16	s SATISFIABLE
1800.25/916.18	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 x668 x669 x670 x671 x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 x844 x845 x846 -x847 -x848 -x849 -x850 x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 x2168 x2169 x2170 x2171 x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 x2261 x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2951 x2952 -x2953 x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 x4299 -x4300 x4301 x4302 -x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 x4562 x4563 -x4564 -x4565 -x4566 x4567 x4568 x4569 -x4570 x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 x4593 -x4594 x4595 x4596 x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 x5762 x5763 x5764 x5765 x5766 x5767 x5768 x5769 x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 x6340 x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 x6692 x6693 x6694 x6695 x6696 x6697 x6698 x6699 x6700 x6701 x6702 x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 x6723 x6724 x6725 x6726 x6727 x6728 x6729 x6730 x6731 -x6732 -x6733 -x6734 x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 x7051 x7052 x7053 x7054 x7055 x7056 x7057 x7058 x7059 x7060 x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 -x7202 x7203 x7204 x7205 x7206 x7207 x7208 x7209 x7210 x7211 -x7212 x7213 -x7214 x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 x7512 x7513 x7514 x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 x7703 -x7704 x7705 -x7706 -x7707 -x7708 x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 -x7725 x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 x7753 -x7754 -x7755 x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 x7773 -x7774 -x7775 -x7776 -x7777 -x7778 x7779 -x7780 -x7781 -x7782 -x7783 x7784 -x7785 -x7786 x7787 -x7788 x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 x7812 -x7813 -x7814 x7815 -x7816 -x7817 -x7818 -x7819 -x7820 x7821 -x7822 -x7823 x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 x7831 -x7832 x7833 x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 x7842 -x7843 -x7844 -x7845 -x7846 x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 x7870 -x7871 -x7872 x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 x7911 -x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 -x7920 x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 x7931 -x7932 -x7933 -x7934 -x7935 -x7936 
1800.43/916.22	c objective function=8095222
1800.43/916.22	c Total wall clock time (in seconds): 916.001

Verifier Data 

OK	8095222

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29054
/proc/meminfo: memFree=1768492/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1700 CPUtime=0
/proc/29054/stat : 29054 (java6) R 29052 29054 28930 0 -1 4194304 177 0 0 0 0 0 0 0 19 0 1 0 25759709 1740800 81 1992294400 134512640 134550932 4294311632 18446744073709551615 8091824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29054/statm: 425 96 73 10 0 30 0

[startup+0.096737 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29054
/proc/meminfo: memFree=1768492/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1522636 CPUtime=0.07
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 3896 0 1 0 5 2 0 0 15 0 9 0 25759709 1559179264 3335 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 380659 3335 1061 10 0 377969 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1522636

[startup+0.101731 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29054
/proc/meminfo: memFree=1768492/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1524180 CPUtime=0.08
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 3957 0 1 0 6 2 0 0 15 0 12 0 25759709 1560760320 3395 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 381045 3395 1075 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524180

[startup+0.324833 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29054
/proc/meminfo: memFree=1768492/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1527028 CPUtime=0.41
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 5636 0 1 0 38 3 0 0 15 0 12 0 25759709 1563676672 5072 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 381757 5072 1368 10 0 379060 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 1527028

[startup+0.701784 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29054
/proc/meminfo: memFree=1768492/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1528160 CPUtime=1.11
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 8307 0 1 0 106 5 0 0 15 0 12 0 25759709 1564835840 7681 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 382040 7681 1405 10 0 379343 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 1528160

[startup+1.50185 s]
/proc/loadavg: 0.92 0.98 0.99 3/118 29066
/proc/meminfo: memFree=1722704/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1538832 CPUtime=2.7
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 19734 0 1 0 260 10 0 0 15 0 16 0 25759709 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 384708 18569 1427 10 0 382011 0
[pid=29054/tid=29056] ppid=29052 vsize=1538832 CPUtime=0.98
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10696 0 1 0 92 6 0 0 25 0 16 0 25759711 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 25759712 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 25759712 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29059/stat : 29059 (java) R 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 25759714 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 25759715 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 16 0 25759715 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 25759719 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1538832 CPUtime=0.98
/proc/29054/task/29063/stat : 29063 (java) R 29052 29054 28930 0 -1 4202560 2288 0 0 0 98 0 0 0 16 0 16 0 25759719 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 106809896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1538832 CPUtime=0.22
/proc/29054/task/29064/stat : 29064 (java) R 29052 29054 28930 0 -1 4202560 1635 0 0 0 22 0 0 0 18 0 16 0 25759719 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 106260565 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25759719 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1538832 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 25759719 1575763968 18569 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 1538832

[startup+3.10197 s]
/proc/loadavg: 0.92 0.98 0.99 5/122 29070
/proc/meminfo: memFree=1686712/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1540932 CPUtime=5.87
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 40386 0 1 0 568 19 0 0 15 0 16 0 25759709 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 385233 38365 1441 10 0 382536 0
[pid=29054/tid=29056] ppid=29052 vsize=1540932 CPUtime=0.98
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10696 0 1 0 92 6 0 0 18 0 16 0 25759711 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1540932 CPUtime=0.03
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 983 0 0 0 3 0 0 0 15 0 16 0 25759712 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1540932 CPUtime=0.03
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 1060 0 0 0 3 0 0 0 18 0 16 0 25759712 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29059/stat : 29059 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 16 0 25759714 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 25759715 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25759715 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 25759719 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1540932 CPUtime=1.76
/proc/29054/task/29063/stat : 29063 (java) S 29052 29054 28930 0 -1 4202560 3160 0 0 0 175 1 0 0 15 0 16 0 25759719 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1540932 CPUtime=0.74
/proc/29054/task/29064/stat : 29064 (java) S 29052 29054 28930 0 -1 4202560 2346 0 0 0 74 0 0 0 15 0 16 0 25759719 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25759719 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 25759719 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29067] ppid=29052 vsize=1540932 CPUtime=1.26
/proc/29054/task/29067/stat : 29067 (java) R 29052 29054 28930 0 -1 4202560 6921 0 0 0 124 2 0 0 25 0 16 0 25759812 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4109299407 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29054/tid=29068] ppid=29052 vsize=1540932 CPUtime=0.98
/proc/29054/task/29068/stat : 29068 (java) R 29052 29054 28930 0 -1 4202560 14139 0 0 0 93 5 0 0 25 0 16 0 25759812 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4109268099 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29054/tid=29069] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29069/stat : 29069 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759847 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29070] ppid=29052 vsize=1540932 CPUtime=0
/proc/29054/task/29070/stat : 29070 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759853 1577914368 38365 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 1540932

[startup+6.30223 s]
/proc/loadavg: 1.09 1.02 1.01 3/122 29072
/proc/meminfo: memFree=1608592/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1540012 CPUtime=10.56
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 43921 0 1 0 1036 20 0 0 15 0 16 0 25759709 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 385003 41678 1442 10 0 382306 0
[pid=29054/tid=29056] ppid=29052 vsize=1540012 CPUtime=1.08
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10697 0 1 0 102 6 0 0 18 0 16 0 25759711 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1540012 CPUtime=0.09
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 2371 0 0 0 9 0 0 0 15 0 16 0 25759712 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1540012 CPUtime=0.09
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 2818 0 0 0 9 0 0 0 18 0 16 0 25759712 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29059/stat : 29059 (java) S 29052 29054 28930 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 16 0 25759714 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 25759719 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1540012 CPUtime=1.85
/proc/29054/task/29063/stat : 29063 (java) S 29052 29054 28930 0 -1 4202560 3165 0 0 0 184 1 0 0 15 0 16 0 25759719 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1540012 CPUtime=1.13
/proc/29054/task/29064/stat : 29064 (java) R 29052 29054 28930 0 -1 4202560 2368 0 0 0 112 1 0 0 15 0 16 0 25759719 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 103443265 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25759719 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 25759719 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29069] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29069/stat : 29069 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759847 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29070] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29070/stat : 29070 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759853 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29071] ppid=29052 vsize=1540012 CPUtime=2.01
/proc/29054/task/29071/stat : 29071 (java) R 29052 29054 28930 0 -1 4202560 169 0 0 0 201 0 0 0 25 0 16 0 25760127 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4109368029 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29054/tid=29072] ppid=29052 vsize=1540012 CPUtime=1.74
/proc/29054/task/29072/stat : 29072 (java) R 29052 29054 28930 0 -1 4202560 137 0 0 0 174 0 0 0 25 0 16 0 25760127 1576972288 41678 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 1540012

[startup+12.7017 s]
/proc/loadavg: 1.16 1.03 1.01 3/122 29072
/proc/meminfo: memFree=1598796/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1540012 CPUtime=23.26
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 47516 0 1 0 2304 22 0 0 15 0 16 0 25759709 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 385003 45232 1442 10 0 382306 0
[pid=29054/tid=29056] ppid=29052 vsize=1540012 CPUtime=1.08
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10697 0 1 0 102 6 0 0 18 0 16 0 25759711 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1540012 CPUtime=0.2
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 4064 0 0 0 19 1 0 0 16 0 16 0 25759712 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1540012 CPUtime=0.2
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 4696 0 0 0 19 1 0 0 18 0 16 0 25759712 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29059/stat : 29059 (java) S 29052 29054 28930 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 16 0 25759714 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 25759719 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1540012 CPUtime=1.85
/proc/29054/task/29063/stat : 29063 (java) S 29052 29054 28930 0 -1 4202560 3165 0 0 0 184 1 0 0 15 0 16 0 25759719 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1540012 CPUtime=1.27
/proc/29054/task/29064/stat : 29064 (java) S 29052 29054 28930 0 -1 4202560 2375 0 0 0 126 1 0 0 15 0 16 0 25759719 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25759719 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 25759719 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29069] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29069/stat : 29069 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759847 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29070] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29070/stat : 29070 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759853 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29071] ppid=29052 vsize=1540012 CPUtime=8.19
/proc/29054/task/29071/stat : 29071 (java) R 29052 29054 28930 0 -1 4202560 171 0 0 0 819 0 0 0 25 0 16 0 25760127 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4109369170 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29054/tid=29072] ppid=29052 vsize=1540012 CPUtime=7.88
/proc/29054/task/29072/stat : 29072 (java) R 29052 29054 28930 0 -1 4202560 140 0 0 0 788 0 0 0 25 0 16 0 25760127 1576972288 45232 1992294400 134512640 134550932 4294811856 18446744073709551615 4108875507 0 4 0 16800975 0 0 0 -1 1 0 0 0

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

Current children cumulated vsize (KiB) 1540012

[startup+822.301 s]
/proc/loadavg: 2.02 1.95 1.59 3/122 29102
/proc/meminfo: memFree=1455824/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1540012 CPUtime=1616
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 87272 0 1 0 161493 107 0 0 15 0 16 0 25759709 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 385003 78812 1451 10 0 382306 0
[pid=29054/tid=29056] ppid=29052 vsize=1540012 CPUtime=1.4
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10704 0 1 0 134 6 0 0 15 0 16 0 25759711 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1540012 CPUtime=5.27
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 23138 0 0 0 509 18 0 0 16 0 16 0 25759712 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1540012 CPUtime=5.23
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 22922 0 0 0 501 22 0 0 15 0 16 0 25759712 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1540012 CPUtime=9.36
/proc/29054/task/29059/stat : 29059 (java) S 29052 29054 28930 0 -1 4202560 1512 0 0 0 928 8 0 0 15 0 16 0 25759714 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 25759719 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1540012 CPUtime=2.45
/proc/29054/task/29063/stat : 29063 (java) S 29052 29054 28930 0 -1 4202560 3191 0 0 0 244 1 0 0 16 0 16 0 25759719 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1540012 CPUtime=1.71
/proc/29054/task/29064/stat : 29064 (java) S 29052 29054 28930 0 -1 4202560 2399 0 0 0 170 1 0 0 15 0 16 0 25759719 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25759719 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 25759719 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29069] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29069/stat : 29069 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759847 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29070] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29070/stat : 29070 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759853 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29095] ppid=29052 vsize=1540012 CPUtime=182.15
/proc/29054/task/29095/stat : 29095 (java) R 29052 29054 28930 0 -1 4202560 58 0 0 0 18207 8 0 0 25 0 16 0 25823205 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4109268222 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29054/tid=29096] ppid=29052 vsize=1540012 CPUtime=179.6
/proc/29054/task/29096/stat : 29096 (java) R 29052 29054 28930 0 -1 4202560 54 0 0 0 17960 0 0 0 25 0 16 0 25823205 1576972288 78812 1992294400 134512640 134550932 4294811856 18446744073709551615 4109125225 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1616
Current children cumulated vsize (KiB) 1540012

[startup+882.303 s]
/proc/loadavg: 2.00 1.96 1.61 3/122 29104
/proc/meminfo: memFree=1438960/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1540012 CPUtime=1733.66
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 92155 0 1 0 173253 113 0 0 15 0 16 0 25759709 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 385003 83077 1451 10 0 382306 0
[pid=29054/tid=29056] ppid=29052 vsize=1540012 CPUtime=1.4
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10707 0 1 0 134 6 0 0 15 0 16 0 25759711 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1540012 CPUtime=5.89
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 25553 0 0 0 569 20 0 0 15 0 16 0 25759712 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1540012 CPUtime=5.86
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 25324 0 0 0 562 24 0 0 16 0 16 0 25759712 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1540012 CPUtime=10.64
/proc/29054/task/29059/stat : 29059 (java) S 29052 29054 28930 0 -1 4202560 1516 0 0 0 1055 9 0 0 16 0 16 0 25759714 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1540012 CPUtime=2.45
/proc/29054/task/29063/stat : 29063 (java) S 29052 29054 28930 0 -1 4202560 3191 0 0 0 244 1 0 0 16 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1540012 CPUtime=1.71
/proc/29054/task/29064/stat : 29064 (java) S 29052 29054 28930 0 -1 4202560 2399 0 0 0 170 1 0 0 15 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29069] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29069/stat : 29069 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759847 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29070] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29070/stat : 29070 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759853 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29095] ppid=29052 vsize=1540012 CPUtime=239.22
/proc/29054/task/29095/stat : 29095 (java) R 29052 29054 28930 0 -1 4202560 77 0 0 0 23914 8 0 0 25 0 16 0 25823205 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4109268113 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29054/tid=29096] ppid=29052 vsize=1540012 CPUtime=237.68
/proc/29054/task/29096/stat : 29096 (java) R 29052 29054 28930 0 -1 4202560 90 0 0 0 23766 2 0 0 25 0 16 0 25823205 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4109087771 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1733.66
Current children cumulated vsize (KiB) 1540012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+916.002 s]
/proc/loadavg: 2.05 1.98 1.63 3/122 29104
/proc/meminfo: memFree=1438836/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1540012 CPUtime=1800.04
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 92194 0 1 0 179887 117 0 0 15 0 16 0 25759709 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 385003 83077 1451 10 0 382306 0
[pid=29054/tid=29056] ppid=29052 vsize=1540012 CPUtime=1.4
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10707 0 1 0 134 6 0 0 15 0 16 0 25759711 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1540012 CPUtime=6.28
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 25553 0 0 0 607 21 0 0 16 0 16 0 25759712 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1540012 CPUtime=6.25
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 25324 0 0 0 601 24 0 0 15 0 16 0 25759712 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1540012 CPUtime=11.05
/proc/29054/task/29059/stat : 29059 (java) S 29052 29054 28930 0 -1 4202560 1518 0 0 0 1095 10 0 0 15 0 16 0 25759714 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25759715 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1540012 CPUtime=2.45
/proc/29054/task/29063/stat : 29063 (java) S 29052 29054 28930 0 -1 4202560 3191 0 0 0 244 1 0 0 16 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1540012 CPUtime=1.71
/proc/29054/task/29064/stat : 29064 (java) S 29052 29054 28930 0 -1 4202560 2399 0 0 0 170 1 0 0 15 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 25759719 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29069] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29069/stat : 29069 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759847 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29070] ppid=29052 vsize=1540012 CPUtime=0
/proc/29054/task/29070/stat : 29070 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 25759853 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29095] ppid=29052 vsize=1540012 CPUtime=271.52
/proc/29054/task/29095/stat : 29095 (java) R 29052 29054 28930 0 -1 4202560 96 0 0 0 27144 8 0 0 25 0 16 0 25823205 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4109367901 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29054/tid=29096] ppid=29052 vsize=1540012 CPUtime=270.56
/proc/29054/task/29096/stat : 29096 (java) R 29052 29054 28930 0 -1 4202560 106 0 0 0 27052 4 0 0 25 0 16 0 25823205 1576972288 83077 1992294400 134512640 134550932 4294811856 18446744073709551615 4109268163 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1540012

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

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

[startup+916.203 s]
/proc/loadavg: 2.05 1.98 1.63 5/125 29107
/proc/meminfo: memFree=1438812/2059040 swapFree=4136648/4192956
[pid=29054] ppid=29052 vsize=1540660 CPUtime=1800.43
/proc/29054/stat : 29054 (java) S 29052 29054 28930 0 -1 4202496 92215 0 1 0 179926 117 0 0 15 0 18 0 25759709 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29054/statm: 385165 83098 1453 10 0 382468 0
[pid=29054/tid=29056] ppid=29052 vsize=1540660 CPUtime=1.4
/proc/29054/task/29056/stat : 29056 (java) S 29052 29054 28930 0 -1 4202560 10707 0 1 0 134 6 0 0 15 0 18 0 25759711 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29057] ppid=29052 vsize=1540660 CPUtime=6.28
/proc/29054/task/29057/stat : 29057 (java) S 29052 29054 28930 0 -1 4202560 25553 0 0 0 607 21 0 0 16 0 18 0 25759712 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29058] ppid=29052 vsize=1540660 CPUtime=6.25
/proc/29054/task/29058/stat : 29058 (java) S 29052 29054 28930 0 -1 4202560 25324 0 0 0 601 24 0 0 15 0 18 0 25759712 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29059] ppid=29052 vsize=1540660 CPUtime=11.05
/proc/29054/task/29059/stat : 29059 (java) S 29052 29054 28930 0 -1 4202560 1518 0 0 0 1095 10 0 0 15 0 18 0 25759714 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 0 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29060] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29060/stat : 29060 (java) S 29052 29054 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 25759715 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29061] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29061/stat : 29061 (java) S 29052 29054 28930 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 25759715 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29062] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29062/stat : 29062 (java) S 29052 29054 28930 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 25759719 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29063] ppid=29052 vsize=1540660 CPUtime=2.48
/proc/29054/task/29063/stat : 29063 (java) S 29052 29054 28930 0 -1 4202560 3191 0 0 0 247 1 0 0 15 0 18 0 25759719 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29064] ppid=29052 vsize=1540660 CPUtime=1.76
/proc/29054/task/29064/stat : 29064 (java) S 29052 29054 28930 0 -1 4202560 2403 0 0 0 175 1 0 0 15 0 18 0 25759719 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29065] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29065/stat : 29065 (java) S 29052 29054 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 25759719 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29066] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29066/stat : 29066 (java) S 29052 29054 28930 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 25759719 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29069] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29069/stat : 29069 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 25759847 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29070] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29070/stat : 29070 (java) S 29052 29054 28930 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 25759853 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 1 0 0 0
[pid=29054/tid=29095] ppid=29052 vsize=1540660 CPUtime=271.65
/proc/29054/task/29095/stat : 29095 (java) R 29052 29054 28930 0 -1 4202560 96 0 0 0 27157 8 0 0 25 0 18 0 25823205 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4109268222 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29054/tid=29096] ppid=29052 vsize=1540660 CPUtime=270.71
/proc/29054/task/29096/stat : 29096 (java) R 29052 29054 28930 0 -1 4202560 106 0 0 0 27067 4 0 0 25 0 18 0 25823205 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4109269804 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29054/tid=29106] ppid=29052 vsize=1540660 CPUtime=0
/proc/29054/task/29106/stat : 29106 (java) S 29052 29054 28930 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 25851311 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 18446604437845605312 0 0 -1 0 0 0 0
[pid=29054/tid=29107] ppid=29052 vsize=1540660 CPUtime=0.03
/proc/29054/task/29107/stat : 29107 (java) R 29052 29054 28930 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 18 0 25851311 1577635840 83098 1992294400 134512640 134550932 4294811856 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 1540660

Child status: 143
Real time (s): 916.266
CPU time (s): 1800.51
CPU user time (s): 1799.3
CPU system time (s): 1.21581
CPU usage (%): 196.506
Max. virtual memory (cumulated for all children) (KiB): 1541788

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

runsolver used 4.95525 second user time and 9.81951 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-14 15:10:43
IDJOB=2662506
IDBENCH=2293
IDSOLVER=1166
FILE ID=node026/2662506-1276521043
PBS_JOBID= 11173442
Free space on /tmp= 62516 MiB

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

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

MD5SUM BENCH= 334ff12347ae763156f4e4389dfec521
RANDOM SEED=801544988

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1768888 kB
Buffers:         88716 kB
Cached:         121928 kB
SwapCached:       9576 kB
Active:         103016 kB
Inactive:       120236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1768888 kB
SwapTotal:     4192956 kB
SwapFree:      4136648 kB
Dirty:             708 kB
Writeback:           4 kB
AnonPages:       10848 kB
Mapped:           9260 kB
Slab:            45136 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181572 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62516 MiB
End job on node026 at 2010-06-14 15:26:01