Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 28 | 1800.45 | 914.609 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb |
MD5SUM | 1b0ac127de7b79f6251c1506cbcbe6c3 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1.45178 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 8805 |
Total number of constraints | 27496 |
Number of constraints which are clauses | 27496 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 4284 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4284 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 4284 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.11/0.12 c Pseudo Boolean Optimization 0.11/0.12 c ManyCore solver with 2 solvers running in parallel 0.11/0.12 c --- Begin Solver configuration --- 0.11/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.12 c Learn all clauses as in MiniSAT 0.11/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.12 c Expensive reason simplification 0.11/0.12 c Armin Biere (Picosat) restarts strategy 0.11/0.12 c Glucose learned constraints deletion strategy 0.11/0.12 c timeout=2147483s 0.11/0.12 c DB Simplification allowed=false 0.11/0.12 c --- End Solver configuration --- 0.11/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.12 c --- Begin Solver configuration --- 0.11/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.12 c Learn all clauses as in MiniSAT 0.11/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.12 c No reason simplification 0.11/0.12 c Armin Biere (Picosat) restarts strategy 0.11/0.12 c Glucose learned constraints deletion strategy 0.11/0.12 c timeout=2147483s 0.11/0.12 c DB Simplification allowed=false 0.11/0.12 c --- End Solver configuration --- 0.11/0.12 c solving HOME/instance-3454106-1307193550.opb 0.11/0.12 c reading problem ... 0.97/0.55 c ... done. Wall clock time 0.439s. 0.97/0.55 c #vars 8805 0.97/0.55 c #constraints 27496 0.97/0.55 c constraints type 0.97/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529 0.97/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286 0.97/0.55 c constraints type 0.97/0.55 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22286 0.97/0.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4529 1.28/0.68 c And the winner is CuttingPlanes 1.66/1.09 c SATISFIABLE 1.66/1.09 c OPTIMIZING... 1.66/1.09 c Got one! Elapsed wall clock time (in seconds):0.968 1.66/1.09 o 37 2.11/1.23 c And the winner is Resolution 2.35/1.64 c Got one! Elapsed wall clock time (in seconds):1.521 2.35/1.64 o 34 2.62/1.70 c And the winner is Resolution 2.77/2.17 c Got one! Elapsed wall clock time (in seconds):2.055 2.77/2.17 o 32 4.06/2.78 c And the winner is Resolution 4.33/3.20 c Got one! Elapsed wall clock time (in seconds):3.081 4.33/3.20 o 30 8.73/5.32 c cleaning 2773 clauses out of 5548 with flag 4001/5548 13.81/7.86 c cleaning 4382 clauses out of 8774 with flag 10000/11547 20.25/11.09 c cleaning 5695 clauses out of 11393 with flag 17001/18548 27.22/14.54 c cleaning 6845 clauses out of 13697 with flag 25000/26547 35.41/18.68 c cleaning 7924 clauses out of 15853 with flag 34001/35548 40.16/21.01 c And the winner is Resolution 40.26/21.29 c Got one! Elapsed wall clock time (in seconds):21.174 40.26/21.29 o 29 43.50/22.96 c cleaning 9232 clauses out of 18473 with flag 5000/46092 48.85/25.65 c cleaning 7615 clauses out of 15241 with flag 11000/52092 54.66/28.56 c cleaning 7305 clauses out of 14626 with flag 18000/59092 62.21/32.37 c cleaning 7654 clauses out of 15321 with flag 26000/67092 70.18/36.35 c cleaning 8323 clauses out of 16667 with flag 35000/76092 78.28/40.43 c cleaning 9165 clauses out of 18345 with flag 45001/86093 87.21/44.92 c cleaning 10082 clauses out of 20180 with flag 56001/97093 95.90/49.41 c cleaning 11040 clauses out of 22097 with flag 68000/109092 106.62/54.75 c cleaning 12018 clauses out of 24057 with flag 81000/122092 117.13/60.09 c cleaning 13014 clauses out of 26039 with flag 95000/136092 129.86/66.41 c cleaning 14005 clauses out of 28025 with flag 110000/151092 145.34/74.26 c cleaning 15006 clauses out of 30020 with flag 126000/167092 160.26/81.77 c cleaning 16001 clauses out of 32014 with flag 143000/184092 174.78/89.07 c cleaning 16998 clauses out of 34014 with flag 161001/202093 189.28/96.37 c cleaning 18002 clauses out of 36017 with flag 180002/221094 207.13/105.32 c cleaning 18999 clauses out of 38013 with flag 200000/241092 225.62/114.65 c cleaning 20006 clauses out of 40014 with flag 221000/262092 244.10/123.90 c cleaning 21001 clauses out of 42009 with flag 243001/284093 262.76/133.35 c cleaning 21994 clauses out of 44007 with flag 266000/307092 284.96/144.51 c cleaning 22996 clauses out of 46013 with flag 290000/331092 308.43/156.32 c cleaning 24003 clauses out of 48017 with flag 315000/356092 331.87/168.21 c cleaning 24992 clauses out of 50014 with flag 341000/382092 352.72/178.67 c And the winner is Resolution 353.19/179.06 c Got one! Elapsed wall clock time (in seconds):178.944 353.19/179.06 o 28 356.49/180.77 c cleaning 26867 clauses out of 53747 with flag 5000/410817 361.62/183.43 c cleaning 16432 clauses out of 32880 with flag 11000/416817 367.44/186.42 c cleaning 11718 clauses out of 23448 with flag 18000/423817 373.86/189.80 c cleaning 9856 clauses out of 19730 with flag 26000/431817 381.67/193.75 c cleaning 9427 clauses out of 18875 with flag 35001/440818 389.19/197.66 c cleaning 9717 clauses out of 19447 with flag 45000/450817 399.01/202.63 c cleaning 10359 clauses out of 20732 with flag 56002/461819 408.82/207.70 c cleaning 11179 clauses out of 22372 with flag 68001/473818 420.42/213.51 c cleaning 12081 clauses out of 24192 with flag 81000/486817 432.73/219.84 c cleaning 13048 clauses out of 26112 with flag 95001/500818 446.73/226.97 c cleaning 14023 clauses out of 28064 with flag 110001/515818 459.33/233.40 c cleaning 15014 clauses out of 30041 with flag 126001/531818 472.94/240.21 c cleaning 16004 clauses out of 32026 with flag 143000/548817 487.04/247.52 c cleaning 16996 clauses out of 34022 with flag 161000/566817 502.03/255.02 c cleaning 18004 clauses out of 36030 with flag 180004/585821 519.42/263.85 c cleaning 19006 clauses out of 38023 with flag 200001/605818 537.42/272.90 c cleaning 19995 clauses out of 40016 with flag 221000/626817 555.90/282.38 c cleaning 21004 clauses out of 42021 with flag 243000/648817 575.09/292.02 c cleaning 22000 clauses out of 44018 with flag 266001/671818 594.46/301.81 c cleaning 23004 clauses out of 46017 with flag 290000/695817 614.43/311.91 c cleaning 23997 clauses out of 48014 with flag 315001/720818 635.48/322.67 c cleaning 25000 clauses out of 50017 with flag 341001/746818 659.03/334.56 c cleaning 25999 clauses out of 52016 with flag 368000/773817 681.78/346.01 c cleaning 26500 clauses out of 53017 with flag 395000/800817 703.92/357.27 c cleaning 26754 clauses out of 53521 with flag 422004/827821 726.51/368.78 c cleaning 26873 clauses out of 53763 with flag 449000/854817 748.42/379.87 c cleaning 26937 clauses out of 53890 with flag 476000/881817 770.77/391.16 c cleaning 26970 clauses out of 53954 with flag 503001/908818 793.55/402.70 c cleaning 26985 clauses out of 53984 with flag 530001/935818 817.08/414.68 c cleaning 26996 clauses out of 54001 with flag 557003/962820 840.81/426.69 c cleaning 26989 clauses out of 54002 with flag 584000/989817 867.38/440.06 c cleaning 26995 clauses out of 54014 with flag 611001/1016818 890.87/451.99 c cleaning 27000 clauses out of 54020 with flag 638002/1043819 915.45/464.46 c cleaning 27000 clauses out of 54018 with flag 665000/1070817 937.58/475.66 c cleaning 27000 clauses out of 54018 with flag 692000/1097817 957.30/485.65 c cleaning 27005 clauses out of 54020 with flag 719002/1124819 980.81/497.50 c cleaning 26999 clauses out of 54013 with flag 746000/1151817 1003.58/509.10 c cleaning 26999 clauses out of 54014 with flag 773000/1178817 1026.30/520.62 c cleaning 27003 clauses out of 54015 with flag 800000/1205817 1049.80/532.58 c cleaning 26998 clauses out of 54013 with flag 827001/1232818 1072.91/544.22 c cleaning 26996 clauses out of 54014 with flag 854000/1259817 1096.84/556.51 c cleaning 27002 clauses out of 54020 with flag 881002/1286819 1120.94/568.64 c cleaning 27000 clauses out of 54017 with flag 908001/1313818 1144.23/580.49 c cleaning 26999 clauses out of 54018 with flag 935002/1340819 1167.50/592.22 c cleaning 27002 clauses out of 54017 with flag 962000/1367817 1190.78/604.11 c cleaning 26990 clauses out of 54015 with flag 989000/1394817 1213.63/615.77 c cleaning 27008 clauses out of 54027 with flag 1016002/1421819 1237.27/627.71 c cleaning 26996 clauses out of 54018 with flag 1043001/1448818 1260.52/639.54 c cleaning 27005 clauses out of 54021 with flag 1070000/1475817 1285.62/652.37 c cleaning 26999 clauses out of 54016 with flag 1097000/1502817 1311.43/665.51 c cleaning 27002 clauses out of 54017 with flag 1124000/1529817 1337.70/678.73 c cleaning 26998 clauses out of 54018 with flag 1151003/1556820 1362.29/691.29 c cleaning 26992 clauses out of 54017 with flag 1178000/1583817 1386.93/703.84 c cleaning 27007 clauses out of 54026 with flag 1205001/1610818 1410.14/715.60 c cleaning 27001 clauses out of 54018 with flag 1232000/1637817 1431.55/726.58 c cleaning 27002 clauses out of 54018 with flag 1259001/1664818 1454.58/738.21 c cleaning 26998 clauses out of 54015 with flag 1286000/1691817 1477.40/749.97 c cleaning 27000 clauses out of 54017 with flag 1313000/1718817 1501.42/762.13 c cleaning 26997 clauses out of 54017 with flag 1340000/1745817 1524.62/773.96 c cleaning 26999 clauses out of 54020 with flag 1367000/1772817 1552.83/788.26 c cleaning 26992 clauses out of 54021 with flag 1394000/1799817 1579.06/801.68 c cleaning 26993 clauses out of 54029 with flag 1421000/1826817 1604.26/814.47 c cleaning 27006 clauses out of 54036 with flag 1448000/1853817 1629.27/827.18 c cleaning 27010 clauses out of 54030 with flag 1475000/1880817 1653.84/839.64 c cleaning 27004 clauses out of 54020 with flag 1502000/1907817 1680.20/853.18 c cleaning 27004 clauses out of 54016 with flag 1529000/1934817 1706.54/866.52 c cleaning 26994 clauses out of 54012 with flag 1556000/1961817 1732.32/879.62 c cleaning 26995 clauses out of 54018 with flag 1583000/1988817 1755.61/891.58 c cleaning 27005 clauses out of 54026 with flag 1610003/2015820 1780.42/904.37 c cleaning 27004 clauses out of 54018 with flag 1637000/2042817 1800.10/914.42 c starts : 231 1800.10/914.42 c conflicts : 2066248 1800.10/914.42 c decisions : 8293131 1800.10/914.42 c propagations : 3742684912 1800.10/914.42 c inspects : 4099588380 1800.10/914.42 c shortcuts : 0 1800.10/914.42 c learnt literals : 0 1800.10/914.42 c learnt binary clauses : 0 1800.10/914.42 c learnt ternary clauses : 2 1800.10/914.42 c learnt constraints : 2066248 1800.10/914.42 c ignored constraints : 0 1800.10/914.42 c root simplifications : 0 1800.10/914.42 c removed literals (reason simplification) : 2517562 1800.10/914.42 c reason swapping (by a shorter reason) : 0 1800.10/914.42 c Calls to reduceDB : 97 1800.10/914.42 c number of reductions to clauses (during analyze) : 0 1800.10/914.42 c number of learned constraints concerned by reduction : 0 1800.10/914.42 c number of learning phase by resolution : 0 1800.10/914.42 c number of learning phase by cutting planes : 0 1800.10/914.42 c speed (assignments/second) : 5089591.557071969 1800.10/914.42 c non guided choices 27992 1800.10/914.45 c learnt constraints type 1800.10/914.45 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50495 1800.10/914.45 c constraints type 1800.10/914.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529 1800.10/914.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.10/914.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286 1800.10/914.45 c constraints type 1800.10/914.45 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22286 1800.10/914.45 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4529 1800.10/914.45 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.10/914.45 s SATISFIABLE 1800.10/914.46 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 1800.10/914.47 c objective function=28 1800.10/914.47 c Total wall clock time (in seconds): 914.351
OK 28
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454106-1307193550/watcher-3454106-1307193550 -o /tmp/evaluation-result-3454106-1307193550/solver-3454106-1307193550 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454106-1307193550.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.98 3.53 2/547 1855 /proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=2464 CPUtime=0 cores=1,3,5,7 /proc/1855/stat : 1855 (java) R 1853 1855 29102 0 -1 4194304 275 0 0 0 0 0 0 0 23 0 1 0 830955442 2523136 40 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253635940035 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/1855/statm: 616 44 35 9 0 27 0 [pid=1855/tid=1856] ppid=1853 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 6247 0 1 0 0 0 0 0 24 0 2 0 830955442 10694979584 7063 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.030197 s] /proc/loadavg: 1.98 2.98 3.53 2/547 1855 /proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10455012 CPUtime=0.02 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 10669 0 1 0 1 1 0 0 23 0 10 0 830955442 10705932288 10369 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2613753 10372 1512 9 0 2604501 0 [pid=1855/tid=1856] ppid=1853 vsize=10455012 CPUtime=0.02 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 9551 0 1 0 1 1 0 0 25 0 10 0 830955442 10705932288 10373 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 47916098434584 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10455012 [startup+0.10421 s] /proc/loadavg: 1.98 2.98 3.53 2/547 1855 /proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10540288 CPUtime=0.11 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 13039 0 1 0 9 2 0 0 23 0 18 0 830955442 10793254912 12697 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2635072 12697 2092 9 0 2625806 0 [pid=1855/tid=1856] ppid=1853 vsize=10540288 CPUtime=0.08 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 11113 0 1 0 7 1 0 0 22 0 18 0 830955442 10793254912 12697 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 47916096279232 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540288 [startup+0.301145 s] /proc/loadavg: 1.98 2.98 3.53 2/547 1855 /proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10543736 CPUtime=0.51 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 16988 0 1 0 48 3 0 0 23 0 18 0 830955442 10796785664 16033 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2635934 16036 2201 9 0 2626668 0 [pid=1855/tid=1856] ppid=1853 vsize=10543736 CPUtime=0.28 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 13349 0 1 0 26 2 0 0 22 0 18 0 830955442 10796785664 16037 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912505542555 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10543736 [startup+0.701077 s] /proc/loadavg: 1.98 2.98 3.53 2/547 1855 /proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10551620 CPUtime=1.64 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 37399 0 1 0 159 5 0 0 23 0 19 0 830955442 10804858880 33118 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2637905 33118 2235 9 0 2628639 0 [pid=1855/tid=1856] ppid=1853 vsize=10551620 CPUtime=0.54 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 28316 0 1 0 50 4 0 0 19 0 19 0 830955442 10804858880 33118 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 10551620 [startup+1.50096 s] /proc/loadavg: 1.98 2.98 3.53 2/586 1900 /proc/meminfo: memFree=20729820/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10551124 CPUtime=2.35 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 39617 0 1 0 229 6 0 0 23 0 19 0 830955442 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2637781 34040 2239 9 0 2628515 0 [pid=1855/tid=1856] ppid=1853 vsize=10551124 CPUtime=0.59 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 28747 0 1 0 55 4 0 0 17 0 19 0 830955442 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1858] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1859] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1860] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1861] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1862] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1863] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1864] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1865] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1866] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 830955445 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1867] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1868] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1869] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1870] ppid=1853 vsize=10551124 CPUtime=0.58 cores=1,3,5,7 /proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 5778 0 0 0 57 1 0 0 15 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1871] ppid=1853 vsize=10551124 CPUtime=0.56 cores=1,3,5,7 /proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 2966 0 0 0 56 0 0 0 15 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1872] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1873] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.35 Current children cumulated vsize (KiB) 10551124 [startup+3.10064 s] /proc/loadavg: 2.22 3.02 3.53 1/587 1914 /proc/meminfo: memFree=20557080/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10551124 CPUtime=4.33 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 42779 0 1 0 427 6 0 0 23 0 19 0 830955442 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2637781 37199 2243 9 0 2628515 0 [pid=1855/tid=1856] ppid=1853 vsize=10551124 CPUtime=0.64 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29539 0 1 0 60 4 0 0 15 0 19 0 830955442 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1858] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1859] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1860] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1861] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1862] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1863] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1864] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1865] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1866] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 830955445 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1867] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1868] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1869] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1870] ppid=1853 vsize=10551124 CPUtime=0.76 cores=1,3,5,7 /proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 5798 0 0 0 75 1 0 0 15 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1871] ppid=1853 vsize=10551124 CPUtime=0.79 cores=1,3,5,7 /proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3001 0 0 0 79 0 0 0 15 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1872] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1873] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1903] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 830955554 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 10551124 [startup+6.30106 s] /proc/loadavg: 2.22 3.02 3.53 5/593 1929 /proc/meminfo: memFree=20045736/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10549596 CPUtime=10.72 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 267988 0 1 0 1041 31 0 0 23 0 22 0 830955442 10802786304 261796 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2637399 261801 2268 9 0 2628133 0 [pid=1855/tid=1856] ppid=1853 vsize=10549596 CPUtime=0.66 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29935 0 1 0 62 4 0 0 15 0 22 0 830955442 10802786304 261806 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1858] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261813 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1859] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830955444 10802786304 261820 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1860] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830955444 10802786304 261827 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1861] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830955444 10802786304 261834 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1862] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 597 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261840 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1863] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261842 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1864] ppid=1853 vsize=10549596 CPUtime=0.01 cores=1,3,5,7 /proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 709 0 0 0 1 0 0 0 18 0 22 0 830955444 10802786304 261842 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1865] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 858 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261842 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1866] ppid=1853 vsize=10549596 CPUtime=0.04 cores=1,3,5,7 /proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 3445 0 0 0 4 0 0 0 15 0 22 0 830955445 10802786304 261847 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1867] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 261853 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1868] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 261860 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1869] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10802786304 261867 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1870] ppid=1853 vsize=10549596 CPUtime=0.88 cores=1,3,5,7 /proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6033 0 0 0 87 1 0 0 15 0 22 0 830955448 10802786304 261874 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1871] ppid=1853 vsize=10549596 CPUtime=0.9 cores=1,3,5,7 /proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3011 0 0 0 90 0 0 0 15 0 22 0 830955448 10802786304 261881 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1872] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10802786304 261887 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 3.99 3.93 3.78 5/593 1971 /proc/meminfo: memFree=13558584/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10549596 CPUtime=1619.66 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 948336 0 1 0 161858 108 0 0 23 0 22 0 830955442 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2637399 939723 2270 9 0 2628133 0 [pid=1855/tid=1856] ppid=1853 vsize=10549596 CPUtime=0.7 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29981 0 1 0 66 4 0 0 15 0 22 0 830955442 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1858] ppid=1853 vsize=10549596 CPUtime=0.7 cores=1,3,5,7 /proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 8337 0 0 0 69 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1859] ppid=1853 vsize=10549596 CPUtime=0.6 cores=1,3,5,7 /proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 4466 0 0 0 59 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1860] ppid=1853 vsize=10549596 CPUtime=0.6 cores=1,3,5,7 /proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 6571 0 0 0 59 1 0 0 15 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1861] ppid=1853 vsize=10549596 CPUtime=0.53 cores=1,3,5,7 /proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 5594 0 0 0 52 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1862] ppid=1853 vsize=10549596 CPUtime=0.68 cores=1,3,5,7 /proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 8348 0 0 0 67 1 0 0 15 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1863] ppid=1853 vsize=10549596 CPUtime=0.65 cores=1,3,5,7 /proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 8009 0 0 0 64 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1864] ppid=1853 vsize=10549596 CPUtime=0.67 cores=1,3,5,7 /proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 8004 0 0 0 66 1 0 0 15 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1865] ppid=1853 vsize=10549596 CPUtime=0.65 cores=1,3,5,7 /proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 9188 0 0 0 64 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1866] ppid=1853 vsize=10549596 CPUtime=24.25 cores=1,3,5,7 /proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 29251 0 0 0 2421 4 0 0 15 0 22 0 830955445 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1867] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1868] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1869] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1870] ppid=1853 vsize=10549596 CPUtime=1.05 cores=1,3,5,7 /proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1871] ppid=1853 vsize=10549596 CPUtime=1.14 cores=1,3,5,7 /proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3035 0 0 0 114 0 0 0 15 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1872] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1873] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1903] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830955554 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1946] ppid=1853 vsize=10549596 CPUtime=620.29 cores=1,3,5,7 /proc/1855/task/1946/stat : 1946 (java) R 1853 1855 29102 0 -1 4202560 72 0 0 0 62029 0 0 0 25 0 22 0 830973349 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506101225 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1855/tid=1947] ppid=1853 vsize=10549596 CPUtime=620.28 cores=1,3,5,7 /proc/1855/task/1947/stat : 1947 (java) R 1853 1855 29102 0 -1 4202560 55 0 0 0 62028 0 0 0 25 0 22 0 830973349 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506082372 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1855/tid=1948] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1948/stat : 1948 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830973354 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1619.66 Current children cumulated vsize (KiB) 10549596 [startup+882.301 s] /proc/loadavg: 3.99 3.94 3.79 5/593 1973 /proc/meminfo: memFree=13483916/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10549824 CPUtime=1737.2 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 962503 0 1 0 173610 110 0 0 23 0 22 0 830955442 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2637456 953728 2270 9 0 2628190 0 [pid=1855/tid=1856] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29985 0 1 0 66 4 0 0 15 0 22 0 830955442 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1858] ppid=1853 vsize=10549824 CPUtime=0.77 cores=1,3,5,7 /proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 8698 0 0 0 76 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1859] ppid=1853 vsize=10549824 CPUtime=0.65 cores=1,3,5,7 /proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 5704 0 0 0 64 1 0 0 15 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1860] ppid=1853 vsize=10549824 CPUtime=0.65 cores=1,3,5,7 /proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 7013 0 0 0 64 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1861] ppid=1853 vsize=10549824 CPUtime=0.57 cores=1,3,5,7 /proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 6629 0 0 0 56 1 0 0 15 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1862] ppid=1853 vsize=10549824 CPUtime=0.75 cores=1,3,5,7 /proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 9418 0 0 0 74 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1863] ppid=1853 vsize=10549824 CPUtime=0.68 cores=1,3,5,7 /proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 8011 0 0 0 67 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1864] ppid=1853 vsize=10549824 CPUtime=0.73 cores=1,3,5,7 /proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 8086 0 0 0 72 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1865] ppid=1853 vsize=10549824 CPUtime=0.69 cores=1,3,5,7 /proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 10555 0 0 0 68 1 0 0 15 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1866] ppid=1853 vsize=10549824 CPUtime=26.96 cores=1,3,5,7 /proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 37780 0 0 0 2691 5 0 0 15 0 22 0 830955445 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1867] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1868] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1869] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1870] ppid=1853 vsize=10549824 CPUtime=1.05 cores=1,3,5,7 /proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1871] ppid=1853 vsize=10549824 CPUtime=1.22 cores=1,3,5,7 /proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3063 0 0 0 122 0 0 0 15 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1872] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1873] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1903] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830955554 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1946] ppid=1853 vsize=10549824 CPUtime=677.46 cores=1,3,5,7 /proc/1855/task/1946/stat : 1946 (java) R 1853 1855 29102 0 -1 4202560 75 0 0 0 67746 0 0 0 25 0 22 0 830973349 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506072255 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1855/tid=1947] ppid=1853 vsize=10549824 CPUtime=677.44 cores=1,3,5,7 /proc/1855/task/1947/stat : 1947 (java) R 1853 1855 29102 0 -1 4202560 57 0 0 0 67744 0 0 0 25 0 22 0 830973349 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506082470 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1855/tid=1948] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1948/stat : 1948 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830973354 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1737.2 Current children cumulated vsize (KiB) 10549824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.401 s] /proc/loadavg: 3.99 3.94 3.80 4/569 1980 /proc/meminfo: memFree=17305000/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=10549824 CPUtime=1800.1 cores=1,3,5,7 /proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 963797 0 1 0 179900 110 0 0 23 0 22 0 830955442 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 2637456 955003 2270 9 0 2628190 0 [pid=1855/tid=1856] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7 /proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29985 0 1 0 66 4 0 0 15 0 22 0 830955442 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1858] ppid=1853 vsize=10549824 CPUtime=0.79 cores=1,3,5,7 /proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 8698 0 0 0 78 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1859] ppid=1853 vsize=10549824 CPUtime=0.66 cores=1,3,5,7 /proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 5704 0 0 0 65 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1860] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7 /proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 7484 0 0 0 69 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1861] ppid=1853 vsize=10549824 CPUtime=0.62 cores=1,3,5,7 /proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 6959 0 0 0 61 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1862] ppid=1853 vsize=10549824 CPUtime=0.76 cores=1,3,5,7 /proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 9418 0 0 0 75 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1863] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7 /proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 8011 0 0 0 69 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1864] ppid=1853 vsize=10549824 CPUtime=0.75 cores=1,3,5,7 /proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 8569 0 0 0 74 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0 [pid=1855/tid=1865] ppid=1853 vsize=10549824 CPUtime=0.72 cores=1,3,5,7 /proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 10555 0 0 0 71 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1866] ppid=1853 vsize=10549824 CPUtime=28.34 cores=1,3,5,7 /proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 37783 0 0 0 2829 5 0 0 15 0 22 0 830955445 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1867] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1868] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1869] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1870] ppid=1853 vsize=10549824 CPUtime=1.05 cores=1,3,5,7 /proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1871] ppid=1853 vsize=10549824 CPUtime=1.22 cores=1,3,5,7 /proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3063 0 0 0 122 0 0 0 15 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1872] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 [pid=1855/tid=1873] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0 [pid=1855/tid=1903] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830955554 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0 [pid=1855/tid=1946] ppid=1853 vsize=10549824 CPUtime=708.13 cores=1,3,5,7 /proc/1855/task/1946/stat : 1946 (java) R 1853 1855 29102 0 -1 4202560 79 0 0 0 70813 0 0 0 25 0 22 0 830973349 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506102388 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1855/tid=1947] ppid=1853 vsize=10549824 CPUtime=708.12 cores=1,3,5,7 /proc/1855/task/1947/stat : 1947 (java) R 1853 1855 29102 0 -1 4202560 58 0 0 0 70812 0 0 0 25 0 22 0 830973349 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506399014 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1855/tid=1948] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7 /proc/1855/task/1948/stat : 1948 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830973354 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 10549824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+914.601 s] /proc/loadavg: 3.99 3.94 3.80 4/569 1980 /proc/meminfo: memFree=17305000/32951124 swapFree=53733252/67111528 [pid=1855] ppid=1853 vsize=0 CPUtime=1800.43 cores=1,3,5,7 /proc/1855/stat : 1855 (java) Z 1853 1855 29102 0 -1 4203548 963829 0 1 0 179920 123 0 0 17 0 2 0 830955442 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1855/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 914.609 CPU time (s): 1800.45 CPU user time (s): 1799.21 CPU system time (s): 1.24681 CPU usage (%): 196.855 Max. virtual memory (cumulated for all children) (KiB): 10552592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.21 system time used= 1.24681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 963829 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26665 involuntary context switches= 19586 runsolver used 5.15921 second user time and 12.0232 second system time The end
Begin job on node106 at 2011-06-04 15:19:11 IDJOB=3454106 IDBENCH=24992 IDSOLVER=1950 FILE ID=node106/3454106-1307193550 RUNJOBID= node106-1307193550-1842 PBS_JOBID= 13508822 Free space on /tmp= 73760 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454106-1307193550/watcher-3454106-1307193550 -o /tmp/evaluation-result-3454106-1307193550/solver-3454106-1307193550 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454106-1307193550.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3 RANDOM SEED=1903363993 node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21130120 kB Buffers: 400352 kB Cached: 6018244 kB SwapCached: 22744 kB Active: 5912336 kB Inactive: 5568284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21130120 kB SwapTotal: 67111528 kB SwapFree: 53733252 kB Dirty: 1596 kB Writeback: 0 kB AnonPages: 5058520 kB Mapped: 25444 kB Slab: 192344 kB PageTables: 77776 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 167526104 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73760 MiB End job on node106 at 2011-06-04 15:34:27