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) | 266262 | 1800.08 | 1772.96 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-swath.opb |
| MD5SUM | 9e8d33d54c816a96320e5b2b2d7ec5c8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 262299 |
| Best CPU time to get the best result obtained on this benchmark | 1800.63 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 262224 |
| Optimality of the best value was proved | YES |
| Number of variables | 9155 |
| Total number of constraints | 884 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 423 |
| Number of constraints which are nor clauses,nor cardinality constraints | 461 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 6754 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 527427 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4101821-1466226314.opb 0.08/0.11 c reading problem ... 0.08/0.11 c objective function found 0.90/0.51 c ... done. Wall clock time 0.398s. 0.90/0.51 c declared #vars 9155 0.90/0.51 c #constraints 1388 0.90/0.51 c constraints type 0.90/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22 0.90/0.51 c org.sat4j.specs.Constr$1 => 401 0.90/0.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 182 0.90/0.51 c org.sat4j.minisat.constraints.cnf.UnitClause => 401 0.90/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 382 0.90/0.51 c 1388 constraints processed. 0.90/0.51 c objective function length is 31 literals 5.24/4.44 c SATISFIABLE 5.24/4.44 c OPTIMIZING... 5.24/4.44 c Got one! Elapsed wall clock time (in seconds):4.326 5.24/4.44 o 285515 6.01/5.10 c cleaning 2824 clauses out of 5673 with flag 5377/5673 10.09/9.17 c Got one! Elapsed wall clock time (in seconds):9.052 10.09/9.17 o 285237 10.96/9.97 c cleaning 4198 clauses out of 8452 with flag 4132/11276 15.44/14.33 c cleaning 5123 clauses out of 10255 with flag 36833/17277 21.24/20.14 c cleaning 6048 clauses out of 12131 with flag 70671/24276 31.33/29.93 c cleaning 7038 clauses out of 14084 with flag 97806/32277 35.53/34.21 c Got one! Elapsed wall clock time (in seconds):34.094 35.53/34.21 o 267910 37.57/35.98 c cleaning 6151 clauses out of 12444 with flag 10857/37675 41.77/40.14 c cleaning 6134 clauses out of 12292 with flag 46142/43674 47.23/45.56 c cleaning 6544 clauses out of 13155 with flag 91474/50671 53.34/51.67 c cleaning 7294 clauses out of 14611 with flag 144901/58671 61.87/60.14 c cleaning 8147 clauses out of 16317 with flag 215247/67671 69.56/67.76 c cleaning 9033 clauses out of 18172 with flag 283151/77673 79.10/77.26 c cleaning 10036 clauses out of 20138 with flag 353989/88672 89.27/87.39 c cleaning 11027 clauses out of 22102 with flag 435530/100672 104.78/102.76 c cleaning 12037 clauses out of 24074 with flag 521320/113671 120.89/118.79 c cleaning 12947 clauses out of 26037 with flag 634578/127671 135.96/133.73 c cleaning 13843 clauses out of 28091 with flag 743051/142672 157.02/154.78 c cleaning 15082 clauses out of 30250 with flag 835881/158674 178.02/175.62 c cleaning 16008 clauses out of 32165 with flag 935751/175671 196.38/193.96 c cleaning 17061 clauses out of 34159 with flag 1063691/193673 219.71/216.82 c Got one! Elapsed wall clock time (in seconds):216.712 219.71/216.82 o 267783 224.03/221.10 c cleaning 20394 clauses out of 40839 with flag 29070/217414 229.24/226.27 c cleaning 13160 clauses out of 26445 with flag 66716/223414 235.36/232.31 c cleaning 10122 clauses out of 20285 with flag 113373/230414 241.68/238.70 c cleaning 9044 clauses out of 18164 with flag 170003/238415 250.24/247.19 c cleaning 9010 clauses out of 18119 with flag 231340/247414 260.17/257.03 c cleaning 9512 clauses out of 19110 with flag 284557/257415 271.41/268.22 c cleaning 10290 clauses out of 20597 with flag 351229/268414 285.15/281.73 c cleaning 11098 clauses out of 22307 with flag 426897/280414 299.23/295.62 c cleaning 12099 clauses out of 24209 with flag 513369/293414 315.28/311.58 c cleaning 13050 clauses out of 26110 with flag 599700/307414 331.80/327.96 c cleaning 13980 clauses out of 28062 with flag 698163/322416 350.37/346.41 c cleaning 15022 clauses out of 30081 with flag 831514/338415 368.73/364.51 c cleaning 16007 clauses out of 32058 with flag 964522/355414 390.17/385.69 c cleaning 16914 clauses out of 34051 with flag 1104262/373414 414.35/409.47 c cleaning 18020 clauses out of 36137 with flag 1283509/392414 442.20/437.13 c cleaning 18985 clauses out of 38120 with flag 1505540/412417 472.22/466.83 c cleaning 20065 clauses out of 40135 with flag 1732694/433417 500.18/494.60 c cleaning 21026 clauses out of 42067 with flag 1869973/455414 529.16/523.32 c cleaning 21916 clauses out of 44042 with flag 2011930/478415 552.69/546.43 c Got one! Elapsed wall clock time (in seconds):546.318 552.69/546.43 o 266530 556.45/550.13 c cleaning 22436 clauses out of 44917 with flag 28739/501206 560.80/554.43 c cleaning 14176 clauses out of 28481 with flag 65800/507206 566.84/560.46 c cleaning 10623 clauses out of 21305 with flag 103419/514206 573.16/566.79 c cleaning 9276 clauses out of 18682 with flag 160322/522206 582.78/576.07 c cleaning 9139 clauses out of 18406 with flag 219307/531206 593.64/586.48 c cleaning 9565 clauses out of 19267 with flag 283369/541206 608.35/601.02 c cleaning 10221 clauses out of 20704 with flag 385632/552208 622.52/615.10 c cleaning 11221 clauses out of 22481 with flag 521828/564206 637.12/629.50 c cleaning 12003 clauses out of 24260 with flag 639280/577206 657.23/649.54 c cleaning 13128 clauses out of 26257 with flag 763793/591206 675.08/667.25 c cleaning 14012 clauses out of 28130 with flag 883907/606207 696.70/688.66 c cleaning 14995 clauses out of 30118 with flag 1077558/622207 716.76/708.58 c cleaning 16045 clauses out of 32123 with flag 1232156/639207 736.14/727.76 c cleaning 17007 clauses out of 34077 with flag 1368949/657206 759.42/750.81 c cleaning 17954 clauses out of 36072 with flag 1480702/676208 778.34/769.55 c cleaning 18942 clauses out of 38117 with flag 1624173/696207 794.06/785.19 c cleaning 20043 clauses out of 40175 with flag 1774579/717207 810.90/801.75 c cleaning 21044 clauses out of 42134 with flag 1928667/739209 827.26/817.94 c cleaning 21987 clauses out of 44087 with flag 2077653/762206 847.94/838.33 c cleaning 23045 clauses out of 46104 with flag 2235620/786210 863.35/853.37 c Got one! Elapsed wall clock time (in seconds):853.255 863.35/853.37 o 266262 868.69/858.44 c cleaning 22595 clauses out of 45206 with flag 12193/808357 875.98/865.39 c cleaning 14245 clauses out of 28563 with flag 24164/814309 884.22/873.37 c cleaning 10630 clauses out of 21324 with flag 38255/821315 893.71/882.51 c cleaning 9304 clauses out of 18690 with flag 54294/829311 904.00/892.57 c cleaning 9172 clauses out of 18373 with flag 73230/838298 915.28/903.59 c cleaning 9617 clauses out of 19245 with flag 94392/848342 928.38/916.33 c cleaning 10292 clauses out of 20586 with flag 117429/859300 943.05/930.54 c cleaning 11158 clauses out of 22316 with flag 141549/871322 958.59/945.76 c cleaning 12078 clauses out of 24161 with flag 167722/884325 976.22/962.95 c cleaning 13032 clauses out of 26063 with flag 195814/898305 994.97/981.31 c cleaning 14015 clauses out of 28029 with flag 226218/913303 1015.40/1001.26 c cleaning 15017 clauses out of 30036 with flag 258600/929325 1038.00/1023.30 c cleaning 16014 clauses out of 32027 with flag 293207/946333 1061.27/1046.39 c cleaning 17006 clauses out of 34014 with flag 329659/964334 1087.49/1071.79 c cleaning 18016 clauses out of 36031 with flag 368664/983357 1115.15/1098.93 c cleaning 18978 clauses out of 37956 with flag 408740/1003298 1145.48/1128.35 c cleaning 19993 clauses out of 39985 with flag 451053/1024305 1176.45/1158.71 c cleaning 20998 clauses out of 41997 with flag 495302/1046310 1208.76/1190.49 c cleaning 22002 clauses out of 44005 with flag 541695/1069316 1247.94/1228.98 c cleaning 22992 clauses out of 45984 with flag 590122/1093297 1288.10/1268.28 c cleaning 24001 clauses out of 48002 with flag 640869/1118307 1330.12/1309.88 c cleaning 25016 clauses out of 50034 with flag 693848/1144340 1374.49/1353.32 c cleaning 26001 clauses out of 52002 with flag 748305/1171324 1419.06/1397.22 c cleaning 26987 clauses out of 53975 with flag 805155/1199298 1467.00/1444.67 c cleaning 27998 clauses out of 56000 with flag 863919/1228310 1516.47/1493.51 c cleaning 29000 clauses out of 58001 with flag 924121/1258309 1567.97/1544.14 c cleaning 30017 clauses out of 60035 with flag 986932/1289343 1622.25/1597.61 c cleaning 30994 clauses out of 61987 with flag 1051331/1321312 1677.48/1652.26 c cleaning 32011 clauses out of 64023 with flag 1118066/1354342 1735.08/1709.04 c cleaning 32998 clauses out of 65998 with flag 1186399/1388328 1796.38/1769.27 c cleaning 33985 clauses out of 67972 with flag 1257921/1423300 1800.08/1772.90 c starts : 807 1800.08/1772.90 c conflicts : 1425619 1800.08/1772.90 c decisions : 13162885 1800.08/1772.90 c propagations : 234028981 1800.08/1772.90 c inspects : 6695831246 1800.08/1772.90 c shortcuts : 0 1800.08/1772.90 c learnt literals : 0 1800.08/1772.90 c learnt binary clauses : 1 1800.08/1772.90 c learnt ternary clauses : 0 1800.08/1772.90 c learnt constraints : 1425618 1800.08/1772.90 c ignored constraints : 0 1800.08/1772.90 c root simplifications : 0 1800.08/1772.90 c removed literals (reason simplification) : 0 1800.08/1772.90 c reason swapping (by a shorter reason) : 0 1800.08/1772.90 c Calls to reduceDB : 89 1800.08/1772.90 c Number of update (reduction) of LBD : 630239 1800.08/1772.90 c Imported unit clauses : 0 1800.08/1772.90 c number of reductions to clauses (during analyze) : 0 1800.08/1772.90 c number of learned constraints concerned by reduction : 0 1800.08/1772.90 c number of learning phase by resolution : 0 1800.08/1772.90 c number of learning phase by cutting planes : 0 1800.08/1772.90 c speed (assignments/second) : 132042.21498775657 1800.08/1772.90 c non guided choices 24897 1800.08/1772.92 c learnt constraints type 1800.08/1772.92 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.08/1772.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36305 1800.08/1772.92 s SATISFIABLE 1800.08/1772.92 c Found 6 solution(s) 1800.08/1772.93 v x1 -x2 -x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 1800.08/1772.94 c objective function=266262 1800.08/1772.94 c Total wall clock time (in seconds): 1772.828
OK 266262
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-4101821-1466226314/watcher-4101821-1466226314 -o /tmp/evaluation-result-4101821-1466226314/solver-4101821-1466226314 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15533 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101821-1466226314.opb pid=19226 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.19 2.18 3/194 19229 /proc/meminfo: memFree=29922608/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/19229/stat : 19229 (java) R 19226 19229 15516 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 24678048 9515008 175 33554432000 1073741824 1073778376 140735970958384 140735970941112 270707540880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2331 183 140 9 0 79 0 [startup+0.100113 s] /proc/loadavg: 2.20 2.19 2.18 3/194 19229 /proc/meminfo: memFree=29922608/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 4410 0 1 0 8 0 0 0 20 0 18 0 24678048 9787879424 6034 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2389619 6034 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200229 s] /proc/loadavg: 2.20 2.19 2.18 3/194 19229 /proc/meminfo: memFree=29922608/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 5036 0 1 0 28 0 0 0 20 0 18 0 24678048 9787879424 6957 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2389619 6957 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300236 s] /proc/loadavg: 2.20 2.19 2.18 3/194 19229 /proc/meminfo: memFree=29922608/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9558476 CPUtime=0.51 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 5696 0 1 0 50 1 0 0 20 0 18 0 24678048 9787879424 9374 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2389619 9374 2237 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.70029 s] /proc/loadavg: 2.20 2.19 2.18 3/194 19229 /proc/meminfo: memFree=29922608/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9625040 CPUtime=1.37 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 8931 0 1 0 135 2 0 0 20 0 19 0 24678048 9856040960 34519 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2406260 34519 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 9625040 [startup+1.50073 s] /proc/loadavg: 2.20 2.19 2.18 4/213 19248 /proc/meminfo: memFree=29786464/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9625040 CPUtime=2.26 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 9610 0 1 0 224 2 0 0 20 0 19 0 24678048 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2406260 37084 2261 9 0 2396937 0 [pid=19229/tid=19231] ppid=19226 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/19229/task/19231/stat : 19231 (java) R 19226 19229 15516 0 -1 4202560 2466 0 1 0 144 2 0 0 20 0 19 0 24678049 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664371921384 139664233829615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19232] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19232/stat : 19232 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664360982952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19233] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19233/stat : 19233 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664359930408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19234] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19234/stat : 19234 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664358877352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19235] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19235/stat : 19235 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664357824808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19236] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19236/stat : 19236 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664356772776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19237] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19237/stat : 19237 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664355720232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19238] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19238/stat : 19238 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664354667176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19239] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19239/stat : 19239 (java) S 19226 19229 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664353614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19240] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19240/stat : 19240 (java) S 19226 19229 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24678051 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664196020584 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19241] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19241/stat : 19241 (java) S 19226 19229 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664194966904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19242] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19242/stat : 19242 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664193913736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19243] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19243/stat : 19243 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664192862480 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19244] ppid=19226 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/19229/task/19244/stat : 19244 (java) S 19226 19229 15516 0 -1 4202560 2130 0 0 0 29 0 0 0 20 0 19 0 24678054 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664191810360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19245] ppid=19226 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/19229/task/19245/stat : 19245 (java) S 19226 19229 15516 0 -1 4202560 3741 0 0 0 47 0 0 0 20 0 19 0 24678054 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664190757816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19246] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19246/stat : 19246 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664189704952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19247] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19247/stat : 19247 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664188652616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19248] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19248/stat : 19248 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678101 9856040960 37084 33554432000 1073741824 1073778376 140735970958384 139664187597864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 2.20 2.19 2.18 4/213 19248 /proc/meminfo: memFree=29771508/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9625040 CPUtime=3.93 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 9671 0 1 0 390 3 0 0 20 0 19 0 24678048 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2406260 44275 2275 9 0 2396937 0 [pid=19229/tid=19231] ppid=19226 vsize=9625040 CPUtime=3.03 cores=1,3,5,7 /proc/19229/task/19231/stat : 19231 (java) R 19226 19229 15516 0 -1 4202560 2477 0 1 0 301 2 0 0 20 0 19 0 24678049 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664371920632 139664233829615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19232] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19232/stat : 19232 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664360982952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19233] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19233/stat : 19233 (java) S 19226 19229 15516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664359930408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19234] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19234/stat : 19234 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664358877352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19235] ppid=19226 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/19229/task/19235/stat : 19235 (java) S 19226 19229 15516 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664357824808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19236] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19236/stat : 19236 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664356772776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19237] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19237/stat : 19237 (java) S 19226 19229 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664355720232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19238] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19238/stat : 19238 (java) S 19226 19229 15516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664354667176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19239] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19239/stat : 19239 (java) S 19226 19229 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664353614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19240] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19240/stat : 19240 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678051 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664196020584 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19241] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19241/stat : 19241 (java) S 19226 19229 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664194966904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19242] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19242/stat : 19242 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664193913736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19243] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19243/stat : 19243 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664192862480 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19244] ppid=19226 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/19229/task/19244/stat : 19244 (java) S 19226 19229 15516 0 -1 4202560 2130 0 0 0 29 0 0 0 20 0 19 0 24678054 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664191810360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19245] ppid=19226 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/19229/task/19245/stat : 19245 (java) S 19226 19229 15516 0 -1 4202560 3741 0 0 0 48 0 0 0 20 0 19 0 24678054 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664190757816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19246] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19246/stat : 19246 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664189704952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19247] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19247/stat : 19247 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664188652616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19248] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19248/stat : 19248 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678101 9856040960 44275 33554432000 1073741824 1073778376 140735970958384 139664187597864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 9625040 [startup+6.30082 s] /proc/loadavg: 2.18 2.19 2.18 3/213 19248 /proc/meminfo: memFree=29749032/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9625040 CPUtime=7.24 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 9721 0 1 0 720 4 0 0 20 0 19 0 24678048 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2406260 44262 2279 9 0 2396937 0 [pid=19229/tid=19231] ppid=19226 vsize=9625040 CPUtime=6.23 cores=1,3,5,7 /proc/19229/task/19231/stat : 19231 (java) R 19226 19229 15516 0 -1 4202560 2480 0 1 0 621 2 0 0 20 0 19 0 24678049 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664371921304 139664233829602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19232] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19232/stat : 19232 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664360982952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19233] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19233/stat : 19233 (java) S 19226 19229 15516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664359930408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19234] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19234/stat : 19234 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664358877352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19235] ppid=19226 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/19229/task/19235/stat : 19235 (java) S 19226 19229 15516 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664357824808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19236] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19236/stat : 19236 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664356772776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19237] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19237/stat : 19237 (java) S 19226 19229 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664355720232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19238] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19238/stat : 19238 (java) S 19226 19229 15516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664354667176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19239] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19239/stat : 19239 (java) S 19226 19229 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24678050 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664353614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19240] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19240/stat : 19240 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678051 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664196020584 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19241] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19241/stat : 19241 (java) S 19226 19229 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664194966904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19242] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19242/stat : 19242 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664193913736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19243] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19243/stat : 19243 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664192862480 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19244] ppid=19226 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/19229/task/19244/stat : 19244 (java) S 19226 19229 15516 0 -1 4202560 2173 0 0 0 34 0 0 0 20 0 19 0 24678054 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664191810360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19245] ppid=19226 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/19229/task/19245/stat : 19245 (java) S 19226 19229 15516 0 -1 4202560 3745 0 0 0 53 0 0 0 20 0 19 0 24678054 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664190757816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19246] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19246/stat : 19246 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664189704952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19247] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19247/stat : 19247 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664188652616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19248] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19248/stat : 19248 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678101 9856040960 44262 33554432000 1073741824 1073778376 140735970958384 139664187597864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.24 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=19229/tid=19248] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19248/stat : 19248 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678101 9856040960 607975 33554432000 1073741824 1073778376 140735970958384 139664187597864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1687.57 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.18 2.22 2.19 3/213 19356 /proc/meminfo: memFree=27060408/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9625040 CPUtime=1748.66 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 47160 0 1 0 174463 403 0 0 20 0 19 0 24678048 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2406260 594501 2288 9 0 2396937 0 [pid=19229/tid=19231] ppid=19226 vsize=9625040 CPUtime=1704.05 cores=1,3,5,7 /proc/19229/task/19231/stat : 19231 (java) R 19226 19229 15516 0 -1 4202560 2868 0 1 0 170376 29 0 0 20 0 19 0 24678049 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664371920112 139664233622828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19232] ppid=19226 vsize=9625040 CPUtime=4.4 cores=1,3,5,7 /proc/19229/task/19232/stat : 19232 (java) S 19226 19229 15516 0 -1 4202560 2791 0 0 0 391 49 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664360982952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19233] ppid=19226 vsize=9625040 CPUtime=4.75 cores=1,3,5,7 /proc/19229/task/19233/stat : 19233 (java) S 19226 19229 15516 0 -1 4202560 3133 0 0 0 421 54 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664359930408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19234] ppid=19226 vsize=9625040 CPUtime=4.48 cores=1,3,5,7 /proc/19229/task/19234/stat : 19234 (java) S 19226 19229 15516 0 -1 4202560 2287 0 0 0 399 49 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664358877352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19235] ppid=19226 vsize=9625040 CPUtime=4.23 cores=1,3,5,7 /proc/19229/task/19235/stat : 19235 (java) S 19226 19229 15516 0 -1 4202560 2429 0 0 0 376 47 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664357824808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19236] ppid=19226 vsize=9625040 CPUtime=4.28 cores=1,3,5,7 /proc/19229/task/19236/stat : 19236 (java) S 19226 19229 15516 0 -1 4202560 1729 0 0 0 384 44 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664356772776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19237] ppid=19226 vsize=9625040 CPUtime=4.16 cores=1,3,5,7 /proc/19229/task/19237/stat : 19237 (java) S 19226 19229 15516 0 -1 4202560 2739 0 0 0 372 44 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664355720232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19238] ppid=19226 vsize=9625040 CPUtime=3.9 cores=1,3,5,7 /proc/19229/task/19238/stat : 19238 (java) S 19226 19229 15516 0 -1 4202560 1748 0 0 0 351 39 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664354667176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19239] ppid=19226 vsize=9625040 CPUtime=4.15 cores=1,3,5,7 /proc/19229/task/19239/stat : 19239 (java) S 19226 19229 15516 0 -1 4202560 2528 0 0 0 370 45 0 0 20 0 19 0 24678050 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664353614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19240] ppid=19226 vsize=9625040 CPUtime=3.94 cores=1,3,5,7 /proc/19229/task/19240/stat : 19240 (java) S 19226 19229 15516 0 -1 4202560 4170 0 0 0 387 7 0 0 20 0 19 0 24678051 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664196020584 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19241] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19241/stat : 19241 (java) S 19226 19229 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664194966904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19242] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19242/stat : 19242 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664193913736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19243] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19243/stat : 19243 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664192862480 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19244] ppid=19226 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/19229/task/19244/stat : 19244 (java) S 19226 19229 15516 0 -1 4202560 15634 0 0 0 113 3 0 0 20 0 19 0 24678054 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664191810360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19245] ppid=19226 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/19229/task/19245/stat : 19245 (java) S 19226 19229 15516 0 -1 4202560 3745 0 0 0 63 0 0 0 20 0 19 0 24678054 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664190757816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19246] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19246/stat : 19246 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664189704952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19247] ppid=19226 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/19229/task/19247/stat : 19247 (java) S 19226 19229 15516 0 -1 4202560 99 0 0 0 16 19 0 0 20 0 19 0 24678054 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664188652616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19248] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19248/stat : 19248 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678101 9856040960 594501 33554432000 1073741824 1073778376 140735970958384 139664187597864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1748.66 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1772.9 s] /proc/loadavg: 2.62 2.34 2.23 3/213 19357 /proc/meminfo: memFree=27142636/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 47807 0 1 0 179602 406 0 0 20 0 19 0 24678048 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2406260 596728 2288 9 0 2396937 0 [pid=19229/tid=19231] ppid=19226 vsize=9625040 CPUtime=1753.8 cores=1,3,5,7 /proc/19229/task/19231/stat : 19231 (java) R 19226 19229 15516 0 -1 4202560 2872 0 1 0 175350 30 0 0 20 0 19 0 24678049 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664371912400 139664233777185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19232] ppid=19226 vsize=9625040 CPUtime=4.62 cores=1,3,5,7 /proc/19229/task/19232/stat : 19232 (java) S 19226 19229 15516 0 -1 4202560 2791 0 0 0 413 49 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664360982952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19233] ppid=19226 vsize=9625040 CPUtime=4.86 cores=1,3,5,7 /proc/19229/task/19233/stat : 19233 (java) S 19226 19229 15516 0 -1 4202560 3133 0 0 0 432 54 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664359930408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19234] ppid=19226 vsize=9625040 CPUtime=4.59 cores=1,3,5,7 /proc/19229/task/19234/stat : 19234 (java) S 19226 19229 15516 0 -1 4202560 2287 0 0 0 410 49 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664358877352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19235] ppid=19226 vsize=9625040 CPUtime=4.36 cores=1,3,5,7 /proc/19229/task/19235/stat : 19235 (java) S 19226 19229 15516 0 -1 4202560 2446 0 0 0 389 47 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664357824808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19236] ppid=19226 vsize=9625040 CPUtime=4.38 cores=1,3,5,7 /proc/19229/task/19236/stat : 19236 (java) S 19226 19229 15516 0 -1 4202560 1729 0 0 0 394 44 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664356772776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19237] ppid=19226 vsize=9625040 CPUtime=4.27 cores=1,3,5,7 /proc/19229/task/19237/stat : 19237 (java) S 19226 19229 15516 0 -1 4202560 2739 0 0 0 383 44 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664355720232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19238] ppid=19226 vsize=9625040 CPUtime=4.04 cores=1,3,5,7 /proc/19229/task/19238/stat : 19238 (java) S 19226 19229 15516 0 -1 4202560 1750 0 0 0 365 39 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664354667176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19239] ppid=19226 vsize=9625040 CPUtime=4.31 cores=1,3,5,7 /proc/19229/task/19239/stat : 19239 (java) S 19226 19229 15516 0 -1 4202560 2528 0 0 0 386 45 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664353614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19240] ppid=19226 vsize=9625040 CPUtime=4.39 cores=1,3,5,7 /proc/19229/task/19240/stat : 19240 (java) S 19226 19229 15516 0 -1 4202560 4792 0 0 0 431 8 0 0 20 0 19 0 24678051 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664196020584 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19241] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19241/stat : 19241 (java) S 19226 19229 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664194966904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19242] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19242/stat : 19242 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664193913736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19243] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19243/stat : 19243 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664192862480 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19244] ppid=19226 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/19229/task/19244/stat : 19244 (java) S 19226 19229 15516 0 -1 4202560 15634 0 0 0 113 3 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664191810360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19245] ppid=19226 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/19229/task/19245/stat : 19245 (java) S 19226 19229 15516 0 -1 4202560 3745 0 0 0 63 0 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664190757816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19246] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19246/stat : 19246 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664189704952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19247] ppid=19226 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/19229/task/19247/stat : 19247 (java) S 19226 19229 15516 0 -1 4202560 101 0 0 0 17 20 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664188652616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19248] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19248/stat : 19248 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678101 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664187597864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 19229 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1772.9 s] /proc/loadavg: 2.62 2.34 2.23 3/213 19357 /proc/meminfo: memFree=27142636/32872528 swapFree=1542984/1696284 [pid=19229] ppid=19226 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/19229/stat : 19229 (java) S 19226 19229 15516 0 -1 4202496 47807 0 1 0 179602 406 0 0 20 0 19 0 24678048 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 140735970949520 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19229/statm: 2406260 596728 2288 9 0 2396937 0 [pid=19229/tid=19231] ppid=19226 vsize=9625040 CPUtime=1753.8 cores=1,3,5,7 /proc/19229/task/19231/stat : 19231 (java) R 19226 19229 15516 0 -1 4202560 2872 0 1 0 175350 30 0 0 20 0 19 0 24678049 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664371912400 139664233777185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19232] ppid=19226 vsize=9625040 CPUtime=4.62 cores=1,3,5,7 /proc/19229/task/19232/stat : 19232 (java) S 19226 19229 15516 0 -1 4202560 2791 0 0 0 413 49 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664360982952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19233] ppid=19226 vsize=9625040 CPUtime=4.86 cores=1,3,5,7 /proc/19229/task/19233/stat : 19233 (java) S 19226 19229 15516 0 -1 4202560 3133 0 0 0 432 54 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664359930408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19234] ppid=19226 vsize=9625040 CPUtime=4.59 cores=1,3,5,7 /proc/19229/task/19234/stat : 19234 (java) S 19226 19229 15516 0 -1 4202560 2287 0 0 0 410 49 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664358877352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19235] ppid=19226 vsize=9625040 CPUtime=4.36 cores=1,3,5,7 /proc/19229/task/19235/stat : 19235 (java) S 19226 19229 15516 0 -1 4202560 2446 0 0 0 389 47 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664357824808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19229/tid=19236] ppid=19226 vsize=9625040 CPUtime=4.38 cores=1,3,5,7 /proc/19229/task/19236/stat : 19236 (java) S 19226 19229 15516 0 -1 4202560 1729 0 0 0 394 44 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664356772776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19237] ppid=19226 vsize=9625040 CPUtime=4.27 cores=1,3,5,7 /proc/19229/task/19237/stat : 19237 (java) S 19226 19229 15516 0 -1 4202560 2739 0 0 0 383 44 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664355720232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19238] ppid=19226 vsize=9625040 CPUtime=4.04 cores=1,3,5,7 /proc/19229/task/19238/stat : 19238 (java) S 19226 19229 15516 0 -1 4202560 1750 0 0 0 365 39 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664354667176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19239] ppid=19226 vsize=9625040 CPUtime=4.31 cores=1,3,5,7 /proc/19229/task/19239/stat : 19239 (java) S 19226 19229 15516 0 -1 4202560 2528 0 0 0 386 45 0 0 20 0 19 0 24678050 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664353614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19240] ppid=19226 vsize=9625040 CPUtime=4.39 cores=1,3,5,7 /proc/19229/task/19240/stat : 19240 (java) S 19226 19229 15516 0 -1 4202560 4792 0 0 0 431 8 0 0 20 0 19 0 24678051 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664196020584 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19241] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19241/stat : 19241 (java) S 19226 19229 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664194966904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19242] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19242/stat : 19242 (java) S 19226 19229 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24678052 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664193913736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19243] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19243/stat : 19243 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664192862480 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19229/tid=19244] ppid=19226 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/19229/task/19244/stat : 19244 (java) S 19226 19229 15516 0 -1 4202560 15634 0 0 0 113 3 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664191810360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19229/tid=19245] ppid=19226 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/19229/task/19245/stat : 19245 (java) S 19226 19229 15516 0 -1 4202560 3745 0 0 0 63 0 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664190757816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19246] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19246/stat : 19246 (java) S 19226 19229 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664189704952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19247] ppid=19226 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/19229/task/19247/stat : 19247 (java) S 19226 19229 15516 0 -1 4202560 101 0 0 0 17 20 0 0 20 0 19 0 24678054 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664188652616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19229/tid=19248] ppid=19226 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/19229/task/19248/stat : 19248 (java) S 19226 19229 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24678101 9856040960 596728 33554432000 1073741824 1073778376 140735970958384 139664187597864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19229 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=680623 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=470320 # CPU time returned by wait4() is 1796.15 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1772.96 CPU time (s): 1800.08 CPU user time (s): 1796.02 CPU system time (s): 4.06 CPU usage (%): 101.53 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.68 system time used= 4.47032 maximum resident set size= 2676020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47852 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49083 involuntary context switches= 44370 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5424 second user time and 12.6341 second system time The end
Begin job on node125 at 2016-06-18 07:05:14 IDJOB=4101821 IDBENCH=1798 IDSOLVER=2546 FILE ID=node125/4101821-1466226314 RUNJOBID= node125-1466206074-15533 PBS_JOBID= 19918152 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-swath.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101821-1466226314/watcher-4101821-1466226314 -o /tmp/evaluation-result-4101821-1466226314/solver-4101821-1466226314 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15533 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101821-1466226314.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9e8d33d54c816a96320e5b2b2d7ec5c8 RANDOM SEED=1362285148 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29922524 kB Buffers: 98964 kB Cached: 97176 kB SwapCached: 688 kB Active: 379520 kB Inactive: 136536 kB Active(anon): 321508 kB Inactive(anon): 1148 kB Active(file): 58012 kB Inactive(file): 135388 kB Unevictable: 1696284 kB Mlocked: 1542984 kB SwapTotal: 67108856 kB SwapFree: 67098232 kB Dirty: 1648 kB Writeback: 0 kB AnonPages: 2017504 kB Mapped: 15328 kB Shmem: 0 kB Slab: 601024 kB SReclaimable: 44584 kB SUnreclaim: 556440 kB KernelStack: 1600 kB PageTables: 8412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2262276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 460800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node125 at 2016-06-18 07:34:47