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) | 450588 | 1800.03 | 1773.55 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb |
| MD5SUM | 96d9927730c8b8baae8e5c668115210d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 450588 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 273432 |
| Optimality of the best value was proved | NO |
| 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-4101797-1466226024.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 1.07/0.51 c ... done. Wall clock time 0.4s. 1.07/0.51 c declared #vars 8902 1.07/0.51 c #constraints 3038 1.07/0.51 c constraints type 1.07/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 450 1.07/0.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 31 1.07/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 538 1.07/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2019 1.07/0.51 c 3038 constraints processed. 1.07/0.51 c objective function length is 31 literals 4.80/3.81 c cleaning 2500 clauses out of 5000 with flag 14635/5000 6.98/5.98 c cleaning 4246 clauses out of 8503 with flag 33916/11004 8.75/7.31 c cleaning 5624 clauses out of 11253 with flag 57732/18001 10.85/9.10 c cleaning 6814 clauses out of 13629 with flag 87273/26001 12.71/10.80 c cleaning 7904 clauses out of 15815 with flag 122814/35001 13.30/11.49 c SATISFIABLE 13.30/11.49 c OPTIMIZING... 13.30/11.49 c Got one! Elapsed wall clock time (in seconds):11.378 13.30/11.49 o 516125 13.73/11.88 c cleaning 6836 clauses out of 13684 with flag 7068/40774 15.06/13.18 c cleaning 6419 clauses out of 12846 with flag 31198/46773 16.68/14.78 c cleaning 6708 clauses out of 13427 with flag 64869/53773 18.49/16.53 c cleaning 7359 clauses out of 14720 with flag 99379/61774 20.21/18.20 c cleaning 8171 clauses out of 16362 with flag 141957/70775 22.22/20.29 c cleaning 9092 clauses out of 18189 with flag 190783/80773 22.93/20.97 c Got one! Elapsed wall clock time (in seconds):20.857 22.93/20.97 o 514587 24.35/22.27 c cleaning 7301 clauses out of 14612 with flag 11411/86288 27.58/25.42 c cleaning 6650 clauses out of 13314 with flag 34449/92291 31.03/28.82 c cleaning 6823 clauses out of 13661 with flag 59828/99288 34.95/32.77 c cleaning 7418 clauses out of 14840 with flag 88510/107290 37.56/35.31 c cleaning 8197 clauses out of 16420 with flag 122300/116288 39.66/37.45 c cleaning 9112 clauses out of 18223 with flag 156447/126288 42.04/39.73 c cleaning 10053 clauses out of 20112 with flag 192024/137289 44.58/42.26 c cleaning 11028 clauses out of 22059 with flag 229435/149289 47.33/44.91 c cleaning 12012 clauses out of 24031 with flag 267474/162289 48.76/46.36 c Got one! Elapsed wall clock time (in seconds):46.245 48.76/46.36 o 513051 50.59/48.11 c cleaning 11955 clauses out of 23910 with flag 14866/174180 52.93/50.43 c cleaning 8975 clauses out of 17955 with flag 33303/180180 55.44/52.99 c cleaning 7986 clauses out of 15982 with flag 54211/187182 58.44/55.92 c cleaning 7978 clauses out of 15994 with flag 77645/195180 61.54/59.10 c cleaning 8489 clauses out of 17016 with flag 103722/204180 64.94/62.49 c cleaning 9254 clauses out of 18527 with flag 132757/214181 69.26/66.70 c cleaning 10121 clauses out of 20275 with flag 172709/225183 73.78/71.28 c cleaning 11041 clauses out of 22151 with flag 223442/237180 79.65/77.07 c cleaning 12020 clauses out of 24110 with flag 277918/250180 86.32/83.63 c cleaning 13011 clauses out of 26090 with flag 334917/264180 93.04/90.29 c cleaning 14012 clauses out of 28079 with flag 395114/279180 100.84/97.91 c cleaning 15001 clauses out of 30068 with flag 455185/295181 108.78/105.79 c cleaning 16008 clauses out of 32072 with flag 506061/312186 117.61/114.43 c cleaning 16999 clauses out of 34058 with flag 563760/330180 127.67/124.40 c cleaning 18002 clauses out of 36061 with flag 637128/349182 138.68/135.13 c cleaning 18993 clauses out of 38057 with flag 712325/369180 149.38/145.71 c cleaning 20006 clauses out of 40064 with flag 786062/390180 160.20/156.31 c cleaning 20999 clauses out of 42060 with flag 856559/412182 172.32/168.40 c cleaning 22001 clauses out of 44060 with flag 944274/435181 185.19/181.11 c cleaning 22999 clauses out of 46059 with flag 1040715/459181 198.31/194.07 c cleaning 24004 clauses out of 48060 with flag 1140380/484181 212.02/207.56 c cleaning 25001 clauses out of 50056 with flag 1248498/510181 226.01/221.31 c cleaning 25998 clauses out of 52056 with flag 1361491/537182 240.26/235.37 c cleaning 27003 clauses out of 54056 with flag 1477310/565180 255.29/250.12 c cleaning 28019 clauses out of 56053 with flag 1572663/594181 271.66/266.33 c cleaning 29011 clauses out of 58033 with flag 1674101/624180 286.49/280.91 c cleaning 30009 clauses out of 60022 with flag 1774343/655180 301.98/296.22 c cleaning 31001 clauses out of 62013 with flag 1876090/687180 316.52/310.52 c cleaning 31996 clauses out of 64012 with flag 1982007/720180 331.14/324.92 c cleaning 33000 clauses out of 66018 with flag 2090881/754182 346.33/339.88 c cleaning 34004 clauses out of 68016 with flag 2205777/789180 361.88/355.18 c cleaning 35004 clauses out of 70014 with flag 2324918/825182 377.89/370.92 c cleaning 35994 clauses out of 72009 with flag 2443571/862181 393.83/386.60 c cleaning 36996 clauses out of 74014 with flag 2560351/900180 410.11/402.64 c cleaning 38002 clauses out of 76018 with flag 2679506/939180 426.92/419.17 c cleaning 39001 clauses out of 78016 with flag 2808430/979180 445.24/437.18 c cleaning 40004 clauses out of 80015 with flag 2938756/1020180 463.71/455.37 c cleaning 40988 clauses out of 82011 with flag 3073282/1062180 482.00/473.37 c cleaning 42004 clauses out of 84023 with flag 3209715/1105180 502.28/493.33 c cleaning 43001 clauses out of 86020 with flag 3348170/1149181 521.63/512.38 c cleaning 44010 clauses out of 88021 with flag 3492230/1194183 542.72/533.10 c cleaning 44998 clauses out of 90008 with flag 3633788/1240180 562.97/553.18 c cleaning 45999 clauses out of 92011 with flag 3779235/1287181 584.38/574.21 c cleaning 46995 clauses out of 94011 with flag 3931044/1335180 605.62/595.11 c cleaning 48007 clauses out of 96020 with flag 4086526/1384184 627.33/616.50 c cleaning 48992 clauses out of 98009 with flag 4240582/1434180 650.81/639.72 c cleaning 50006 clauses out of 100018 with flag 4399004/1485181 674.26/662.98 c cleaning 51001 clauses out of 102011 with flag 4561118/1537180 696.74/685.13 c cleaning 51980 clauses out of 104010 with flag 4728675/1590180 722.13/710.26 c cleaning 53013 clauses out of 106031 with flag 4902549/1644181 747.65/735.44 c cleaning 54009 clauses out of 108020 with flag 5081066/1699183 773.20/760.61 c cleaning 55000 clauses out of 110008 with flag 5261975/1755180 799.99/787.08 c cleaning 55989 clauses out of 112008 with flag 5440280/1812180 827.14/813.87 c cleaning 57005 clauses out of 114019 with flag 5629276/1870180 854.60/841.00 c cleaning 58009 clauses out of 116017 with flag 5821856/1929183 882.25/868.38 c cleaning 58995 clauses out of 118006 with flag 6016285/1989181 913.31/898.91 c cleaning 59998 clauses out of 120010 with flag 6214252/2050180 943.25/928.43 c cleaning 60993 clauses out of 122012 with flag 6407178/2112180 972.98/957.78 c cleaning 62006 clauses out of 124019 with flag 6603494/2175180 1004.40/988.75 c cleaning 63005 clauses out of 126015 with flag 6807572/2239182 1038.28/1022.21 c cleaning 63995 clauses out of 128008 with flag 7016906/2304180 1070.38/1053.88 c cleaning 65005 clauses out of 130013 with flag 7223609/2370180 1104.56/1087.55 c cleaning 66004 clauses out of 132009 with flag 7434313/2437181 1138.36/1120.97 c cleaning 66985 clauses out of 134004 with flag 7637672/2505180 1173.74/1155.81 c cleaning 68001 clauses out of 136019 with flag 7857619/2574180 1213.08/1194.62 c cleaning 69005 clauses out of 138021 with flag 8077072/2644183 1253.00/1234.12 c cleaning 70003 clauses out of 140013 with flag 8325268/2715180 1292.51/1273.10 c cleaning 70996 clauses out of 142010 with flag 8564701/2787180 1329.19/1309.27 c cleaning 72002 clauses out of 144016 with flag 8797380/2860182 1366.69/1346.18 c cleaning 73003 clauses out of 146012 with flag 9040410/2934180 1405.07/1384.08 c cleaning 74001 clauses out of 148009 with flag 9320510/3009180 1442.87/1421.35 c cleaning 75000 clauses out of 150010 with flag 9583419/3085182 1485.86/1463.72 c cleaning 75992 clauses out of 152008 with flag 9854278/3162180 1526.93/1504.24 c cleaning 77003 clauses out of 154018 with flag 10126947/3240182 1570.42/1547.21 c cleaning 78003 clauses out of 156015 with flag 10408562/3319182 1615.48/1591.62 c cleaning 79003 clauses out of 158010 with flag 10696405/3399180 1641.64/1617.38 c cleaning 79987 clauses out of 160005 with flag 11053474/3480180 1677.06/1652.27 c cleaning 80994 clauses out of 162017 with flag 11454966/3562180 1682.27/1657.34 c Got one! Elapsed wall clock time (in seconds):1657.227 1682.27/1657.34 o 450588 1684.17/1659.25 c cleaning 49336 clauses out of 98675 with flag 15105/3579832 1686.21/1661.26 c cleaning 27658 clauses out of 55339 with flag 33213/3585832 1688.54/1663.57 c cleaning 17333 clauses out of 34681 with flag 54057/3592832 1691.26/1666.23 c cleaning 12669 clauses out of 25350 with flag 77054/3600834 1694.30/1669.24 c cleaning 10826 clauses out of 21679 with flag 101856/3609832 1697.54/1672.42 c cleaning 10421 clauses out of 20854 with flag 130421/3619833 1702.48/1677.31 c cleaning 10714 clauses out of 21434 with flag 187285/3630834 1708.25/1683.01 c cleaning 11344 clauses out of 22719 with flag 235288/3642833 1711.40/1686.02 c cleaning 12162 clauses out of 24375 with flag 296620/3655833 1714.65/1689.22 c cleaning 13083 clauses out of 26213 with flag 369332/3669833 1718.94/1693.49 c cleaning 14060 clauses out of 28129 with flag 439582/3684832 1723.70/1698.13 c cleaning 15023 clauses out of 30071 with flag 531081/3700834 1728.31/1702.69 c cleaning 15997 clauses out of 32046 with flag 618653/3717832 1732.59/1706.88 c cleaning 17005 clauses out of 34049 with flag 711349/3735832 1736.76/1710.98 c cleaning 18009 clauses out of 36044 with flag 810623/3754832 1741.85/1715.93 c cleaning 19013 clauses out of 38036 with flag 916113/3774833 1748.72/1722.75 c cleaning 19998 clauses out of 40023 with flag 1075895/3795833 1756.13/1730.03 c cleaning 20992 clauses out of 42024 with flag 1255031/3817832 1763.65/1737.58 c cleaning 21998 clauses out of 44032 with flag 1438296/3840832 1772.20/1746.06 c cleaning 23008 clauses out of 46035 with flag 1639424/3864833 1781.18/1754.94 c cleaning 24007 clauses out of 48026 with flag 1839761/3889832 1790.88/1764.58 c cleaning 25003 clauses out of 50020 with flag 2059827/3915833 1800.03/1773.50 c starts : 1703 1800.03/1773.50 c conflicts : 3941221 1800.03/1773.50 c decisions : 9585331 1800.03/1773.50 c propagations : 242301913 1800.03/1773.50 c inspects : 18172325633 1800.03/1773.50 c shortcuts : 0 1800.03/1773.50 c learnt literals : 8 1800.03/1773.50 c learnt binary clauses : 45 1800.03/1773.50 c learnt ternary clauses : 95 1800.03/1773.50 c learnt constraints : 3941214 1800.03/1773.50 c ignored constraints : 0 1800.03/1773.50 c root simplifications : 0 1800.03/1773.50 c removed literals (reason simplification) : 0 1800.03/1773.50 c reason swapping (by a shorter reason) : 0 1800.03/1773.50 c Calls to reduceDB : 120 1800.03/1773.50 c Number of update (reduction) of LBD : 1199213 1800.03/1773.50 c Imported unit clauses : 0 1800.03/1773.50 c number of reductions to clauses (during analyze) : 0 1800.03/1773.50 c number of learned constraints concerned by reduction : 0 1800.03/1773.50 c number of learning phase by resolution : 0 1800.03/1773.50 c number of learning phase by cutting planes : 0 1800.03/1773.50 c speed (assignments/second) : 136665.41997352446 1800.03/1773.50 c non guided choices 21534 1800.03/1773.52 c learnt constraints type 1800.03/1773.52 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 45 1800.03/1773.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50361 1800.03/1773.52 s SATISFIABLE 1800.03/1773.52 c Found 4 solution(s) 1800.03/1773.53 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.03/1773.55 c objective function=450588 1800.03/1773.55 c Total wall clock time (in seconds): 1773.432
OK 450588
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-4101797-1466226024/watcher-4101797-1466226024 -o /tmp/evaluation-result-4101797-1466226024/solver-4101797-1466226024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101797-1466226024.opb pid=19133 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.31 2.29 2.21 2/195 19136 /proc/meminfo: memFree=29155588/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=3568 CPUtime=0 cores=0,2,4,6 /proc/19136/stat : 19136 (java) R 19133 19136 15516 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 24649043 3653632 49 33554432000 1073741824 1073778376 140735035970208 140735035967336 270698376487 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 892 52 41 9 0 30 0 [startup+0.100059 s] /proc/loadavg: 2.31 2.29 2.21 2/195 19136 /proc/meminfo: memFree=29155588/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 4460 0 1 0 8 1 0 0 20 0 18 0 24649043 9787879424 5573 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2389619 5573 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200212 s] /proc/loadavg: 2.31 2.29 2.21 2/195 19136 /proc/meminfo: memFree=29155588/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 5211 0 1 0 27 1 0 0 20 0 18 0 24649043 9787879424 6658 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2389619 6659 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300215 s] /proc/loadavg: 2.31 2.29 2.21 2/195 19136 /proc/meminfo: memFree=29155588/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9558476 CPUtime=0.55 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 7350 0 1 0 53 2 0 0 20 0 18 0 24649043 9787879424 9903 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2389619 9903 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9558476 [startup+0.700184 s] /proc/loadavg: 2.31 2.29 2.21 2/195 19136 /proc/meminfo: memFree=29155588/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9625040 CPUtime=1.52 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 11492 0 1 0 149 3 0 0 20 0 19 0 24649043 9856040960 26761 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2406260 26761 2263 9 0 2396937 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.31 2.29 2.21 3/214 19155 /proc/meminfo: memFree=29027448/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9625040 CPUtime=2.41 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 11534 0 1 0 237 4 0 0 20 0 19 0 24649043 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2406260 39066 2266 9 0 2396937 0 [pid=19136/tid=19138] ppid=19133 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/19136/task/19138/stat : 19138 (java) R 19133 19136 15516 0 -1 4202560 2530 0 1 0 143 2 0 0 20 0 19 0 24649044 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342284640664 140342224999982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19139] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19139/stat : 19139 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342223371304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19140] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19140/stat : 19140 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342222318504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19141] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19141/stat : 19141 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342221265704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19142] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19142/stat : 19142 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342220212904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19143] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19143/stat : 19143 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342219160104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19144] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19144/stat : 19144 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342122461608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19145] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19145/stat : 19145 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342121408808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19146] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19146/stat : 19146 (java) S 19133 19136 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342120356008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19147] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19147/stat : 19147 (java) S 19133 19136 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342108158952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19148] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19148/stat : 19148 (java) S 19133 19136 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342107105016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19149] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19149/stat : 19149 (java) S 19133 19136 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342106052104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19150] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19150/stat : 19150 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342105000592 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19151] ppid=19133 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/19136/task/19151/stat : 19151 (java) S 19133 19136 15516 0 -1 4202560 5154 0 0 0 53 0 0 0 20 0 19 0 24649049 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342103947704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19152] ppid=19133 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/19136/task/19152/stat : 19152 (java) S 19133 19136 15516 0 -1 4202560 2574 0 0 0 38 0 0 0 20 0 19 0 24649049 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342102894904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19153] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19153/stat : 19153 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342101842296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19154] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19154/stat : 19154 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342100789704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19155] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19155/stat : 19155 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649098 9856040960 39066 33554432000 1073741824 1073778376 140735035970208 140342099736232 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.41 Current children cumulated vsize (KiB) 9625040 [startup+3.10085 s] /proc/loadavg: 2.31 2.29 2.21 3/214 19155 /proc/meminfo: memFree=28992632/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9625040 CPUtime=4.09 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 11587 0 1 0 404 5 0 0 20 0 19 0 24649043 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2406260 43193 2282 9 0 2396937 0 [pid=19136/tid=19138] ppid=19133 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/19136/task/19138/stat : 19138 (java) R 19133 19136 15516 0 -1 4202560 2540 0 1 0 302 2 0 0 20 0 19 0 24649044 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342284638776 140342225000726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19139] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19139/stat : 19139 (java) S 19133 19136 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342223371304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19140] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19140/stat : 19140 (java) S 19133 19136 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342222318504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19141] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19141/stat : 19141 (java) S 19133 19136 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342221265704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19142] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19142/stat : 19142 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342220212904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19143] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19143/stat : 19143 (java) S 19133 19136 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342219160104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19144] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19144/stat : 19144 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342122461608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19145] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19145/stat : 19145 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342121408808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19146] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19146/stat : 19146 (java) S 19133 19136 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342120356008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19147] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19147/stat : 19147 (java) S 19133 19136 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342108158952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19148] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19148/stat : 19148 (java) S 19133 19136 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342107105016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19149] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19149/stat : 19149 (java) S 19133 19136 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342106052104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19150] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19150/stat : 19150 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342105000592 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19151] ppid=19133 vsize=9625040 CPUtime=0.58 cores=0,2,4,6 /proc/19136/task/19151/stat : 19151 (java) S 19133 19136 15516 0 -1 4202560 5164 0 0 0 58 0 0 0 20 0 19 0 24649049 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342103947704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19152] ppid=19133 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/19136/task/19152/stat : 19152 (java) S 19133 19136 15516 0 -1 4202560 2574 0 0 0 39 0 0 0 20 0 19 0 24649049 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342102894904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19153] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19153/stat : 19153 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342101842296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19154] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19154/stat : 19154 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342100789704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19155] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19155/stat : 19155 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649098 9856040960 43193 33554432000 1073741824 1073778376 140735035970208 140342099736232 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.09 Current children cumulated vsize (KiB) 9625040 [startup+6.30086 s] /proc/loadavg: 2.28 2.28 2.21 3/214 19155 /proc/meminfo: memFree=28986244/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9625040 CPUtime=7.7 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 18194 0 1 0 764 6 0 0 20 0 19 0 24649043 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2406260 48622 2287 9 0 2396937 0 [pid=19136/tid=19138] ppid=19133 vsize=9625040 CPUtime=6.2 cores=0,2,4,6 /proc/19136/task/19138/stat : 19138 (java) R 19133 19136 15516 0 -1 4202560 2544 0 1 0 618 2 0 0 20 0 19 0 24649044 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342284640632 140342224924203 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19139] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19139/stat : 19139 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342223371304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19140] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19140/stat : 19140 (java) S 19133 19136 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342222318504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19141] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19141/stat : 19141 (java) S 19133 19136 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342221265704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19142] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19142/stat : 19142 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342220212904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19143] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19143/stat : 19143 (java) S 19133 19136 15516 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342219160104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19144] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19144/stat : 19144 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342122461608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19145] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19145/stat : 19145 (java) S 19133 19136 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342121408808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19146] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19146/stat : 19146 (java) S 19133 19136 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24649045 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342120356008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19147] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19147/stat : 19147 (java) S 19133 19136 15516 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342108158952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19148] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19148/stat : 19148 (java) S 19133 19136 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342107105016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19149] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19149/stat : 19149 (java) S 19133 19136 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342106052104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19150] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19150/stat : 19150 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342105000592 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19151] ppid=19133 vsize=9625040 CPUtime=0.9 cores=0,2,4,6 /proc/19136/task/19151/stat : 19151 (java) S 19133 19136 15516 0 -1 4202560 11741 0 0 0 88 2 0 0 20 0 19 0 24649049 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342103947704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19152] ppid=19133 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/19136/task/19152/stat : 19152 (java) S 19133 19136 15516 0 -1 4202560 2584 0 0 0 47 0 0 0 20 0 19 0 24649049 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342102894904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19153] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19153/stat : 19153 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342101842296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19154] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19154/stat : 19154 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342100789704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19155] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19155/stat : 19155 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649098 9856040960 48622 33554432000 1073741824 1073778376 140735035970208 140342099736232 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=19136/tid=19155] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19155/stat : 19155 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649098 9856040960 63541 33554432000 1073741824 1073778376 140735035970208 140342099736232 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1687.32 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.29 2.29 2.21 3/213 19282 /proc/meminfo: memFree=27267680/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9625040 CPUtime=1748.32 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 70781 0 1 0 174696 136 0 0 20 0 19 0 24649043 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2406260 76544 2296 9 0 2396937 0 [pid=19136/tid=19138] ppid=19133 vsize=9625040 CPUtime=1703.86 cores=0,2,4,6 /proc/19136/task/19138/stat : 19138 (java) R 19133 19136 15516 0 -1 4202560 31808 0 1 0 170344 42 0 0 20 0 19 0 24649044 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342284639552 140342225014877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19139] ppid=19133 vsize=9625040 CPUtime=4.63 cores=0,2,4,6 /proc/19136/task/19139/stat : 19139 (java) S 19133 19136 15516 0 -1 4202560 2790 0 0 0 453 10 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342223371304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19140] ppid=19133 vsize=9625040 CPUtime=4.79 cores=0,2,4,6 /proc/19136/task/19140/stat : 19140 (java) S 19133 19136 15516 0 -1 4202560 1991 0 0 0 469 10 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342222318504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19141] ppid=19133 vsize=9625040 CPUtime=4.54 cores=0,2,4,6 /proc/19136/task/19141/stat : 19141 (java) S 19133 19136 15516 0 -1 4202560 2473 0 0 0 444 10 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342221265704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19142] ppid=19133 vsize=9625040 CPUtime=4.63 cores=0,2,4,6 /proc/19136/task/19142/stat : 19142 (java) S 19133 19136 15516 0 -1 4202560 1514 0 0 0 453 10 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342220212904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19143] ppid=19133 vsize=9625040 CPUtime=4.64 cores=0,2,4,6 /proc/19136/task/19143/stat : 19143 (java) S 19133 19136 15516 0 -1 4202560 2664 0 0 0 453 11 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342219160104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19144] ppid=19133 vsize=9625040 CPUtime=4.48 cores=0,2,4,6 /proc/19136/task/19144/stat : 19144 (java) S 19133 19136 15516 0 -1 4202560 1579 0 0 0 438 10 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342122461608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19145] ppid=19133 vsize=9625040 CPUtime=4.66 cores=0,2,4,6 /proc/19136/task/19145/stat : 19145 (java) S 19133 19136 15516 0 -1 4202560 2090 0 0 0 458 8 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342121408808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19146] ppid=19133 vsize=9625040 CPUtime=4.41 cores=0,2,4,6 /proc/19136/task/19146/stat : 19146 (java) S 19133 19136 15516 0 -1 4202560 2570 0 0 0 431 10 0 0 20 0 19 0 24649045 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342120356008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19147] ppid=19133 vsize=9625040 CPUtime=0.84 cores=0,2,4,6 /proc/19136/task/19147/stat : 19147 (java) S 19133 19136 15516 0 -1 4202560 2150 0 0 0 67 17 0 0 20 0 19 0 24649046 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342108158952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19148] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19148/stat : 19148 (java) S 19133 19136 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342107105016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19149] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19149/stat : 19149 (java) S 19133 19136 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342106052104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19150] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19150/stat : 19150 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342105000592 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19151] ppid=19133 vsize=9625040 CPUtime=1.44 cores=0,2,4,6 /proc/19136/task/19151/stat : 19151 (java) S 19133 19136 15516 0 -1 4202560 15210 0 0 0 142 2 0 0 20 0 19 0 24649049 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342103947704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19152] ppid=19133 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/19136/task/19152/stat : 19152 (java) S 19133 19136 15516 0 -1 4202560 2584 0 0 0 56 0 0 0 20 0 19 0 24649049 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342102894904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19153] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19153/stat : 19153 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342101842296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19154] ppid=19133 vsize=9625040 CPUtime=0.52 cores=0,2,4,6 /proc/19136/task/19154/stat : 19154 (java) S 19133 19136 15516 0 -1 4202560 96 0 0 0 25 27 0 0 20 0 19 0 24649049 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342100789704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19155] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19155/stat : 19155 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649098 9856040960 76544 33554432000 1073741824 1073778376 140735035970208 140342099736232 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1748.32 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1773.5 s] /proc/loadavg: 2.26 2.29 2.21 4/213 19283 /proc/meminfo: memFree=27337872/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 70848 0 1 0 179866 137 0 0 20 0 19 0 24649043 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2406260 63356 2296 9 0 2396937 0 [pid=19136/tid=19138] ppid=19133 vsize=9625040 CPUtime=1754.64 cores=0,2,4,6 /proc/19136/task/19138/stat : 19138 (java) R 19133 19136 15516 0 -1 4202560 31845 0 1 0 175421 43 0 0 20 0 19 0 24649044 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342284639376 140342225002876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19139] ppid=19133 vsize=9625040 CPUtime=4.76 cores=0,2,4,6 /proc/19136/task/19139/stat : 19139 (java) S 19133 19136 15516 0 -1 4202560 2795 0 0 0 466 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342223371304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19140] ppid=19133 vsize=9625040 CPUtime=4.91 cores=0,2,4,6 /proc/19136/task/19140/stat : 19140 (java) S 19133 19136 15516 0 -1 4202560 1998 0 0 0 481 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342222318504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19141] ppid=19133 vsize=9625040 CPUtime=4.63 cores=0,2,4,6 /proc/19136/task/19141/stat : 19141 (java) S 19133 19136 15516 0 -1 4202560 2483 0 0 0 453 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342221265704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19142] ppid=19133 vsize=9625040 CPUtime=4.7 cores=0,2,4,6 /proc/19136/task/19142/stat : 19142 (java) S 19133 19136 15516 0 -1 4202560 1514 0 0 0 460 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342220212904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19143] ppid=19133 vsize=9625040 CPUtime=4.73 cores=0,2,4,6 /proc/19136/task/19143/stat : 19143 (java) S 19133 19136 15516 0 -1 4202560 2664 0 0 0 462 11 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342219160104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19144] ppid=19133 vsize=9625040 CPUtime=4.59 cores=0,2,4,6 /proc/19136/task/19144/stat : 19144 (java) S 19133 19136 15516 0 -1 4202560 1579 0 0 0 449 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342122461608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19145] ppid=19133 vsize=9625040 CPUtime=4.76 cores=0,2,4,6 /proc/19136/task/19145/stat : 19145 (java) S 19133 19136 15516 0 -1 4202560 2090 0 0 0 468 8 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342121408808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19146] ppid=19133 vsize=9625040 CPUtime=4.51 cores=0,2,4,6 /proc/19136/task/19146/stat : 19146 (java) S 19133 19136 15516 0 -1 4202560 2570 0 0 0 441 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342120356008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19147] ppid=19133 vsize=9625040 CPUtime=0.85 cores=0,2,4,6 /proc/19136/task/19147/stat : 19147 (java) S 19133 19136 15516 0 -1 4202560 2154 0 0 0 67 18 0 0 20 0 19 0 24649046 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342108158952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19148] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19148/stat : 19148 (java) S 19133 19136 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342107105016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19149] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19149/stat : 19149 (java) S 19133 19136 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342106052104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19150] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19150/stat : 19150 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342105000592 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19151] ppid=19133 vsize=9625040 CPUtime=1.44 cores=0,2,4,6 /proc/19136/task/19151/stat : 19151 (java) S 19133 19136 15516 0 -1 4202560 15210 0 0 0 142 2 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342103947704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19152] ppid=19133 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/19136/task/19152/stat : 19152 (java) S 19133 19136 15516 0 -1 4202560 2584 0 0 0 56 0 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342102894904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19153] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19153/stat : 19153 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342101842296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19154] ppid=19133 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/19136/task/19154/stat : 19154 (java) S 19133 19136 15516 0 -1 4202560 100 0 0 0 26 27 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342100789704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19155] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19155/stat : 19155 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649098 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342099736232 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 19136 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1773.5 s] /proc/loadavg: 2.26 2.29 2.21 4/213 19283 /proc/meminfo: memFree=27337872/32872528 swapFree=1542984/1696284 [pid=19136] ppid=19133 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/19136/stat : 19136 (java) S 19133 19136 15516 0 -1 4202496 70848 0 1 0 179866 137 0 0 20 0 19 0 24649043 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140735035961344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19136/statm: 2406260 63356 2296 9 0 2396937 0 [pid=19136/tid=19138] ppid=19133 vsize=9625040 CPUtime=1754.64 cores=0,2,4,6 /proc/19136/task/19138/stat : 19138 (java) R 19133 19136 15516 0 -1 4202560 31845 0 1 0 175421 43 0 0 20 0 19 0 24649044 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342284639376 140342225002876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19139] ppid=19133 vsize=9625040 CPUtime=4.76 cores=0,2,4,6 /proc/19136/task/19139/stat : 19139 (java) S 19133 19136 15516 0 -1 4202560 2795 0 0 0 466 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342223371304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19140] ppid=19133 vsize=9625040 CPUtime=4.91 cores=0,2,4,6 /proc/19136/task/19140/stat : 19140 (java) S 19133 19136 15516 0 -1 4202560 1998 0 0 0 481 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342222318504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19141] ppid=19133 vsize=9625040 CPUtime=4.63 cores=0,2,4,6 /proc/19136/task/19141/stat : 19141 (java) S 19133 19136 15516 0 -1 4202560 2483 0 0 0 453 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342221265704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19142] ppid=19133 vsize=9625040 CPUtime=4.7 cores=0,2,4,6 /proc/19136/task/19142/stat : 19142 (java) S 19133 19136 15516 0 -1 4202560 1514 0 0 0 460 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342220212904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19143] ppid=19133 vsize=9625040 CPUtime=4.73 cores=0,2,4,6 /proc/19136/task/19143/stat : 19143 (java) S 19133 19136 15516 0 -1 4202560 2664 0 0 0 462 11 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342219160104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19144] ppid=19133 vsize=9625040 CPUtime=4.59 cores=0,2,4,6 /proc/19136/task/19144/stat : 19144 (java) S 19133 19136 15516 0 -1 4202560 1579 0 0 0 449 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342122461608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19145] ppid=19133 vsize=9625040 CPUtime=4.76 cores=0,2,4,6 /proc/19136/task/19145/stat : 19145 (java) S 19133 19136 15516 0 -1 4202560 2090 0 0 0 468 8 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342121408808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19146] ppid=19133 vsize=9625040 CPUtime=4.51 cores=0,2,4,6 /proc/19136/task/19146/stat : 19146 (java) S 19133 19136 15516 0 -1 4202560 2570 0 0 0 441 10 0 0 20 0 19 0 24649045 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342120356008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19147] ppid=19133 vsize=9625040 CPUtime=0.85 cores=0,2,4,6 /proc/19136/task/19147/stat : 19147 (java) S 19133 19136 15516 0 -1 4202560 2154 0 0 0 67 18 0 0 20 0 19 0 24649046 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342108158952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19148] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19148/stat : 19148 (java) S 19133 19136 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342107105016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19149] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19149/stat : 19149 (java) S 19133 19136 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24649046 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342106052104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19136/tid=19150] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19150/stat : 19150 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342105000592 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19151] ppid=19133 vsize=9625040 CPUtime=1.44 cores=0,2,4,6 /proc/19136/task/19151/stat : 19151 (java) S 19133 19136 15516 0 -1 4202560 15210 0 0 0 142 2 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342103947704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19136/tid=19152] ppid=19133 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/19136/task/19152/stat : 19152 (java) S 19133 19136 15516 0 -1 4202560 2584 0 0 0 56 0 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342102894904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19153] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19153/stat : 19153 (java) S 19133 19136 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342101842296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19136/tid=19154] ppid=19133 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/19136/task/19154/stat : 19154 (java) S 19133 19136 15516 0 -1 4202560 100 0 0 0 26 27 0 0 20 0 19 0 24649049 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342100789704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19136/tid=19155] ppid=19133 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19136/task/19155/stat : 19155 (java) S 19133 19136 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24649098 9856040960 63356 33554432000 1073741824 1073778376 140735035970208 140342099736232 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19136 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=158246 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=841720 # CPU time returned by wait4() is 1796 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1773.55 CPU time (s): 1800.03 CPU user time (s): 1798.66 CPU system time (s): 1.37 CPU usage (%): 101.493 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.16 system time used= 1.84172 maximum resident set size= 461404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70884 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 97042 involuntary context switches= 142365 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.8805 second user time and 13.477 second system time The end
Begin job on node125 at 2016-06-18 07:00:24 IDJOB=4101797 IDBENCH=1795 IDSOLVER=2546 FILE ID=node125/4101797-1466226024 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/MIPLIB/miplib2003/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-4101797-1466226024/watcher-4101797-1466226024 -o /tmp/evaluation-result-4101797-1466226024/solver-4101797-1466226024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101797-1466226024.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96d9927730c8b8baae8e5c668115210d RANDOM SEED=1260174491 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: 29155852 kB Buffers: 98592 kB Cached: 98264 kB SwapCached: 688 kB Active: 1143032 kB Inactive: 137824 kB Active(anon): 1083900 kB Inactive(anon): 2708 kB Active(file): 59132 kB Inactive(file): 135116 kB Unevictable: 1696284 kB Mlocked: 1542984 kB SwapTotal: 67108856 kB SwapFree: 67098232 kB Dirty: 1680 kB Writeback: 0 kB AnonPages: 2908568 kB Mapped: 15440 kB Shmem: 0 kB Slab: 600940 kB SReclaimable: 44516 kB SUnreclaim: 556424 kB KernelStack: 1768 kB PageTables: 11816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2923984 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1347584 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 07:29:58