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