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

OK	1

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

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.00 2.00 2.00 3/197 30814
/proc/meminfo: memFree=31056128/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 1175 0 0 0 0 0 0 0 20 0 2 0 291530611 91889664 894 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 22434 895 678 9 0 16769 0
[pid=30814/tid=30815] ppid=30812 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 2 0 291530611 94085120 903 33554432000 1073741824 1073778376 140736402603264 140736402592328 273579867680 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.059302 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 30814
/proc/meminfo: memFree=31056128/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9558416 CPUtime=0.04 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 3188 0 1 0 4 0 0 0 20 0 18 0 291530611 9787817984 4396 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2389604 4396 1758 9 0 2380296 0
[pid=30814/tid=30815] ppid=30812 vsize=9558416 CPUtime=0.03 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 1977 0 1 0 3 0 0 0 20 0 18 0 291530611 9787817984 4396 33554432000 1073741824 1073778376 140736402603264 140471251417760 273592411405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558416

[startup+0.100351 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 30814
/proc/meminfo: memFree=31056128/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 4368 0 1 0 9 1 0 0 20 0 18 0 291530611 9787817984 5564 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2389604 5566 2109 9 0 2380296 0
[pid=30814/tid=30815] ppid=30812 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2409 0 1 0 7 0 0 0 20 0 18 0 291530611 9787817984 5567 33554432000 1073741824 1073778376 140736402603264 140471251412360 273588653899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300235 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 30814
/proc/meminfo: memFree=31056128/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9558416 CPUtime=0.57 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 7354 0 1 0 55 2 0 0 20 0 18 0 291530611 9787817984 10932 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2389604 10932 2227 9 0 2380296 0
[pid=30814/tid=30815] ppid=30812 vsize=9558416 CPUtime=0.27 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2451 0 1 0 26 1 0 0 20 0 18 0 291530611 9787817984 10932 33554432000 1073741824 1073778376 140736402603264 140471251406360 140471083005511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558416

[startup+0.700321 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 30814
/proc/meminfo: memFree=31056128/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9624980 CPUtime=1.58 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 11764 0 1 0 155 3 0 0 20 0 19 0 291530611 9855979520 14703 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2406245 14703 2259 9 0 2396937 0
[pid=30814/tid=30815] ppid=30812 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2468 0 1 0 66 1 0 0 20 0 19 0 291530611 9855979520 14703 33554432000 1073741824 1073778376 140736402603264 140471251407296 140471083005352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9624980

[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 30833
/proc/meminfo: memFree=30999520/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9624980 CPUtime=2.47 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 11915 0 1 0 243 4 0 0 20 0 19 0 291530611 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2406245 25500 2285 9 0 2396937 0
[pid=30814/tid=30815] ppid=30812 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2479 0 1 0 142 2 0 0 20 0 19 0 291530611 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471251415432 140471083648478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30817] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30817/stat : 30817 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471212906792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30818] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30818/stat : 30818 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471211853992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30819] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30819/stat : 30819 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471210801704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30820] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30820/stat : 30820 (java) S 30812 30814 26693 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471209748904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30821] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30821/stat : 30821 (java) S 30812 30814 26693 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471208696616 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30822] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30822/stat : 30822 (java) S 30812 30814 26693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471207643816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30823] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30823/stat : 30823 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471206591528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30824] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30824/stat : 30824 (java) S 30812 30814 26693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471205538728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30825] ppid=30812 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30814/task/30825/stat : 30825 (java) S 30812 30814 26693 0 -1 4202560 36 0 0 0 1 0 0 0 20 0 19 0 291530613 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471075567848 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30826] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30826/stat : 30826 (java) S 30812 30814 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471074513912 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30827] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30827/stat : 30827 (java) S 30812 30814 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471073461512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30828] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30828/stat : 30828 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471072410000 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30829] ppid=30812 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/30814/task/30829/stat : 30829 (java) S 30812 30814 26693 0 -1 4202560 4161 0 0 0 47 0 0 0 20 0 19 0 291530616 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471071357624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30830] ppid=30812 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/30814/task/30830/stat : 30830 (java) S 30812 30814 26693 0 -1 4202560 4011 0 0 0 46 2 0 0 20 0 19 0 291530616 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471070304824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30831] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30831/stat : 30831 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471069252728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30832] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30832/stat : 30832 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140471068200136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30833] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30833/stat : 30833 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530646 9855979520 25500 33554432000 1073741824 1073778376 140736402603264 140470059525032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9624980

[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 30833
/proc/meminfo: memFree=30943852/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9624980 CPUtime=4.19 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 11956 0 1 0 412 7 0 0 20 0 19 0 291530611 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2406245 31653 2285 9 0 2396937 0
[pid=30814/tid=30815] ppid=30812 vsize=9624980 CPUtime=2.98 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2480 0 1 0 296 2 0 0 20 0 19 0 291530611 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471251415272 140471083648587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30817] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30817/stat : 30817 (java) S 30812 30814 26693 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471212906792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30818] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30818/stat : 30818 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471211853992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30819] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30819/stat : 30819 (java) S 30812 30814 26693 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471210801704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30820] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30820/stat : 30820 (java) S 30812 30814 26693 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471209748904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30821] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30821/stat : 30821 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471208696616 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30822] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30822/stat : 30822 (java) S 30812 30814 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471207643816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30823] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30823/stat : 30823 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471206591528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30824] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30824/stat : 30824 (java) S 30812 30814 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471205538728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30825] ppid=30812 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/30814/task/30825/stat : 30825 (java) S 30812 30814 26693 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 19 0 291530613 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471075567848 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30826] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30826/stat : 30826 (java) S 30812 30814 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471074513912 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30827] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30827/stat : 30827 (java) S 30812 30814 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471073461512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30828] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30828/stat : 30828 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471072410000 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30829] ppid=30812 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/30814/task/30829/stat : 30829 (java) S 30812 30814 26693 0 -1 4202560 4162 0 0 0 50 0 0 0 20 0 19 0 291530616 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471071357624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30830] ppid=30812 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/30814/task/30830/stat : 30830 (java) S 30812 30814 26693 0 -1 4202560 4011 0 0 0 48 2 0 0 20 0 19 0 291530616 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471070304824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30831] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30831/stat : 30831 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471069252728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30832] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30832/stat : 30832 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140471068200136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30833] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30833/stat : 30833 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530646 9855979520 31653 33554432000 1073741824 1073778376 140736402603264 140470059525032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9624980

[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 30833
/proc/meminfo: memFree=30935412/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9624980 CPUtime=7.49 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 11993 0 1 0 741 8 0 0 20 0 19 0 291530611 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2406245 34203 2285 9 0 2396937 0
[pid=30814/tid=30815] ppid=30812 vsize=9624980 CPUtime=6.09 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2482 0 1 0 607 2 0 0 20 0 19 0 291530611 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471251415312 140471083648478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30817] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30817/stat : 30817 (java) S 30812 30814 26693 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471212906792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30818] ppid=30812 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30814/task/30818/stat : 30818 (java) S 30812 30814 26693 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471211853992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30819] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30819/stat : 30819 (java) S 30812 30814 26693 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471210801704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30820] ppid=30812 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30814/task/30820/stat : 30820 (java) S 30812 30814 26693 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471209748904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30821] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30821/stat : 30821 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471208696616 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30822] ppid=30812 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30814/task/30822/stat : 30822 (java) S 30812 30814 26693 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471207643816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30823] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30823/stat : 30823 (java) S 30812 30814 26693 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471206591528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30824] ppid=30812 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30814/task/30824/stat : 30824 (java) S 30812 30814 26693 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 291530612 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471205538728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30825] ppid=30812 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/30814/task/30825/stat : 30825 (java) S 30812 30814 26693 0 -1 4202560 42 0 0 0 11 0 0 0 20 0 19 0 291530613 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471075567848 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30826] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30826/stat : 30826 (java) S 30812 30814 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471074513912 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30827] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30827/stat : 30827 (java) S 30812 30814 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471073461512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30828] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30828/stat : 30828 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471072410000 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30829] ppid=30812 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/30814/task/30829/stat : 30829 (java) S 30812 30814 26693 0 -1 4202560 4163 0 0 0 55 0 0 0 20 0 19 0 291530616 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471071357624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30830] ppid=30812 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/30814/task/30830/stat : 30830 (java) S 30812 30814 26693 0 -1 4202560 4012 0 0 0 49 2 0 0 20 0 19 0 291530616 9855979520 34203 33554432000 1073741824 1073778376 140736402603264 140471070304824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=30814/tid=30829] ppid=30812 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/30814/task/30829/stat : 30829 (java) S 30812 30814 26693 0 -1 4202560 4167 0 0 0 57 0 0 0 20 0 19 0 291530616 9855979520 483868 33554432000 1073741824 1073778376 140736402603264 140471071357624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30830] ppid=30812 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/30814/task/30830/stat : 30830 (java) S 30812 30814 26693 0 -1 4202560 4012 0 0 0 49 2 0 0 20 0 19 0 291530616 9855979520 483868 33554432000 1073741824 1073778376 140736402603264 140471070304824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30831] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30831/stat : 30831 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 483868 33554432000 1073741824 1073778376 140736402603264 140471069252728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30832] ppid=30812 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/30814/task/30832/stat : 30832 (java) S 30812 30814 26693 0 -1 4202560 97 0 0 0 45 40 0 0 20 0 19 0 291530616 9855979520 483868 33554432000 1073741824 1073778376 140736402603264 140471068200136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30833] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30833/stat : 30833 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530646 9855979520 483868 33554432000 1073741824 1073778376 140736402603264 140470059525032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.44
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.35 2.20 2.11 3/216 32555
/proc/meminfo: memFree=28200084/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9624980 CPUtime=1741.33 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 21243 0 1 0 173801 332 0 0 20 0 19 0 291530611 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2406245 508047 2286 9 0 2396937 0
[pid=30814/tid=30815] ppid=30812 vsize=9624980 CPUtime=1703.09 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2786 0 1 0 170280 29 0 0 20 0 19 0 291530611 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471251415312 140471083676717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30817] ppid=30812 vsize=9624980 CPUtime=3.06 cores=1,3,5,7
/proc/30814/task/30817/stat : 30817 (java) S 30812 30814 26693 0 -1 4202560 991 0 0 0 267 39 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471212906792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30818] ppid=30812 vsize=9624980 CPUtime=3.12 cores=1,3,5,7
/proc/30814/task/30818/stat : 30818 (java) S 30812 30814 26693 0 -1 4202560 844 0 0 0 273 39 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471211853992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30819] ppid=30812 vsize=9624980 CPUtime=2.83 cores=1,3,5,7
/proc/30814/task/30819/stat : 30819 (java) S 30812 30814 26693 0 -1 4202560 1008 0 0 0 251 32 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471210801704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30820] ppid=30812 vsize=9624980 CPUtime=2.86 cores=1,3,5,7
/proc/30814/task/30820/stat : 30820 (java) S 30812 30814 26693 0 -1 4202560 999 0 0 0 253 33 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471209748904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30821] ppid=30812 vsize=9624980 CPUtime=3.06 cores=1,3,5,7
/proc/30814/task/30821/stat : 30821 (java) S 30812 30814 26693 0 -1 4202560 898 0 0 0 269 37 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471208696616 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30822] ppid=30812 vsize=9624980 CPUtime=2.91 cores=1,3,5,7
/proc/30814/task/30822/stat : 30822 (java) S 30812 30814 26693 0 -1 4202560 1099 0 0 0 254 37 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471207643816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30823] ppid=30812 vsize=9624980 CPUtime=2.79 cores=1,3,5,7
/proc/30814/task/30823/stat : 30823 (java) S 30812 30814 26693 0 -1 4202560 816 0 0 0 246 33 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471206591528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30824] ppid=30812 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/30814/task/30824/stat : 30824 (java) S 30812 30814 26693 0 -1 4202560 906 0 0 0 270 32 0 0 20 0 19 0 291530612 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471205538728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30825] ppid=30812 vsize=9624980 CPUtime=8.31 cores=1,3,5,7
/proc/30814/task/30825/stat : 30825 (java) S 30812 30814 26693 0 -1 4202560 1431 0 0 0 826 5 0 0 20 0 19 0 291530613 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471075567848 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30826] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30826/stat : 30826 (java) S 30812 30814 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471074513912 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30827] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30827/stat : 30827 (java) S 30812 30814 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471073461512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30828] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30828/stat : 30828 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471072410000 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30829] ppid=30812 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/30814/task/30829/stat : 30829 (java) S 30812 30814 26693 0 -1 4202560 4167 0 0 0 57 0 0 0 20 0 19 0 291530616 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471071357624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30830] ppid=30812 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/30814/task/30830/stat : 30830 (java) S 30812 30814 26693 0 -1 4202560 4012 0 0 0 49 2 0 0 20 0 19 0 291530616 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471070304824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30831] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30831/stat : 30831 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471069252728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30832] ppid=30812 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/30814/task/30832/stat : 30832 (java) S 30812 30814 26693 0 -1 4202560 99 0 0 0 48 41 0 0 20 0 19 0 291530616 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140471068200136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30833] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30833/stat : 30833 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530646 9855979520 508047 33554432000 1073741824 1073778376 140736402603264 140470059525032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.33
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.3 s]
/proc/loadavg: 2.08 2.15 2.09 4/215 32614
/proc/meminfo: memFree=28783896/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9624980 CPUtime=1800.1 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 21400 0 1 0 179663 347 0 0 20 0 19 0 291530611 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2406245 525940 2286 9 0 2396937 0
[pid=30814/tid=30815] ppid=30812 vsize=9624980 CPUtime=1760.43 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2788 0 1 0 176012 31 0 0 20 0 19 0 291530611 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471251415312 140471083648587 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30817] ppid=30812 vsize=9624980 CPUtime=3.18 cores=1,3,5,7
/proc/30814/task/30817/stat : 30817 (java) S 30812 30814 26693 0 -1 4202560 1004 0 0 0 278 40 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471212906792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30818] ppid=30812 vsize=9624980 CPUtime=3.2 cores=1,3,5,7
/proc/30814/task/30818/stat : 30818 (java) S 30812 30814 26693 0 -1 4202560 856 0 0 0 281 39 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471211853992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30819] ppid=30812 vsize=9624980 CPUtime=2.91 cores=1,3,5,7
/proc/30814/task/30819/stat : 30819 (java) S 30812 30814 26693 0 -1 4202560 1018 0 0 0 258 33 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471210801704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30820] ppid=30812 vsize=9624980 CPUtime=2.96 cores=1,3,5,7
/proc/30814/task/30820/stat : 30820 (java) S 30812 30814 26693 0 -1 4202560 1011 0 0 0 262 34 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471209748904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30821] ppid=30812 vsize=9624980 CPUtime=3.12 cores=1,3,5,7
/proc/30814/task/30821/stat : 30821 (java) S 30812 30814 26693 0 -1 4202560 909 0 0 0 275 37 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471208696616 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30822] ppid=30812 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/30814/task/30822/stat : 30822 (java) S 30812 30814 26693 0 -1 4202560 1121 0 0 0 264 38 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471207643816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30823] ppid=30812 vsize=9624980 CPUtime=3.04 cores=1,3,5,7
/proc/30814/task/30823/stat : 30823 (java) S 30812 30814 26693 0 -1 4202560 851 0 0 0 268 36 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471206591528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30824] ppid=30812 vsize=9624980 CPUtime=3.18 cores=1,3,5,7
/proc/30814/task/30824/stat : 30824 (java) S 30812 30814 26693 0 -1 4202560 940 0 0 0 283 35 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471205538728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30825] ppid=30812 vsize=9624980 CPUtime=8.57 cores=1,3,5,7
/proc/30814/task/30825/stat : 30825 (java) S 30812 30814 26693 0 -1 4202560 1433 0 0 0 852 5 0 0 20 0 19 0 291530613 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471075567848 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30826] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30826/stat : 30826 (java) S 30812 30814 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471074513912 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30827] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30827/stat : 30827 (java) S 30812 30814 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471073461512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30828] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30828/stat : 30828 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471072410000 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30829] ppid=30812 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/30814/task/30829/stat : 30829 (java) S 30812 30814 26693 0 -1 4202560 4167 0 0 0 57 0 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471071357624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30830] ppid=30812 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/30814/task/30830/stat : 30830 (java) S 30812 30814 26693 0 -1 4202560 4012 0 0 0 49 2 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471070304824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30831] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30831/stat : 30831 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471069252728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30832] ppid=30812 vsize=9624980 CPUtime=0.92 cores=1,3,5,7
/proc/30814/task/30832/stat : 30832 (java) S 30812 30814 26693 0 -1 4202560 103 0 0 0 49 43 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471068200136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30833] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30833/stat : 30833 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530646 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140470059525032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1780.3 s]
/proc/loadavg: 2.08 2.15 2.09 4/215 32614
/proc/meminfo: memFree=28783896/32873844 swapFree=7112/7112
[pid=30814] ppid=30812 vsize=9624980 CPUtime=1800.1 cores=1,3,5,7
/proc/30814/stat : 30814 (java) S 30812 30814 26693 0 -1 4202496 21400 0 1 0 179663 347 0 0 20 0 19 0 291530611 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140736402594400 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30814/statm: 2406245 525940 2286 9 0 2396937 0
[pid=30814/tid=30815] ppid=30812 vsize=9624980 CPUtime=1760.43 cores=1,3,5,7
/proc/30814/task/30815/stat : 30815 (java) R 30812 30814 26693 0 -1 4202560 2788 0 1 0 176012 31 0 0 20 0 19 0 291530611 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471251415312 140471083648587 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30817] ppid=30812 vsize=9624980 CPUtime=3.18 cores=1,3,5,7
/proc/30814/task/30817/stat : 30817 (java) S 30812 30814 26693 0 -1 4202560 1004 0 0 0 278 40 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471212906792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30818] ppid=30812 vsize=9624980 CPUtime=3.2 cores=1,3,5,7
/proc/30814/task/30818/stat : 30818 (java) S 30812 30814 26693 0 -1 4202560 856 0 0 0 281 39 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471211853992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30819] ppid=30812 vsize=9624980 CPUtime=2.91 cores=1,3,5,7
/proc/30814/task/30819/stat : 30819 (java) S 30812 30814 26693 0 -1 4202560 1018 0 0 0 258 33 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471210801704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30820] ppid=30812 vsize=9624980 CPUtime=2.96 cores=1,3,5,7
/proc/30814/task/30820/stat : 30820 (java) S 30812 30814 26693 0 -1 4202560 1011 0 0 0 262 34 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471209748904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30821] ppid=30812 vsize=9624980 CPUtime=3.12 cores=1,3,5,7
/proc/30814/task/30821/stat : 30821 (java) S 30812 30814 26693 0 -1 4202560 909 0 0 0 275 37 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471208696616 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30822] ppid=30812 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/30814/task/30822/stat : 30822 (java) S 30812 30814 26693 0 -1 4202560 1121 0 0 0 264 38 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471207643816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30814/tid=30823] ppid=30812 vsize=9624980 CPUtime=3.04 cores=1,3,5,7
/proc/30814/task/30823/stat : 30823 (java) S 30812 30814 26693 0 -1 4202560 851 0 0 0 268 36 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471206591528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30824] ppid=30812 vsize=9624980 CPUtime=3.18 cores=1,3,5,7
/proc/30814/task/30824/stat : 30824 (java) S 30812 30814 26693 0 -1 4202560 940 0 0 0 283 35 0 0 20 0 19 0 291530612 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471205538728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30825] ppid=30812 vsize=9624980 CPUtime=8.57 cores=1,3,5,7
/proc/30814/task/30825/stat : 30825 (java) S 30812 30814 26693 0 -1 4202560 1433 0 0 0 852 5 0 0 20 0 19 0 291530613 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471075567848 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30826] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30826/stat : 30826 (java) S 30812 30814 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471074513912 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30827] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30827/stat : 30827 (java) S 30812 30814 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291530614 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471073461512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30828] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30828/stat : 30828 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471072410000 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30829] ppid=30812 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/30814/task/30829/stat : 30829 (java) S 30812 30814 26693 0 -1 4202560 4167 0 0 0 57 0 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471071357624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30814/tid=30830] ppid=30812 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/30814/task/30830/stat : 30830 (java) S 30812 30814 26693 0 -1 4202560 4012 0 0 0 49 2 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471070304824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30831] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30831/stat : 30831 (java) S 30812 30814 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471069252728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30814/tid=30832] ppid=30812 vsize=9624980 CPUtime=0.92 cores=1,3,5,7
/proc/30814/task/30832/stat : 30832 (java) S 30812 30814 26693 0 -1 4202560 103 0 0 0 49 43 0 0 20 0 19 0 291530616 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140471068200136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30814/tid=30833] ppid=30812 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30814/task/30833/stat : 30833 (java) S 30812 30814 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291530646 9855979520 525940 33554432000 1073741824 1073778376 140736402603264 140470059525032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624980

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30814 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=118556
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=882409
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1780.38
CPU time (s): 1800.1
CPU user time (s): 1796.63
CPU system time (s): 3.47
CPU usage (%): 101.108
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.12
system time used= 3.88241
maximum resident set size= 2103888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21436
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40279
involuntary context switches= 19262

runsolver used 11.6312 second user time and 11.8932 second system time

The end

Begin job on node132 at 2012-05-29 03:14:13
IDJOB=3718455
IDBENCH=79182
IDSOLVER=2301
FILE ID=node132/3718455-1338254053
RUNJOBID= node132-1338248099-29405
PBS_JOBID= 14624620
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718455-1338254053/watcher-3718455-1338254053 -o /tmp/evaluation-result-3718455-1338254053/solver-3718455-1338254053 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718455-1338254053.wbo

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

MD5SUM BENCH= 0a60736b8b79adacf122a04a37158c9c
RANDOM SEED=630850931

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
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	: 5332.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		: 2666.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31056656 kB
Buffers:          495524 kB
Cached:           254484 kB
SwapCached:         2112 kB
Active:           582748 kB
Inactive:         330408 kB
Active(anon):     155712 kB
Inactive(anon):     7640 kB
Active(file):     427036 kB
Inactive(file):   322768 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:              1016 kB
Writeback:             0 kB
AnonPages:        223324 kB
Mapped:            19304 kB
Shmem:                 8 kB
Slab:             754416 kB
SReclaimable:     195848 kB
SUnreclaim:       558568 kB
KernelStack:        1784 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node132 at 2012-05-29 03:43:55