Trace number 3688425

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)36 1800.04 1798.27

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark12.5421
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5525
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5525
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5525
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688425-1337883264.opb
0.08/0.13	c reading problem ... 
0.98/0.55	c ... done. Wall clock time 0.421s.
0.98/0.55	c declared #vars     11334
0.98/0.55	c #constraints  36509
0.98/0.55	c constraints type 
0.98/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5818
0.98/0.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 1065
0.98/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29626
0.98/0.55	c 36509 constraints processed.
0.98/0.55	c objective function length is 5525 literals
1.16/0.67	c SATISFIABLE
1.16/0.67	c OPTIMIZING...
1.16/0.67	c Got one! Elapsed wall clock time (in seconds):0.54
1.16/0.67	o 36
5.99/5.14	c cleaning 2497 clauses out of 4999 with flag 5000/5000
11.38/10.38	c cleaning 4242 clauses out of 8503 with flag 11001/11001
17.49/16.40	c cleaning 5626 clauses out of 11260 with flag 18000/18000
23.89/22.86	c cleaning 6795 clauses out of 13634 with flag 26000/26000
31.44/30.38	c cleaning 7905 clauses out of 15839 with flag 35000/35000
40.05/38.90	c cleaning 8967 clauses out of 17934 with flag 45000/45000
49.28/48.17	c cleaning 9968 clauses out of 19967 with flag 56000/56000
59.28/58.16	c cleaning 10991 clauses out of 22000 with flag 68001/68001
70.29/69.16	c cleaning 11988 clauses out of 24010 with flag 81002/81002
82.09/80.99	c cleaning 12989 clauses out of 26020 with flag 95000/95000
94.89/93.77	c cleaning 14004 clauses out of 28031 with flag 110000/110000
108.50/107.33	c cleaning 15009 clauses out of 30028 with flag 126001/126001
123.21/122.06	c cleaning 15980 clauses out of 32018 with flag 143000/143000
138.21/137.03	c cleaning 16991 clauses out of 34038 with flag 161000/161000
153.52/152.39	c cleaning 18014 clauses out of 36047 with flag 180000/180000
170.82/169.60	c cleaning 18990 clauses out of 38033 with flag 200000/200000
188.03/186.88	c cleaning 20004 clauses out of 40043 with flag 221000/221000
206.23/205.09	c cleaning 21005 clauses out of 42039 with flag 243000/243000
224.74/223.57	c cleaning 21982 clauses out of 44034 with flag 266000/266000
243.34/242.18	c cleaning 22999 clauses out of 46053 with flag 290001/290001
263.15/261.94	c cleaning 24006 clauses out of 48053 with flag 315000/315000
284.25/283.03	c cleaning 25011 clauses out of 50048 with flag 341001/341001
307.27/306.08	c cleaning 25979 clauses out of 52036 with flag 368000/368000
332.49/331.24	c cleaning 27009 clauses out of 54057 with flag 396000/396000
358.49/357.21	c cleaning 27997 clauses out of 56048 with flag 425000/425000
385.11/383.82	c cleaning 29007 clauses out of 58051 with flag 455000/455000
413.11/411.81	c cleaning 30001 clauses out of 60044 with flag 486000/486000
441.02/439.71	c cleaning 31000 clauses out of 62043 with flag 518000/518000
470.83/469.58	c cleaning 31994 clauses out of 64046 with flag 551003/551003
502.03/500.76	c cleaning 33007 clauses out of 66049 with flag 585000/585000
533.24/531.91	c cleaning 34013 clauses out of 68042 with flag 620000/620000
565.57/564.26	c cleaning 34967 clauses out of 70029 with flag 656000/656000
599.26/597.95	c cleaning 35993 clauses out of 72063 with flag 693001/693001
632.06/630.78	c cleaning 36995 clauses out of 74071 with flag 731002/731002
666.67/665.39	c cleaning 38025 clauses out of 76074 with flag 770000/770000
701.47/700.19	c cleaning 39017 clauses out of 78050 with flag 810001/810001
737.79/736.41	c cleaning 39990 clauses out of 80032 with flag 851000/851000
774.70/773.37	c cleaning 41012 clauses out of 82045 with flag 893003/893003
812.60/811.26	c cleaning 41993 clauses out of 84030 with flag 936000/936000
851.92/850.53	c cleaning 43012 clauses out of 86040 with flag 980003/980003
892.13/890.74	c cleaning 44000 clauses out of 88025 with flag 1025000/1025000
933.15/931.79	c cleaning 44995 clauses out of 90025 with flag 1071000/1071000
974.87/973.45	c cleaning 46010 clauses out of 92032 with flag 1118002/1118002
1017.87/1016.42	c cleaning 46994 clauses out of 94020 with flag 1166000/1166000
1063.49/1062.08	c cleaning 48012 clauses out of 96026 with flag 1215000/1215000
1109.41/1107.95	c cleaning 48957 clauses out of 98014 with flag 1265000/1265000
1156.23/1154.71	c cleaning 49991 clauses out of 100058 with flag 1316001/1316001
1202.70/1201.10	c cleaning 50998 clauses out of 102072 with flag 1368006/1368006
1250.42/1248.82	c cleaning 52004 clauses out of 104068 with flag 1421000/1421000
1298.63/1297.06	c cleaning 52995 clauses out of 106064 with flag 1475000/1475000
1349.06/1347.49	c cleaning 54021 clauses out of 108070 with flag 1530001/1530001
1399.48/1397.88	c cleaning 55005 clauses out of 110048 with flag 1586000/1586000
1449.81/1448.11	c cleaning 56005 clauses out of 112044 with flag 1643001/1643001
1501.43/1499.77	c cleaning 56994 clauses out of 114041 with flag 1701003/1701003
1553.14/1551.50	c cleaning 57994 clauses out of 116044 with flag 1760000/1760000
1601.97/1600.24	c cleaning 59008 clauses out of 118051 with flag 1820001/1820001
1655.88/1654.18	c cleaning 60012 clauses out of 120042 with flag 1881000/1881000
1702.09/1700.31	c cleaning 60972 clauses out of 122030 with flag 1943000/1943000
1753.61/1751.88	c cleaning 62016 clauses out of 124059 with flag 2006001/2006001
1800.04/1798.21	c starts		: 226
1800.04/1798.21	c conflicts		: 2057719
1800.04/1798.21	c decisions		: 12821933
1800.04/1798.21	c propagations		: 9218158290
1800.04/1798.21	c inspects		: 9216687455
1800.04/1798.21	c shortcuts		: 0
1800.04/1798.21	c learnt literals	: 1
1800.04/1798.21	c learnt binary clauses	: 0
1800.04/1798.21	c learnt ternary clauses	: 1
1800.04/1798.21	c learnt constraints	: 2057718
1800.04/1798.21	c ignored constraints	: 0
1800.04/1798.21	c root simplifications	: 0
1800.04/1798.21	c removed literals (reason simplification)	: 0
1800.04/1798.21	c reason swapping (by a shorter reason)	: 0
1800.04/1798.21	c Calls to reduceDB	: 59
1800.04/1798.21	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.21	c number of learned constraints concerned by reduction	: 0
1800.04/1798.21	c number of learning phase by resolution	: 0
1800.04/1798.21	c number of learning phase by cutting planes	: 0
1800.04/1798.21	c speed (assignments/second)	: 5127965.698073847
1800.04/1798.21	c non guided choices	0
1800.04/1798.24	c learnt constraints type 
1800.04/1798.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113787
1800.04/1798.24	c constraints type 
1800.04/1798.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5818
1800.04/1798.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1798.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 1065
1800.04/1798.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29626
1800.04/1798.24	c 36510 constraints processed.
1800.04/1798.24	s SATISFIABLE
1800.04/1798.25	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 -x286 -x287 x288 x289 x290 x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 x5282 x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 x5558 x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 x6704 x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 x6778 x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 x7361 x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 x7848 x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 x8080 x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 x8112 x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 x8138 x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 x9000 x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 x9803 x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 x10279 x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 x10307 x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 x10581 x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 x10733 x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 x10845 x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 x10861 x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 x11121 x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 x11179 x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 x11213 x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 x11297 x11298 x11299 x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 x11323 x11324 x11325 x11326 -x11327 -x11328 x11329 x11330 x11331 x11332 x11333 x11334 
1800.04/1798.26	c objective function=36
1800.04/1798.26	c Total wall clock time (in seconds): 1798.131

Verifier Data 

OK	36

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688425-1337883264/watcher-3688425-1337883264 -o /tmp/evaluation-result-3688425-1337883264/solver-3688425-1337883264 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688425-1337883264.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.05 2.01 2/194 24857
/proc/meminfo: memFree=26473668/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24857/stat : 24857 (java) D 24855 24857 23066 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254451467 9515008 183 33554432000 1073741824 1073778376 140735754912992 140735754904024 227141303989 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2323 183 140 9 0 71 0

[startup+0.0293119 s]
/proc/loadavg: 2.02 2.05 2.01 2/194 24857
/proc/meminfo: memFree=26473668/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 2400 0 1 0 0 0 0 0 20 0 10 0 254451467 9233014784 3099 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2254154 3107 1230 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100226 s]
/proc/loadavg: 2.02 2.05 2.01 2/194 24857
/proc/meminfo: memFree=26473668/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 3843 0 1 0 7 1 0 0 20 0 18 0 254451467 9787813888 5048 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2389603 5063 2029 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300237 s]
/proc/loadavg: 2.02 2.05 2.01 2/194 24857
/proc/meminfo: memFree=26473668/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 5552 0 1 0 45 2 0 0 20 0 18 0 254451467 9787813888 8309 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2389603 8309 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700241 s]
/proc/loadavg: 2.02 2.05 2.01 2/194 24857
/proc/meminfo: memFree=26473668/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 9939 0 1 0 138 3 0 0 20 0 19 0 254451467 9855975424 26305 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2406244 26305 2245 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9624976

[startup+1.50063 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 24876
/proc/meminfo: memFree=26376424/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9624976 CPUtime=2.38 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 11192 0 1 0 234 4 0 0 20 0 19 0 254451467 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2406244 26511 2254 9 0 2396937 0
[pid=24857/tid=24859] ppid=24855 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/24857/task/24859/stat : 24859 (java) R 24855 24857 23066 0 -1 4202560 2504 0 1 0 143 3 0 0 20 0 19 0 254451468 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702590870232 139702418876095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24860] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451469 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702552361896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24861] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702551309352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24862] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702550256296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24863] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702549203752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702548150696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24865] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702547098152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24866] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24866/stat : 24866 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702546045096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24867] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24867/stat : 24867 (java) S 24855 24857 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702544992552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24868] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24868/stat : 24868 (java) S 24855 24857 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702414850920 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24869] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24869/stat : 24869 (java) S 24855 24857 23066 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702413797240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24870] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24870/stat : 24870 (java) S 24855 24857 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702412744072 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24871] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24871/stat : 24871 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702411692816 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24872] ppid=24855 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/24857/task/24872/stat : 24872 (java) S 24855 24857 23066 0 -1 4202560 4582 0 0 0 47 0 0 0 20 0 19 0 254451474 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702410639672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24873] ppid=24855 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24857/task/24873/stat : 24873 (java) S 24855 24857 23066 0 -1 4202560 2906 0 0 0 40 0 0 0 20 0 19 0 254451474 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702409587128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24874] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24874/stat : 24874 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702408534264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24875] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24875/stat : 24875 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702407481928 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24876] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24876/stat : 24876 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254451526 9855975424 26511 33554432000 1073741824 1073778376 140735652177600 139702406428200 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 24876
/proc/meminfo: memFree=26375928/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9624976 CPUtime=3.99 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 11195 0 1 0 395 4 0 0 20 0 19 0 254451467 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2406244 27024 2254 9 0 2396937 0
[pid=24857/tid=24859] ppid=24855 vsize=9624976 CPUtime=3.06 cores=0,2,4,6
/proc/24857/task/24859/stat : 24859 (java) R 24855 24857 23066 0 -1 4202560 2506 0 1 0 303 3 0 0 20 0 19 0 254451468 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702590869976 139702418751115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24860] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451469 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702552361896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24861] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702551309352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24862] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702550256296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24863] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702549203752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702548150696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24865] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702547098152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24866] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24866/stat : 24866 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702546045096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24867] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24867/stat : 24867 (java) S 24855 24857 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702544992552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24868] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24868/stat : 24868 (java) S 24855 24857 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702414850920 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24869] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24869/stat : 24869 (java) S 24855 24857 23066 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702413797240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24870] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24870/stat : 24870 (java) S 24855 24857 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702412744072 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24871] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24871/stat : 24871 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702411692816 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24872] ppid=24855 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/24857/task/24872/stat : 24872 (java) S 24855 24857 23066 0 -1 4202560 4582 0 0 0 48 0 0 0 20 0 19 0 254451474 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702410639672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24873] ppid=24855 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24857/task/24873/stat : 24873 (java) S 24855 24857 23066 0 -1 4202560 2906 0 0 0 40 0 0 0 20 0 19 0 254451474 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702409587128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24874] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24874/stat : 24874 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702408534264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24875] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24875/stat : 24875 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702407481928 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24876] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24876/stat : 24876 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254451526 9855975424 27024 33554432000 1073741824 1073778376 140735652177600 139702406428200 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 24876
/proc/meminfo: memFree=26345412/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9624976 CPUtime=7.34 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 15485 0 1 0 729 5 0 0 20 0 19 0 254451467 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2406244 34053 2279 9 0 2396937 0
[pid=24857/tid=24859] ppid=24855 vsize=9624976 CPUtime=6.22 cores=0,2,4,6
/proc/24857/task/24859/stat : 24859 (java) R 24855 24857 23066 0 -1 4202560 2511 0 1 0 619 3 0 0 20 0 19 0 254451468 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702590868120 139702418825590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24860] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 23066 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254451469 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702552361896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24861] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702551309352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24862] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702550256296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24863] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 23066 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702549203752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 23066 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702548150696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24865] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702547098152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24866] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24866/stat : 24866 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702546045096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24867] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24867/stat : 24867 (java) S 24855 24857 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254451470 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702544992552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24868] ppid=24855 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24857/task/24868/stat : 24868 (java) S 24855 24857 23066 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 19 0 254451471 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702414850920 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24869] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24869/stat : 24869 (java) S 24855 24857 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702413797240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24870] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24870/stat : 24870 (java) S 24855 24857 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702412744072 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24871] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24871/stat : 24871 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702411692816 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24872] ppid=24855 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/24857/task/24872/stat : 24872 (java) S 24855 24857 23066 0 -1 4202560 4586 0 0 0 49 0 0 0 20 0 19 0 254451474 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702410639672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24873] ppid=24855 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/24857/task/24873/stat : 24873 (java) S 24855 24857 23066 0 -1 4202560 7111 0 0 0 51 1 0 0 20 0 19 0 254451474 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702409587128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24874] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24874/stat : 24874 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702408534264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24875] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24875/stat : 24875 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702407481928 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24876] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24876/stat : 24876 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254451526 9855975424 34053 33554432000 1073741824 1073778376 140735652177600 139702406428200 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=24857/tid=24872] ppid=24855 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/24857/task/24872/stat : 24872 (java) S 24855 24857 23066 0 -1 4202560 4587 0 0 0 52 0 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702410639672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24873] ppid=24855 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24857/task/24873/stat : 24873 (java) S 24855 24857 23066 0 -1 4202560 7113 0 0 0 58 1 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702409587128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24874] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24874/stat : 24874 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702408534264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24875] ppid=24855 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/24857/task/24875/stat : 24875 (java) S 24855 24857 23066 0 -1 4202560 97 0 0 0 16 12 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702407481928 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24876] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24876/stat : 24876 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254451526 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702406428200 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1664.1
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24950
/proc/meminfo: memFree=27420928/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9624976 CPUtime=1724.1 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 15952 0 1 0 172391 19 0 0 20 0 19 0 254451467 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2406244 46513 2279 9 0 2396937 0
[pid=24857/tid=24859] ppid=24855 vsize=9624976 CPUtime=1715.43 cores=0,2,4,6
/proc/24857/task/24859/stat : 24859 (java) R 24855 24857 23066 0 -1 4202560 2567 0 1 0 171514 29 0 0 20 0 19 0 254451468 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702590869792 139702418876113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24860] ppid=24855 vsize=9624976 CPUtime=0.14 cores=0,2,4,6
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 23066 0 -1 4202560 46 0 0 0 14 0 0 0 20 0 19 0 254451469 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702552361896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24861] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 23066 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702551309352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24862] ppid=24855 vsize=9624976 CPUtime=0.14 cores=0,2,4,6
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 23066 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 19 0 254451470 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702550256296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24863] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 23066 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702549203752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=9624976 CPUtime=0.14 cores=0,2,4,6
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 23066 0 -1 4202560 48 0 0 0 14 0 0 0 20 0 19 0 254451470 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702548150696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24865] ppid=24855 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 23066 0 -1 4202560 21 0 0 0 11 0 0 0 20 0 19 0 254451470 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702547098152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24866] ppid=24855 vsize=9624976 CPUtime=0.12 cores=0,2,4,6
/proc/24857/task/24866/stat : 24866 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 12 0 0 0 20 0 19 0 254451470 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702546045096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24867] ppid=24855 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24857/task/24867/stat : 24867 (java) S 24855 24857 23066 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 19 0 254451470 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702544992552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24868] ppid=24855 vsize=9624976 CPUtime=1.95 cores=0,2,4,6
/proc/24857/task/24868/stat : 24868 (java) S 24855 24857 23066 0 -1 4202560 142 0 0 0 194 1 0 0 20 0 19 0 254451471 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702414850920 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24869] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24869/stat : 24869 (java) S 24855 24857 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702413797240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24870] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24870/stat : 24870 (java) S 24855 24857 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702412744072 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24871] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24871/stat : 24871 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702411692816 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24872] ppid=24855 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/24857/task/24872/stat : 24872 (java) S 24855 24857 23066 0 -1 4202560 4587 0 0 0 52 0 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702410639672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24873] ppid=24855 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24857/task/24873/stat : 24873 (java) S 24855 24857 23066 0 -1 4202560 7113 0 0 0 58 1 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702409587128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24874] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24874/stat : 24874 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702408534264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24875] ppid=24855 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/24857/task/24875/stat : 24875 (java) S 24855 24857 23066 0 -1 4202560 99 0 0 0 17 12 0 0 20 0 19 0 254451474 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702407481928 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24876] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24876/stat : 24876 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254451526 9855975424 46513 33554432000 1073741824 1073778376 140735652177600 139702406428200 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.1
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24951
/proc/meminfo: memFree=27419004/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9624976 CPUtime=1784.12 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 15963 0 1 0 178392 20 0 0 20 0 19 0 254451467 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2406244 47028 2279 9 0 2396937 0
[pid=24857/tid=24859] ppid=24855 vsize=9624976 CPUtime=1775.23 cores=0,2,4,6
/proc/24857/task/24859/stat : 24859 (java) R 24855 24857 23066 0 -1 4202560 2568 0 1 0 177494 29 0 0 20 0 19 0 254451468 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702590869792 139702418754237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24860] ppid=24855 vsize=9624976 CPUtime=0.15 cores=0,2,4,6
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 23066 0 -1 4202560 49 0 0 0 15 0 0 0 20 0 19 0 254451469 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702552361896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24861] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 23066 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702551309352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24862] ppid=24855 vsize=9624976 CPUtime=0.14 cores=0,2,4,6
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 23066 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702550256296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24863] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 23066 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702549203752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=9624976 CPUtime=0.14 cores=0,2,4,6
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 23066 0 -1 4202560 48 0 0 0 14 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702548150696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24865] ppid=24855 vsize=9624976 CPUtime=0.12 cores=0,2,4,6
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 23066 0 -1 4202560 21 0 0 0 12 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702547098152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24866] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24866/stat : 24866 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702546045096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24867] ppid=24855 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24857/task/24867/stat : 24867 (java) S 24855 24857 23066 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702544992552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24868] ppid=24855 vsize=9624976 CPUtime=1.99 cores=0,2,4,6
/proc/24857/task/24868/stat : 24868 (java) S 24855 24857 23066 0 -1 4202560 145 0 0 0 198 1 0 0 20 0 19 0 254451471 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702414850920 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24869] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24869/stat : 24869 (java) S 24855 24857 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702413797240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24870] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24870/stat : 24870 (java) S 24855 24857 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702412744072 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24871] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24871/stat : 24871 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702411692816 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24872] ppid=24855 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/24857/task/24872/stat : 24872 (java) S 24855 24857 23066 0 -1 4202560 4587 0 0 0 52 0 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702410639672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24873] ppid=24855 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24857/task/24873/stat : 24873 (java) S 24855 24857 23066 0 -1 4202560 7113 0 0 0 58 1 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702409587128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24874] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24874/stat : 24874 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702408534264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24875] ppid=24855 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24857/task/24875/stat : 24875 (java) S 24855 24857 23066 0 -1 4202560 103 0 0 0 18 13 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702407481928 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24876] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24876/stat : 24876 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254451526 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702406428200 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.12
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24951
/proc/meminfo: memFree=27419128/32873844 swapFree=7108/7108
[pid=24857] ppid=24855 vsize=9624976 CPUtime=1800.04 cores=0,2,4,6
/proc/24857/stat : 24857 (java) S 24855 24857 23066 0 -1 4202496 15963 0 1 0 179983 21 0 0 20 0 19 0 254451467 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 140735652168736 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24857/statm: 2406244 47028 2279 9 0 2396937 0
[pid=24857/tid=24859] ppid=24855 vsize=9624976 CPUtime=1791.1 cores=0,2,4,6
/proc/24857/task/24859/stat : 24859 (java) R 24855 24857 23066 0 -1 4202560 2568 0 1 0 179080 30 0 0 20 0 19 0 254451468 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702590869792 139702418825590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24860] ppid=24855 vsize=9624976 CPUtime=0.15 cores=0,2,4,6
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 23066 0 -1 4202560 49 0 0 0 15 0 0 0 20 0 19 0 254451469 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702552361896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24861] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 23066 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702551309352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24862] ppid=24855 vsize=9624976 CPUtime=0.14 cores=0,2,4,6
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 23066 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702550256296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24863] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 23066 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702549203752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=9624976 CPUtime=0.14 cores=0,2,4,6
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 23066 0 -1 4202560 48 0 0 0 14 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702548150696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24857/tid=24865] ppid=24855 vsize=9624976 CPUtime=0.12 cores=0,2,4,6
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 23066 0 -1 4202560 21 0 0 0 12 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702547098152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24857/tid=24866] ppid=24855 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/24857/task/24866/stat : 24866 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 13 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702546045096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24867] ppid=24855 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24857/task/24867/stat : 24867 (java) S 24855 24857 23066 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 19 0 254451470 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702544992552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24868] ppid=24855 vsize=9624976 CPUtime=1.99 cores=0,2,4,6
/proc/24857/task/24868/stat : 24868 (java) S 24855 24857 23066 0 -1 4202560 145 0 0 0 198 1 0 0 20 0 19 0 254451471 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702414850920 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24869] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24869/stat : 24869 (java) S 24855 24857 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702413797240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24870] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24870/stat : 24870 (java) S 24855 24857 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254451471 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702412744072 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24871] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24871/stat : 24871 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702411692816 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24872] ppid=24855 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/24857/task/24872/stat : 24872 (java) S 24855 24857 23066 0 -1 4202560 4587 0 0 0 52 0 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702410639672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24873] ppid=24855 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24857/task/24873/stat : 24873 (java) S 24855 24857 23066 0 -1 4202560 7113 0 0 0 58 1 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702409587128 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24874] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24874/stat : 24874 (java) S 24855 24857 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702408534264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24857/tid=24875] ppid=24855 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24857/task/24875/stat : 24875 (java) S 24855 24857 23066 0 -1 4202560 103 0 0 0 18 13 0 0 20 0 19 0 254451474 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702407481928 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24857/tid=24876] ppid=24855 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24857/task/24876/stat : 24876 (java) S 24855 24857 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254451526 9855975424 47028 33554432000 1073741824 1073778376 140735652177600 139702406428200 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24857 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=390059
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=592909
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.27
CPU time (s): 1800.04
CPU user time (s): 1799.83
CPU system time (s): 0.21
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 9626228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.39
system time used= 0.592909
maximum resident set size= 188236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15998
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39597
involuntary context switches= 16667

runsolver used 5.78112 second user time and 13.7629 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-24 20:14:24
IDJOB=3688425
IDBENCH=24995
IDSOLVER=2269
FILE ID=node138/3688425-1337883264
RUNJOBID= node138-1337871881-23082
PBS_JOBID= 14620066
Free space on /tmp= 71656 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688425-1337883264/watcher-3688425-1337883264 -o /tmp/evaluation-result-3688425-1337883264/solver-3688425-1337883264 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688425-1337883264.opb

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=186688073

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26474204 kB
Buffers:          223680 kB
Cached:          4187044 kB
SwapCached:            0 kB
Active:          1839356 kB
Inactive:        3781324 kB
Active(anon):    1212024 kB
Inactive(anon):      508 kB
Active(file):     627332 kB
Inactive(file):  3780816 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1620 kB
Writeback:             0 kB
AnonPages:       1341944 kB
Mapped:            22604 kB
Shmem:               200 kB
Slab:             637572 kB
SReclaimable:      80168 kB
SUnreclaim:       557404 kB
KernelStack:        1760 kB
PageTables:         6364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2221904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1275904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node138 at 2012-05-24 20:44:24