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) | 10090 | 1800.05 | 1766.27 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay30.lin.opb |
| MD5SUM | 5d02912d53f2354b54cb86f356951fff |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9772 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8640 |
| Total number of constraints | 24529 |
| Number of constraints which are clauses | 16324 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8204 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 8635 |
| Biggest coefficient in the objective function | 11400 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 95792 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11400 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 95792 |
| Number of bits of the biggest sum of numbers | 17 |
| 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-4118947-1467238089.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.93/0.52 c ... done. Wall clock time 0.408s. 0.93/0.52 c declared #vars 8640 0.93/0.52 c #constraints 24530 0.93/0.52 c constraints type 0.93/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16324 0.93/0.52 c org.sat4j.specs.Constr$1 => 1 0.93/0.52 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.93/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8204 0.93/0.52 c 24530 constraints processed. 0.93/0.52 c objective function length is 8635 literals 1.12/0.63 c SATISFIABLE 1.12/0.63 c OPTIMIZING... 1.12/0.63 c Got one! Elapsed wall clock time (in seconds):0.516 1.12/0.63 o 10167 1.38/0.73 c Got one! Elapsed wall clock time (in seconds):0.619 1.38/0.73 o 10162 1.38/0.78 c Got one! Elapsed wall clock time (in seconds):0.666 1.38/0.78 o 10161 1.65/0.83 c Got one! Elapsed wall clock time (in seconds):0.716 1.65/0.83 o 10156 1.92/0.91 c Got one! Elapsed wall clock time (in seconds):0.801 1.92/0.91 o 10147 1.92/0.93 c Got one! Elapsed wall clock time (in seconds):0.816 1.92/0.93 o 10145 1.92/0.94 c Got one! Elapsed wall clock time (in seconds):0.829 1.92/0.94 o 10140 1.92/0.96 c Got one! Elapsed wall clock time (in seconds):0.844 1.92/0.96 o 10139 1.92/0.97 c Got one! Elapsed wall clock time (in seconds):0.86 1.92/0.97 o 10134 2.05/1.04 c Got one! Elapsed wall clock time (in seconds):0.922 2.05/1.04 o 10133 2.27/1.28 c Got one! Elapsed wall clock time (in seconds):1.167 2.27/1.28 o 10129 2.36/1.30 c Got one! Elapsed wall clock time (in seconds):1.19 2.36/1.30 o 10128 2.36/1.32 c Got one! Elapsed wall clock time (in seconds):1.205 2.36/1.32 o 10127 2.36/1.33 c Got one! Elapsed wall clock time (in seconds):1.219 2.36/1.33 o 10122 2.36/1.37 c Got one! Elapsed wall clock time (in seconds):1.256 2.36/1.37 o 10121 2.66/1.67 c Got one! Elapsed wall clock time (in seconds):1.559 2.66/1.67 o 10120 2.66/1.69 c Got one! Elapsed wall clock time (in seconds):1.575 2.66/1.69 o 10117 2.83/1.72 c Got one! Elapsed wall clock time (in seconds):1.609 2.83/1.72 o 10116 2.83/1.75 c Got one! Elapsed wall clock time (in seconds):1.642 2.83/1.75 o 10115 6.08/4.98 c cleaning 2994 clauses out of 5990 with flag 10186/5990 10.54/9.02 c cleaning 4497 clauses out of 8997 with flag 22315/11991 15.14/13.67 c cleaning 5747 clauses out of 11499 with flag 37152/18990 20.93/19.06 c cleaning 6875 clauses out of 13753 with flag 53661/26991 27.52/25.34 c cleaning 7936 clauses out of 15877 with flag 72151/35990 34.82/32.69 c cleaning 8964 clauses out of 17943 with flag 92402/45992 37.31/35.11 c Got one! Elapsed wall clock time (in seconds):34.993 37.31/35.11 o 10114 37.86/35.61 c Got one! Elapsed wall clock time (in seconds):35.499 37.86/35.61 o 10113 39.26/37.00 c cleaning 7434 clauses out of 14882 with flag 4029/51895 40.48/38.08 c Got one! Elapsed wall clock time (in seconds):37.963 40.48/38.08 o 10111 40.68/38.24 c Got one! Elapsed wall clock time (in seconds):38.132 40.68/38.24 o 10107 40.78/38.31 c Got one! Elapsed wall clock time (in seconds):38.201 40.78/38.31 o 10106 40.99/38.54 c Got one! Elapsed wall clock time (in seconds):38.431 40.99/38.54 o 10102 41.09/38.64 c Got one! Elapsed wall clock time (in seconds):38.523 41.09/38.64 o 10101 41.09/38.67 c Got one! Elapsed wall clock time (in seconds):38.556 41.09/38.67 o 10100 43.68/41.27 c cleaning 6898 clauses out of 13816 with flag 8246/58263 47.48/45.05 c cleaning 6446 clauses out of 12918 with flag 20868/64263 51.98/49.60 c cleaning 6726 clauses out of 13472 with flag 35847/71263 57.73/54.98 c cleaning 7363 clauses out of 14745 with flag 53602/79262 64.23/61.41 c cleaning 8184 clauses out of 16384 with flag 73107/88264 70.82/68.01 c cleaning 9093 clauses out of 18198 with flag 94843/98262 78.62/75.82 c cleaning 10045 clauses out of 20105 with flag 119957/109262 88.58/85.03 c cleaning 11023 clauses out of 22061 with flag 146240/121263 94.48/90.98 c Got one! Elapsed wall clock time (in seconds):90.869 94.48/90.98 o 10099 97.98/94.48 c cleaning 12000 clauses out of 24012 with flag 10507/134237 102.08/98.57 c cleaning 8996 clauses out of 18012 with flag 22884/140237 107.26/103.31 c cleaning 7999 clauses out of 16016 with flag 38020/147237 112.96/109.09 c cleaning 7997 clauses out of 16017 with flag 55158/155237 119.76/115.85 c cleaning 8494 clauses out of 17020 with flag 74490/164237 127.36/123.49 c Got one! Elapsed wall clock time (in seconds):123.372 127.36/123.49 o 10098 130.97/127.01 c cleaning 11625 clauses out of 23264 with flag 10966/178975 134.77/130.85 c Got one! Elapsed wall clock time (in seconds):130.736 134.77/130.85 o 10097 134.88/130.97 c Got one! Elapsed wall clock time (in seconds):130.862 134.88/130.97 o 10096 135.17/131.23 c Got one! Elapsed wall clock time (in seconds):131.116 135.17/131.23 o 10092 135.17/131.24 c Got one! Elapsed wall clock time (in seconds):131.131 135.17/131.24 o 10091 135.17/131.29 c Got one! Elapsed wall clock time (in seconds):131.178 135.17/131.29 o 10090 138.67/134.79 c cleaning 11464 clauses out of 22950 with flag 10960/190286 142.67/138.73 c cleaning 8733 clauses out of 17486 with flag 23823/196286 148.22/143.73 c cleaning 7864 clauses out of 15753 with flag 38763/203286 153.72/149.26 c cleaning 7931 clauses out of 15889 with flag 56107/211286 159.92/155.46 c cleaning 8463 clauses out of 16959 with flag 75635/220287 166.62/162.18 c cleaning 9237 clauses out of 18497 with flag 97287/230288 174.02/169.57 c cleaning 10122 clauses out of 20258 with flag 121497/241286 184.07/178.66 c cleaning 11060 clauses out of 22138 with flag 147830/253288 192.99/187.56 c cleaning 12029 clauses out of 24076 with flag 176893/266286 202.58/197.18 c cleaning 13017 clauses out of 26048 with flag 208676/280287 213.58/208.14 c cleaning 14009 clauses out of 28031 with flag 244730/295287 225.98/220.54 c cleaning 15002 clauses out of 30021 with flag 279834/311286 240.19/233.90 c cleaning 15999 clauses out of 32019 with flag 317624/328286 253.79/247.53 c cleaning 17004 clauses out of 34020 with flag 357623/346286 268.29/262.01 c cleaning 18001 clauses out of 36017 with flag 400020/365287 285.53/278.02 c cleaning 19000 clauses out of 38015 with flag 447806/385286 302.52/295.08 c cleaning 20004 clauses out of 40018 with flag 496646/406289 320.51/313.02 c cleaning 21000 clauses out of 42012 with flag 547724/428287 340.50/332.46 c cleaning 22001 clauses out of 44012 with flag 602435/451287 360.10/352.01 c cleaning 22999 clauses out of 46011 with flag 660536/475287 380.81/371.76 c cleaning 23999 clauses out of 48011 with flag 716891/500286 401.12/392.02 c cleaning 24997 clauses out of 50012 with flag 778726/526286 423.03/413.53 c cleaning 26000 clauses out of 52015 with flag 842113/553286 446.67/436.44 c cleaning 26995 clauses out of 54016 with flag 905497/581287 468.58/458.33 c cleaning 27997 clauses out of 56020 with flag 971689/610286 492.01/481.46 c cleaning 28998 clauses out of 58023 with flag 1039574/640286 517.20/505.89 c cleaning 30007 clauses out of 60027 with flag 1111313/671288 542.90/531.59 c cleaning 31001 clauses out of 62019 with flag 1186429/703287 571.49/559.98 c cleaning 31993 clauses out of 64018 with flag 1263071/736287 602.09/590.18 c cleaning 32998 clauses out of 66024 with flag 1338304/770286 633.18/620.52 c cleaning 34003 clauses out of 68026 with flag 1415389/805286 666.83/653.15 c cleaning 35007 clauses out of 70023 with flag 1496579/841286 700.08/685.98 c cleaning 35999 clauses out of 72016 with flag 1585537/878286 733.47/718.74 c cleaning 37001 clauses out of 74019 with flag 1674954/916288 768.45/753.24 c cleaning 37995 clauses out of 76016 with flag 1766050/955286 804.71/788.83 c cleaning 38999 clauses out of 78022 with flag 1859087/995287 841.14/824.99 c cleaning 40005 clauses out of 80022 with flag 1956299/1036286 877.82/861.21 c cleaning 41000 clauses out of 82021 with flag 2052485/1078290 915.83/898.35 c cleaning 42001 clauses out of 84019 with flag 2154458/1121288 955.64/937.60 c cleaning 42998 clauses out of 86016 with flag 2264270/1165286 995.79/976.86 c cleaning 44005 clauses out of 88018 with flag 2368759/1210286 1037.24/1017.83 c cleaning 44998 clauses out of 90014 with flag 2475982/1256287 1079.92/1059.84 c cleaning 46003 clauses out of 92016 with flag 2586626/1303287 1124.04/1103.05 c cleaning 46996 clauses out of 94012 with flag 2703612/1351286 1168.78/1147.02 c cleaning 47998 clauses out of 96016 with flag 2823456/1400286 1215.00/1192.28 c cleaning 49002 clauses out of 98022 with flag 2941117/1450290 1262.90/1239.19 c cleaning 49993 clauses out of 100016 with flag 3063479/1501286 1314.81/1289.76 c cleaning 51000 clauses out of 102023 with flag 3188855/1553286 1365.30/1339.38 c cleaning 51997 clauses out of 104024 with flag 3315386/1606287 1417.37/1390.41 c cleaning 52994 clauses out of 106027 with flag 3442492/1660287 1469.00/1441.12 c cleaning 54000 clauses out of 108032 with flag 3573870/1715286 1521.97/1492.70 c cleaning 55003 clauses out of 110033 with flag 3711344/1771287 1575.73/1545.59 c cleaning 56006 clauses out of 112029 with flag 3851094/1828286 1631.14/1600.34 c cleaning 57001 clauses out of 114023 with flag 3990172/1886286 1688.75/1656.59 c cleaning 58001 clauses out of 116022 with flag 4125776/1945286 1749.42/1716.11 c cleaning 59000 clauses out of 118023 with flag 4257234/2005288 1800.05/1766.20 c starts : 35 1800.05/1766.20 c conflicts : 2058281 1800.05/1766.20 c decisions : 2080635 1800.05/1766.20 c propagations : 49189454 1800.05/1766.20 c inspects : 6529632378 1800.05/1766.20 c shortcuts : 0 1800.05/1766.20 c learnt literals : 0 1800.05/1766.20 c learnt binary clauses : 0 1800.05/1766.20 c learnt ternary clauses : 217 1800.05/1766.20 c learnt constraints : 2058280 1800.05/1766.20 c ignored constraints : 0 1800.05/1766.20 c root simplifications : 0 1800.05/1766.20 c removed literals (reason simplification) : 0 1800.05/1766.20 c reason swapping (by a shorter reason) : 0 1800.05/1766.20 c Calls to reduceDB : 77 1800.05/1766.20 c Number of update (reduction) of LBD : 4182 1800.05/1766.20 c Imported unit clauses : 0 1800.05/1766.20 c number of reductions to clauses (during analyze) : 0 1800.05/1766.20 c number of learned constraints concerned by reduction : 0 1800.05/1766.20 c number of learning phase by resolution : 0 1800.05/1766.20 c number of learning phase by cutting planes : 0 1800.05/1766.20 c speed (assignments/second) : 27859.024634470134 1800.05/1766.20 c non guided choices 0 1800.05/1766.23 c learnt constraints type 1800.05/1766.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 112016 1800.05/1766.23 s SATISFIABLE 1800.05/1766.23 c Found 34 solution(s) 1800.05/1766.24 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 1800.05/1766.25 c objective function=10090 1800.05/1766.25 c Total wall clock time (in seconds): 1766.136
OK 10090
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-4118947-1467238089/watcher-4118947-1467238089 -o /tmp/evaluation-result-4118947-1467238089/solver-4118947-1467238089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118947-1467238089.opb pid=5359 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.19 2.23 2.24 3/194 5362 /proc/meminfo: memFree=28424808/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/5362/stat : 5362 (java) D 5359 5362 1865 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 2838085 2560000 47 33554432000 1073741824 1073778376 140733545582720 140733545579848 271778409767 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 625 47 37 9 0 29 0 [startup+0.100161 s] /proc/loadavg: 2.19 2.23 2.24 3/194 5362 /proc/meminfo: memFree=28424808/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 4449 0 1 0 8 1 0 0 20 0 18 0 2838085 9787879424 5570 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2389619 5570 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200221 s] /proc/loadavg: 2.19 2.23 2.24 3/194 5362 /proc/meminfo: memFree=28424808/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 5097 0 1 0 27 1 0 0 20 0 18 0 2838085 9787879424 6545 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2389619 6545 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300316 s] /proc/loadavg: 2.19 2.23 2.24 3/194 5362 /proc/meminfo: memFree=28424808/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9558476 CPUtime=0.49 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 6060 0 1 0 48 1 0 0 20 0 18 0 2838085 9787879424 8962 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2389619 8962 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700219 s] /proc/loadavg: 2.19 2.23 2.24 3/194 5362 /proc/meminfo: memFree=28424808/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9625040 CPUtime=1.38 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 8723 0 1 0 136 2 0 0 20 0 19 0 2838085 9856040960 23556 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2406260 23556 2259 9 0 2396937 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9625040 [startup+1.50084 s] /proc/loadavg: 2.19 2.23 2.24 3/213 5381 /proc/meminfo: memFree=28309840/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9625040 CPUtime=2.56 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 10518 0 1 0 253 3 0 0 20 0 19 0 2838085 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2406260 37087 2269 9 0 2396937 0 [pid=5362/tid=5364] ppid=5359 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/5362/task/5364/stat : 5364 (java) R 5359 5362 1865 0 -1 4202560 2524 0 1 0 144 2 0 0 20 0 19 0 2838086 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709978226992 139709918837392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5365] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5365/stat : 5365 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709821958952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5366] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5366/stat : 5366 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709820906152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5367] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5367/stat : 5367 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709819853864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5368] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5368/stat : 5368 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709818801064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5369] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5369/stat : 5369 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709817747752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5370] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5370/stat : 5370 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709816694952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5371] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5371/stat : 5371 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709815642664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5372] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5372/stat : 5372 (java) S 5359 5362 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709814589864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5373] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5373/stat : 5373 (java) S 5359 5362 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2838088 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709802392296 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5374] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5374/stat : 5374 (java) S 5359 5362 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709801338360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5375] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5375/stat : 5375 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709800285960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5376] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5376/stat : 5376 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709799234448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5377] ppid=5359 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/5362/task/5377/stat : 5377 (java) S 5359 5362 1865 0 -1 4202560 4261 0 0 0 50 0 0 0 20 0 19 0 2838091 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709798181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5378] ppid=5359 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/5362/task/5378/stat : 5378 (java) S 5359 5362 1865 0 -1 4202560 2462 0 0 0 55 0 0 0 20 0 19 0 2838091 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709797128248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5379] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5379/stat : 5379 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709796076152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5380] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5380/stat : 5380 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709795023560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5381] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5381/stat : 5381 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838140 9856040960 37087 33554432000 1073741824 1073778376 140733545582720 139709793969576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 9625040 [startup+3.10081 s] /proc/loadavg: 2.19 2.23 2.24 3/213 5381 /proc/meminfo: memFree=28246912/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9625040 CPUtime=4.23 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 10661 0 1 0 417 6 0 0 20 0 19 0 2838085 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2406260 46388 2282 9 0 2396937 0 [pid=5362/tid=5364] ppid=5359 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/5362/task/5364/stat : 5364 (java) R 5359 5362 1865 0 -1 4202560 2532 0 1 0 301 3 0 0 20 0 19 0 2838086 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709978235368 139709918837257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5365] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5365/stat : 5365 (java) S 5359 5362 1865 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709821958952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5366] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5366/stat : 5366 (java) S 5359 5362 1865 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709820906152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5367] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5367/stat : 5367 (java) S 5359 5362 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709819853864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5368] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5368/stat : 5368 (java) S 5359 5362 1865 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709818801064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5369] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5369/stat : 5369 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709817747752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5370] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5370/stat : 5370 (java) S 5359 5362 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709816694952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5371] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5371/stat : 5371 (java) S 5359 5362 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709815642664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5372] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5372/stat : 5372 (java) S 5359 5362 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2838087 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709814589864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5373] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5373/stat : 5373 (java) S 5359 5362 1865 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 2838088 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709802392296 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5374] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5374/stat : 5374 (java) S 5359 5362 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709801338360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5375] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5375/stat : 5375 (java) S 5359 5362 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709800285960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5376] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5376/stat : 5376 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709799234448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5377] ppid=5359 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/5362/task/5377/stat : 5377 (java) S 5359 5362 1865 0 -1 4202560 4261 0 0 0 51 0 0 0 20 0 19 0 2838091 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709798181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5378] ppid=5359 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/5362/task/5378/stat : 5378 (java) S 5359 5362 1865 0 -1 4202560 2462 0 0 0 55 0 0 0 20 0 19 0 2838091 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709797128248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5379] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5379/stat : 5379 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709796076152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5380] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5380/stat : 5380 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709795023560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5381] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5381/stat : 5381 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838140 9856040960 46388 33554432000 1073741824 1073778376 140733545582720 139709793969576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.25 2.24 2.25 10/213 5381 /proc/meminfo: memFree=28152692/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9625040 CPUtime=7.81 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 16825 0 1 0 762 19 0 0 20 0 19 0 2838085 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2406260 76623 2287 9 0 2396937 0 [pid=5362/tid=5364] ppid=5359 vsize=9625040 CPUtime=6.17 cores=0,2,4,6 /proc/5362/task/5364/stat : 5364 (java) R 5359 5362 1865 0 -1 4202560 2534 0 1 0 614 3 0 0 20 0 19 0 2838086 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709978233744 139709918825298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5365] ppid=5359 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/5362/task/5365/stat : 5365 (java) S 5359 5362 1865 0 -1 4202560 42 0 0 0 1 2 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709821958952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5366] ppid=5359 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/5362/task/5366/stat : 5366 (java) S 5359 5362 1865 0 -1 4202560 42 0 0 0 1 2 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709820906152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5367] ppid=5359 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/5362/task/5367/stat : 5367 (java) S 5359 5362 1865 0 -1 4202560 128 0 0 0 1 1 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709819853864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5368] ppid=5359 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/5362/task/5368/stat : 5368 (java) S 5359 5362 1865 0 -1 4202560 144 0 0 0 0 3 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709818801064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5369] ppid=5359 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/5362/task/5369/stat : 5369 (java) S 5359 5362 1865 0 -1 4202560 32 0 0 0 0 2 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709817747752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5370] ppid=5359 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/5362/task/5370/stat : 5370 (java) S 5359 5362 1865 0 -1 4202560 82 0 0 0 1 2 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709816694952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5371] ppid=5359 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/5362/task/5371/stat : 5371 (java) S 5359 5362 1865 0 -1 4202560 37 0 0 0 1 2 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709815642664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5372] ppid=5359 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/5362/task/5372/stat : 5372 (java) S 5359 5362 1865 0 -1 4202560 123 0 0 0 1 2 0 0 20 0 19 0 2838087 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709814589864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5373] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5373/stat : 5373 (java) S 5359 5362 1865 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 2838088 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709802392296 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5374] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5374/stat : 5374 (java) S 5359 5362 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709801338360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5375] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5375/stat : 5375 (java) S 5359 5362 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709800285960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5376] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5376/stat : 5376 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709799234448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5377] ppid=5359 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/5362/task/5377/stat : 5377 (java) S 5359 5362 1865 0 -1 4202560 5232 0 0 0 57 0 0 0 20 0 19 0 2838091 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709798181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5378] ppid=5359 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/5362/task/5378/stat : 5378 (java) S 5359 5362 1865 0 -1 4202560 7098 0 0 0 68 1 0 0 20 0 19 0 2838091 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709797128248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5379] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5379/stat : 5379 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709796076152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5380] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5380/stat : 5380 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709795023560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5381] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5381/stat : 5381 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838140 9856040960 76623 33554432000 1073741824 1073778376 140733545582720 139709793969576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.81 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=5362/tid=5381] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5381/stat : 5381 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838140 9856040960 1171992 33554432000 1073741824 1073778376 140733545582720 139709793969576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1633.75 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.50 2.29 2.21 4/212 5487 /proc/meminfo: memFree=23301796/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9625040 CPUtime=1694.54 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 57585 0 1 0 168744 710 0 0 20 0 19 0 2838085 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2406260 1245795 2296 9 0 2396937 0 [pid=5362/tid=5364] ppid=5359 vsize=9625040 CPUtime=1642.58 cores=0,2,4,6 /proc/5362/task/5364/stat : 5364 (java) R 5359 5362 1865 0 -1 4202560 3491 0 1 0 164225 33 0 0 20 0 19 0 2838086 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709978226384 139709918630446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5365] ppid=5359 vsize=9625040 CPUtime=4.82 cores=0,2,4,6 /proc/5362/task/5365/stat : 5365 (java) S 5359 5362 1865 0 -1 4202560 3244 0 0 0 400 82 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709821958952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5366] ppid=5359 vsize=9625040 CPUtime=5.73 cores=0,2,4,6 /proc/5362/task/5366/stat : 5366 (java) S 5359 5362 1865 0 -1 4202560 8236 0 0 0 481 92 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709820906152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5367] ppid=5359 vsize=9625040 CPUtime=5.22 cores=0,2,4,6 /proc/5362/task/5367/stat : 5367 (java) S 5359 5362 1865 0 -1 4202560 3305 0 0 0 429 93 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709819853864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5368] ppid=5359 vsize=9625040 CPUtime=5.08 cores=0,2,4,6 /proc/5362/task/5368/stat : 5368 (java) S 5359 5362 1865 0 -1 4202560 3145 0 0 0 426 82 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709818801064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5369] ppid=5359 vsize=9625040 CPUtime=5.43 cores=0,2,4,6 /proc/5362/task/5369/stat : 5369 (java) S 5359 5362 1865 0 -1 4202560 3216 0 0 0 453 90 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709817747752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5370] ppid=5359 vsize=9625040 CPUtime=5.08 cores=0,2,4,6 /proc/5362/task/5370/stat : 5370 (java) S 5359 5362 1865 0 -1 4202560 2980 0 0 0 429 79 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709816694952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5371] ppid=5359 vsize=9625040 CPUtime=4.9 cores=0,2,4,6 /proc/5362/task/5371/stat : 5371 (java) S 5359 5362 1865 0 -1 4202560 3093 0 0 0 414 76 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709815642664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5372] ppid=5359 vsize=9625040 CPUtime=5.04 cores=0,2,4,6 /proc/5362/task/5372/stat : 5372 (java) S 5359 5362 1865 0 -1 4202560 6918 0 0 0 423 81 0 0 20 0 19 0 2838087 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709814589864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5373] ppid=5359 vsize=9625040 CPUtime=4.55 cores=0,2,4,6 /proc/5362/task/5373/stat : 5373 (java) S 5359 5362 1865 0 -1 4202560 6197 0 0 0 452 3 0 0 20 0 19 0 2838088 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709802392296 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5374] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5374/stat : 5374 (java) S 5359 5362 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709801338360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5375] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5375/stat : 5375 (java) S 5359 5362 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709800285960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5376] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5376/stat : 5376 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709799234448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5377] ppid=5359 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/5362/task/5377/stat : 5377 (java) S 5359 5362 1865 0 -1 4202560 5232 0 0 0 59 0 0 0 20 0 19 0 2838091 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709798181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5378] ppid=5359 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/5362/task/5378/stat : 5378 (java) S 5359 5362 1865 0 -1 4202560 7176 0 0 0 81 1 0 0 20 0 19 0 2838091 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709797128248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5379] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5379/stat : 5379 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709796076152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5380] ppid=5359 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/5362/task/5380/stat : 5380 (java) S 5359 5362 1865 0 -1 4202560 95 0 0 0 26 23 0 0 20 0 19 0 2838091 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709795023560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5381] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5381/stat : 5381 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838140 9856040960 1245795 33554432000 1073741824 1073778376 140733545582720 139709793969576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1694.54 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.34 2.28 2.21 3/213 5489 /proc/meminfo: memFree=23370292/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9625040 CPUtime=1755.61 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 57668 0 1 0 174849 712 0 0 20 0 19 0 2838085 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2406260 1245812 2296 9 0 2396937 0 [pid=5362/tid=5364] ppid=5359 vsize=9625040 CPUtime=1702.03 cores=0,2,4,6 /proc/5362/task/5364/stat : 5364 (java) R 5359 5362 1865 0 -1 4202560 3493 0 1 0 170169 34 0 0 20 0 19 0 2838086 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709978226384 139709918709997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5365] ppid=5359 vsize=9625040 CPUtime=5.1 cores=0,2,4,6 /proc/5362/task/5365/stat : 5365 (java) S 5359 5362 1865 0 -1 4202560 3257 0 0 0 428 82 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709821958952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5366] ppid=5359 vsize=9625040 CPUtime=5.98 cores=0,2,4,6 /proc/5362/task/5366/stat : 5366 (java) S 5359 5362 1865 0 -1 4202560 8236 0 0 0 506 92 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709820906152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5367] ppid=5359 vsize=9625040 CPUtime=5.31 cores=0,2,4,6 /proc/5362/task/5367/stat : 5367 (java) S 5359 5362 1865 0 -1 4202560 3305 0 0 0 438 93 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709819853864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5368] ppid=5359 vsize=9625040 CPUtime=5.17 cores=0,2,4,6 /proc/5362/task/5368/stat : 5368 (java) S 5359 5362 1865 0 -1 4202560 3151 0 0 0 435 82 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709818801064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5369] ppid=5359 vsize=9625040 CPUtime=5.54 cores=0,2,4,6 /proc/5362/task/5369/stat : 5369 (java) S 5359 5362 1865 0 -1 4202560 3216 0 0 0 463 91 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709817747752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5370] ppid=5359 vsize=9625040 CPUtime=5.26 cores=0,2,4,6 /proc/5362/task/5370/stat : 5370 (java) S 5359 5362 1865 0 -1 4202560 2980 0 0 0 447 79 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709816694952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5371] ppid=5359 vsize=9625040 CPUtime=5.17 cores=0,2,4,6 /proc/5362/task/5371/stat : 5371 (java) S 5359 5362 1865 0 -1 4202560 3095 0 0 0 441 76 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709815642664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5372] ppid=5359 vsize=9625040 CPUtime=5.24 cores=0,2,4,6 /proc/5362/task/5372/stat : 5372 (java) S 5359 5362 1865 0 -1 4202560 6920 0 0 0 442 82 0 0 20 0 19 0 2838087 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709814589864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5373] ppid=5359 vsize=9625040 CPUtime=4.55 cores=0,2,4,6 /proc/5362/task/5373/stat : 5373 (java) S 5359 5362 1865 0 -1 4202560 6251 0 0 0 452 3 0 0 20 0 19 0 2838088 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709802392296 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5374] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5374/stat : 5374 (java) S 5359 5362 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709801338360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5375] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5375/stat : 5375 (java) S 5359 5362 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709800285960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5376] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5376/stat : 5376 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709799234448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5377] ppid=5359 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/5362/task/5377/stat : 5377 (java) S 5359 5362 1865 0 -1 4202560 5232 0 0 0 59 0 0 0 20 0 19 0 2838091 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709798181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5378] ppid=5359 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/5362/task/5378/stat : 5378 (java) S 5359 5362 1865 0 -1 4202560 7176 0 0 0 81 1 0 0 20 0 19 0 2838091 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709797128248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5379] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5379/stat : 5379 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709796076152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5380] ppid=5359 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/5362/task/5380/stat : 5380 (java) S 5359 5362 1865 0 -1 4202560 99 0 0 0 27 24 0 0 20 0 19 0 2838091 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709795023560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5381] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5381/stat : 5381 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838140 9856040960 1245812 33554432000 1073741824 1073778376 140733545582720 139709793969576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1755.61 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1766.2 s] /proc/loadavg: 2.29 2.27 2.21 3/213 5490 /proc/meminfo: memFree=23593500/32872528 swapFree=1099624/1181384 [pid=5362] ppid=5359 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6 /proc/5362/stat : 5362 (java) S 5359 5362 1865 0 -1 4202496 58109 0 1 0 179292 713 0 0 20 0 19 0 2838085 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 140733545573856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5362/statm: 2406260 1246183 2296 9 0 2396937 0 [pid=5362/tid=5364] ppid=5359 vsize=9625040 CPUtime=1745.2 cores=0,2,4,6 /proc/5362/task/5364/stat : 5364 (java) R 5359 5362 1865 0 -1 4202560 3494 0 1 0 174484 36 0 0 20 0 19 0 2838086 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709978234096 139709918836897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5365] ppid=5359 vsize=9625040 CPUtime=5.18 cores=0,2,4,6 /proc/5362/task/5365/stat : 5365 (java) S 5359 5362 1865 0 -1 4202560 3257 0 0 0 436 82 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709821958952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5366] ppid=5359 vsize=9625040 CPUtime=6.06 cores=0,2,4,6 /proc/5362/task/5366/stat : 5366 (java) S 5359 5362 1865 0 -1 4202560 8238 0 0 0 514 92 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709820906152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5367] ppid=5359 vsize=9625040 CPUtime=5.37 cores=0,2,4,6 /proc/5362/task/5367/stat : 5367 (java) S 5359 5362 1865 0 -1 4202560 3305 0 0 0 444 93 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709819853864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5368] ppid=5359 vsize=9625040 CPUtime=5.27 cores=0,2,4,6 /proc/5362/task/5368/stat : 5368 (java) S 5359 5362 1865 0 -1 4202560 3163 0 0 0 445 82 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709818801064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5369] ppid=5359 vsize=9625040 CPUtime=5.72 cores=0,2,4,6 /proc/5362/task/5369/stat : 5369 (java) S 5359 5362 1865 0 -1 4202560 3216 0 0 0 481 91 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709817747752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5370] ppid=5359 vsize=9625040 CPUtime=5.35 cores=0,2,4,6 /proc/5362/task/5370/stat : 5370 (java) S 5359 5362 1865 0 -1 4202560 2980 0 0 0 456 79 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709816694952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5371] ppid=5359 vsize=9625040 CPUtime=5.26 cores=0,2,4,6 /proc/5362/task/5371/stat : 5371 (java) S 5359 5362 1865 0 -1 4202560 3095 0 0 0 450 76 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709815642664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5372] ppid=5359 vsize=9625040 CPUtime=5.3 cores=0,2,4,6 /proc/5362/task/5372/stat : 5372 (java) S 5359 5362 1865 0 -1 4202560 6920 0 0 0 448 82 0 0 20 0 19 0 2838087 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709814589864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5373] ppid=5359 vsize=9625040 CPUtime=4.97 cores=0,2,4,6 /proc/5362/task/5373/stat : 5373 (java) S 5359 5362 1865 0 -1 4202560 6675 0 0 0 493 4 0 0 20 0 19 0 2838088 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709802392296 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5362/tid=5374] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5374/stat : 5374 (java) S 5359 5362 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709801338360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5375] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5375/stat : 5375 (java) S 5359 5362 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2838089 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709800285960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5376] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5376/stat : 5376 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709799234448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5377] ppid=5359 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/5362/task/5377/stat : 5377 (java) S 5359 5362 1865 0 -1 4202560 5232 0 0 0 59 0 0 0 20 0 19 0 2838091 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709798181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5362/tid=5378] ppid=5359 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/5362/task/5378/stat : 5378 (java) S 5359 5362 1865 0 -1 4202560 7176 0 0 0 81 1 0 0 20 0 19 0 2838091 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709797128248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5379] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5379/stat : 5379 (java) S 5359 5362 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2838091 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709796076152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5362/tid=5380] ppid=5359 vsize=9625040 CPUtime=0.52 cores=0,2,4,6 /proc/5362/task/5380/stat : 5380 (java) S 5359 5362 1865 0 -1 4202560 101 0 0 0 27 25 0 0 20 0 19 0 2838091 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709795023560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5362/tid=5381] ppid=5359 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5362/task/5381/stat : 5381 (java) S 5359 5362 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2838140 9856040960 1246183 33554432000 1073741824 1073778376 140733545582720 139709793969576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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 5362 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5362 and gives # childrusage.ru_utime.tv_sec=1788 # childrusage.ru_utime.tv_usec=419118 # childrusage.ru_stime.tv_sec=7 # childrusage.ru_stime.tv_usec=590846 # CPU time returned by wait4() is 1796.01 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1766.27 CPU time (s): 1800.05 CPU user time (s): 1792.92 CPU system time (s): 7.13 CPU usage (%): 101.912 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.42 system time used= 7.59085 maximum resident set size= 5229760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58146 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39966 involuntary context switches= 21966 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.4234 second user time and 12.5331 second system time The end
Begin job on node115 at 2016-06-30 00:08:09 IDJOB=4118947 IDBENCH=111550 IDSOLVER=2546 FILE ID=node115/4118947-1467238089 RUNJOBID= node115-1467210312-1881 PBS_JOBID= 19997598 Free space on /tmp= 71660 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30.lin.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118947-1467238089/watcher-4118947-1467238089 -o /tmp/evaluation-result-4118947-1467238089/solver-4118947-1467238089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118947-1467238089.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5d02912d53f2354b54cb86f356951fff RANDOM SEED=1128980720 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 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 : 2667.087 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: 28424576 kB Buffers: 91428 kB Cached: 1170836 kB SwapCached: 0 kB Active: 1362712 kB Inactive: 1166052 kB Active(anon): 1268972 kB Inactive(anon): 92 kB Active(file): 93740 kB Inactive(file): 1165960 kB Unevictable: 1181384 kB Mlocked: 1099624 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1568 kB Writeback: 0 kB AnonPages: 2494604 kB Mapped: 22236 kB Shmem: 204 kB Slab: 576180 kB SReclaimable: 20308 kB SUnreclaim: 555872 kB KernelStack: 1632 kB PageTables: 9032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2651160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1333248 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= 71660 MiB End job on node115 at 2016-06-30 00:37:35