Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 1800.72 | 911.367 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_8.opb |
| MD5SUM | c9443936e5641d3aca30cbd92e359860 |
| 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 | 4692139 |
| Best CPU time to get the best result obtained on this benchmark | 1801.26 |
| 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 | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 91246785518 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 91246785518 |
| 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.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3690148-1337888265.opb 0.10/0.11 c reading problem ... 1.67/0.70 c ... done. Wall clock time 0.59s. 1.67/0.70 c declared #vars 9940 1.67/0.70 c #constraints 24510 1.67/0.70 c constraints type 1.67/0.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.67/0.70 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.67/0.70 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.67/0.70 c ignored satisfied constraints => 2 1.67/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.67/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.67/0.70 c 24512 constraints processed. 1.67/0.70 c constraints type 1.67/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1.67/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1.67/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.67/0.70 c ignored satisfied constraints => 2 1.67/0.70 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.67/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 1.67/0.70 c 24512 constraints processed. 1.67/0.70 c objective function length is 9730 literals 2.87/1.09 c And the winner is solver0 3.33/1.21 c SATISFIABLE 3.33/1.21 c OPTIMIZING... 3.33/1.21 c Got one! Elapsed wall clock time (in seconds):1.099 3.33/1.21 o 8909373 3.89/1.43 c And the winner is solver0 3.99/1.74 c Got one! Elapsed wall clock time (in seconds):1.624 3.99/1.74 o 5457041 9.14/4.21 c cleaning 2671 clauses out of 5342 with flag 5001/5358 12.93/6.05 c cleaning 4333 clauses out of 8670 with flag 11000/11357 16.84/8.09 c cleaning 5668 clauses out of 11337 with flag 18000/18357 24.46/11.89 c cleaning 6834 clauses out of 13669 with flag 26000/26357 29.53/14.49 c cleaning 7910 clauses out of 15830 with flag 35002/35359 36.21/17.88 c cleaning 8947 clauses out of 17904 with flag 45000/45357 43.59/21.31 c cleaning 9977 clauses out of 19957 with flag 56000/56357 51.23/25.27 c cleaning 10984 clauses out of 21980 with flag 68000/68357 58.53/29.09 c cleaning 11990 clauses out of 23993 with flag 81000/81357 67.33/33.51 c cleaning 12996 clauses out of 26003 with flag 95000/95357 75.14/37.55 c cleaning 13980 clauses out of 27971 with flag 110000/110357 82.95/41.53 c cleaning 14987 clauses out of 29991 with flag 126000/126357 91.24/45.81 c cleaning 16000 clauses out of 32005 with flag 143001/143358 99.84/50.23 c cleaning 16998 clauses out of 34005 with flag 161001/161358 108.84/54.90 c cleaning 18001 clauses out of 36007 with flag 180001/180358 118.63/59.87 c cleaning 19001 clauses out of 38006 with flag 200001/200358 128.92/65.12 c cleaning 20003 clauses out of 40005 with flag 221001/221358 139.32/70.47 c cleaning 20997 clauses out of 42001 with flag 243000/243357 150.70/76.26 c cleaning 21998 clauses out of 44005 with flag 266001/266358 162.89/82.41 c cleaning 22995 clauses out of 46007 with flag 290001/290358 175.35/88.87 c cleaning 23972 clauses out of 47991 with flag 315000/315357 187.34/94.98 c cleaning 25002 clauses out of 50019 with flag 341000/341357 199.93/101.39 c cleaning 26003 clauses out of 52017 with flag 368000/368357 212.53/107.75 c cleaning 26998 clauses out of 54014 with flag 396000/396357 226.58/114.95 c cleaning 28003 clauses out of 56017 with flag 425001/425358 240.59/122.01 c cleaning 29002 clauses out of 58014 with flag 455001/455358 255.55/129.62 c cleaning 29998 clauses out of 60012 with flag 486001/486358 270.32/137.15 c cleaning 30999 clauses out of 62014 with flag 518001/518358 285.97/145.19 c cleaning 32004 clauses out of 64015 with flag 551001/551358 301.93/153.20 c cleaning 33002 clauses out of 66011 with flag 585001/585358 318.30/161.57 c cleaning 33999 clauses out of 68008 with flag 620000/620357 336.28/170.66 c cleaning 35002 clauses out of 70010 with flag 656001/656358 354.34/179.83 c cleaning 36003 clauses out of 72007 with flag 693000/693357 373.71/189.67 c cleaning 36999 clauses out of 74005 with flag 731001/731358 394.09/199.96 c cleaning 37993 clauses out of 76006 with flag 770001/770358 413.86/209.93 c cleaning 39003 clauses out of 78013 with flag 810001/810358 436.90/221.65 c cleaning 40001 clauses out of 80010 with flag 851001/851358 459.47/233.06 c cleaning 40995 clauses out of 82009 with flag 893001/893358 481.45/244.17 c cleaning 41999 clauses out of 84013 with flag 936000/936357 502.81/254.96 c cleaning 42999 clauses out of 86014 with flag 980000/980357 524.65/266.09 c cleaning 44005 clauses out of 88016 with flag 1025001/1025358 548.01/277.88 c cleaning 44993 clauses out of 90010 with flag 1071000/1071357 570.16/289.06 c cleaning 45995 clauses out of 92017 with flag 1118000/1118357 594.52/301.33 c cleaning 46996 clauses out of 94022 with flag 1166000/1166357 618.50/313.57 c cleaning 48006 clauses out of 96026 with flag 1215000/1215357 643.81/326.33 c cleaning 48998 clauses out of 98020 with flag 1265000/1265357 670.16/339.63 c cleaning 50004 clauses out of 100022 with flag 1316000/1316357 697.70/353.59 c cleaning 51000 clauses out of 102018 with flag 1368000/1368357 724.67/367.29 c cleaning 51996 clauses out of 104017 with flag 1421000/1421357 751.60/380.88 c cleaning 53004 clauses out of 106022 with flag 1475001/1475358 779.90/395.19 c cleaning 54001 clauses out of 108017 with flag 1530000/1530357 808.42/409.54 c cleaning 55007 clauses out of 110017 with flag 1586001/1586358 837.34/424.24 c cleaning 56002 clauses out of 112010 with flag 1643001/1643358 868.83/440.14 c cleaning 56998 clauses out of 114007 with flag 1701000/1701357 900.93/456.30 c cleaning 58004 clauses out of 116009 with flag 1760000/1760357 933.40/472.76 c cleaning 58997 clauses out of 118006 with flag 1820001/1820358 965.28/488.93 c cleaning 59995 clauses out of 120008 with flag 1881000/1881357 996.74/504.83 c cleaning 60992 clauses out of 122007 with flag 1943000/1943357 1026.59/519.93 c cleaning 61997 clauses out of 124016 with flag 2006001/2006358 1056.86/535.22 c cleaning 62999 clauses out of 126018 with flag 2070000/2070357 1088.70/551.48 c cleaning 63999 clauses out of 128020 with flag 2135001/2135358 1120.76/567.68 c cleaning 64999 clauses out of 130021 with flag 2201001/2201358 1154.02/584.47 c cleaning 66000 clauses out of 132021 with flag 2268000/2268357 1189.88/602.57 c cleaning 67007 clauses out of 134021 with flag 2336000/2336357 1224.74/620.26 c cleaning 67999 clauses out of 136014 with flag 2405000/2405357 1258.39/637.21 c cleaning 69003 clauses out of 138016 with flag 2475001/2475358 1293.04/654.76 c cleaning 70002 clauses out of 140013 with flag 2546001/2546358 1328.68/672.70 c cleaning 70997 clauses out of 142010 with flag 2618000/2618357 1363.90/690.64 c cleaning 71997 clauses out of 144013 with flag 2691000/2691357 1400.95/709.30 c cleaning 72998 clauses out of 146017 with flag 2765001/2765358 1437.19/727.67 c cleaning 74006 clauses out of 148018 with flag 2840000/2840357 1474.24/746.37 c cleaning 75002 clauses out of 150013 with flag 2916001/2916358 1510.65/764.83 c cleaning 75990 clauses out of 152011 with flag 2993001/2993358 1551.65/785.54 c cleaning 76985 clauses out of 154020 with flag 3071000/3071357 1592.30/806.02 c cleaning 78018 clauses out of 156035 with flag 3150000/3150357 1632.71/826.50 c cleaning 79003 clauses out of 158017 with flag 3230000/3230357 1673.47/847.17 c cleaning 80000 clauses out of 160014 with flag 3311001/3311358 1714.09/867.66 c cleaning 80996 clauses out of 162014 with flag 3393001/3393358 1755.10/888.30 c cleaning 82005 clauses out of 164017 with flag 3476000/3476357 1797.32/909.69 c cleaning 82998 clauses out of 166012 with flag 3560000/3560357 1800.11/911.31 c starts : 252 1800.11/911.31 c conflicts : 3564860 1800.11/911.31 c decisions : 4049832 1800.11/911.31 c propagations : 51664400 1800.11/911.31 c inspects : 1221293597 1800.11/911.31 c shortcuts : 0 1800.11/911.31 c learnt literals : 104 1800.11/911.31 c learnt binary clauses : 18 1800.11/911.31 c learnt ternary clauses : 569 1800.11/911.31 c learnt constraints : 3564756 1800.11/911.31 c ignored constraints : 0 1800.11/911.31 c root simplifications : 0 1800.11/911.31 c removed literals (reason simplification) : 304429776 1800.11/911.31 c reason swapping (by a shorter reason) : 0 1800.11/911.31 c Calls to reduceDB : 80 1800.11/911.31 c number of reductions to clauses (during analyze) : 0 1800.11/911.31 c number of learned constraints concerned by reduction : 0 1800.11/911.31 c number of learning phase by resolution : 0 1800.11/911.31 c number of learning phase by cutting planes : 0 1800.11/911.31 c speed (assignments/second) : 56739.22392727984 1800.11/911.31 c non guided choices 161 1800.11/911.33 c learnt constraints type 1800.11/911.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 18 1800.11/911.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87601 1800.11/911.33 c constraints type 1800.11/911.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.11/911.33 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.11/911.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.11/911.33 c ignored satisfied constraints => 2 1800.11/911.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.11/911.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.11/911.33 c 24513 constraints processed. 1800.11/911.33 c constraints type 1800.11/911.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1800.11/911.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1800.11/911.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.11/911.33 c ignored satisfied constraints => 2 1800.11/911.33 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1800.11/911.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626 1800.11/911.33 c 24513 constraints processed. 1800.11/911.33 s SATISFIABLE 1800.11/911.34 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.11/911.36 c objective function=5457041 1800.11/911.36 c Total wall clock time (in seconds): 911.242
OK 5457041
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-3690148-1337888265/watcher-3690148-1337888265 -o /tmp/evaluation-result-3690148-1337888265/solver-3690148-1337888265 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690148-1337888265.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.72 3.89 3.89 4/197 2888 /proc/meminfo: memFree=28630976/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=268 CPUtime=0 cores=0,2,4,6 /proc/2888/stat : 2888 (java) R 2886 2888 30487 0 -1 4194304 275 0 0 0 0 0 0 0 20 0 1 0 254951944 274432 23 33554432000 1073741824 1073778376 140737066447856 140735610167352 214528261835 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 68 28 20 9 0 25 0 [startup+0.0507101 s] /proc/loadavg: 3.72 3.89 3.89 4/197 2888 /proc/meminfo: memFree=28630976/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9225560 CPUtime=0.03 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 3061 0 1 0 2 1 0 0 20 0 13 0 254951944 9446973440 3758 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2306390 3758 1707 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.1002 s] /proc/loadavg: 3.72 3.89 3.89 4/197 2888 /proc/meminfo: memFree=28630976/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 4297 0 1 0 9 1 0 0 20 0 18 0 254951944 9787813888 5496 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2389603 5498 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300168 s] /proc/loadavg: 3.72 3.89 3.89 4/197 2888 /proc/meminfo: memFree=28630976/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9558412 CPUtime=0.5 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 5256 0 1 0 49 1 0 0 20 0 18 0 254951944 9787813888 9712 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2389603 9712 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.700234 s] /proc/loadavg: 3.72 3.89 3.89 4/197 2888 /proc/meminfo: memFree=28630976/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9558412 CPUtime=1.67 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 17623 0 1 0 163 4 0 0 20 0 18 0 254951944 9787813888 30621 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2389603 30621 2242 9 0 2380296 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9558412 [startup+1.50074 s] /proc/loadavg: 3.82 3.91 3.90 7/219 2910 /proc/meminfo: memFree=28499772/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9824668 CPUtime=3.99 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 19438 0 1 0 389 10 0 0 20 0 19 0 254951944 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2456167 47730 2273 9 0 2446860 0 [pid=2888/tid=2890] ppid=2886 vsize=9824668 CPUtime=0.71 cores=0,2,4,6 /proc/2888/task/2890/stat : 2890 (java) S 2886 2888 30487 0 -1 4202560 2494 0 1 0 69 2 0 0 20 0 19 0 254951945 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633045799928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2891] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2891/stat : 2891 (java) S 2886 2888 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254951946 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633007291432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2892] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2892/stat : 2892 (java) S 2886 2888 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254951946 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633006238632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2893] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2893/stat : 2893 (java) S 2886 2888 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254951946 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633005185832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2894] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2894/stat : 2894 (java) S 2886 2888 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254951946 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633004133032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2895] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2895/stat : 2895 (java) S 2886 2888 30487 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254951946 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633003080232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2896] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2896/stat : 2896 (java) S 2886 2888 30487 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254951946 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633002027432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2897] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2897/stat : 2897 (java) S 2886 2888 30487 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254951947 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140633000974632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2898] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2898/stat : 2898 (java) S 2886 2888 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254951947 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632882407592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2899] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2899/stat : 2899 (java) S 2886 2888 30487 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 254951948 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632869997544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2900] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2900/stat : 2900 (java) S 2886 2888 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254951948 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632868943608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2901] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2901/stat : 2901 (java) S 2886 2888 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254951948 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632867890696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2902] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2902/stat : 2902 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254951950 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632866839184 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2903] ppid=2886 vsize=9824668 CPUtime=1.02 cores=0,2,4,6 /proc/2888/task/2903/stat : 2903 (java) S 2886 2888 30487 0 -1 4202560 9053 0 0 0 100 2 0 0 20 0 19 0 254951950 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632127433144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2904] ppid=2886 vsize=9824668 CPUtime=1.02 cores=0,2,4,6 /proc/2888/task/2904/stat : 2904 (java) S 2886 2888 30487 0 -1 4202560 6448 0 0 0 102 0 0 0 20 0 19 0 254951950 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632126380344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2905] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2905/stat : 2905 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254951950 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632125327736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2906] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2906/stat : 2906 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254951950 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632124275144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2909] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2909/stat : 2909 (java) S 2886 2888 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254952020 10060460032 47730 33554432000 1073741824 1073778376 140737066447856 140632121116072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 9824668 [startup+3.10069 s] /proc/loadavg: 3.82 3.91 3.90 6/219 2916 /proc/meminfo: memFree=28447448/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9824668 CPUtime=6.94 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 19838 0 1 0 679 15 0 0 20 0 22 0 254951944 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2456167 55241 2274 9 0 2446860 0 [pid=2888/tid=2890] ppid=2886 vsize=9824668 CPUtime=0.74 cores=0,2,4,6 /proc/2888/task/2890/stat : 2890 (java) S 2886 2888 30487 0 -1 4202560 2494 0 1 0 72 2 0 0 20 0 22 0 254951945 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633045799928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2891] ppid=2886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/2888/task/2891/stat : 2891 (java) S 2886 2888 30487 0 -1 4202560 127 0 0 0 2 1 0 0 20 0 22 0 254951946 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633007291432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2892] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2892/stat : 2892 (java) S 2886 2888 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254951946 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633006238632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2893] ppid=2886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/2888/task/2893/stat : 2893 (java) S 2886 2888 30487 0 -1 4202560 84 0 0 0 2 1 0 0 20 0 22 0 254951946 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633005185832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2894] ppid=2886 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/2888/task/2894/stat : 2894 (java) S 2886 2888 30487 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254951946 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633004133032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2895] ppid=2886 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/2888/task/2895/stat : 2895 (java) S 2886 2888 30487 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 22 0 254951946 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633003080232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2896] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2896/stat : 2896 (java) S 2886 2888 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254951946 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633002027432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2897] ppid=2886 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/2888/task/2897/stat : 2897 (java) S 2886 2888 30487 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254951947 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140633000974632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2898] ppid=2886 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/2888/task/2898/stat : 2898 (java) S 2886 2888 30487 0 -1 4202560 92 0 0 0 1 0 0 0 20 0 22 0 254951947 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632882407592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2899] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2899/stat : 2899 (java) S 2886 2888 30487 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632869997544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2900] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2900/stat : 2900 (java) S 2886 2888 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632868943608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2901] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2901/stat : 2901 (java) S 2886 2888 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632867890696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2902] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2902/stat : 2902 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632866839184 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2903] ppid=2886 vsize=9824668 CPUtime=1.12 cores=0,2,4,6 /proc/2888/task/2903/stat : 2903 (java) S 2886 2888 30487 0 -1 4202560 9054 0 0 0 110 2 0 0 20 0 22 0 254951950 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632127433144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2904] ppid=2886 vsize=9824668 CPUtime=1.1 cores=0,2,4,6 /proc/2888/task/2904/stat : 2904 (java) S 2886 2888 30487 0 -1 4202560 6448 0 0 0 110 0 0 0 20 0 22 0 254951950 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632126380344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2905] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2905/stat : 2905 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632125327736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2906] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2906/stat : 2906 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632124275144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2909] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2909/stat : 2909 (java) S 2886 2888 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254952020 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632121116072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2914] ppid=2886 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/2888/task/2914/stat : 2914 (java) R 2886 2888 30487 0 -1 4202560 6 0 0 0 127 0 0 0 20 0 22 0 254952121 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632123218208 140632883730597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2915] ppid=2886 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/2888/task/2915/stat : 2915 (java) R 2886 2888 30487 0 -1 4202560 4 0 0 0 128 0 0 0 20 0 22 0 254952121 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632122167208 140632883395368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2916] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2916/stat : 2916 (java) S 2886 2888 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254952122 10060460032 55241 33554432000 1073741824 1073778376 140737066447856 140632120063528 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.94 Current children cumulated vsize (KiB) 9824668 [startup+6.30069 s] /proc/loadavg: 3.76 3.90 3.89 4/219 2916 /proc/meminfo: memFree=28368628/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9824668 CPUtime=13.44 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 23049 0 1 0 1326 18 0 0 20 0 22 0 254951944 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2456167 68937 2286 9 0 2446860 0 [pid=2888/tid=2890] ppid=2886 vsize=9824668 CPUtime=0.74 cores=0,2,4,6 /proc/2888/task/2890/stat : 2890 (java) S 2886 2888 30487 0 -1 4202560 2494 0 1 0 72 2 0 0 20 0 22 0 254951945 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633045799928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2891] ppid=2886 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/2888/task/2891/stat : 2891 (java) S 2886 2888 30487 0 -1 4202560 134 0 0 0 3 2 0 0 20 0 22 0 254951946 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633007291432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2892] ppid=2886 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/2888/task/2892/stat : 2892 (java) S 2886 2888 30487 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 254951946 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633006238632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2893] ppid=2886 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/2888/task/2893/stat : 2893 (java) S 2886 2888 30487 0 -1 4202560 92 0 0 0 4 1 0 0 20 0 22 0 254951946 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633005185832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2894] ppid=2886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/2888/task/2894/stat : 2894 (java) S 2886 2888 30487 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 254951946 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633004133032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2895] ppid=2886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/2888/task/2895/stat : 2895 (java) S 2886 2888 30487 0 -1 4202560 107 0 0 0 3 0 0 0 20 0 22 0 254951946 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633003080232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2896] ppid=2886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/2888/task/2896/stat : 2896 (java) S 2886 2888 30487 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 254951946 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633002027432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2897] ppid=2886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/2888/task/2897/stat : 2897 (java) S 2886 2888 30487 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 254951947 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140633000974632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2898] ppid=2886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/2888/task/2898/stat : 2898 (java) S 2886 2888 30487 0 -1 4202560 104 0 0 0 3 0 0 0 20 0 22 0 254951947 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632882407592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2899] ppid=2886 vsize=9824668 CPUtime=0.21 cores=0,2,4,6 /proc/2888/task/2899/stat : 2899 (java) S 2886 2888 30487 0 -1 4202560 104 0 0 0 21 0 0 0 20 0 22 0 254951948 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632869997544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2900] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2900/stat : 2900 (java) S 2886 2888 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632868943608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2901] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2901/stat : 2901 (java) S 2886 2888 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632867890696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2902] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2902/stat : 2902 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632866839184 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2903] ppid=2886 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/2888/task/2903/stat : 2903 (java) S 2886 2888 30487 0 -1 4202560 12146 0 0 0 128 3 0 0 20 0 22 0 254951950 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632127433144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2904] ppid=2886 vsize=9824668 CPUtime=1.19 cores=0,2,4,6 /proc/2888/task/2904/stat : 2904 (java) S 2886 2888 30487 0 -1 4202560 6457 0 0 0 119 0 0 0 20 0 22 0 254951950 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632126380344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2905] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2905/stat : 2905 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632125327736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2906] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2906/stat : 2906 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 68937 33554432000 1073741824 1073778376 140737066447856 140632124275144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=2888/tid=2914] ppid=2886 vsize=9824668 CPUtime=796.42 cores=0,2,4,6 /proc/2888/task/2914/stat : 2914 (java) R 2886 2888 30487 0 -1 4202560 36 0 0 0 79628 14 0 0 20 0 22 0 254952121 10060460032 198963 33554432000 1073741824 1073778376 140737066447856 140632123220096 140632883729838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2915] ppid=2886 vsize=9824668 CPUtime=796.33 cores=0,2,4,6 /proc/2888/task/2915/stat : 2915 (java) R 2886 2888 30487 0 -1 4202560 332 0 0 0 79615 18 0 0 20 0 22 0 254952121 10060460032 198963 33554432000 1073741824 1073778376 140737066447856 140632122166112 140632883463717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2916] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2916/stat : 2916 (java) S 2886 2888 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254952122 10060460032 198963 33554432000 1073741824 1073778376 140737066447856 140632120063528 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1624.51 Current children cumulated vsize (KiB) 9824668 [startup+882.301 s] /proc/loadavg: 3.96 3.93 3.91 5/219 3156 /proc/meminfo: memFree=25774680/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9824668 CPUtime=1743.1 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 31469 0 1 0 174264 46 0 0 20 0 22 0 254951944 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2456167 199514 2288 9 0 2446860 0 [pid=2888/tid=2890] ppid=2886 vsize=9824668 CPUtime=0.77 cores=0,2,4,6 /proc/2888/task/2890/stat : 2890 (java) S 2886 2888 30487 0 -1 4202560 2543 0 1 0 74 3 0 0 20 0 22 0 254951945 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633045799928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2891] ppid=2886 vsize=9824668 CPUtime=0.44 cores=0,2,4,6 /proc/2888/task/2891/stat : 2891 (java) S 2886 2888 30487 0 -1 4202560 328 0 0 0 41 3 0 0 20 0 22 0 254951946 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633007291432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2892] ppid=2886 vsize=9824668 CPUtime=0.42 cores=0,2,4,6 /proc/2888/task/2892/stat : 2892 (java) S 2886 2888 30487 0 -1 4202560 164 0 0 0 39 3 0 0 20 0 22 0 254951946 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633006238632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2893] ppid=2886 vsize=9824668 CPUtime=0.47 cores=0,2,4,6 /proc/2888/task/2893/stat : 2893 (java) S 2886 2888 30487 0 -1 4202560 167 0 0 0 45 2 0 0 20 0 22 0 254951946 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633005185832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2894] ppid=2886 vsize=9824668 CPUtime=0.5 cores=0,2,4,6 /proc/2888/task/2894/stat : 2894 (java) S 2886 2888 30487 0 -1 4202560 130 0 0 0 50 0 0 0 20 0 22 0 254951946 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633004133032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2895] ppid=2886 vsize=9824668 CPUtime=0.43 cores=0,2,4,6 /proc/2888/task/2895/stat : 2895 (java) S 2886 2888 30487 0 -1 4202560 225 0 0 0 40 3 0 0 20 0 22 0 254951946 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633003080232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2896] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2896/stat : 2896 (java) S 2886 2888 30487 0 -1 4202560 134 0 0 0 43 2 0 0 20 0 22 0 254951946 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633002027432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2897] ppid=2886 vsize=9824668 CPUtime=0.55 cores=0,2,4,6 /proc/2888/task/2897/stat : 2897 (java) S 2886 2888 30487 0 -1 4202560 175 0 0 0 53 2 0 0 20 0 22 0 254951947 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140633000974632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2898] ppid=2886 vsize=9824668 CPUtime=0.44 cores=0,2,4,6 /proc/2888/task/2898/stat : 2898 (java) S 2886 2888 30487 0 -1 4202560 228 0 0 0 42 2 0 0 20 0 22 0 254951947 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632882407592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2899] ppid=2886 vsize=9824668 CPUtime=24.44 cores=0,2,4,6 /proc/2888/task/2899/stat : 2899 (java) S 2886 2888 30487 0 -1 4202560 390 0 0 0 2438 6 0 0 20 0 22 0 254951948 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632869997544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2900] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2900/stat : 2900 (java) S 2886 2888 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632868943608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2901] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2901/stat : 2901 (java) S 2886 2888 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632867890696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2902] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2902/stat : 2902 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632866839184 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2903] ppid=2886 vsize=9824668 CPUtime=1.4 cores=0,2,4,6 /proc/2888/task/2903/stat : 2903 (java) S 2886 2888 30487 0 -1 4202560 12160 0 0 0 137 3 0 0 20 0 22 0 254951950 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632127433144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2904] ppid=2886 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/2888/task/2904/stat : 2904 (java) S 2886 2888 30487 0 -1 4202560 13082 0 0 0 185 3 0 0 20 0 22 0 254951950 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632126380344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2905] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2905/stat : 2905 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632125327736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2906] ppid=2886 vsize=9824668 CPUtime=0.1 cores=0,2,4,6 /proc/2888/task/2906/stat : 2906 (java) S 2886 2888 30487 0 -1 4202560 51 0 0 0 6 4 0 0 20 0 22 0 254951950 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632124275144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2909] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2909/stat : 2909 (java) S 2886 2888 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254952020 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632121116072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2914] ppid=2886 vsize=9824668 CPUtime=854.96 cores=0,2,4,6 /proc/2888/task/2914/stat : 2914 (java) R 2886 2888 30487 0 -1 4202560 37 0 0 0 85481 15 0 0 20 0 22 0 254952121 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632123220096 140632883525674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2915] ppid=2886 vsize=9824668 CPUtime=854.85 cores=0,2,4,6 /proc/2888/task/2915/stat : 2915 (java) R 2886 2888 30487 0 -1 4202560 333 0 0 0 85467 18 0 0 20 0 22 0 254952121 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632122166112 140632883461140 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2916] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2916/stat : 2916 (java) S 2886 2888 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254952122 10060460032 199514 33554432000 1073741824 1073778376 140737066447856 140632120063528 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1743.1 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+911.301 s] /proc/loadavg: 3.97 3.94 3.91 4/219 3156 /proc/meminfo: memFree=25822708/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9824668 CPUtime=1800.11 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 31523 0 1 0 179965 46 0 0 20 0 22 0 254951944 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2456167 200073 2288 9 0 2446860 0 [pid=2888/tid=2890] ppid=2886 vsize=9824668 CPUtime=0.77 cores=0,2,4,6 /proc/2888/task/2890/stat : 2890 (java) S 2886 2888 30487 0 -1 4202560 2544 0 1 0 74 3 0 0 20 0 22 0 254951945 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633045799928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2891] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2891/stat : 2891 (java) S 2886 2888 30487 0 -1 4202560 357 0 0 0 42 3 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633007291432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2892] ppid=2886 vsize=9824668 CPUtime=0.43 cores=0,2,4,6 /proc/2888/task/2892/stat : 2892 (java) S 2886 2888 30487 0 -1 4202560 178 0 0 0 40 3 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633006238632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2893] ppid=2886 vsize=9824668 CPUtime=0.48 cores=0,2,4,6 /proc/2888/task/2893/stat : 2893 (java) S 2886 2888 30487 0 -1 4202560 167 0 0 0 46 2 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633005185832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2894] ppid=2886 vsize=9824668 CPUtime=0.51 cores=0,2,4,6 /proc/2888/task/2894/stat : 2894 (java) S 2886 2888 30487 0 -1 4202560 130 0 0 0 51 0 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633004133032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2895] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2895/stat : 2895 (java) S 2886 2888 30487 0 -1 4202560 225 0 0 0 42 3 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633003080232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2896] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2896/stat : 2896 (java) S 2886 2888 30487 0 -1 4202560 134 0 0 0 43 2 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633002027432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2897] ppid=2886 vsize=9824668 CPUtime=0.56 cores=0,2,4,6 /proc/2888/task/2897/stat : 2897 (java) S 2886 2888 30487 0 -1 4202560 179 0 0 0 54 2 0 0 20 0 22 0 254951947 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633000974632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2898] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2898/stat : 2898 (java) S 2886 2888 30487 0 -1 4202560 228 0 0 0 43 2 0 0 20 0 22 0 254951947 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632882407592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2899] ppid=2886 vsize=9824668 CPUtime=25.47 cores=0,2,4,6 /proc/2888/task/2899/stat : 2899 (java) S 2886 2888 30487 0 -1 4202560 393 0 0 0 2541 6 0 0 20 0 22 0 254951948 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632869997544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2900] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2900/stat : 2900 (java) S 2886 2888 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632868943608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2901] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2901/stat : 2901 (java) S 2886 2888 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632867890696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2902] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2902/stat : 2902 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632866839184 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2903] ppid=2886 vsize=9824668 CPUtime=1.4 cores=0,2,4,6 /proc/2888/task/2903/stat : 2903 (java) S 2886 2888 30487 0 -1 4202560 12160 0 0 0 137 3 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632127433144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2904] ppid=2886 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/2888/task/2904/stat : 2904 (java) S 2886 2888 30487 0 -1 4202560 13082 0 0 0 185 3 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632126380344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2905] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2905/stat : 2905 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632125327736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2906] ppid=2886 vsize=9824668 CPUtime=0.1 cores=0,2,4,6 /proc/2888/task/2906/stat : 2906 (java) S 2886 2888 30487 0 -1 4202560 53 0 0 0 6 4 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632124275144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2909] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2909/stat : 2909 (java) S 2886 2888 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254952020 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632121116072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2914] ppid=2886 vsize=9824668 CPUtime=882.93 cores=0,2,4,6 /proc/2888/task/2914/stat : 2914 (java) R 2886 2888 30487 0 -1 4202560 38 0 0 0 88277 16 0 0 20 0 22 0 254952121 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632123220096 140632883730626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2915] ppid=2886 vsize=9824668 CPUtime=882.81 cores=0,2,4,6 /proc/2888/task/2915/stat : 2915 (java) R 2886 2888 30487 0 -1 4202560 333 0 0 0 88262 19 0 0 20 0 22 0 254952121 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632122166112 140632883462370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2916] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2916/stat : 2916 (java) S 2886 2888 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254952122 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632120063528 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+911.301 s] /proc/loadavg: 3.97 3.94 3.91 4/219 3156 /proc/meminfo: memFree=25822708/32873648 swapFree=7104/7104 [pid=2888] ppid=2886 vsize=9824668 CPUtime=1800.11 cores=0,2,4,6 /proc/2888/stat : 2888 (java) S 2886 2888 30487 0 -1 4202496 31523 0 1 0 179965 46 0 0 20 0 22 0 254951944 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140737066438992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2888/statm: 2456167 200073 2288 9 0 2446860 0 [pid=2888/tid=2890] ppid=2886 vsize=9824668 CPUtime=0.77 cores=0,2,4,6 /proc/2888/task/2890/stat : 2890 (java) S 2886 2888 30487 0 -1 4202560 2544 0 1 0 74 3 0 0 20 0 22 0 254951945 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633045799928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2891] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2891/stat : 2891 (java) S 2886 2888 30487 0 -1 4202560 357 0 0 0 42 3 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633007291432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2892] ppid=2886 vsize=9824668 CPUtime=0.43 cores=0,2,4,6 /proc/2888/task/2892/stat : 2892 (java) S 2886 2888 30487 0 -1 4202560 178 0 0 0 40 3 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633006238632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2893] ppid=2886 vsize=9824668 CPUtime=0.48 cores=0,2,4,6 /proc/2888/task/2893/stat : 2893 (java) S 2886 2888 30487 0 -1 4202560 167 0 0 0 46 2 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633005185832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2894] ppid=2886 vsize=9824668 CPUtime=0.51 cores=0,2,4,6 /proc/2888/task/2894/stat : 2894 (java) S 2886 2888 30487 0 -1 4202560 130 0 0 0 51 0 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633004133032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2895] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2895/stat : 2895 (java) S 2886 2888 30487 0 -1 4202560 225 0 0 0 42 3 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633003080232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2896] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2896/stat : 2896 (java) S 2886 2888 30487 0 -1 4202560 134 0 0 0 43 2 0 0 20 0 22 0 254951946 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633002027432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2897] ppid=2886 vsize=9824668 CPUtime=0.56 cores=0,2,4,6 /proc/2888/task/2897/stat : 2897 (java) S 2886 2888 30487 0 -1 4202560 179 0 0 0 54 2 0 0 20 0 22 0 254951947 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140633000974632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2898] ppid=2886 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/2888/task/2898/stat : 2898 (java) S 2886 2888 30487 0 -1 4202560 228 0 0 0 43 2 0 0 20 0 22 0 254951947 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632882407592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2899] ppid=2886 vsize=9824668 CPUtime=25.47 cores=0,2,4,6 /proc/2888/task/2899/stat : 2899 (java) S 2886 2888 30487 0 -1 4202560 393 0 0 0 2541 6 0 0 20 0 22 0 254951948 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632869997544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2900] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2900/stat : 2900 (java) S 2886 2888 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632868943608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2901] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2901/stat : 2901 (java) S 2886 2888 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254951948 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632867890696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2902] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2902/stat : 2902 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632866839184 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2903] ppid=2886 vsize=9824668 CPUtime=1.4 cores=0,2,4,6 /proc/2888/task/2903/stat : 2903 (java) S 2886 2888 30487 0 -1 4202560 12160 0 0 0 137 3 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632127433144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2888/tid=2904] ppid=2886 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/2888/task/2904/stat : 2904 (java) S 2886 2888 30487 0 -1 4202560 13082 0 0 0 185 3 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632126380344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2888/tid=2905] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2905/stat : 2905 (java) S 2886 2888 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632125327736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2906] ppid=2886 vsize=9824668 CPUtime=0.1 cores=0,2,4,6 /proc/2888/task/2906/stat : 2906 (java) S 2886 2888 30487 0 -1 4202560 53 0 0 0 6 4 0 0 20 0 22 0 254951950 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632124275144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2909] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2909/stat : 2909 (java) S 2886 2888 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254952020 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632121116072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2914] ppid=2886 vsize=9824668 CPUtime=882.93 cores=0,2,4,6 /proc/2888/task/2914/stat : 2914 (java) R 2886 2888 30487 0 -1 4202560 38 0 0 0 88277 16 0 0 20 0 22 0 254952121 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632123220096 140632883730626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2888/tid=2915] ppid=2886 vsize=9824668 CPUtime=882.81 cores=0,2,4,6 /proc/2888/task/2915/stat : 2915 (java) R 2886 2888 30487 0 -1 4202560 333 0 0 0 88262 19 0 0 20 0 22 0 254952121 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632122166112 140632883462370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2888/tid=2916] ppid=2886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/2888/task/2916/stat : 2916 (java) S 2886 2888 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254952122 10060460032 200073 33554432000 1073741824 1073778376 140737066447856 140632120063528 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 911.367 CPU time (s): 1800.72 CPU user time (s): 1799.81 CPU system time (s): 0.913861 CPU usage (%): 197.585 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.913861 maximum resident set size= 800408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31555 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24018 involuntary context switches= 23942 runsolver used 3.06153 second user time and 7.45287 second system time The end
Begin job on node127 at 2012-05-24 21:37:45 IDJOB=3690148 IDBENCH=92727 IDSOLVER=2268 FILE ID=node127/3690148-1337888265 RUNJOBID= node127-1337871880-30503 PBS_JOBID= 14620077 Free space on /tmp= 71672 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_8.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690148-1337888265/watcher-3690148-1337888265 -o /tmp/evaluation-result-3690148-1337888265/solver-3690148-1337888265 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690148-1337888265.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9443936e5641d3aca30cbd92e359860 RANDOM SEED=400780891 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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 : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28631248 kB Buffers: 246568 kB Cached: 2418236 kB SwapCached: 0 kB Active: 1197768 kB Inactive: 2260096 kB Active(anon): 795076 kB Inactive(anon): 0 kB Active(file): 402692 kB Inactive(file): 2260096 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1084 kB Writeback: 0 kB AnonPages: 807384 kB Mapped: 22632 kB Shmem: 200 kB Slab: 638640 kB SReclaimable: 82892 kB SUnreclaim: 555748 kB KernelStack: 1624 kB PageTables: 5468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1093960 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 747520 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node127 at 2012-05-24 21:52:58