Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 261403 | 1800.01 | 1794.85 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb |
| MD5SUM | 8bdca001a57a76bf3835c82b9bc6a431 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 261403 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 526135 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4100429-1466213341.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 1.06/0.51 c ... done. Wall clock time 0.394s. 1.06/0.51 c declared #vars 8902 1.06/0.51 c #constraints 3038 1.06/0.51 c constraints type 1.06/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 450 1.06/0.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 31 1.06/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 538 1.06/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2019 1.06/0.51 c 3038 constraints processed. 1.06/0.51 c objective function length is 31 literals 3.68/2.75 c cleaning 2500 clauses out of 5000 with flag 15168/5000 4.97/3.91 c cleaning 4242 clauses out of 8501 with flag 37477/11001 6.41/5.31 c cleaning 5618 clauses out of 11258 with flag 64173/18000 7.83/6.72 c cleaning 6816 clauses out of 13640 with flag 89586/26000 9.77/8.69 c cleaning 7908 clauses out of 15824 with flag 121859/35000 11.70/10.57 c cleaning 8950 clauses out of 17921 with flag 149711/45005 15.31/14.16 c cleaning 9970 clauses out of 19966 with flag 174754/56000 18.95/17.72 c cleaning 10989 clauses out of 21996 with flag 221811/68000 21.49/20.23 c cleaning 11984 clauses out of 24007 with flag 262455/81000 23.69/22.49 c cleaning 12980 clauses out of 26023 with flag 292219/95000 26.39/25.18 c cleaning 13991 clauses out of 28043 with flag 324662/110000 29.22/27.98 c cleaning 15007 clauses out of 30053 with flag 358502/126001 32.32/31.04 c cleaning 15990 clauses out of 32046 with flag 394198/143001 35.33/34.05 c cleaning 17004 clauses out of 34055 with flag 432057/161000 38.84/37.55 c cleaning 17998 clauses out of 36051 with flag 472175/180000 42.55/41.24 c cleaning 18999 clauses out of 38053 with flag 514658/200000 46.75/45.47 c cleaning 20008 clauses out of 40058 with flag 560232/221004 51.09/49.78 c cleaning 20992 clauses out of 42047 with flag 607865/243001 57.49/56.05 c cleaning 22026 clauses out of 44053 with flag 765303/266000 65.22/63.80 c cleaning 22990 clauses out of 46027 with flag 934291/290001 75.12/73.58 c cleaning 23983 clauses out of 48036 with flag 1123822/315000 82.52/80.80 c cleaning 24982 clauses out of 50055 with flag 1285080/341002 90.22/88.41 c cleaning 26006 clauses out of 52071 with flag 1438945/368000 99.04/97.16 c cleaning 27007 clauses out of 54065 with flag 1623289/396001 109.46/107.47 c cleaning 27983 clauses out of 56059 with flag 1892261/425002 120.34/118.11 c SATISFIABLE 120.34/118.11 c OPTIMIZING... 120.34/118.11 c Got one! Elapsed wall clock time (in seconds):117.996 120.34/118.11 o 514076 121.59/119.31 c cleaning 31143 clauses out of 62302 with flag 16885/459230 122.62/120.34 c cleaning 18566 clauses out of 37159 with flag 43462/465230 125.39/123.01 c cleaning 12788 clauses out of 25593 with flag 86615/472230 127.01/124.67 c cleaning 10377 clauses out of 20805 with flag 134499/480230 129.44/127.07 c cleaning 9702 clauses out of 19428 with flag 196024/489230 132.80/130.35 c cleaning 9853 clauses out of 19727 with flag 269555/499231 135.84/133.31 c cleaning 10427 clauses out of 20873 with flag 344899/510230 140.02/137.47 c cleaning 11209 clauses out of 22449 with flag 435516/522233 143.80/141.19 c cleaning 12098 clauses out of 24237 with flag 527557/535230 147.15/144.44 c cleaning 13060 clauses out of 26140 with flag 605274/549231 150.34/147.52 c cleaning 14008 clauses out of 28079 with flag 686291/564230 154.39/151.57 c cleaning 15031 clauses out of 30074 with flag 783915/580233 158.77/155.82 c cleaning 15990 clauses out of 32042 with flag 893194/597232 163.95/160.93 c cleaning 17000 clauses out of 34050 with flag 1006312/615230 169.19/166.03 c cleaning 18007 clauses out of 36050 with flag 1122614/634230 175.50/172.27 c cleaning 18998 clauses out of 38043 with flag 1258072/654230 178.72/175.45 c Got one! Elapsed wall clock time (in seconds):175.34 178.72/175.45 o 262173 181.06/177.64 c cleaning 18644 clauses out of 37317 with flag 17206/672502 183.49/180.07 c cleaning 12326 clauses out of 24676 with flag 39104/678505 186.15/182.69 c cleaning 9655 clauses out of 19346 with flag 63462/685501 189.15/185.64 c cleaning 8833 clauses out of 17691 with flag 91512/693501 192.61/189.00 c cleaning 8911 clauses out of 17857 with flag 122097/702500 196.87/193.30 c cleaning 9470 clauses out of 18945 with flag 158118/712500 199.41/195.78 c cleaning 10238 clauses out of 20475 with flag 187687/723500 201.34/197.66 c cleaning 11121 clauses out of 22244 with flag 218231/735507 203.50/199.79 c cleaning 12053 clauses out of 24119 with flag 255689/748503 205.76/201.93 c cleaning 13025 clauses out of 26068 with flag 289888/762505 208.82/204.99 c cleaning 14011 clauses out of 28037 with flag 349950/777500 213.20/209.29 c cleaning 15006 clauses out of 30026 with flag 448320/793500 214.30/210.38 c Got one! Elapsed wall clock time (in seconds):210.264 214.30/210.38 o 261403 215.75/211.71 c cleaning 13472 clauses out of 26955 with flag 21608/805435 217.15/213.11 c cleaning 9732 clauses out of 19482 with flag 47886/811435 218.56/214.59 c cleaning 8349 clauses out of 16751 with flag 65051/818436 219.95/215.99 c cleaning 8170 clauses out of 16401 with flag 83161/826435 221.45/217.43 c cleaning 8586 clauses out of 17231 with flag 103215/835435 223.35/219.33 c cleaning 9292 clauses out of 18646 with flag 125848/845436 225.16/221.18 c cleaning 10148 clauses out of 20353 with flag 150808/856435 227.79/223.76 c cleaning 11074 clauses out of 22205 with flag 178183/868435 230.49/226.42 c cleaning 12041 clauses out of 24131 with flag 207548/881435 233.69/229.65 c cleaning 13022 clauses out of 26091 with flag 239673/895436 236.59/232.53 c cleaning 14003 clauses out of 28068 with flag 273117/910435 239.89/235.82 c cleaning 15004 clauses out of 30067 with flag 309613/926437 244.29/240.28 c cleaning 16001 clauses out of 32063 with flag 347952/943437 248.72/244.70 c cleaning 17005 clauses out of 34061 with flag 388515/961436 253.72/249.61 c cleaning 17999 clauses out of 36055 with flag 432230/980435 258.82/254.71 c cleaning 18995 clauses out of 38056 with flag 477655/1000435 264.72/260.60 c cleaning 19999 clauses out of 40061 with flag 525266/1021435 270.23/266.20 c cleaning 20994 clauses out of 42062 with flag 574935/1043435 277.23/273.11 c cleaning 22001 clauses out of 44068 with flag 628043/1066435 284.73/280.63 c cleaning 23003 clauses out of 46069 with flag 683624/1090437 292.53/288.42 c cleaning 24004 clauses out of 48065 with flag 743507/1115436 302.36/298.21 c cleaning 24997 clauses out of 50060 with flag 802535/1141435 313.15/309.10 c cleaning 25998 clauses out of 52064 with flag 865507/1168436 321.85/317.73 c cleaning 27002 clauses out of 54067 with flag 931436/1196437 332.98/328.80 c cleaning 28002 clauses out of 56065 with flag 997600/1225437 344.58/340.45 c cleaning 29000 clauses out of 58061 with flag 1066022/1255435 355.63/351.42 c cleaning 29998 clauses out of 60063 with flag 1134865/1286437 365.93/361.76 c cleaning 30998 clauses out of 62064 with flag 1207371/1318436 376.83/372.66 c cleaning 31999 clauses out of 64065 with flag 1281411/1351435 388.38/384.11 c cleaning 33001 clauses out of 66066 with flag 1360136/1385435 399.98/395.76 c cleaning 33999 clauses out of 68065 with flag 1439768/1420435 412.58/408.34 c cleaning 34998 clauses out of 70066 with flag 1522211/1456435 425.62/421.38 c cleaning 36002 clauses out of 72069 with flag 1605745/1493436 439.71/435.40 c cleaning 36998 clauses out of 74066 with flag 1690793/1531435 455.95/451.65 c cleaning 38002 clauses out of 76069 with flag 1778445/1570436 472.76/468.49 c cleaning 39000 clauses out of 78066 with flag 1867350/1610435 489.98/485.62 c cleaning 40003 clauses out of 80066 with flag 1958858/1651435 507.78/503.46 c cleaning 41001 clauses out of 82064 with flag 2052530/1693436 528.51/524.12 c cleaning 41998 clauses out of 84062 with flag 2150173/1736435 548.48/544.09 c cleaning 43001 clauses out of 86064 with flag 2249744/1780435 569.28/564.89 c cleaning 44000 clauses out of 88063 with flag 2351953/1825435 591.52/587.03 c cleaning 44995 clauses out of 90063 with flag 2457499/1871435 623.53/619.06 c cleaning 46023 clauses out of 92071 with flag 2553567/1918438 658.07/653.59 c cleaning 47007 clauses out of 94047 with flag 2649565/1966437 695.87/691.31 c cleaning 48002 clauses out of 96038 with flag 2747561/2015435 734.38/729.87 c cleaning 49006 clauses out of 98039 with flag 2847567/2065438 778.11/773.56 c cleaning 50002 clauses out of 100030 with flag 2949561/2116435 827.02/822.43 c cleaning 50995 clauses out of 102029 with flag 3053563/2168436 880.66/876.06 c cleaning 52003 clauses out of 104035 with flag 3159565/2221437 934.48/929.87 c cleaning 53004 clauses out of 106030 with flag 3267561/2275435 989.24/984.60 c cleaning 54001 clauses out of 108028 with flag 3377565/2330437 1073.84/1069.17 c cleaning 55000 clauses out of 110027 with flag 3489565/2386437 1150.76/1146.00 c cleaning 55998 clauses out of 112025 with flag 3603561/2443435 1230.87/1226.14 c cleaning 56999 clauses out of 114028 with flag 3719563/2501436 1309.40/1304.61 c cleaning 58005 clauses out of 116031 with flag 3837567/2560438 1395.60/1390.85 c cleaning 58998 clauses out of 118025 with flag 3957565/2620437 1458.21/1453.46 c cleaning 59993 clauses out of 120026 with flag 4082920/2681436 1499.05/1494.27 c cleaning 60999 clauses out of 122033 with flag 4213845/2743436 1547.20/1542.32 c cleaning 61992 clauses out of 124035 with flag 4350659/2806437 1604.01/1599.16 c cleaning 62992 clauses out of 126045 with flag 4485839/2870439 1692.56/1687.53 c cleaning 63997 clauses out of 128049 with flag 4621984/2935435 1782.76/1777.64 c cleaning 65008 clauses out of 130053 with flag 4753986/3001436 1800.01/1794.80 c starts : 565 1800.01/1794.80 c conflicts : 3016497 1800.01/1794.80 c decisions : 4201788 1800.01/1794.80 c propagations : 135520082 1800.01/1794.80 c inspects : 27880643648 1800.01/1794.80 c shortcuts : 0 1800.01/1794.80 c learnt literals : 8 1800.01/1794.80 c learnt binary clauses : 21 1800.01/1794.80 c learnt ternary clauses : 49 1800.01/1794.80 c learnt constraints : 3016489 1800.01/1794.80 c ignored constraints : 0 1800.01/1794.80 c root simplifications : 0 1800.01/1794.80 c removed literals (reason simplification) : 0 1800.01/1794.80 c reason swapping (by a shorter reason) : 0 1800.01/1794.80 c Calls to reduceDB : 115 1800.01/1794.80 c Number of update (reduction) of LBD : 427808 1800.01/1794.80 c Imported unit clauses : 0 1800.01/1794.80 c number of reductions to clauses (during analyze) : 0 1800.01/1794.80 c number of learned constraints concerned by reduction : 0 1800.01/1794.80 c number of learning phase by resolution : 0 1800.01/1794.80 c number of learning phase by cutting planes : 0 1800.01/1794.80 c speed (assignments/second) : 75529.6770874727 1800.01/1794.80 c non guided choices 15424 1800.01/1794.83 c learnt constraints type 1800.01/1794.83 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 21 1800.01/1794.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80086 1800.01/1794.83 s SATISFIABLE 1800.01/1794.83 c Found 3 solution(s) 1800.01/1794.84 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 1800.01/1794.85 c objective function=261403 1800.01/1794.85 c Total wall clock time (in seconds): 1794.735
OK 261403
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4100429-1466213341/watcher-4100429-1466213341 -o /tmp/evaluation-result-4100429-1466213341/solver-4100429-1466213341 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100429-1466213341.opb pid=17367 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.38 2.24 2.19 3/195 17370 /proc/meminfo: memFree=29510260/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/17370/stat : 17370 (java) D 17367 17370 15516 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 23380761 9515008 183 33554432000 1073741824 1073778376 140737104294800 140737104285832 270707539637 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0 /proc/17370/statm: 2323 183 140 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 2.38 2.24 2.19 3/195 17370 /proc/meminfo: memFree=29510260/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 23380761 9787879424 6037 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2389619 6037 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.20021 s] /proc/loadavg: 2.38 2.24 2.19 3/195 17370 /proc/meminfo: memFree=29510260/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 5112 0 1 0 27 1 0 0 20 0 18 0 23380761 9787879424 7100 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2389619 7100 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300219 s] /proc/loadavg: 2.38 2.24 2.19 3/195 17370 /proc/meminfo: memFree=29510260/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9558476 CPUtime=0.54 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 7467 0 1 0 53 1 0 0 20 0 18 0 23380761 9787879424 10337 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2389619 10337 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700185 s] /proc/loadavg: 2.38 2.24 2.19 3/195 17370 /proc/meminfo: memFree=29510260/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9625040 CPUtime=1.55 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 11540 0 1 0 152 3 0 0 20 0 19 0 23380761 9856040960 26051 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2406260 26051 2263 9 0 2396937 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 9625040 [startup+1.50084 s] /proc/loadavg: 2.38 2.24 2.19 3/214 17389 /proc/meminfo: memFree=29381368/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9625040 CPUtime=2.39 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 11610 0 1 0 234 5 0 0 20 0 19 0 23380761 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2406260 43482 2280 9 0 2396937 0 [pid=17370/tid=17372] ppid=17367 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/17370/task/17372/stat : 17372 (java) R 17367 17370 15516 0 -1 4202560 2489 0 1 0 142 3 0 0 20 0 19 0 23380762 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594128342200 140593959901892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17373] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17373/stat : 17373 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594089835304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17374] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17374/stat : 17374 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594088782504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17375] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17375/stat : 17375 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594087730216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17376] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17376/stat : 17376 (java) S 17367 17370 15516 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594086677416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17377] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17377/stat : 17377 (java) S 17367 17370 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594085624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17378] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17378/stat : 17378 (java) S 17367 17370 15516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594084571304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17379] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17379/stat : 17379 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594083519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17380] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17380/stat : 17380 (java) S 17367 17370 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140594082466216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17381] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17381/stat : 17381 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593951898344 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17382] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17382/stat : 17382 (java) S 17367 17370 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593950844408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17383] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17383/stat : 17383 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593949792008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17384] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17384/stat : 17384 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593948740496 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17385] ppid=17367 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/17370/task/17385/stat : 17385 (java) S 17367 17370 15516 0 -1 4202560 5069 0 0 0 49 0 0 0 20 0 19 0 23380767 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593947687096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17386] ppid=17367 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/17370/task/17386/stat : 17386 (java) S 17367 17370 15516 0 -1 4202560 2744 0 0 0 38 0 0 0 20 0 19 0 23380767 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593946634296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17387] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17387/stat : 17387 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593945582200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17388] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17388/stat : 17388 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140593944529608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17389] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17389/stat : 17389 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380816 9856040960 43482 33554432000 1073741824 1073778376 140734371228976 140592935855528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 9625040 [startup+3.10085 s] /proc/loadavg: 2.38 2.24 2.19 3/214 17389 /proc/meminfo: memFree=29344132/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9625040 CPUtime=4.12 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 11619 0 1 0 407 5 0 0 20 0 19 0 23380761 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2406260 43490 2286 9 0 2396937 0 [pid=17370/tid=17372] ppid=17367 vsize=9625040 CPUtime=3.05 cores=0,2,4,6 /proc/17370/task/17372/stat : 17372 (java) R 17367 17370 15516 0 -1 4202560 2490 0 1 0 302 3 0 0 20 0 19 0 23380762 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594128334544 140593959903961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17373] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17373/stat : 17373 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594089835304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17374] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17374/stat : 17374 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594088782504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17375] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17375/stat : 17375 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594087730216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17376] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17376/stat : 17376 (java) S 17367 17370 15516 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594086677416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17377] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17377/stat : 17377 (java) S 17367 17370 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594085624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17378] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17378/stat : 17378 (java) S 17367 17370 15516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594084571304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17379] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17379/stat : 17379 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594083519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17380] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17380/stat : 17380 (java) S 17367 17370 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140594082466216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17381] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17381/stat : 17381 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593951898344 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17382] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17382/stat : 17382 (java) S 17367 17370 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593950844408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17383] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17383/stat : 17383 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593949792008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17384] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17384/stat : 17384 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593948740496 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17385] ppid=17367 vsize=9625040 CPUtime=0.58 cores=0,2,4,6 /proc/17370/task/17385/stat : 17385 (java) S 17367 17370 15516 0 -1 4202560 5077 0 0 0 58 0 0 0 20 0 19 0 23380767 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593947687096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17386] ppid=17367 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/17370/task/17386/stat : 17386 (java) S 17367 17370 15516 0 -1 4202560 2744 0 0 0 42 0 0 0 20 0 19 0 23380767 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593946634296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17387] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17387/stat : 17387 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593945582200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17388] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17388/stat : 17388 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140593944529608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17389] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17389/stat : 17389 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380816 9856040960 43490 33554432000 1073741824 1073778376 140734371228976 140592935855528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.12 Current children cumulated vsize (KiB) 9625040 [startup+6.30087 s] /proc/loadavg: 2.43 2.25 2.20 3/214 17389 /proc/meminfo: memFree=29302240/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9625040 CPUtime=7.42 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 11649 0 1 0 736 6 0 0 20 0 19 0 23380761 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2406260 46319 2286 9 0 2396937 0 [pid=17370/tid=17372] ppid=17367 vsize=9625040 CPUtime=6.22 cores=0,2,4,6 /proc/17370/task/17372/stat : 17372 (java) R 17367 17370 15516 0 -1 4202560 2494 0 1 0 619 3 0 0 20 0 19 0 23380762 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594128343240 140593959901892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17373] ppid=17367 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/17370/task/17373/stat : 17373 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 23380763 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594089835304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17374] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17374/stat : 17374 (java) S 17367 17370 15516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594088782504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17375] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17375/stat : 17375 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380763 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594087730216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17376] ppid=17367 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/17370/task/17376/stat : 17376 (java) S 17367 17370 15516 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 23380763 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594086677416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17377] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17377/stat : 17377 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594085624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17378] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17378/stat : 17378 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594084571304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17379] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17379/stat : 17379 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594083519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17380] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17380/stat : 17380 (java) S 17367 17370 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23380764 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140594082466216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17381] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17381/stat : 17381 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593951898344 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17382] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17382/stat : 17382 (java) S 17367 17370 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593950844408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17383] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17383/stat : 17383 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593949792008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17384] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17384/stat : 17384 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593948740496 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17385] ppid=17367 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/17370/task/17385/stat : 17385 (java) S 17367 17370 15516 0 -1 4202560 5077 0 0 0 60 0 0 0 20 0 19 0 23380767 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593947687096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17386] ppid=17367 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/17370/task/17386/stat : 17386 (java) S 17367 17370 15516 0 -1 4202560 2744 0 0 0 44 0 0 0 20 0 19 0 23380767 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593946634296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17387] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17387/stat : 17387 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593945582200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17388] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17388/stat : 17388 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140593944529608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17389] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17389/stat : 17389 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380816 9856040960 46319 33554432000 1073741824 1073778376 140734371228976 140592935855528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.42 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=17370/tid=17389] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17389/stat : 17389 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380816 9856040960 75507 33554432000 1073741824 1073778376 140734371228976 140592935855528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1667.32 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.28 2.31 2.26 3/213 17700 /proc/meminfo: memFree=29634992/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9625040 CPUtime=1727.39 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 18667 0 1 0 172673 66 0 0 20 0 19 0 23380761 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2406260 74306 2295 9 0 2396937 0 [pid=17370/tid=17372] ppid=17367 vsize=9625040 CPUtime=1715.58 cores=0,2,4,6 /proc/17370/task/17372/stat : 17372 (java) R 17367 17370 15516 0 -1 4202560 4117 0 1 0 171525 33 0 0 20 0 19 0 23380762 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594128342240 140593959867492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17373] ppid=17367 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/17370/task/17373/stat : 17373 (java) S 17367 17370 15516 0 -1 4202560 627 0 0 0 66 6 0 0 20 0 19 0 23380763 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594089835304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17374] ppid=17367 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/17370/task/17374/stat : 17374 (java) S 17367 17370 15516 0 -1 4202560 527 0 0 0 66 4 0 0 20 0 19 0 23380763 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594088782504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17375] ppid=17367 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/17370/task/17375/stat : 17375 (java) S 17367 17370 15516 0 -1 4202560 496 0 0 0 62 4 0 0 20 0 19 0 23380763 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594087730216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17376] ppid=17367 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/17370/task/17376/stat : 17376 (java) S 17367 17370 15516 0 -1 4202560 759 0 0 0 68 7 0 0 20 0 19 0 23380763 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594086677416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17377] ppid=17367 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/17370/task/17377/stat : 17377 (java) S 17367 17370 15516 0 -1 4202560 494 0 0 0 72 5 0 0 20 0 19 0 23380764 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594085624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17378] ppid=17367 vsize=9625040 CPUtime=0.68 cores=0,2,4,6 /proc/17370/task/17378/stat : 17378 (java) S 17367 17370 15516 0 -1 4202560 406 0 0 0 64 4 0 0 20 0 19 0 23380764 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594084571304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17379] ppid=17367 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/17370/task/17379/stat : 17379 (java) S 17367 17370 15516 0 -1 4202560 904 0 0 0 62 5 0 0 20 0 19 0 23380764 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594083519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17380] ppid=17367 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/17370/task/17380/stat : 17380 (java) S 17367 17370 15516 0 -1 4202560 831 0 0 0 64 5 0 0 20 0 19 0 23380764 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140594082466216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17381] ppid=17367 vsize=9625040 CPUtime=0.16 cores=0,2,4,6 /proc/17370/task/17381/stat : 17381 (java) S 17367 17370 15516 0 -1 4202560 183 0 0 0 12 4 0 0 20 0 19 0 23380765 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593951898344 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17382] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17382/stat : 17382 (java) S 17367 17370 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593950844408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17383] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17383/stat : 17383 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593949792008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17384] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17384/stat : 17384 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593948740496 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17385] ppid=17367 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/17370/task/17385/stat : 17385 (java) S 17367 17370 15516 0 -1 4202560 5084 0 0 0 72 0 0 0 20 0 19 0 23380767 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593947687096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17386] ppid=17367 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/17370/task/17386/stat : 17386 (java) S 17367 17370 15516 0 -1 4202560 2876 0 0 0 56 0 0 0 20 0 19 0 23380767 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593946634296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17387] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17387/stat : 17387 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593945582200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17388] ppid=17367 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/17370/task/17388/stat : 17388 (java) S 17367 17370 15516 0 -1 4202560 99 0 0 0 22 23 0 0 20 0 19 0 23380767 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140593944529608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0 [pid=17370/tid=17389] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17389/stat : 17389 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380816 9856040960 74306 33554432000 1073741824 1073778376 140734371228976 140592935855528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1727.39 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.32 2.31 2.27 4/213 17702 /proc/meminfo: memFree=29639316/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9625040 CPUtime=1787.45 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 18677 0 1 0 178678 67 0 0 20 0 19 0 23380761 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2406260 73344 2295 9 0 2396937 0 [pid=17370/tid=17372] ppid=17367 vsize=9625040 CPUtime=1775.41 cores=0,2,4,6 /proc/17370/task/17372/stat : 17372 (java) R 17367 17370 15516 0 -1 4202560 4119 0 1 0 177508 33 0 0 20 0 19 0 23380762 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594128334544 140593959867527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17373] ppid=17367 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/17370/task/17373/stat : 17373 (java) S 17367 17370 15516 0 -1 4202560 627 0 0 0 66 6 0 0 20 0 19 0 23380763 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594089835304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17374] ppid=17367 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/17370/task/17374/stat : 17374 (java) S 17367 17370 15516 0 -1 4202560 527 0 0 0 67 4 0 0 20 0 19 0 23380763 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594088782504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17375] ppid=17367 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/17370/task/17375/stat : 17375 (java) S 17367 17370 15516 0 -1 4202560 496 0 0 0 63 4 0 0 20 0 19 0 23380763 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594087730216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17376] ppid=17367 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/17370/task/17376/stat : 17376 (java) S 17367 17370 15516 0 -1 4202560 759 0 0 0 70 7 0 0 20 0 19 0 23380763 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594086677416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17377] ppid=17367 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/17370/task/17377/stat : 17377 (java) S 17367 17370 15516 0 -1 4202560 494 0 0 0 73 5 0 0 20 0 19 0 23380764 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594085624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17378] ppid=17367 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/17370/task/17378/stat : 17378 (java) S 17367 17370 15516 0 -1 4202560 406 0 0 0 65 4 0 0 20 0 19 0 23380764 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594084571304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17379] ppid=17367 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/17370/task/17379/stat : 17379 (java) S 17367 17370 15516 0 -1 4202560 904 0 0 0 62 5 0 0 20 0 19 0 23380764 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594083519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17380] ppid=17367 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/17370/task/17380/stat : 17380 (java) S 17367 17370 15516 0 -1 4202560 831 0 0 0 65 5 0 0 20 0 19 0 23380764 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140594082466216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17381] ppid=17367 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/17370/task/17381/stat : 17381 (java) S 17367 17370 15516 0 -1 4202560 187 0 0 0 13 4 0 0 20 0 19 0 23380765 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593951898344 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17382] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17382/stat : 17382 (java) S 17367 17370 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593950844408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17383] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17383/stat : 17383 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593949792008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17384] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17384/stat : 17384 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593948740496 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17385] ppid=17367 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/17370/task/17385/stat : 17385 (java) S 17367 17370 15516 0 -1 4202560 5084 0 0 0 72 0 0 0 20 0 19 0 23380767 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593947687096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17386] ppid=17367 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/17370/task/17386/stat : 17386 (java) S 17367 17370 15516 0 -1 4202560 2876 0 0 0 56 0 0 0 20 0 19 0 23380767 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593946634296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17387] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17387/stat : 17387 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593945582200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17388] ppid=17367 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/17370/task/17388/stat : 17388 (java) S 17367 17370 15516 0 -1 4202560 103 0 0 0 24 25 0 0 20 0 19 0 23380767 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140593944529608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0 [pid=17370/tid=17389] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17389/stat : 17389 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380816 9856040960 73344 33554432000 1073741824 1073778376 140734371228976 140592935855528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.8 s] /proc/loadavg: 2.34 2.32 2.27 3/213 17703 /proc/meminfo: memFree=29636888/32872528 swapFree=1542984/1696284 [pid=17370] ppid=17367 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6 /proc/17370/stat : 17370 (java) S 17367 17370 15516 0 -1 4202496 18679 0 1 0 179933 68 0 0 20 0 19 0 23380761 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140734371220112 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17370/statm: 2406260 72719 2295 9 0 2396937 0 [pid=17370/tid=17372] ppid=17367 vsize=9625040 CPUtime=1787.85 cores=0,2,4,6 /proc/17370/task/17372/stat : 17372 (java) R 17367 17370 15516 0 -1 4202560 4121 0 1 0 178751 34 0 0 20 0 19 0 23380762 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594128342240 140593959904015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17373] ppid=17367 vsize=9625040 CPUtime=0.73 cores=0,2,4,6 /proc/17370/task/17373/stat : 17373 (java) S 17367 17370 15516 0 -1 4202560 627 0 0 0 67 6 0 0 20 0 19 0 23380763 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594089835304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17374] ppid=17367 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/17370/task/17374/stat : 17374 (java) S 17367 17370 15516 0 -1 4202560 527 0 0 0 68 4 0 0 20 0 19 0 23380763 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594088782504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17375] ppid=17367 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/17370/task/17375/stat : 17375 (java) S 17367 17370 15516 0 -1 4202560 496 0 0 0 65 4 0 0 20 0 19 0 23380763 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594087730216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17370/tid=17376] ppid=17367 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/17370/task/17376/stat : 17376 (java) S 17367 17370 15516 0 -1 4202560 759 0 0 0 70 7 0 0 20 0 19 0 23380763 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594086677416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17377] ppid=17367 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/17370/task/17377/stat : 17377 (java) S 17367 17370 15516 0 -1 4202560 494 0 0 0 74 5 0 0 20 0 19 0 23380764 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594085624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17378] ppid=17367 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/17370/task/17378/stat : 17378 (java) S 17367 17370 15516 0 -1 4202560 406 0 0 0 66 4 0 0 20 0 19 0 23380764 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594084571304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17379] ppid=17367 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/17370/task/17379/stat : 17379 (java) S 17367 17370 15516 0 -1 4202560 904 0 0 0 64 5 0 0 20 0 19 0 23380764 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594083519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17380] ppid=17367 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/17370/task/17380/stat : 17380 (java) S 17367 17370 15516 0 -1 4202560 831 0 0 0 67 5 0 0 20 0 19 0 23380764 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140594082466216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17381] ppid=17367 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/17370/task/17381/stat : 17381 (java) S 17367 17370 15516 0 -1 4202560 187 0 0 0 13 4 0 0 20 0 19 0 23380765 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593951898344 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17382] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17382/stat : 17382 (java) S 17367 17370 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593950844408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17383] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17383/stat : 17383 (java) S 17367 17370 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23380765 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593949792008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17384] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17384/stat : 17384 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593948740496 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17370/tid=17385] ppid=17367 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/17370/task/17385/stat : 17385 (java) S 17367 17370 15516 0 -1 4202560 5084 0 0 0 72 0 0 0 20 0 19 0 23380767 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593947687096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17386] ppid=17367 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/17370/task/17386/stat : 17386 (java) S 17367 17370 15516 0 -1 4202560 2876 0 0 0 56 0 0 0 20 0 19 0 23380767 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593946634296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17370/tid=17387] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17387/stat : 17387 (java) S 17367 17370 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23380767 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593945582200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17370/tid=17388] ppid=17367 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/17370/task/17388/stat : 17388 (java) S 17367 17370 15516 0 -1 4202560 103 0 0 0 24 25 0 0 20 0 19 0 23380767 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140593944529608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0 [pid=17370/tid=17389] ppid=17367 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/17370/task/17389/stat : 17389 (java) S 17367 17370 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23380816 9856040960 72719 33554432000 1073741824 1073778376 140734371228976 140592935855528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17370 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17370 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=829144 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=173821 # CPU time returned by wait4() is 1796 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1794.85 CPU time (s): 1800.01 CPU user time (s): 1799.33 CPU system time (s): 0.68 CPU usage (%): 100.287 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.83 system time used= 1.17382 maximum resident set size= 475028 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18716 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44153 involuntary context switches= 31740 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.8051 second user time and 16.5165 second system time The end
Begin job on node125 at 2016-06-18 03:29:01 IDJOB=4100429 IDBENCH=1615 IDSOLVER=2546 FILE ID=node125/4100429-1466213341 RUNJOBID= node125-1466206074-15532 PBS_JOBID= 19918152 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100429-1466213341/watcher-4100429-1466213341 -o /tmp/evaluation-result-4100429-1466213341/solver-4100429-1466213341 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100429-1466213341.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8bdca001a57a76bf3835c82b9bc6a431 RANDOM SEED=1380258234 node125.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.683 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 : 5333.36 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.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29509888 kB Buffers: 43608 kB Cached: 81500 kB SwapCached: 684 kB Active: 871084 kB Inactive: 77092 kB Active(anon): 824560 kB Inactive(anon): 996 kB Active(file): 46524 kB Inactive(file): 76096 kB Unevictable: 1696284 kB Mlocked: 1542984 kB SwapTotal: 67108856 kB SwapFree: 67098192 kB Dirty: 1296 kB Writeback: 0 kB AnonPages: 2525440 kB Mapped: 15340 kB Shmem: 0 kB Slab: 570828 kB SReclaimable: 14528 kB SUnreclaim: 556300 kB KernelStack: 1608 kB PageTables: 9636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2736352 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 935936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node125 at 2016-06-18 03:58:56