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