Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | -893576 | 1800.36 | 906.29 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb |
MD5SUM | 0c3c379676a8ddac6d8ad36181bfd2e9 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -1009287 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -950703 |
Optimality of the best value was proved | NO |
Number of variables | 6000 |
Total number of constraints | 2171 |
Number of constraints which are clauses | 222 |
Number of constraints which are cardinality constraints (but not clauses) | 1914 |
Number of constraints which are nor clauses,nor cardinality constraints | 35 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5998 |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 91110 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 12969603 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 800000 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 28761906 |
Number of bits of the biggest sum of numbers | 25 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 9996466904 0.05/0.09 c Max memory 10048897024 0.05/0.09 c Total memory 10048897024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454479-1307187705.opb 0.10/0.11 c reading problem ... 0.69/0.44 c ... done. Wall clock time 0.33s. 0.69/0.44 c #vars 6000 0.69/0.44 c #constraints 2294 0.69/0.44 c constraints type 0.69/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 47 0.69/0.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 1871 0.69/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 374 0.69/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2 0.69/0.44 c constraints type 0.69/0.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 374 0.69/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 47 0.69/0.44 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1871 0.69/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 3.72/1.52 c cleaning 2500 clauses out of 5000 with flag 5000/5000 5.95/2.64 c cleaning 4248 clauses out of 8500 with flag 11000/11000 8.61/3.94 c cleaning 5623 clauses out of 11252 with flag 18000/18000 11.60/5.49 c cleaning 6811 clauses out of 13630 with flag 26001/26001 15.20/7.28 c cleaning 7905 clauses out of 15818 with flag 35000/35000 19.15/9.21 c cleaning 8953 clauses out of 17914 with flag 45001/45001 22.08/10.79 c And the winner is CuttingPlanes 22.26/11.14 c SATISFIABLE 22.26/11.14 c OPTIMIZING... 22.26/11.14 c Got one! Elapsed wall clock time (in seconds):11.027 22.26/11.14 o -890874 24.10/12.04 c And the winner is CuttingPlanes 24.16/12.18 c Got one! Elapsed wall clock time (in seconds):12.075 24.16/12.18 o -890999 32.33/16.21 c cleaning 11161 clauses out of 22324 with flag 4000/58364 44.68/22.49 c cleaning 8577 clauses out of 17163 with flag 10000/64364 59.79/30.05 c cleaning 7792 clauses out of 15587 with flag 17001/71365 79.31/39.84 c cleaning 7894 clauses out of 15795 with flag 25001/79365 101.44/50.91 c cleaning 8447 clauses out of 16900 with flag 34000/88364 119.21/59.85 c And the winner is CuttingPlanes 119.38/59.90 c Got one! Elapsed wall clock time (in seconds):59.791 119.38/59.90 o -891090 127.47/63.92 c cleaning 10246 clauses out of 20504 with flag 5000/100415 139.19/69.88 c cleaning 8125 clauses out of 16260 with flag 11002/106417 153.34/76.92 c cleaning 7567 clauses out of 15133 with flag 18000/113415 171.67/86.15 c cleaning 7777 clauses out of 15567 with flag 26001/121416 178.01/89.33 c And the winner is CuttingPlanes 178.06/89.66 c Got one! Elapsed wall clock time (in seconds):89.549 178.06/89.66 o -891251 183.39/92.40 c cleaning 6764 clauses out of 13534 with flag 3000/127160 186.66/94.09 c And the winner is CuttingPlanes 186.86/94.21 c Got one! Elapsed wall clock time (in seconds):94.098 186.86/94.21 o -891436 189.24/95.42 c And the winner is CuttingPlanes 189.28/95.74 c Got one! Elapsed wall clock time (in seconds):95.636 189.28/95.74 o -891721 191.43/96.84 c And the winner is CuttingPlanes 191.49/97.28 c Got one! Elapsed wall clock time (in seconds):97.171 191.49/97.28 o -893272 194.53/98.87 c cleaning 6742 clauses out of 13490 with flag 2001/133880 205.86/104.59 c cleaning 6370 clauses out of 12748 with flag 8001/139880 220.35/111.85 c cleaning 6689 clauses out of 13377 with flag 15000/146879 220.88/112.19 c And the winner is CuttingPlanes 221.05/112.37 c Got one! Elapsed wall clock time (in seconds):112.259 221.05/112.37 o -893549 230.13/116.97 c cleaning 5986 clauses out of 11973 with flag 5001/152164 244.41/124.20 c cleaning 5991 clauses out of 11986 with flag 11000/158163 260.71/132.35 c cleaning 6491 clauses out of 12995 with flag 18000/165163 281.63/142.91 c cleaning 7252 clauses out of 14505 with flag 26001/173164 305.32/154.79 c cleaning 8124 clauses out of 16253 with flag 35001/182164 331.96/168.12 c cleaning 9059 clauses out of 18128 with flag 45000/192163 352.65/178.56 c And the winner is CuttingPlanes 352.79/178.80 c Got one! Elapsed wall clock time (in seconds):178.693 352.79/178.80 o -893550 362.98/183.91 c And the winner is CuttingPlanes 363.00/184.35 c Got one! Elapsed wall clock time (in seconds):184.243 363.00/184.35 o -893565 364.70/185.25 c cleaning 11157 clauses out of 22313 with flag 1001/205407 374.99/190.49 c cleaning 8574 clauses out of 17156 with flag 7001/211407 389.67/197.84 c cleaning 7785 clauses out of 15581 with flag 14000/218406 407.89/207.00 c cleaning 7892 clauses out of 15796 with flag 22000/226406 427.57/216.92 c cleaning 8449 clauses out of 16905 with flag 31001/235407 450.45/228.43 c cleaning 9224 clauses out of 18455 with flag 41000/245406 474.53/240.58 c cleaning 9616 clauses out of 19232 with flag 51001/255407 498.93/252.81 c cleaning 9806 clauses out of 19617 with flag 61002/265408 520.80/263.90 c cleaning 9900 clauses out of 19809 with flag 71000/275406 543.47/275.22 c cleaning 9950 clauses out of 19910 with flag 81001/285407 565.35/286.29 c cleaning 9976 clauses out of 19960 with flag 91001/295407 589.56/298.44 c cleaning 9985 clauses out of 19984 with flag 101001/305407 617.25/312.34 c cleaning 9995 clauses out of 19999 with flag 111001/315407 643.32/325.50 c cleaning 9995 clauses out of 20003 with flag 121000/325406 676.64/342.12 c cleaning 9996 clauses out of 20008 with flag 131000/335406 745.22/376.58 c cleaning 10001 clauses out of 20013 with flag 141001/345407 785.10/396.50 c And the winner is CuttingPlanes 785.10/396.57 c Got one! Elapsed wall clock time (in seconds):396.461 785.10/396.57 o -893576 792.19/400.15 c cleaning 10112 clauses out of 20223 with flag 5001/355618 803.26/405.72 c cleaning 8055 clauses out of 16110 with flag 11000/361617 816.31/412.34 c cleaning 7525 clauses out of 15056 with flag 18001/368618 831.07/419.81 c cleaning 7761 clauses out of 15530 with flag 26000/376617 848.53/428.69 c cleaning 8383 clauses out of 16770 with flag 35001/385618 868.40/438.62 c cleaning 9192 clauses out of 18387 with flag 45001/395618 890.66/449.89 c cleaning 9594 clauses out of 19196 with flag 55002/405619 918.62/463.99 c cleaning 9797 clauses out of 19600 with flag 65000/415617 944.88/477.14 c cleaning 9900 clauses out of 19803 with flag 75000/425617 972.13/490.89 c cleaning 9946 clauses out of 19903 with flag 85000/435617 996.98/503.33 c cleaning 9976 clauses out of 19959 with flag 95002/445619 1020.15/515.04 c cleaning 9985 clauses out of 19982 with flag 105001/455618 1043.00/526.57 c cleaning 9995 clauses out of 19997 with flag 115001/465618 1068.45/539.31 c cleaning 9994 clauses out of 20001 with flag 125000/475617 1092.69/551.50 c cleaning 9998 clauses out of 20008 with flag 135001/485618 1122.05/566.33 c cleaning 9998 clauses out of 20009 with flag 145000/495617 1159.70/585.27 c cleaning 9999 clauses out of 20012 with flag 155001/505618 1205.76/608.31 c cleaning 9995 clauses out of 20013 with flag 165001/515618 1278.78/644.96 c cleaning 10001 clauses out of 20018 with flag 175001/525618 1353.14/682.25 c cleaning 10001 clauses out of 20016 with flag 185000/535617 1460.24/735.85 c cleaning 9998 clauses out of 20015 with flag 195000/545617 1571.66/791.64 c cleaning 10001 clauses out of 20018 with flag 205001/555618 1667.13/839.48 c cleaning 9999 clauses out of 20016 with flag 215000/565617 1752.51/882.27 c cleaning 10000 clauses out of 20017 with flag 225000/575617 1800.11/906.12 c starts : 12 1800.11/906.12 c conflicts : 281 1800.11/906.12 c decisions : 114322 1800.11/906.12 c propagations : 243651 1800.11/906.12 c inspects : 2117910 1800.11/906.12 c shortcuts : 0 1800.11/906.12 c learnt literals : 0 1800.11/906.12 c learnt binary clauses : 0 1800.11/906.12 c learnt ternary clauses : 0 1800.11/906.12 c learnt constraints : 280 1800.11/906.12 c ignored constraints : 0 1800.11/906.12 c root simplifications : 0 1800.11/906.12 c removed literals (reason simplification) : 0 1800.11/906.12 c reason swapping (by a shorter reason) : 0 1800.11/906.12 c Calls to reduceDB : 0 1800.11/906.12 c number of reductions to clauses (during analyze) : 0 1800.11/906.12 c number of learned constraints concerned by reduction : 0 1800.11/906.12 c number of learning phase by resolution : 0 1800.11/906.12 c number of learning phase by cutting planes : 0 1800.11/906.12 c speed (assignments/second) : 478.17648005463735 1800.11/906.12 c non guided choices 0 1800.11/906.12 c learnt constraints type 1800.11/906.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 280 1800.11/906.12 c constraints type 1800.11/906.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 47 1800.11/906.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 1871 1800.11/906.12 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 374 1800.11/906.12 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3 1800.11/906.12 c constraints type 1800.11/906.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 374 1800.11/906.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 47 1800.11/906.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1871 1800.11/906.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3 1800.11/906.12 s SATISFIABLE 1800.11/906.13 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 1800.11/906.14 c objective function=-893576 1800.11/906.14 c Total wall clock time (in seconds): 906.029
OK -893576
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-3454479-1307187705/watcher-3454479-1307187705 -o /tmp/evaluation-result-3454479-1307187705/solver-3454479-1307187705 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454479-1307187705.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.22 3/415 9044 /proc/meminfo: memFree=26025240/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 3729 0 1 0 0 0 0 0 24 0 2 0 286379962 10694979584 3430 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2611079 3443 917 9 0 2602235 0 [pid=9044/tid=9045] ppid=9042 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) R 9042 9044 6914 0 -1 4202560 5674 0 1 0 0 0 0 0 25 0 2 0 286379963 10694979584 6489 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0729381 s] /proc/loadavg: 1.00 1.01 1.22 3/415 9044 /proc/meminfo: memFree=26025240/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 11893 0 1 0 4 1 0 0 24 0 18 0 286379962 10724442112 11589 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2618272 11589 1754 9 0 2609006 0 [pid=9044/tid=9045] ppid=9042 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) R 9042 9044 6914 0 -1 4202560 10718 0 1 0 4 1 0 0 25 0 18 0 286379963 10724442112 11589 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 47276679305973 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10473088 [startup+0.104979 s] /proc/loadavg: 1.00 1.01 1.22 3/415 9044 /proc/meminfo: memFree=26025240/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10605220 CPUtime=0.1 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 13175 0 1 0 9 1 0 0 24 0 18 0 286379962 10859745280 12832 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2651305 12832 2093 9 0 2642039 0 [pid=9044/tid=9045] ppid=9042 vsize=10605220 CPUtime=0.08 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) R 9042 9044 6914 0 -1 4202560 11225 0 1 0 7 1 0 0 18 0 18 0 286379963 10859745280 12832 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10605220 [startup+0.300898 s] /proc/loadavg: 1.00 1.01 1.22 3/415 9044 /proc/meminfo: memFree=26025240/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10606652 CPUtime=0.53 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 17796 0 1 0 50 3 0 0 24 0 18 0 286379962 10861211648 16651 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2651663 16651 2211 9 0 2642397 0 [pid=9044/tid=9045] ppid=9042 vsize=10606652 CPUtime=0.28 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) R 9042 9044 6914 0 -1 4202560 14075 0 1 0 26 2 0 0 18 0 18 0 286379963 10861211648 16651 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912505164388 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10606652 [startup+0.700815 s] /proc/loadavg: 1.00 1.01 1.22 3/415 9044 /proc/meminfo: memFree=26025240/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10612476 CPUtime=1.78 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 50423 0 1 0 171 7 0 0 24 0 22 0 286379962 10867175424 46940 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2653119 46940 2229 9 0 2643853 0 [pid=9044/tid=9045] ppid=9042 vsize=10612476 CPUtime=0.42 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) S 9042 9044 6914 0 -1 4202560 39079 0 1 0 37 5 0 0 19 0 22 0 286379963 10867175424 46940 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 10612476 [startup+1.50068 s] /proc/loadavg: 1.00 1.01 1.22 5/456 9090 /proc/meminfo: memFree=25790132/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10612476 CPUtime=3.72 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 59474 0 1 0 363 9 0 0 24 0 22 0 286379962 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2653119 54986 2237 9 0 2643853 0 [pid=9044/tid=9045] ppid=9042 vsize=10612476 CPUtime=0.42 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) S 9042 9044 6914 0 -1 4202560 39079 0 1 0 37 5 0 0 15 0 22 0 286379963 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9056] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9056/stat : 9056 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9057] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9057/stat : 9057 (java) S 9042 9044 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9058] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9058/stat : 9058 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9059] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9059/stat : 9059 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9060] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9060/stat : 9060 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9061] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9061/stat : 9061 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9062] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9062/stat : 9062 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9063] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9063/stat : 9063 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379964 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9065] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9065/stat : 9065 (java) S 9042 9044 6914 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 286379965 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 0 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9068] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9068/stat : 9068 (java) S 9042 9044 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 286379966 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9069] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9069/stat : 9069 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 286379966 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9071] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9071/stat : 9071 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892388785 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9073] ppid=9042 vsize=10612476 CPUtime=0.68 cores=0,2,4,6 /proc/9044/task/9073/stat : 9073 (java) S 9042 9044 6914 0 -1 4202560 4746 0 0 0 67 1 0 0 15 0 22 0 286379968 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9075] ppid=9042 vsize=10612476 CPUtime=0.5 cores=0,2,4,6 /proc/9044/task/9075/stat : 9075 (java) S 9042 9044 6914 0 -1 4202560 4054 0 0 0 50 0 0 0 15 0 22 0 286379968 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9077] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9077/stat : 9077 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9078] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9078/stat : 9078 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286379968 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9084] ppid=9042 vsize=10612476 CPUtime=1.04 cores=0,2,4,6 /proc/9044/task/9084/stat : 9084 (java) R 9042 9044 6914 0 -1 4202560 670 0 0 0 104 0 0 0 24 0 22 0 286380007 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912497361494 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=9044/tid=9085] ppid=9042 vsize=10612476 CPUtime=1.03 cores=0,2,4,6 /proc/9044/task/9085/stat : 9085 (java) R 9042 9044 6914 0 -1 4202560 9757 0 0 0 102 1 0 0 18 0 22 0 286380007 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912506017229 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9044/tid=9086] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9086/stat : 9086 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 286380010 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9087] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9087/stat : 9087 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 286380010 10867175424 54986 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.72 Current children cumulated vsize (KiB) 10612476 [startup+3.10139 s] /proc/loadavg: 1.00 1.01 1.22 4/456 9096 /proc/meminfo: memFree=25612812/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10612476 CPUtime=6.95 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 66752 0 1 0 685 10 0 0 24 0 22 0 286379962 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2653119 62250 2263 9 0 2643853 0 [pid=9044/tid=9045] ppid=9042 vsize=10612476 CPUtime=0.42 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) S 9042 9044 6914 0 -1 4202560 39079 0 1 0 37 5 0 0 15 0 22 0 286379963 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9056] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9056/stat : 9056 (java) S 9042 9044 6914 0 -1 4202560 337 0 0 0 0 0 0 0 16 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9057] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9057/stat : 9057 (java) S 9042 9044 6914 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9058] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9058/stat : 9058 (java) S 9042 9044 6914 0 -1 4202560 152 0 0 0 0 0 0 0 16 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9059] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9059/stat : 9059 (java) S 9042 9044 6914 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9060] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9060/stat : 9060 (java) S 9042 9044 6914 0 -1 4202560 507 0 0 0 0 0 0 0 18 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9061] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9061/stat : 9061 (java) S 9042 9044 6914 0 -1 4202560 1037 0 0 0 0 0 0 0 18 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9062] ppid=9042 vsize=10612476 CPUtime=0.01 cores=0,2,4,6 /proc/9044/task/9062/stat : 9062 (java) S 9042 9044 6914 0 -1 4202560 939 0 0 0 1 0 0 0 18 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9063] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9063/stat : 9063 (java) S 9042 9044 6914 0 -1 4202560 484 0 0 0 0 0 0 0 18 0 22 0 286379964 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9065] ppid=9042 vsize=10612476 CPUtime=0.06 cores=0,2,4,6 /proc/9044/task/9065/stat : 9065 (java) S 9042 9044 6914 0 -1 4202560 3506 0 0 0 6 0 0 0 15 0 22 0 286379965 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 0 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9068] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9068/stat : 9068 (java) S 9042 9044 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 286379966 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9069] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9069/stat : 9069 (java) S 9042 9044 6914 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 286379966 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9071] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9071/stat : 9071 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892388785 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9073] ppid=9042 vsize=10612476 CPUtime=0.71 cores=0,2,4,6 /proc/9044/task/9073/stat : 9073 (java) S 9042 9044 6914 0 -1 4202560 4757 0 0 0 70 1 0 0 15 0 22 0 286379968 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9075] ppid=9042 vsize=10612476 CPUtime=0.56 cores=0,2,4,6 /proc/9044/task/9075/stat : 9075 (java) S 9042 9044 6914 0 -1 4202560 4064 0 0 0 56 0 0 0 15 0 22 0 286379968 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9077] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9077/stat : 9077 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9078] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9078/stat : 9078 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286379968 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9084] ppid=9042 vsize=10612476 CPUtime=2.55 cores=0,2,4,6 /proc/9044/task/9084/stat : 9084 (java) R 9042 9044 6914 0 -1 4202560 678 0 0 0 255 0 0 0 25 0 22 0 286380007 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912506075261 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=9044/tid=9085] ppid=9042 vsize=10612476 CPUtime=2.54 cores=0,2,4,6 /proc/9044/task/9085/stat : 9085 (java) R 9042 9044 6914 0 -1 4202560 9761 0 0 0 253 1 0 0 19 0 22 0 286380007 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912506016981 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9044/tid=9086] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9086/stat : 9086 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 286380010 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9087] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9087/stat : 9087 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 286380010 10867175424 62250 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.95 Current children cumulated vsize (KiB) 10612476 [startup+6.30084 s] /proc/loadavg: 1.48 1.11 1.25 5/455 9155 /proc/meminfo: memFree=25605384/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10612476 CPUtime=13.4 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 71861 0 1 0 1330 10 0 0 24 0 22 0 286379962 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2653119 67211 2263 9 0 2643853 0 [pid=9044/tid=9045] ppid=9042 vsize=10612476 CPUtime=0.42 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) S 9042 9044 6914 0 -1 4202560 39080 0 1 0 37 5 0 0 15 0 22 0 286379963 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9056] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9056/stat : 9056 (java) S 9042 9044 6914 0 -1 4202560 337 0 0 0 0 0 0 0 15 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9057] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9057/stat : 9057 (java) S 9042 9044 6914 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9058] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9058/stat : 9058 (java) S 9042 9044 6914 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9059] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9059/stat : 9059 (java) S 9042 9044 6914 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9060] ppid=9042 vsize=10612476 CPUtime=0.01 cores=0,2,4,6 /proc/9044/task/9060/stat : 9060 (java) S 9042 9044 6914 0 -1 4202560 1608 0 0 0 1 0 0 0 16 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9061] ppid=9042 vsize=10612476 CPUtime=0.01 cores=0,2,4,6 /proc/9044/task/9061/stat : 9061 (java) S 9042 9044 6914 0 -1 4202560 1039 0 0 0 1 0 0 0 15 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9062] ppid=9042 vsize=10612476 CPUtime=0.01 cores=0,2,4,6 /proc/9044/task/9062/stat : 9062 (java) S 9042 9044 6914 0 -1 4202560 945 0 0 0 1 0 0 0 15 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9063] ppid=9042 vsize=10612476 CPUtime=0.01 cores=0,2,4,6 /proc/9044/task/9063/stat : 9063 (java) S 9042 9044 6914 0 -1 4202560 1468 0 0 0 1 0 0 0 16 0 22 0 286379964 10867175424 67211 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=18668736/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10612476 CPUtime=1632.91 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 916953 0 1 0 163190 101 0 0 24 0 22 0 286379962 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2653119 909385 2266 9 0 2643853 0 [pid=9044/tid=9045] ppid=9042 vsize=10612476 CPUtime=0.77 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) S 9042 9044 6914 0 -1 4202560 39092 0 1 0 72 5 0 0 15 0 22 0 286379963 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9056] ppid=9042 vsize=10612476 CPUtime=0.25 cores=0,2,4,6 /proc/9044/task/9056/stat : 9056 (java) S 9042 9044 6914 0 -1 4202560 3743 0 0 0 25 0 0 0 16 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9057] ppid=9042 vsize=10612476 CPUtime=0.25 cores=0,2,4,6 /proc/9044/task/9057/stat : 9057 (java) S 9042 9044 6914 0 -1 4202560 3843 0 0 0 25 0 0 0 16 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9058] ppid=9042 vsize=10612476 CPUtime=0.21 cores=0,2,4,6 /proc/9044/task/9058/stat : 9058 (java) S 9042 9044 6914 0 -1 4202560 1241 0 0 0 21 0 0 0 15 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9059] ppid=9042 vsize=10612476 CPUtime=0.21 cores=0,2,4,6 /proc/9044/task/9059/stat : 9059 (java) S 9042 9044 6914 0 -1 4202560 2828 0 0 0 21 0 0 0 16 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9060] ppid=9042 vsize=10612476 CPUtime=0.24 cores=0,2,4,6 /proc/9044/task/9060/stat : 9060 (java) S 9042 9044 6914 0 -1 4202560 3365 0 0 0 24 0 0 0 16 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9061] ppid=9042 vsize=10612476 CPUtime=0.2 cores=0,2,4,6 /proc/9044/task/9061/stat : 9061 (java) S 9042 9044 6914 0 -1 4202560 2518 0 0 0 20 0 0 0 15 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9062] ppid=9042 vsize=10612476 CPUtime=0.24 cores=0,2,4,6 /proc/9044/task/9062/stat : 9062 (java) S 9042 9044 6914 0 -1 4202560 3559 0 0 0 24 0 0 0 15 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9063] ppid=9042 vsize=10612476 CPUtime=0.24 cores=0,2,4,6 /proc/9044/task/9063/stat : 9063 (java) S 9042 9044 6914 0 -1 4202560 4254 0 0 0 24 0 0 0 15 0 22 0 286379964 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9065] ppid=9042 vsize=10612476 CPUtime=8.53 cores=0,2,4,6 /proc/9044/task/9065/stat : 9065 (java) S 9042 9044 6914 0 -1 4202560 26929 0 0 0 849 4 0 0 15 0 22 0 286379965 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 0 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9068] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9068/stat : 9068 (java) S 9042 9044 6914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 286379966 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9069] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9069/stat : 9069 (java) S 9042 9044 6914 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 286379966 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9071] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9071/stat : 9071 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892388785 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9073] ppid=9042 vsize=10612476 CPUtime=1.18 cores=0,2,4,6 /proc/9044/task/9073/stat : 9073 (java) S 9042 9044 6914 0 -1 4202560 7180 0 0 0 117 1 0 0 16 0 22 0 286379968 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9075] ppid=9042 vsize=10612476 CPUtime=0.94 cores=0,2,4,6 /proc/9044/task/9075/stat : 9075 (java) S 9042 9044 6914 0 -1 4202560 4123 0 0 0 94 0 0 0 15 0 22 0 286379968 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9077] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9077/stat : 9077 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9078] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9078/stat : 9078 (java) S 9042 9044 6914 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 286379968 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9087] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9087/stat : 9087 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 286380010 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9241] ppid=9042 vsize=10612476 CPUtime=421.37 cores=0,2,4,6 /proc/9044/task/9241/stat : 9241 (java) R 9042 9044 6914 0 -1 4202560 36 0 0 0 42137 0 0 0 25 0 22 0 286419621 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912505842003 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9044/tid=9242] ppid=9042 vsize=10612476 CPUtime=421.35 cores=0,2,4,6 /proc/9044/task/9242/stat : 9242 (java) R 9042 9044 6914 0 -1 4202560 29 0 0 0 42135 0 0 0 25 0 22 0 286419621 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912506005563 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=9044/tid=9243] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9243/stat : 9243 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286419621 10867175424 909385 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1632.91 Current children cumulated vsize (KiB) 10612476 [startup+882.301 s] /proc/loadavg: 3.93 3.82 2.90 5/458 9256 /proc/meminfo: memFree=18615516/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10612476 CPUtime=1752.66 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 919081 0 1 0 175164 102 0 0 24 0 22 0 286379962 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2653119 911405 2266 9 0 2643853 0 [pid=9044/tid=9045] ppid=9042 vsize=10612476 CPUtime=0.77 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) S 9042 9044 6914 0 -1 4202560 39092 0 1 0 72 5 0 0 15 0 22 0 286379963 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9056] ppid=9042 vsize=10612476 CPUtime=0.27 cores=0,2,4,6 /proc/9044/task/9056/stat : 9056 (java) S 9042 9044 6914 0 -1 4202560 4017 0 0 0 27 0 0 0 15 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9057] ppid=9042 vsize=10612476 CPUtime=0.28 cores=0,2,4,6 /proc/9044/task/9057/stat : 9057 (java) S 9042 9044 6914 0 -1 4202560 3845 0 0 0 28 0 0 0 16 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9058] ppid=9042 vsize=10612476 CPUtime=0.23 cores=0,2,4,6 /proc/9044/task/9058/stat : 9058 (java) S 9042 9044 6914 0 -1 4202560 1788 0 0 0 23 0 0 0 16 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9059] ppid=9042 vsize=10612476 CPUtime=0.23 cores=0,2,4,6 /proc/9044/task/9059/stat : 9059 (java) S 9042 9044 6914 0 -1 4202560 3429 0 0 0 22 1 0 0 16 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9060] ppid=9042 vsize=10612476 CPUtime=0.27 cores=0,2,4,6 /proc/9044/task/9060/stat : 9060 (java) S 9042 9044 6914 0 -1 4202560 3447 0 0 0 27 0 0 0 15 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9061] ppid=9042 vsize=10612476 CPUtime=0.23 cores=0,2,4,6 /proc/9044/task/9061/stat : 9061 (java) S 9042 9044 6914 0 -1 4202560 2822 0 0 0 23 0 0 0 15 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9062] ppid=9042 vsize=10612476 CPUtime=0.25 cores=0,2,4,6 /proc/9044/task/9062/stat : 9062 (java) S 9042 9044 6914 0 -1 4202560 3563 0 0 0 25 0 0 0 15 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9063] ppid=9042 vsize=10612476 CPUtime=0.27 cores=0,2,4,6 /proc/9044/task/9063/stat : 9063 (java) S 9042 9044 6914 0 -1 4202560 4547 0 0 0 27 0 0 0 16 0 22 0 286379964 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9065] ppid=9042 vsize=10612476 CPUtime=8.87 cores=0,2,4,6 /proc/9044/task/9065/stat : 9065 (java) R 9042 9044 6914 0 -1 4202560 26936 0 0 0 882 5 0 0 15 0 22 0 286379965 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 47276677667983 0 0 0 16800975 0 0 0 -1 2 0 0 0 [pid=9044/tid=9068] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9068/stat : 9068 (java) S 9042 9044 6914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 286379966 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9069] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9069/stat : 9069 (java) S 9042 9044 6914 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 286379966 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9071] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9071/stat : 9071 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892388785 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9073] ppid=9042 vsize=10612476 CPUtime=1.18 cores=0,2,4,6 /proc/9044/task/9073/stat : 9073 (java) S 9042 9044 6914 0 -1 4202560 7180 0 0 0 117 1 0 0 16 0 22 0 286379968 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9075] ppid=9042 vsize=10612476 CPUtime=0.94 cores=0,2,4,6 /proc/9044/task/9075/stat : 9075 (java) S 9042 9044 6914 0 -1 4202560 4123 0 0 0 94 0 0 0 15 0 22 0 286379968 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9077] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9077/stat : 9077 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9078] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9078/stat : 9078 (java) S 9042 9044 6914 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 286379968 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9087] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9087/stat : 9087 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 286380010 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9241] ppid=9042 vsize=10612476 CPUtime=480.98 cores=0,2,4,6 /proc/9044/task/9241/stat : 9241 (java) S 9042 9044 6914 0 -1 4202560 44 0 0 0 48098 0 0 0 25 0 22 0 286419621 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9242] ppid=9042 vsize=10612476 CPUtime=480.96 cores=0,2,4,6 /proc/9044/task/9242/stat : 9242 (java) S 9042 9044 6914 0 -1 4202560 31 0 0 0 48096 0 0 0 25 0 22 0 286419621 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9243] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9243/stat : 9243 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286419621 10867175424 911405 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1752.66 Current children cumulated vsize (KiB) 10612476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+906.101 s] /proc/loadavg: 4.08 3.87 2.94 5/458 9257 /proc/meminfo: memFree=18615372/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=10612476 CPUtime=1800.11 cores=0,2,4,6 /proc/9044/stat : 9044 (java) S 9042 9044 6914 0 -1 4202496 919090 0 1 0 179909 102 0 0 24 0 22 0 286379962 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 2653119 911410 2266 9 0 2643853 0 [pid=9044/tid=9045] ppid=9042 vsize=10612476 CPUtime=0.77 cores=0,2,4,6 /proc/9044/task/9045/stat : 9045 (java) S 9042 9044 6914 0 -1 4202560 39092 0 1 0 72 5 0 0 15 0 22 0 286379963 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9056] ppid=9042 vsize=10612476 CPUtime=0.28 cores=0,2,4,6 /proc/9044/task/9056/stat : 9056 (java) S 9042 9044 6914 0 -1 4202560 4019 0 0 0 28 0 0 0 16 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9057] ppid=9042 vsize=10612476 CPUtime=0.28 cores=0,2,4,6 /proc/9044/task/9057/stat : 9057 (java) S 9042 9044 6914 0 -1 4202560 3845 0 0 0 28 0 0 0 16 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9058] ppid=9042 vsize=10612476 CPUtime=0.24 cores=0,2,4,6 /proc/9044/task/9058/stat : 9058 (java) S 9042 9044 6914 0 -1 4202560 1788 0 0 0 24 0 0 0 15 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9059] ppid=9042 vsize=10612476 CPUtime=0.23 cores=0,2,4,6 /proc/9044/task/9059/stat : 9059 (java) S 9042 9044 6914 0 -1 4202560 3429 0 0 0 22 1 0 0 15 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9060] ppid=9042 vsize=10612476 CPUtime=0.27 cores=0,2,4,6 /proc/9044/task/9060/stat : 9060 (java) S 9042 9044 6914 0 -1 4202560 3447 0 0 0 27 0 0 0 15 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9061] ppid=9042 vsize=10612476 CPUtime=0.24 cores=0,2,4,6 /proc/9044/task/9061/stat : 9061 (java) S 9042 9044 6914 0 -1 4202560 2822 0 0 0 24 0 0 0 15 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9062] ppid=9042 vsize=10612476 CPUtime=0.26 cores=0,2,4,6 /proc/9044/task/9062/stat : 9062 (java) S 9042 9044 6914 0 -1 4202560 3566 0 0 0 26 0 0 0 16 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9063] ppid=9042 vsize=10612476 CPUtime=0.28 cores=0,2,4,6 /proc/9044/task/9063/stat : 9063 (java) S 9042 9044 6914 0 -1 4202560 4548 0 0 0 28 0 0 0 16 0 22 0 286379964 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9065] ppid=9042 vsize=10612476 CPUtime=9.05 cores=0,2,4,6 /proc/9044/task/9065/stat : 9065 (java) S 9042 9044 6914 0 -1 4202560 26936 0 0 0 900 5 0 0 15 0 22 0 286379965 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 0 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9068] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9068/stat : 9068 (java) S 9042 9044 6914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 286379966 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9069] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9069/stat : 9069 (java) S 9042 9044 6914 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 286379966 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9071] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9071/stat : 9071 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892388785 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9073] ppid=9042 vsize=10612476 CPUtime=1.18 cores=0,2,4,6 /proc/9044/task/9073/stat : 9073 (java) S 9042 9044 6914 0 -1 4202560 7180 0 0 0 117 1 0 0 16 0 22 0 286379968 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 2 0 0 0 [pid=9044/tid=9075] ppid=9042 vsize=10612476 CPUtime=0.94 cores=0,2,4,6 /proc/9044/task/9075/stat : 9075 (java) S 9042 9044 6914 0 -1 4202560 4123 0 0 0 94 0 0 0 15 0 22 0 286379968 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9077] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9077/stat : 9077 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286379968 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381081 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 [pid=9044/tid=9078] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9078/stat : 9078 (java) S 9042 9044 6914 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 286379968 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 4 0 0 0 [pid=9044/tid=9087] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9087/stat : 9087 (java) S 9042 9044 6914 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 286380010 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 0 0 0 0 [pid=9044/tid=9241] ppid=9042 vsize=10612476 CPUtime=504.6 cores=0,2,4,6 /proc/9044/task/9241/stat : 9241 (java) R 9042 9044 6914 0 -1 4202560 46 0 0 0 50460 0 0 0 25 0 22 0 286419621 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912505751168 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=9044/tid=9242] ppid=9042 vsize=10612476 CPUtime=504.58 cores=0,2,4,6 /proc/9044/task/9242/stat : 9242 (java) R 9042 9044 6914 0 -1 4202560 32 0 0 0 50458 0 0 0 25 0 22 0 286419621 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 46912506060457 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=9044/tid=9243] ppid=9042 vsize=10612476 CPUtime=0 cores=0,2,4,6 /proc/9044/task/9243/stat : 9243 (java) S 9042 9044 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286419621 10867175424 911410 33554432000 1073741824 1073778376 140734032909072 18446744073709551615 218892381696 0 4 0 16800975 18446604449706363712 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 10612476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+906.222 s] /proc/loadavg: 4.08 3.87 2.94 5/458 9257 /proc/meminfo: memFree=18615372/32950928 swapFree=52006644/67111528 [pid=9044] ppid=9042 vsize=0 CPUtime=1800.28 cores=0,2,4,6 /proc/9044/stat : 9044 (java) Z 9042 9044 6914 0 -1 4203548 919123 0 1 0 179918 110 0 0 17 0 2 0 286379962 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9044/statm: 0 0 0 0 0 0 0 [pid=9044/tid=9241] ppid=9042 vsize=0 CPUtime=504.7 cores=0,2,4,6 /proc/9044/task/9241/stat : 9241 (java) R 9042 9044 6914 0 -1 4203588 46 0 0 0 50462 8 0 0 25 0 2 0 286419621 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 906.29 CPU time (s): 1800.36 CPU user time (s): 1799.19 CPU system time (s): 1.17082 CPU usage (%): 198.651 Max. virtual memory (cumulated for all children) (KiB): 10612476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 1.17082 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 919123 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= 25402 involuntary context switches= 28723 runsolver used 4.05838 second user time and 8.33773 second system time The end
Begin job on node112 at 2011-06-04 13:41:46 IDJOB=3454479 IDBENCH=1517 IDSOLVER=1950 FILE ID=node112/3454479-1307187705 RUNJOBID= node112-1307187705-9024 PBS_JOBID= 13508820 Free space on /tmp= 73912 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454479-1307187705/watcher-3454479-1307187705 -o /tmp/evaluation-result-3454479-1307187705/solver-3454479-1307187705 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454479-1307187705.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c3c379676a8ddac6d8ad36181bfd2e9 RANDOM SEED=338560530 node112.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.847 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.69 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.847 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 : 5180.45 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.847 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.76 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.847 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.847 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.61 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.847 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.83 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.847 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.74 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.847 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: 32950928 kB MemFree: 26025536 kB Buffers: 336704 kB Cached: 5627660 kB SwapCached: 31280 kB Active: 933228 kB Inactive: 5712412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26025536 kB SwapTotal: 67111528 kB SwapFree: 52006644 kB Dirty: 792 kB Writeback: 0 kB AnonPages: 658036 kB Mapped: 14136 kB Slab: 155164 kB PageTables: 59484 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 98629236 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= 73908 MiB End job on node112 at 2011-06-04 13:56:54