Trace number 3688385

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)34 1800.02 1797.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
MD5SUM5c1765191809ee7ecd7781ce5c7fb9aa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark3.79742
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables9333
Total number of constraints28773
Number of constraints which are clauses28773
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 4585
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 4585
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 4585
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.07/0.08	c version 2.3.2.v20120418
0.07/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.08	c java.vm.version	19.1-b02
0.07/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.08	c sun.arch.data.model	64
0.07/0.08	c java.version		1.6.0_24
0.07/0.08	c os.name		Linux
0.07/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.08	c os.arch		amd64
0.07/0.08	c Free memory 		501472288
0.07/0.08	c Max memory 		7480803328
0.07/0.08	c Total memory 		504102912
0.07/0.08	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688385-1337882696.opb
0.09/0.11	c reading problem ... 
0.77/0.48	c ... done. Wall clock time 0.373s.
0.77/0.48	c declared #vars     9333
0.77/0.48	c #constraints  28773
0.77/0.48	c constraints type 
0.77/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757
0.77/0.48	c org.sat4j.minisat.constraints.cnf.UnitClause => 891
0.77/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125
0.77/0.48	c 28773 constraints processed.
0.77/0.48	c objective function length is 4585 literals
1.29/0.63	c SATISFIABLE
1.29/0.63	c OPTIMIZING...
1.29/0.63	c Got one! Elapsed wall clock time (in seconds):0.525
1.29/0.63	o 34
4.41/3.46	c cleaning 2500 clauses out of 5006 with flag 5003/5006
7.80/6.75	c cleaning 4251 clauses out of 8503 with flag 11000/11003
11.90/10.84	c cleaning 5618 clauses out of 11252 with flag 18000/18003
16.31/15.24	c cleaning 6813 clauses out of 13635 with flag 26001/26004
21.66/20.53	c cleaning 7894 clauses out of 15821 with flag 35000/35003
27.36/26.21	c cleaning 8947 clauses out of 17927 with flag 45000/45003
33.77/32.67	c cleaning 9987 clauses out of 19981 with flag 56001/56004
41.17/40.10	c cleaning 10985 clauses out of 21993 with flag 68000/68003
49.17/48.08	c cleaning 12004 clauses out of 24009 with flag 81001/81004
57.67/56.58	c cleaning 12982 clauses out of 26005 with flag 95001/95004
66.69/65.50	c cleaning 14008 clauses out of 28022 with flag 110000/110003
76.20/75.04	c cleaning 14996 clauses out of 30014 with flag 126000/126003
85.42/84.26	c cleaning 16004 clauses out of 32018 with flag 143000/143003
94.73/93.56	c cleaning 16998 clauses out of 34014 with flag 161000/161003
105.63/104.44	c cleaning 18006 clauses out of 36017 with flag 180001/180004
115.96/114.70	c cleaning 18998 clauses out of 38011 with flag 200001/200004
127.78/126.55	c cleaning 19978 clauses out of 40012 with flag 221000/221003
142.18/140.95	c cleaning 21010 clauses out of 42036 with flag 243002/243005
156.68/155.40	c cleaning 21993 clauses out of 44024 with flag 266000/266003
169.59/168.33	c cleaning 23009 clauses out of 46033 with flag 290002/290005
182.39/181.19	c cleaning 24007 clauses out of 48022 with flag 315000/315003
198.01/196.74	c cleaning 24985 clauses out of 50016 with flag 341001/341004
216.43/215.14	c cleaning 25973 clauses out of 52030 with flag 368000/368003
235.03/233.75	c cleaning 27013 clauses out of 54057 with flag 396000/396003
254.34/253.07	c cleaning 27996 clauses out of 56044 with flag 425000/425003
272.47/271.13	c cleaning 28982 clauses out of 58050 with flag 455002/455005
291.09/289.78	c cleaning 30010 clauses out of 60066 with flag 486000/486003
310.09/308.76	c cleaning 31019 clauses out of 62057 with flag 518001/518004
332.20/330.84	c cleaning 31993 clauses out of 64037 with flag 551000/551003
355.01/353.69	c cleaning 32993 clauses out of 66044 with flag 585000/585003
378.41/377.01	c cleaning 34001 clauses out of 68051 with flag 620000/620003
401.63/400.24	c cleaning 35005 clauses out of 70050 with flag 656000/656003
422.75/421.39	c cleaning 36021 clauses out of 72046 with flag 693001/693004
442.34/440.95	c cleaning 36997 clauses out of 74024 with flag 731000/731003
461.65/460.28	c cleaning 37996 clauses out of 76027 with flag 770000/770003
487.16/485.70	c cleaning 38997 clauses out of 78031 with flag 810000/810003
514.76/513.38	c cleaning 40000 clauses out of 80036 with flag 851002/851005
543.27/541.80	c cleaning 41005 clauses out of 82036 with flag 893002/893005
572.58/571.15	c cleaning 41999 clauses out of 84030 with flag 936001/936004
598.02/596.50	c cleaning 43006 clauses out of 86030 with flag 980000/980003
628.83/627.31	c cleaning 43984 clauses out of 88024 with flag 1025000/1025003
660.63/659.18	c cleaning 45020 clauses out of 90041 with flag 1071001/1071004
693.33/691.89	c cleaning 45978 clauses out of 92022 with flag 1118002/1118005
727.24/725.79	c cleaning 46985 clauses out of 94042 with flag 1166000/1166003
760.98/759.47	c cleaning 48007 clauses out of 96057 with flag 1215000/1215003
796.39/794.83	c cleaning 49021 clauses out of 98051 with flag 1265001/1265004
832.62/831.04	c cleaning 49995 clauses out of 100029 with flag 1316000/1316003
868.87/867.22	c cleaning 51006 clauses out of 102036 with flag 1368002/1368005
902.39/900.76	c cleaning 52001 clauses out of 104028 with flag 1421000/1421003
939.22/937.55	c cleaning 52995 clauses out of 106030 with flag 1475003/1475006
977.44/975.76	c cleaning 53979 clauses out of 108032 with flag 1530000/1530003
1016.35/1014.62	c cleaning 55024 clauses out of 110054 with flag 1586001/1586004
1056.06/1054.34	c cleaning 55982 clauses out of 112029 with flag 1643000/1643003
1097.48/1095.74	c cleaning 57022 clauses out of 114047 with flag 1701000/1701003
1139.59/1137.90	c cleaning 57995 clauses out of 116025 with flag 1760000/1760003
1179.22/1177.42	c cleaning 59011 clauses out of 118031 with flag 1820001/1820004
1217.44/1215.69	c cleaning 59994 clauses out of 120019 with flag 1881000/1881003
1255.16/1253.37	c cleaning 60999 clauses out of 122025 with flag 1943000/1943003
1294.07/1292.28	c cleaning 61981 clauses out of 124027 with flag 2006001/2006004
1337.08/1335.30	c cleaning 62999 clauses out of 126045 with flag 2070000/2070003
1380.71/1378.84	c cleaning 63993 clauses out of 128047 with flag 2135001/2135004
1423.43/1421.59	c cleaning 65008 clauses out of 130053 with flag 2201000/2201003
1468.65/1466.72	c cleaning 65998 clauses out of 132045 with flag 2268000/2268003
1514.77/1512.83	c cleaning 67010 clauses out of 134048 with flag 2336001/2336004
1560.61/1558.63	c cleaning 67982 clauses out of 136037 with flag 2405000/2405003
1608.52/1606.58	c cleaning 68998 clauses out of 138055 with flag 2475000/2475003
1657.34/1655.31	c cleaning 70017 clauses out of 140057 with flag 2546000/2546003
1707.56/1705.50	c cleaning 70992 clauses out of 142040 with flag 2618000/2618003
1757.91/1755.84	c cleaning 71998 clauses out of 144048 with flag 2691000/2691003
1800.02/1797.91	c starts		: 232
1800.02/1797.91	c conflicts		: 2753036
1800.02/1797.91	c decisions		: 13924069
1800.02/1797.91	c propagations		: 10235869187
1800.02/1797.91	c inspects		: 9976932228
1800.02/1797.91	c shortcuts		: 0
1800.02/1797.91	c learnt literals	: 0
1800.02/1797.91	c learnt binary clauses	: 0
1800.02/1797.91	c learnt ternary clauses	: 6
1800.02/1797.91	c learnt constraints	: 2753036
1800.02/1797.91	c ignored constraints	: 0
1800.02/1797.91	c root simplifications	: 0
1800.02/1797.91	c removed literals (reason simplification)	: 0
1800.02/1797.91	c reason swapping (by a shorter reason)	: 0
1800.02/1797.91	c Calls to reduceDB	: 69
1800.02/1797.91	c number of reductions to clauses (during analyze)	: 0
1800.02/1797.91	c number of learned constraints concerned by reduction	: 0
1800.02/1797.91	c number of learning phase by resolution	: 0
1800.02/1797.91	c number of learning phase by cutting planes	: 0
1800.02/1797.91	c speed (assignments/second)	: 5694830.4792986745
1800.02/1797.91	c non guided choices	0
1800.02/1797.93	c learnt constraints type 
1800.02/1797.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134112
1800.02/1797.93	c constraints type 
1800.02/1797.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757
1800.02/1797.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1797.93	c org.sat4j.minisat.constraints.cnf.UnitClause => 891
1800.02/1797.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125
1800.02/1797.93	c 28774 constraints processed.
1800.02/1797.93	s SATISFIABLE
1800.02/1797.95	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 
1800.02/1797.95	c objective function=34
1800.02/1797.95	c Total wall clock time (in seconds): 1797.849

Verifier Data 

OK	34

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-3688385-1337882696/watcher-3688385-1337882696 -o /tmp/evaluation-result-3688385-1337882696/solver-3688385-1337882696 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688385-1337882696.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.07 2.02 3/192 22710
/proc/meminfo: memFree=29246988/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22710/stat : 22710 (java) D 22708 22710 21495 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254395080 9515008 182 33554432000 1073741824 1073778376 140736319752320 140736319743352 227512499893 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22710/statm: 2323 182 140 9 0 71 0

[startup+0.086794 s]
/proc/loadavg: 2.13 2.07 2.02 3/192 22710
/proc/meminfo: memFree=29246988/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 4157 0 1 0 6 1 0 0 20 0 18 0 254395080 9787813888 5362 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2389603 5362 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100235 s]
/proc/loadavg: 2.13 2.07 2.02 3/192 22710
/proc/meminfo: memFree=29246988/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 4362 0 1 0 8 1 0 0 20 0 18 0 254395080 9787813888 5566 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2389603 5566 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300233 s]
/proc/loadavg: 2.13 2.07 2.02 3/192 22710
/proc/meminfo: memFree=29246988/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9558412 CPUtime=0.52 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 6031 0 1 0 51 1 0 0 20 0 18 0 254395080 9787813888 8843 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2389603 8843 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412

[startup+0.700242 s]
/proc/loadavg: 2.13 2.07 2.02 3/192 22710
/proc/meminfo: memFree=29246988/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 11753 0 1 0 155 3 0 0 20 0 19 0 254395080 9855975424 22866 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2406244 22866 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9624976

[startup+1.50051 s]
/proc/loadavg: 2.13 2.07 2.02 3/211 22729
/proc/meminfo: memFree=29164280/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9624976 CPUtime=2.5 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 12649 0 1 0 247 3 0 0 20 0 19 0 254395080 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2406244 22709 2253 9 0 2396937 0
[pid=22710/tid=22712] ppid=22708 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/22710/task/22712/stat : 22712 (java) R 22708 22710 21495 0 -1 4202560 2488 0 1 0 145 2 0 0 20 0 19 0 254395081 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997822644696 139997695781904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22713] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22713/stat : 22713 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997666511144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22714] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22714/stat : 22714 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997665458344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22715] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22715/stat : 22715 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997664406056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22710/tid=22716] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22716/stat : 22716 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997663353256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22717] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22717/stat : 22717 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997662300968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22718] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22718/stat : 22718 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997661248168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22719] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22719/stat : 22719 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997660195880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22720] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22720/stat : 22720 (java) S 22708 22710 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997659143080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22721] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22721/stat : 22721 (java) S 22708 22710 21495 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254395083 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997646731496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22722] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22722/stat : 22722 (java) S 22708 22710 21495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997645677560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22723] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22723/stat : 22723 (java) S 22708 22710 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997644625160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22724] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22724/stat : 22724 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997643573648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22725] ppid=22708 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/22710/task/22725/stat : 22725 (java) S 22708 22710 21495 0 -1 4202560 4623 0 0 0 48 0 0 0 20 0 19 0 254395086 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997642521272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22726] ppid=22708 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22710/task/22726/stat : 22726 (java) S 22708 22710 21495 0 -1 4202560 4339 0 0 0 51 0 0 0 20 0 19 0 254395086 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997641468472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22727] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22727/stat : 22727 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997640416376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22728] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22728/stat : 22728 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997639363784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22729] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22729/stat : 22729 (java) S 22708 22710 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254395132 9855975424 22709 33554432000 1073741824 1073778376 140736538527872 139997638308776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9624976

[startup+3.10052 s]
/proc/loadavg: 2.13 2.07 2.02 3/211 22729
/proc/meminfo: memFree=29163908/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9624976 CPUtime=4.11 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 12654 0 1 0 408 3 0 0 20 0 19 0 254395080 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2406244 22713 2256 9 0 2396937 0
[pid=22710/tid=22712] ppid=22708 vsize=9624976 CPUtime=3.07 cores=1,3,5,7
/proc/22710/task/22712/stat : 22712 (java) R 22708 22710 21495 0 -1 4202560 2489 0 1 0 305 2 0 0 20 0 19 0 254395081 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997822644856 139997695746387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22713] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22713/stat : 22713 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997666511144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22714] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22714/stat : 22714 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997665458344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22715] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22715/stat : 22715 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997664406056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22710/tid=22716] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22716/stat : 22716 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997663353256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22717] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22717/stat : 22717 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997662300968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22718] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22718/stat : 22718 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997661248168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22719] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22719/stat : 22719 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997660195880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22720] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22720/stat : 22720 (java) S 22708 22710 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997659143080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22721] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22721/stat : 22721 (java) S 22708 22710 21495 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254395083 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997646731496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22722] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22722/stat : 22722 (java) S 22708 22710 21495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997645677560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22723] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22723/stat : 22723 (java) S 22708 22710 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997644625160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22724] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22724/stat : 22724 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997643573648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22725] ppid=22708 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/22710/task/22725/stat : 22725 (java) S 22708 22710 21495 0 -1 4202560 4623 0 0 0 48 0 0 0 20 0 19 0 254395086 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997642521272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22726] ppid=22708 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22710/task/22726/stat : 22726 (java) S 22708 22710 21495 0 -1 4202560 4342 0 0 0 52 0 0 0 20 0 19 0 254395086 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997641468472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22727] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22727/stat : 22727 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997640416376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22728] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22728/stat : 22728 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997639363784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22729] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22729/stat : 22729 (java) S 22708 22710 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254395132 9855975424 22713 33554432000 1073741824 1073778376 140736538527872 139997638308776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 2.12 2.07 2.02 3/211 22729
/proc/meminfo: memFree=29149704/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9624976 CPUtime=7.4 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 12764 0 1 0 736 4 0 0 20 0 19 0 254395080 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2406244 26121 2282 9 0 2396937 0
[pid=22710/tid=22712] ppid=22708 vsize=9624976 CPUtime=6.23 cores=1,3,5,7
/proc/22710/task/22712/stat : 22712 (java) R 22708 22710 21495 0 -1 4202560 2493 0 1 0 621 2 0 0 20 0 19 0 254395081 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997822644696 139997695688490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22713] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22713/stat : 22713 (java) S 22708 22710 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997666511144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22714] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22714/stat : 22714 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997665458344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22715] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22715/stat : 22715 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997664406056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22710/tid=22716] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22716/stat : 22716 (java) S 22708 22710 21495 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997663353256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22717] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22717/stat : 22717 (java) S 22708 22710 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997662300968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22710/tid=22718] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22718/stat : 22718 (java) S 22708 22710 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997661248168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22719] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22719/stat : 22719 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997660195880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22720] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22720/stat : 22720 (java) S 22708 22710 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254395082 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997659143080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22721] ppid=22708 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22710/task/22721/stat : 22721 (java) S 22708 22710 21495 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 254395083 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997646731496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22722] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22722/stat : 22722 (java) S 22708 22710 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997645677560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22723] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22723/stat : 22723 (java) S 22708 22710 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997644625160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22724] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22724/stat : 22724 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997643573648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22725] ppid=22708 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22710/task/22725/stat : 22725 (java) S 22708 22710 21495 0 -1 4202560 4676 0 0 0 52 0 0 0 20 0 19 0 254395086 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997642521272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22726] ppid=22708 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/22710/task/22726/stat : 22726 (java) S 22708 22710 21495 0 -1 4202560 4344 0 0 0 56 0 0 0 20 0 19 0 254395086 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997641468472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22727] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22727/stat : 22727 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997640416376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22728] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22728/stat : 22728 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997639363784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22729] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22729/stat : 22729 (java) S 22708 22710 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254395132 9855975424 26121 33554432000 1073741824 1073778376 140736538527872 139997638308776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=22710/tid=22725] ppid=22708 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22710/task/22725/stat : 22725 (java) S 22708 22710 21495 0 -1 4202560 4676 0 0 0 52 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997642521272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22726] ppid=22708 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/22710/task/22726/stat : 22726 (java) S 22708 22710 21495 0 -1 4202560 4598 0 0 0 63 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997641468472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22727] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22727/stat : 22727 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997640416376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22728] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22728/stat : 22728 (java) S 22708 22710 21495 0 -1 4202560 99 0 0 0 10 8 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997639363784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22729] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22729/stat : 22729 (java) S 22708 22710 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254395132 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997638308776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.41
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 22805
/proc/meminfo: memFree=29187052/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9624976 CPUtime=1784.42 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 13664 0 1 0 178425 17 0 0 20 0 19 0 254395080 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2406244 40028 2283 9 0 2396937 0
[pid=22710/tid=22712] ppid=22708 vsize=9624976 CPUtime=1775.07 cores=1,3,5,7
/proc/22710/task/22712/stat : 22712 (java) R 22708 22710 21495 0 -1 4202560 2558 0 1 0 177479 28 0 0 20 0 19 0 254395081 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997822644512 139997695746387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22713] ppid=22708 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22710/task/22713/stat : 22713 (java) S 22708 22710 21495 0 -1 4202560 46 0 0 0 14 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997666511144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22714] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22714/stat : 22714 (java) S 22708 22710 21495 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997665458344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22715] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22715/stat : 22715 (java) S 22708 22710 21495 0 -1 4202560 100 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997664406056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22716] ppid=22708 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22710/task/22716/stat : 22716 (java) S 22708 22710 21495 0 -1 4202560 22 0 0 0 14 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997663353256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22710/tid=22717] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22717/stat : 22717 (java) S 22708 22710 21495 0 -1 4202560 50 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997662300968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22718] ppid=22708 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/22710/task/22718/stat : 22718 (java) S 22708 22710 21495 0 -1 4202560 53 0 0 0 19 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997661248168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22719] ppid=22708 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/22710/task/22719/stat : 22719 (java) S 22708 22710 21495 0 -1 4202560 19 0 0 0 16 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997660195880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22720] ppid=22708 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/22710/task/22720/stat : 22720 (java) S 22708 22710 21495 0 -1 4202560 61 0 0 0 16 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997659143080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22721] ppid=22708 vsize=9624976 CPUtime=2.17 cores=1,3,5,7
/proc/22710/task/22721/stat : 22721 (java) S 22708 22710 21495 0 -1 4202560 149 0 0 0 216 1 0 0 20 0 19 0 254395083 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997646731496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22722] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22722/stat : 22722 (java) S 22708 22710 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997645677560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22723] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22723/stat : 22723 (java) S 22708 22710 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997644625160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22724] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22724/stat : 22724 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997643573648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22725] ppid=22708 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22710/task/22725/stat : 22725 (java) S 22708 22710 21495 0 -1 4202560 4676 0 0 0 52 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997642521272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22726] ppid=22708 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/22710/task/22726/stat : 22726 (java) S 22708 22710 21495 0 -1 4202560 4598 0 0 0 63 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997641468472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22727] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22727/stat : 22727 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997640416376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22728] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22728/stat : 22728 (java) S 22708 22710 21495 0 -1 4202560 103 0 0 0 10 8 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997639363784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22729] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22729/stat : 22729 (java) S 22708 22710 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254395132 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997638308776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 22805
/proc/meminfo: memFree=29187180/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 13664 0 1 0 179985 17 0 0 20 0 19 0 254395080 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2406244 40028 2283 9 0 2396937 0
[pid=22710/tid=22712] ppid=22708 vsize=9624976 CPUtime=1790.64 cores=1,3,5,7
/proc/22710/task/22712/stat : 22712 (java) R 22708 22710 21495 0 -1 4202560 2558 0 1 0 179035 29 0 0 20 0 19 0 254395081 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997822644512 139997695781479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22713] ppid=22708 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22710/task/22713/stat : 22713 (java) S 22708 22710 21495 0 -1 4202560 46 0 0 0 14 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997666511144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22714] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22714/stat : 22714 (java) S 22708 22710 21495 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997665458344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22715] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22715/stat : 22715 (java) S 22708 22710 21495 0 -1 4202560 100 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997664406056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22716] ppid=22708 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22710/task/22716/stat : 22716 (java) S 22708 22710 21495 0 -1 4202560 22 0 0 0 14 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997663353256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22710/tid=22717] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22717/stat : 22717 (java) S 22708 22710 21495 0 -1 4202560 50 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997662300968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22718] ppid=22708 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/22710/task/22718/stat : 22718 (java) S 22708 22710 21495 0 -1 4202560 53 0 0 0 19 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997661248168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22719] ppid=22708 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/22710/task/22719/stat : 22719 (java) S 22708 22710 21495 0 -1 4202560 19 0 0 0 16 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997660195880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22720] ppid=22708 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/22710/task/22720/stat : 22720 (java) S 22708 22710 21495 0 -1 4202560 61 0 0 0 16 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997659143080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22721] ppid=22708 vsize=9624976 CPUtime=2.17 cores=1,3,5,7
/proc/22710/task/22721/stat : 22721 (java) S 22708 22710 21495 0 -1 4202560 149 0 0 0 216 1 0 0 20 0 19 0 254395083 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997646731496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22722] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22722/stat : 22722 (java) S 22708 22710 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997645677560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22723] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22723/stat : 22723 (java) S 22708 22710 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997644625160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22724] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22724/stat : 22724 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997643573648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22725] ppid=22708 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22710/task/22725/stat : 22725 (java) S 22708 22710 21495 0 -1 4202560 4676 0 0 0 52 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997642521272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22726] ppid=22708 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/22710/task/22726/stat : 22726 (java) S 22708 22710 21495 0 -1 4202560 4598 0 0 0 63 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997641468472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22727] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22727/stat : 22727 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997640416376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22728] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22728/stat : 22728 (java) S 22708 22710 21495 0 -1 4202560 103 0 0 0 10 8 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997639363784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22729] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22729/stat : 22729 (java) S 22708 22710 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254395132 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997638308776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 22805
/proc/meminfo: memFree=29187180/32873624 swapFree=7104/7104
[pid=22710] ppid=22708 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/22710/stat : 22710 (java) S 22708 22710 21495 0 -1 4202496 13664 0 1 0 179985 17 0 0 20 0 19 0 254395080 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 140736538519008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22710/statm: 2406244 40028 2283 9 0 2396937 0
[pid=22710/tid=22712] ppid=22708 vsize=9624976 CPUtime=1790.64 cores=1,3,5,7
/proc/22710/task/22712/stat : 22712 (java) R 22708 22710 21495 0 -1 4202560 2558 0 1 0 179035 29 0 0 20 0 19 0 254395081 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997822644512 139997695781479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22713] ppid=22708 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22710/task/22713/stat : 22713 (java) S 22708 22710 21495 0 -1 4202560 46 0 0 0 14 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997666511144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22714] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22714/stat : 22714 (java) S 22708 22710 21495 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997665458344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22715] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22715/stat : 22715 (java) S 22708 22710 21495 0 -1 4202560 100 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997664406056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22716] ppid=22708 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22710/task/22716/stat : 22716 (java) S 22708 22710 21495 0 -1 4202560 22 0 0 0 14 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997663353256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22710/tid=22717] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22717/stat : 22717 (java) S 22708 22710 21495 0 -1 4202560 50 0 0 0 18 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997662300968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22718] ppid=22708 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/22710/task/22718/stat : 22718 (java) S 22708 22710 21495 0 -1 4202560 53 0 0 0 19 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997661248168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22719] ppid=22708 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/22710/task/22719/stat : 22719 (java) S 22708 22710 21495 0 -1 4202560 19 0 0 0 16 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997660195880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22720] ppid=22708 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/22710/task/22720/stat : 22720 (java) S 22708 22710 21495 0 -1 4202560 61 0 0 0 16 0 0 0 20 0 19 0 254395082 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997659143080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22721] ppid=22708 vsize=9624976 CPUtime=2.17 cores=1,3,5,7
/proc/22710/task/22721/stat : 22721 (java) S 22708 22710 21495 0 -1 4202560 149 0 0 0 216 1 0 0 20 0 19 0 254395083 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997646731496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22710/tid=22722] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22722/stat : 22722 (java) S 22708 22710 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997645677560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22723] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22723/stat : 22723 (java) S 22708 22710 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254395084 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997644625160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22724] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22724/stat : 22724 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997643573648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22725] ppid=22708 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22710/task/22725/stat : 22725 (java) S 22708 22710 21495 0 -1 4202560 4676 0 0 0 52 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997642521272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22726] ppid=22708 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/22710/task/22726/stat : 22726 (java) S 22708 22710 21495 0 -1 4202560 4598 0 0 0 63 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997641468472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22727] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22727/stat : 22727 (java) S 22708 22710 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997640416376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22710/tid=22728] ppid=22708 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22710/task/22728/stat : 22728 (java) S 22708 22710 21495 0 -1 4202560 103 0 0 0 10 8 0 0 20 0 19 0 254395086 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997639363784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22710/tid=22729] ppid=22708 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22710/task/22729/stat : 22729 (java) S 22708 22710 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254395132 9855975424 40028 33554432000 1073741824 1073778376 140736538527872 139997638308776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1797.96
CPU time (s): 1800.02
CPU user time (s): 1799.85
CPU system time (s): 0.17
CPU usage (%): 100.114
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.35
system time used= 0.52092
maximum resident set size= 160236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13699
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39837
involuntary context switches= 13680

runsolver used 5.2912 second user time and 12.973 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-24 20:04:56
IDJOB=3688385
IDBENCH=24975
IDSOLVER=2269
FILE ID=node121/3688385-1337882696
RUNJOBID= node121-1337871882-21512
PBS_JOBID= 14620083
Free space on /tmp= 71492 MiB

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

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

MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa
RANDOM SEED=304938030

node121.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.042
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.08
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.042
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.042
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.92
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.042
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.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        29246996 kB
Buffers:          216256 kB
Cached:          2397716 kB
SwapCached:            0 kB
Active:           904884 kB
Inactive:        1951048 kB
Active(anon):     244392 kB
Inactive(anon):        0 kB
Active(file):     660492 kB
Inactive(file):  1951048 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1224 kB
Writeback:             0 kB
AnonPages:        252792 kB
Mapped:            21520 kB
Shmem:               200 kB
Slab:             628728 kB
SReclaimable:      73092 kB
SUnreclaim:       555636 kB
KernelStack:        1576 kB
PageTables:         4632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     814236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node121 at 2012-05-24 20:34:56