Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 4527423 | 1800 | 1793.66 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_3.opb |
| MD5SUM | e8b41d97566c10d69baac452b7d02eb7 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4527423 |
| Best CPU time to get the best result obtained on this benchmark | 1800 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 171879616 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 85431562646 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 171879616 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 85431562646 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085009-1465348320.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 1.02/0.55 c ... done. Wall clock time 0.437s. 1.02/0.55 c declared #vars 9940 1.02/0.55 c #constraints 24512 1.02/0.55 c constraints type 1.02/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.02/0.55 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.02/0.55 c org.sat4j.specs.Constr$1 => 2 1.02/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.02/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.02/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.02/0.55 c 24512 constraints processed. 1.02/0.55 c objective function length is 9730 literals 1.98/0.91 c SATISFIABLE 1.98/0.91 c OPTIMIZING... 1.98/0.91 c Got one! Elapsed wall clock time (in seconds):0.794 1.98/0.91 o 16502591 2.17/1.07 c Got one! Elapsed wall clock time (in seconds):0.958 2.17/1.07 o 6786101 2.51/1.20 c Got one! Elapsed wall clock time (in seconds):1.09 2.51/1.20 o 5629591 2.51/1.28 c Got one! Elapsed wall clock time (in seconds):1.17 2.51/1.28 o 4797435 2.68/1.32 c Got one! Elapsed wall clock time (in seconds):1.201 2.68/1.32 o 4718377 2.68/1.34 c Got one! Elapsed wall clock time (in seconds):1.228 2.68/1.34 o 4535839 2.68/1.37 c Got one! Elapsed wall clock time (in seconds):1.254 2.68/1.37 o 4535053 2.68/1.39 c Got one! Elapsed wall clock time (in seconds):1.278 2.68/1.39 o 4534027 2.84/1.42 c Got one! Elapsed wall clock time (in seconds):1.301 2.84/1.42 o 4531869 2.84/1.46 c Got one! Elapsed wall clock time (in seconds):1.346 2.84/1.46 o 4529385 2.84/1.48 c Got one! Elapsed wall clock time (in seconds):1.37 2.84/1.48 o 4527423 5.06/3.62 c cleaning 2812 clauses out of 5651 with flag 10331/5651 7.53/6.05 c cleaning 4402 clauses out of 8840 with flag 22734/11652 10.57/9.09 c cleaning 5719 clauses out of 11437 with flag 37446/18651 15.89/14.32 c cleaning 6860 clauses out of 13720 with flag 59591/26653 22.21/20.70 c cleaning 7929 clauses out of 15858 with flag 87649/35651 30.11/28.55 c cleaning 8965 clauses out of 17930 with flag 121069/45652 40.12/38.58 c cleaning 9979 clauses out of 19965 with flag 163042/56652 55.99/54.37 c cleaning 10992 clauses out of 21985 with flag 228860/68651 68.19/66.53 c cleaning 11993 clauses out of 23995 with flag 287443/81653 77.29/75.62 c cleaning 12994 clauses out of 26002 with flag 334675/95653 90.21/88.45 c cleaning 14002 clauses out of 28007 with flag 401227/110652 96.24/94.40 c cleaning 14979 clauses out of 29968 with flag 467241/126651 100.73/98.97 c cleaning 15988 clauses out of 31989 with flag 501282/143651 105.83/104.02 c cleaning 16987 clauses out of 34001 with flag 537351/161651 111.03/109.25 c cleaning 17996 clauses out of 36014 with flag 575542/180651 116.73/114.83 c cleaning 18998 clauses out of 38019 with flag 615692/200652 123.10/121.15 c cleaning 19993 clauses out of 40005 with flag 661800/221651 129.55/127.27 c cleaning 20995 clauses out of 42013 with flag 708070/243652 136.15/133.83 c cleaning 22001 clauses out of 44019 with flag 756644/266653 142.95/140.63 c cleaning 22999 clauses out of 46016 with flag 807163/290651 150.05/147.72 c cleaning 23994 clauses out of 48017 with flag 857727/315651 158.07/155.66 c cleaning 25005 clauses out of 50015 with flag 912765/341651 165.97/163.55 c cleaning 25998 clauses out of 52011 with flag 967253/368652 174.38/171.96 c cleaning 26995 clauses out of 54013 with flag 1025937/396652 183.57/181.20 c cleaning 28003 clauses out of 56017 with flag 1095038/425651 191.37/188.93 c cleaning 29002 clauses out of 58015 with flag 1157209/455652 199.94/197.31 c cleaning 29997 clauses out of 60013 with flag 1219762/486652 208.73/206.14 c cleaning 31003 clauses out of 62015 with flag 1284386/518651 217.83/215.21 c cleaning 31999 clauses out of 64012 with flag 1350764/551651 228.03/225.44 c cleaning 33001 clauses out of 66013 with flag 1418916/585651 238.24/235.67 c cleaning 34000 clauses out of 68005 with flag 1493941/620652 248.46/245.76 c cleaning 34992 clauses out of 70004 with flag 1568514/656651 258.56/255.82 c cleaning 36004 clauses out of 72013 with flag 1645549/693652 268.86/266.11 c cleaning 37001 clauses out of 74008 with flag 1723177/731651 279.97/277.23 c cleaning 37995 clauses out of 76007 with flag 1803996/770651 292.50/289.62 c cleaning 38956 clauses out of 77930 with flag 1908621/810651 303.51/300.62 c cleaning 39981 clauses out of 79975 with flag 1993142/851652 315.42/312.54 c cleaning 40984 clauses out of 81994 with flag 2079787/893652 327.72/324.70 c cleaning 41997 clauses out of 84009 with flag 2166149/936651 340.32/337.39 c cleaning 42993 clauses out of 86012 with flag 2254453/980651 353.52/350.52 c cleaning 44003 clauses out of 88019 with flag 2344744/1025651 367.32/364.22 c cleaning 45001 clauses out of 90017 with flag 2436941/1071652 381.31/378.20 c cleaning 45999 clauses out of 92016 with flag 2531205/1118652 394.83/391.72 c cleaning 47003 clauses out of 94017 with flag 2627810/1166652 408.98/405.84 c cleaning 48002 clauses out of 96013 with flag 2726737/1215651 423.49/420.31 c cleaning 49002 clauses out of 98012 with flag 2827555/1265652 438.67/435.45 c cleaning 50001 clauses out of 100009 with flag 2930160/1316651 453.67/450.44 c cleaning 50998 clauses out of 102008 with flag 3034593/1368651 469.37/466.13 c cleaning 52001 clauses out of 104010 with flag 3141117/1421651 486.71/483.31 c cleaning 52995 clauses out of 106009 with flag 3249593/1475651 504.12/500.70 c cleaning 54003 clauses out of 108016 with flag 3360010/1530653 522.59/519.19 c cleaning 55001 clauses out of 110011 with flag 3472427/1586651 541.40/537.98 c cleaning 56006 clauses out of 112011 with flag 3586860/1643652 560.97/557.44 c cleaning 57001 clauses out of 114005 with flag 3703251/1701652 578.87/575.40 c cleaning 57992 clauses out of 116005 with flag 3821761/1760653 599.16/595.51 c cleaning 58993 clauses out of 118000 with flag 3952872/1820651 618.26/614.60 c cleaning 59996 clauses out of 120005 with flag 4085408/1881652 640.66/636.93 c cleaning 60973 clauses out of 121960 with flag 4241524/1943651 660.25/656.52 c cleaning 61982 clauses out of 123987 with flag 4369669/2006652 679.21/675.45 c cleaning 62994 clauses out of 126005 with flag 4507035/2070652 699.11/695.35 c cleaning 64000 clauses out of 128010 with flag 4647061/2135651 719.37/715.51 c cleaning 64997 clauses out of 130011 with flag 4782513/2201652 740.45/736.55 c cleaning 65994 clauses out of 132014 with flag 4921408/2268652 762.87/758.93 c cleaning 67002 clauses out of 134020 with flag 5071996/2336652 785.30/781.37 c cleaning 68003 clauses out of 136017 with flag 5225171/2405651 807.39/803.35 c cleaning 69003 clauses out of 138015 with flag 5384232/2475652 830.39/826.37 c cleaning 69991 clauses out of 139999 with flag 5545669/2546651 852.44/848.36 c cleaning 70999 clauses out of 142008 with flag 5690748/2618651 874.71/870.58 c cleaning 71995 clauses out of 144009 with flag 5841475/2691651 899.82/895.59 c cleaning 73003 clauses out of 146014 with flag 5990154/2765651 925.60/921.36 c cleaning 74001 clauses out of 148011 with flag 6140704/2840651 952.17/947.85 c cleaning 75001 clauses out of 150011 with flag 6293293/2916652 979.62/975.20 c cleaning 76001 clauses out of 152009 with flag 6447879/2993651 1007.95/1003.53 c cleaning 76995 clauses out of 154009 with flag 6604842/3071652 1031.21/1026.73 c cleaning 78001 clauses out of 156009 with flag 6767130/3150651 1059.97/1055.40 c cleaning 78994 clauses out of 158008 with flag 6931895/3230651 1088.51/1083.90 c cleaning 80000 clauses out of 160015 with flag 7095415/3311652 1120.48/1115.80 c cleaning 81001 clauses out of 162014 with flag 7260354/3393651 1151.86/1147.12 c cleaning 82002 clauses out of 164014 with flag 7429856/3476652 1182.83/1178.06 c cleaning 82994 clauses out of 166011 with flag 7601848/3560651 1215.21/1210.35 c cleaning 84001 clauses out of 168018 with flag 7773321/3645652 1247.22/1242.38 c cleaning 84996 clauses out of 170017 with flag 7946482/3731652 1281.24/1276.25 c cleaning 86009 clauses out of 172020 with flag 8126166/3818651 1317.43/1312.31 c cleaning 87000 clauses out of 174011 with flag 8303291/3906651 1354.90/1349.78 c cleaning 88000 clauses out of 176012 with flag 8482213/3995652 1392.09/1386.81 c cleaning 89003 clauses out of 178013 with flag 8663244/4085653 1430.01/1424.73 c cleaning 89994 clauses out of 180009 with flag 8846772/4176652 1466.16/1460.78 c cleaning 90997 clauses out of 182014 with flag 9032916/4268651 1505.89/1500.36 c cleaning 91996 clauses out of 184017 with flag 9219839/4361651 1542.15/1536.52 c cleaning 93002 clauses out of 186022 with flag 9409476/4455652 1581.05/1575.34 c cleaning 94003 clauses out of 188019 with flag 9621097/4550651 1621.99/1616.13 c cleaning 95004 clauses out of 190017 with flag 9821951/4646652 1665.16/1659.14 c cleaning 96005 clauses out of 192012 with flag 10028965/4743651 1707.70/1701.61 c cleaning 96995 clauses out of 194007 with flag 10232461/4841651 1753.48/1747.21 c cleaning 98000 clauses out of 196013 with flag 10438592/4940652 1796.00/1789.61 c cleaning 99001 clauses out of 198013 with flag 10641016/5040652 1800.00/1793.60 c starts : 635 1800.00/1793.60 c conflicts : 5054246 1800.00/1793.60 c decisions : 5755071 1800.00/1793.60 c propagations : 87209481 1800.00/1793.60 c inspects : 13951089674 1800.00/1793.60 c shortcuts : 0 1800.00/1793.60 c learnt literals : 228 1800.00/1793.60 c learnt binary clauses : 60 1800.00/1793.60 c learnt ternary clauses : 723 1800.00/1793.60 c learnt constraints : 5054018 1800.00/1793.60 c ignored constraints : 0 1800.00/1793.60 c root simplifications : 0 1800.00/1793.60 c removed literals (reason simplification) : 0 1800.00/1793.60 c reason swapping (by a shorter reason) : 0 1800.00/1793.60 c Calls to reduceDB : 96 1800.00/1793.60 c Number of update (reduction) of LBD : 49239 1800.00/1793.60 c Imported unit clauses : 0 1800.00/1793.60 c number of reductions to clauses (during analyze) : 0 1800.00/1793.60 c number of learned constraints concerned by reduction : 0 1800.00/1793.60 c number of learning phase by resolution : 0 1800.00/1793.60 c number of learning phase by cutting planes : 0 1800.00/1793.60 c speed (assignments/second) : 48638.48302355698 1800.00/1793.60 c non guided choices 286 1800.00/1793.63 c learnt constraints type 1800.00/1793.63 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 60 1800.00/1793.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 112546 1800.00/1793.63 s SATISFIABLE 1800.00/1793.63 c Found 11 solution(s) 1800.00/1793.64 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 1800.00/1793.65 c objective function=4527423 1800.00/1793.65 c Total wall clock time (in seconds): 1793.534
OK 4527423
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4085009-1465348320/watcher-4085009-1465348320 -o /tmp/evaluation-result-4085009-1465348320/solver-4085009-1465348320 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465339364-19292 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085009-1465348320.opb pid=20220 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.18 2.24 2.20 3/195 20223 /proc/meminfo: memFree=29252068/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/20223/stat : 20223 (java) R 20220 20223 19275 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 116765627 9515008 184 33554432000 1073741824 1073778376 140736114067440 140736114058664 266435456439 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2323 184 142 9 0 71 0 [startup+0.100059 s] /proc/loadavg: 2.18 2.24 2.20 3/195 20223 /proc/meminfo: memFree=29252068/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 116765627 9787879424 6023 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2389619 6023 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200225 s] /proc/loadavg: 2.18 2.24 2.20 3/195 20223 /proc/meminfo: memFree=29252068/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 5059 0 1 0 27 1 0 0 20 0 18 0 116765627 9787879424 6930 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2389619 6930 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300237 s] /proc/loadavg: 2.18 2.24 2.20 3/195 20223 /proc/meminfo: memFree=29252068/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9558476 CPUtime=0.51 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 7580 0 1 0 49 2 0 0 20 0 18 0 116765627 9787879424 11667 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2389619 11667 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700186 s] /proc/loadavg: 2.18 2.24 2.20 3/195 20223 /proc/meminfo: memFree=29252068/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9625040 CPUtime=1.61 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 13467 0 1 0 158 3 0 0 20 0 19 0 116765627 9856040960 25811 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2406260 25811 2263 9 0 2396937 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9625040 [startup+1.50083 s] /proc/loadavg: 2.18 2.24 2.20 5/214 20242 /proc/meminfo: memFree=29149332/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9625040 CPUtime=2.95 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 13497 0 1 0 291 4 0 0 20 0 19 0 116765627 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2406260 36060 2271 9 0 2396937 0 [pid=20223/tid=20225] ppid=20220 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/20223/task/20225/stat : 20225 (java) R 20220 20223 19275 0 -1 4202560 2454 0 1 0 143 2 0 0 20 0 19 0 116765628 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841749815600 139841602611562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20226] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20226/stat : 20226 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841722276008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20227] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20227/stat : 20227 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841721223464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20228] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20228/stat : 20228 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841590831528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20229] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20229/stat : 20229 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841589778984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20230] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20230/stat : 20230 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841588726440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20231] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20231/stat : 20231 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841587673896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20232] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20232/stat : 20232 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841586621352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20233] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20233/stat : 20233 (java) S 20220 20223 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841115253800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20234] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20234/stat : 20234 (java) S 20220 20223 19275 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841103054952 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20235] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20235/stat : 20235 (java) S 20220 20223 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841102001272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20236] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20236/stat : 20236 (java) S 20220 20223 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841100948616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20237] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20237/stat : 20237 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841099897360 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20238] ppid=20220 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/20223/task/20238/stat : 20238 (java) S 20220 20223 19275 0 -1 4202560 4702 0 0 0 73 0 0 0 20 0 19 0 116765633 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841098844728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20239] ppid=20220 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/20223/task/20239/stat : 20239 (java) S 20220 20223 19275 0 -1 4202560 5065 0 0 0 71 0 0 0 20 0 19 0 116765633 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841097792184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20240] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20240/stat : 20240 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841096739832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20241] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20241/stat : 20241 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841095687496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20242] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20242/stat : 20242 (java) S 20220 20223 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116765686 9856040960 36060 33554432000 1073741824 1073778376 140736779683200 139841094533928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 9625040 [startup+3.10072 s] /proc/loadavg: 2.18 2.24 2.20 3/214 20242 /proc/meminfo: memFree=29111468/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9625040 CPUtime=4.55 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 13501 0 1 0 451 4 0 0 20 0 19 0 116765627 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2406260 37596 2271 9 0 2396937 0 [pid=20223/tid=20225] ppid=20220 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/20223/task/20225/stat : 20225 (java) R 20220 20223 19275 0 -1 4202560 2458 0 1 0 303 2 0 0 20 0 19 0 116765628 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841749823864 139841602694900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20226] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20226/stat : 20226 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841722276008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20227] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20227/stat : 20227 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841721223464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20228] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20228/stat : 20228 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841590831528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20229] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20229/stat : 20229 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841589778984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20230] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20230/stat : 20230 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841588726440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20231] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20231/stat : 20231 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841587673896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20232] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20232/stat : 20232 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841586621352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20233] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20233/stat : 20233 (java) S 20220 20223 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841115253800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20234] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20234/stat : 20234 (java) S 20220 20223 19275 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841103054952 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20235] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20235/stat : 20235 (java) S 20220 20223 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841102001272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20236] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20236/stat : 20236 (java) S 20220 20223 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841100948616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20237] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20237/stat : 20237 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841099897360 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20238] ppid=20220 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/20223/task/20238/stat : 20238 (java) S 20220 20223 19275 0 -1 4202560 4702 0 0 0 73 0 0 0 20 0 19 0 116765633 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841098844728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20239] ppid=20220 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/20223/task/20239/stat : 20239 (java) S 20220 20223 19275 0 -1 4202560 5065 0 0 0 72 0 0 0 20 0 19 0 116765633 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841097792184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20240] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20240/stat : 20240 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841096739832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20241] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20241/stat : 20241 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841095687496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20242] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20242/stat : 20242 (java) S 20220 20223 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116765686 9856040960 37596 33554432000 1073741824 1073778376 140736779683200 139841094533928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.55 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.17 2.24 2.19 4/214 20242 /proc/meminfo: memFree=29099032/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9625040 CPUtime=7.83 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 13514 0 1 0 778 5 0 0 20 0 19 0 116765627 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2406260 40665 2276 9 0 2396937 0 [pid=20223/tid=20225] ppid=20220 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/20223/task/20225/stat : 20225 (java) R 20220 20223 19275 0 -1 4202560 2465 0 1 0 621 3 0 0 20 0 19 0 116765628 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841749815040 139841602776918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20226] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20226/stat : 20226 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841722276008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20227] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20227/stat : 20227 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841721223464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20228] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20228/stat : 20228 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841590831528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20229] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20229/stat : 20229 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841589778984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20230] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20230/stat : 20230 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841588726440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20231] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20231/stat : 20231 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841587673896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20232] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20232/stat : 20232 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841586621352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20233] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20233/stat : 20233 (java) S 20220 20223 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116765629 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841115253800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20234] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20234/stat : 20234 (java) S 20220 20223 19275 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841103054952 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20235] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20235/stat : 20235 (java) S 20220 20223 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841102001272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20236] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20236/stat : 20236 (java) S 20220 20223 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841100948616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20237] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20237/stat : 20237 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841099897360 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20238] ppid=20220 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/20223/task/20238/stat : 20238 (java) S 20220 20223 19275 0 -1 4202560 4703 0 0 0 77 1 0 0 20 0 19 0 116765633 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841098844728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20239] ppid=20220 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/20223/task/20239/stat : 20239 (java) S 20220 20223 19275 0 -1 4202560 5069 0 0 0 75 0 0 0 20 0 19 0 116765633 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841097792184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20240] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20240/stat : 20240 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841096739832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20241] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20241/stat : 20241 (java) S 20220 20223 19275 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841095687496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20242] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20242/stat : 20242 (java) S 20220 20223 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116765686 9856040960 40665 33554432000 1073741824 1073778376 140736779683200 139841094533928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.83 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=20223/tid=20242] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20242/stat : 20242 (java) S 20220 20223 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116765686 9856040960 110067 33554432000 1073741824 1073778376 140736779683200 139841094533928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1668.36 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.13 2.17 2.17 3/215 20350 /proc/meminfo: memFree=28727172/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9625040 CPUtime=1728.49 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 20276 0 1 0 172770 79 0 0 20 0 19 0 116765627 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2406260 108904 2299 9 0 2396937 0 [pid=20223/tid=20225] ppid=20220 vsize=9625040 CPUtime=1715.59 cores=1,3,5,7 /proc/20223/task/20225/stat : 20225 (java) R 20220 20223 19275 0 -1 4202560 2535 0 1 0 171528 31 0 0 20 0 19 0 116765628 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841749822736 139841602558592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20226] ppid=20220 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/20223/task/20226/stat : 20226 (java) S 20220 20223 19275 0 -1 4202560 350 0 0 0 57 5 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841722276008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20227] ppid=20220 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/20223/task/20227/stat : 20227 (java) S 20220 20223 19275 0 -1 4202560 355 0 0 0 58 6 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841721223464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20228] ppid=20220 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/20223/task/20228/stat : 20228 (java) S 20220 20223 19275 0 -1 4202560 130 0 0 0 69 7 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841590831528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20229] ppid=20220 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/20223/task/20229/stat : 20229 (java) S 20220 20223 19275 0 -1 4202560 184 0 0 0 66 7 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841589778984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20230] ppid=20220 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/20223/task/20230/stat : 20230 (java) S 20220 20223 19275 0 -1 4202560 268 0 0 0 61 7 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841588726440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20231] ppid=20220 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/20223/task/20231/stat : 20231 (java) S 20220 20223 19275 0 -1 4202560 238 0 0 0 63 7 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841587673896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20232] ppid=20220 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/20223/task/20232/stat : 20232 (java) S 20220 20223 19275 0 -1 4202560 219 0 0 0 59 6 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841586621352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20233] ppid=20220 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/20223/task/20233/stat : 20233 (java) S 20220 20223 19275 0 -1 4202560 150 0 0 0 67 6 0 0 20 0 19 0 116765629 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841115253800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20234] ppid=20220 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/20223/task/20234/stat : 20234 (java) S 20220 20223 19275 0 -1 4202560 228 0 0 0 55 3 0 0 20 0 19 0 116765630 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841103054952 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20235] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20235/stat : 20235 (java) S 20220 20223 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841102001272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20236] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20236/stat : 20236 (java) S 20220 20223 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841100948616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20237] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20237/stat : 20237 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841099897360 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20238] ppid=20220 vsize=9625040 CPUtime=0.84 cores=1,3,5,7 /proc/20223/task/20238/stat : 20238 (java) S 20220 20223 19275 0 -1 4202560 4704 0 0 0 83 1 0 0 20 0 19 0 116765633 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841098844728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20239] ppid=20220 vsize=9625040 CPUtime=1.28 cores=1,3,5,7 /proc/20223/task/20239/stat : 20239 (java) S 20220 20223 19275 0 -1 4202560 9553 0 0 0 126 2 0 0 20 0 19 0 116765633 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841097792184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20240] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20240/stat : 20240 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841096739832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20241] ppid=20220 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/20223/task/20241/stat : 20241 (java) S 20220 20223 19275 0 -1 4202560 100 0 0 0 18 23 0 0 20 0 19 0 116765633 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841095687496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20242] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20242/stat : 20242 (java) S 20220 20223 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116765686 9856040960 108904 33554432000 1073741824 1073778376 140736779683200 139841094533928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1728.49 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.19 2.18 2.18 3/214 20352 /proc/meminfo: memFree=28746600/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9625040 CPUtime=1788.7 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 20403 0 1 0 178791 79 0 0 20 0 19 0 116765627 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2406260 106808 2299 9 0 2396937 0 [pid=20223/tid=20225] ppid=20220 vsize=9625040 CPUtime=1775.22 cores=1,3,5,7 /proc/20223/task/20225/stat : 20225 (java) R 20220 20223 19275 0 -1 4202560 2538 0 1 0 177491 31 0 0 20 0 19 0 116765628 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841749822736 139841602558144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20226] ppid=20220 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/20223/task/20226/stat : 20226 (java) S 20220 20223 19275 0 -1 4202560 351 0 0 0 60 5 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841722276008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20227] ppid=20220 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/20223/task/20227/stat : 20227 (java) S 20220 20223 19275 0 -1 4202560 402 0 0 0 61 6 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841721223464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20228] ppid=20220 vsize=9625040 CPUtime=0.81 cores=1,3,5,7 /proc/20223/task/20228/stat : 20228 (java) S 20220 20223 19275 0 -1 4202560 130 0 0 0 74 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841590831528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20229] ppid=20220 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/20223/task/20229/stat : 20229 (java) S 20220 20223 19275 0 -1 4202560 184 0 0 0 69 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841589778984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20230] ppid=20220 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/20223/task/20230/stat : 20230 (java) S 20220 20223 19275 0 -1 4202560 268 0 0 0 67 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841588726440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20231] ppid=20220 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/20223/task/20231/stat : 20231 (java) S 20220 20223 19275 0 -1 4202560 238 0 0 0 66 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841587673896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20232] ppid=20220 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/20223/task/20232/stat : 20232 (java) S 20220 20223 19275 0 -1 4202560 219 0 0 0 63 6 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841586621352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20233] ppid=20220 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/20223/task/20233/stat : 20233 (java) S 20220 20223 19275 0 -1 4202560 150 0 0 0 69 6 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841115253800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20234] ppid=20220 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/20223/task/20234/stat : 20234 (java) S 20220 20223 19275 0 -1 4202560 300 0 0 0 68 3 0 0 20 0 19 0 116765630 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841103054952 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20235] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20235/stat : 20235 (java) S 20220 20223 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841102001272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20236] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20236/stat : 20236 (java) S 20220 20223 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841100948616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20237] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20237/stat : 20237 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841099897360 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20238] ppid=20220 vsize=9625040 CPUtime=0.84 cores=1,3,5,7 /proc/20223/task/20238/stat : 20238 (java) S 20220 20223 19275 0 -1 4202560 4704 0 0 0 83 1 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841098844728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20239] ppid=20220 vsize=9625040 CPUtime=1.28 cores=1,3,5,7 /proc/20223/task/20239/stat : 20239 (java) S 20220 20223 19275 0 -1 4202560 9553 0 0 0 126 2 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841097792184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20240] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20240/stat : 20240 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841096739832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20241] ppid=20220 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/20223/task/20241/stat : 20241 (java) S 20220 20223 19275 0 -1 4202560 104 0 0 0 20 24 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841095687496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20242] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20242/stat : 20242 (java) S 20220 20223 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116765686 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841094533928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1788.7 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.6 s] /proc/loadavg: 2.22 2.19 2.18 3/214 20352 /proc/meminfo: memFree=28746352/32872528 swapFree=14448/1543360 [pid=20223] ppid=20220 vsize=9625040 CPUtime=1800 cores=1,3,5,7 /proc/20223/stat : 20223 (java) S 20220 20223 19275 0 -1 4202496 20403 0 1 0 179920 80 0 0 20 0 19 0 116765627 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 140736779674336 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20223/statm: 2406260 106808 2299 9 0 2396937 0 [pid=20223/tid=20225] ppid=20220 vsize=9625040 CPUtime=1786.49 cores=1,3,5,7 /proc/20223/task/20225/stat : 20225 (java) R 20220 20223 19275 0 -1 4202560 2538 0 1 0 178617 32 0 0 20 0 19 0 116765628 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841749815024 139841602776883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20226] ppid=20220 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/20223/task/20226/stat : 20226 (java) S 20220 20223 19275 0 -1 4202560 351 0 0 0 60 5 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841722276008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20227] ppid=20220 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/20223/task/20227/stat : 20227 (java) S 20220 20223 19275 0 -1 4202560 402 0 0 0 61 6 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841721223464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20228] ppid=20220 vsize=9625040 CPUtime=0.81 cores=1,3,5,7 /proc/20223/task/20228/stat : 20228 (java) S 20220 20223 19275 0 -1 4202560 130 0 0 0 74 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841590831528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20229] ppid=20220 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/20223/task/20229/stat : 20229 (java) S 20220 20223 19275 0 -1 4202560 184 0 0 0 69 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841589778984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20230] ppid=20220 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/20223/task/20230/stat : 20230 (java) S 20220 20223 19275 0 -1 4202560 268 0 0 0 67 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841588726440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20231] ppid=20220 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/20223/task/20231/stat : 20231 (java) S 20220 20223 19275 0 -1 4202560 238 0 0 0 66 7 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841587673896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20232] ppid=20220 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/20223/task/20232/stat : 20232 (java) S 20220 20223 19275 0 -1 4202560 219 0 0 0 63 6 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841586621352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20223/tid=20233] ppid=20220 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/20223/task/20233/stat : 20233 (java) S 20220 20223 19275 0 -1 4202560 150 0 0 0 69 6 0 0 20 0 19 0 116765629 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841115253800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20223/tid=20234] ppid=20220 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/20223/task/20234/stat : 20234 (java) S 20220 20223 19275 0 -1 4202560 300 0 0 0 68 3 0 0 20 0 19 0 116765630 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841103054952 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20235] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20235/stat : 20235 (java) S 20220 20223 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841102001272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20236] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20236/stat : 20236 (java) S 20220 20223 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116765630 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841100948616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20237] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20237/stat : 20237 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841099897360 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20238] ppid=20220 vsize=9625040 CPUtime=0.84 cores=1,3,5,7 /proc/20223/task/20238/stat : 20238 (java) S 20220 20223 19275 0 -1 4202560 4704 0 0 0 83 1 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841098844728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20223/tid=20239] ppid=20220 vsize=9625040 CPUtime=1.28 cores=1,3,5,7 /proc/20223/task/20239/stat : 20239 (java) S 20220 20223 19275 0 -1 4202560 9553 0 0 0 126 2 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841097792184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20240] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20240/stat : 20240 (java) S 20220 20223 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841096739832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20241] ppid=20220 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/20223/task/20241/stat : 20241 (java) S 20220 20223 19275 0 -1 4202560 104 0 0 0 20 24 0 0 20 0 19 0 116765633 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841095687496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20223/tid=20242] ppid=20220 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20223/task/20242/stat : 20242 (java) S 20220 20223 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116765686 9856040960 106808 33554432000 1073741824 1073778376 140736779683200 139841094533928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20223 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20223 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=687166 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=272806 # CPU time returned by wait4() is 1795.96 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.66 CPU time (s): 1800 CPU user time (s): 1799.2 CPU system time (s): 0.8 CPU usage (%): 100.354 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.69 system time used= 1.27281 maximum resident set size= 617216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20448 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39838 involuntary context switches= 14848 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3634 second user time and 13.143 second system time The end
Begin job on node116 at 2016-06-08 03:12:00 IDJOB=4085009 IDBENCH=92761 IDSOLVER=2546 FILE ID=node116/4085009-1465348320 RUNJOBID= node116-1465339364-19292 PBS_JOBID= 19853403 Free space on /tmp= 71640 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085009-1465348320/watcher-4085009-1465348320 -o /tmp/evaluation-result-4085009-1465348320/solver-4085009-1465348320 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465339364-19292 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085009-1465348320.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e8b41d97566c10d69baac452b7d02eb7 RANDOM SEED=73745347 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.26 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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 : 2667.134 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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 : 2667.134 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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 : 2667.134 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: 32872528 kB MemFree: 29251968 kB Buffers: 174572 kB Cached: 668044 kB SwapCached: 1868 kB Active: 740328 kB Inactive: 592592 kB Active(anon): 490144 kB Inactive(anon): 2004 kB Active(file): 250184 kB Inactive(file): 590588 kB Unevictable: 1543360 kB Mlocked: 14448 kB SwapTotal: 67108856 kB SwapFree: 67099072 kB Dirty: 1244 kB Writeback: 0 kB AnonPages: 2032076 kB Mapped: 16448 kB Shmem: 0 kB Slab: 609984 kB SReclaimable: 53988 kB SUnreclaim: 555996 kB KernelStack: 1680 kB PageTables: 7928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2194712 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2002944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71640 MiB End job on node116 at 2016-06-08 03:41:54