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