| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT | 877.722 | 447.584 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K103.opb |
| MD5SUM | 34d84c84a6977bf98000135522032f88 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 170.657 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7004 |
| Total number of constraints | 7212 |
| Number of constraints which are clauses | 7109 |
| Number of constraints which are cardinality constraints (but not clauses) | 103 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 103 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 104 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.1.v20110525 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 9996466904 0.07/0.10 c Max memory 10048897024 0.07/0.10 c Total memory 10048897024 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3742188-1338764711.opb 0.07/0.13 c reading problem ... 0.78/0.44 c ... done. Wall clock time 0.318s. 0.78/0.44 c #vars 7004 0.78/0.44 c #constraints 7212 0.78/0.44 c constraints type 0.78/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5781 0.78/0.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 103 0.78/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1326 0.78/0.44 c constraints type 0.78/0.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1326 0.78/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5781 0.78/0.44 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 103 5.09/2.06 c cleaning 2492 clauses out of 4990 with flag 5000/5000 8.69/3.70 c cleaning 4216 clauses out of 8489 with flag 11000/11000 12.57/5.60 c cleaning 5599 clauses out of 11271 with flag 18002/18002 16.75/7.76 c cleaning 6754 clauses out of 13666 with flag 26002/26002 22.52/10.63 c cleaning 7798 clauses out of 15908 with flag 35000/35000 27.89/13.31 c cleaning 8980 clauses out of 18107 with flag 45002/45002 34.12/16.47 c cleaning 9359 clauses out of 19124 with flag 55000/55000 40.26/19.57 c cleaning 9784 clauses out of 19764 with flag 65002/65002 50.57/24.74 c cleaning 9884 clauses out of 19978 with flag 75000/75000 56.13/27.53 c cleaning 9960 clauses out of 20094 with flag 85002/85002 61.65/30.39 c cleaning 9934 clauses out of 20128 with flag 95000/95000 67.38/33.22 c cleaning 10095 clauses out of 20190 with flag 105000/105000 72.47/35.88 c cleaning 9912 clauses out of 20094 with flag 115000/115000 80.40/39.89 c cleaning 10046 clauses out of 20185 with flag 125004/125004 86.12/42.80 c cleaning 9917 clauses out of 20137 with flag 135002/135002 91.44/45.43 c cleaning 10003 clauses out of 20219 with flag 145004/145004 97.52/48.59 c cleaning 10056 clauses out of 20213 with flag 155001/155001 104.63/52.14 c cleaning 10003 clauses out of 20153 with flag 165000/165000 113.15/56.40 c cleaning 10012 clauses out of 20149 with flag 175000/175000 119.46/59.68 c cleaning 9682 clauses out of 20135 with flag 185000/185000 125.93/62.99 c cleaning 9541 clauses out of 20451 with flag 195002/195002 134.85/67.41 c cleaning 9502 clauses out of 20908 with flag 205000/205000 141.55/70.89 c cleaning 9644 clauses out of 21406 with flag 215000/215000 156.69/78.40 c cleaning 9572 clauses out of 21762 with flag 225000/225000 162.95/81.68 c cleaning 9594 clauses out of 22188 with flag 235000/235000 168.86/84.61 c cleaning 9369 clauses out of 22592 with flag 245000/245000 174.13/87.39 c cleaning 9437 clauses out of 23223 with flag 255000/255000 181.22/90.98 c cleaning 9482 clauses out of 23786 with flag 265000/265000 192.04/96.43 c cleaning 9580 clauses out of 24304 with flag 275000/275000 198.77/99.80 c cleaning 9666 clauses out of 24724 with flag 285002/285002 206.07/103.51 c cleaning 9422 clauses out of 25056 with flag 295000/295000 219.74/110.44 c cleaning 9890 clauses out of 25635 with flag 305001/305001 225.95/113.68 c cleaning 9520 clauses out of 25743 with flag 315000/315000 235.06/118.23 c cleaning 9661 clauses out of 26224 with flag 325002/325002 240.54/121.08 c cleaning 9520 clauses out of 26564 with flag 335003/335003 248.60/125.19 c cleaning 9540 clauses out of 27041 with flag 345000/345000 254.62/128.22 c cleaning 9658 clauses out of 27502 with flag 355001/355001 259.69/130.81 c cleaning 9410 clauses out of 27846 with flag 365003/365003 266.35/134.21 c cleaning 9565 clauses out of 28435 with flag 375005/375005 270.99/136.67 c cleaning 9517 clauses out of 28865 with flag 385001/385001 276.36/139.48 c cleaning 9454 clauses out of 29349 with flag 395002/395002 290.81/146.75 c cleaning 9622 clauses out of 29893 with flag 405000/405000 309.74/156.26 c cleaning 9963 clauses out of 30270 with flag 415000/415000 321.57/162.28 c cleaning 9512 clauses out of 30310 with flag 425003/425003 331.33/167.26 c cleaning 9863 clauses out of 30795 with flag 435000/435000 336.96/170.17 c cleaning 9597 clauses out of 30931 with flag 445000/445000 343.78/173.61 c cleaning 9582 clauses out of 31335 with flag 455002/455002 352.21/177.99 c cleaning 9651 clauses out of 31751 with flag 465001/465001 365.74/184.84 c cleaning 9691 clauses out of 32099 with flag 475000/475000 386.22/195.18 c cleaning 9804 clauses out of 32409 with flag 485001/485001 392.47/198.31 c cleaning 9796 clauses out of 32605 with flag 495001/495001 398.88/201.65 c cleaning 9381 clauses out of 32807 with flag 505000/505000 407.16/205.90 c cleaning 9575 clauses out of 33426 with flag 515000/515000 414.97/209.98 c cleaning 9511 clauses out of 33850 with flag 525000/525000 431.79/218.47 c cleaning 9543 clauses out of 34340 with flag 535001/535001 447.07/226.11 c cleaning 0 clauses out of 5001 with flag 0/5001 454.35/229.89 c cleaning 9767 clauses out of 34797 with flag 545001/545001 469.13/237.36 c cleaning 10078 clauses out of 35030 with flag 555001/555001 478.53/242.17 c cleaning 9630 clauses out of 34950 with flag 565000/565000 488.72/247.40 c cleaning 9658 clauses out of 35321 with flag 575001/575001 498.20/252.27 c cleaning 9784 clauses out of 35662 with flag 585000/585000 511.19/258.89 c cleaning 9896 clauses out of 35881 with flag 595003/595003 520.98/263.88 c cleaning 9933 clauses out of 35982 with flag 605000/605000 529.76/268.32 c cleaning 9590 clauses out of 36049 with flag 615000/615000 536.61/271.90 c cleaning 9433 clauses out of 36458 with flag 625000/625000 543.58/275.54 c cleaning 9630 clauses out of 37027 with flag 635002/635002 560.16/283.91 c cleaning 9710 clauses out of 37396 with flag 645001/645001 576.55/292.26 c cleaning 9805 clauses out of 37685 with flag 655000/655000 595.17/301.70 c cleaning 9889 clauses out of 37880 with flag 665000/665000 603.16/305.83 c cleaning 9579 clauses out of 37991 with flag 675000/675000 613.12/310.99 c cleaning 9689 clauses out of 38412 with flag 685001/685001 623.11/316.04 c cleaning 9733 clauses out of 38723 with flag 695001/695001 634.52/321.90 c cleaning 9646 clauses out of 38989 with flag 705000/705000 642.29/325.94 c cleaning 9762 clauses out of 39344 with flag 715001/715001 654.24/332.07 c cleaning 9410 clauses out of 39582 with flag 725001/725001 660.01/335.09 c cleaning 9807 clauses out of 40170 with flag 735001/735001 667.22/338.83 c cleaning 9480 clauses out of 40365 with flag 745003/745003 675.76/343.23 c cleaning 9707 clauses out of 40883 with flag 755001/755001 683.70/347.31 c cleaning 9689 clauses out of 41175 with flag 765000/765000 691.24/351.20 c cleaning 9899 clauses out of 41487 with flag 775001/775001 703.22/357.46 c cleaning 9763 clauses out of 41590 with flag 785003/785003 710.16/361.00 c cleaning 9689 clauses out of 41827 with flag 795004/795004 719.69/365.91 c cleaning 9539 clauses out of 42134 with flag 805000/805000 734.83/373.67 c cleaning 9544 clauses out of 42596 with flag 815001/815001 749.21/381.03 c cleaning 9641 clauses out of 43054 with flag 825003/825003 767.55/390.36 c cleaning 9557 clauses out of 43410 with flag 835000/835000 783.89/398.63 c cleaning 9856 clauses out of 43854 with flag 845001/845001 794.64/404.18 c cleaning 9878 clauses out of 43997 with flag 855000/855000 801.59/407.81 c cleaning 9591 clauses out of 44119 with flag 865001/865001 807.92/411.18 c cleaning 9479 clauses out of 44530 with flag 875003/875003 815.86/415.25 c cleaning 9641 clauses out of 45048 with flag 885000/885000 824.21/419.58 c cleaning 9642 clauses out of 45407 with flag 895000/895000 831.78/423.54 c cleaning 9641 clauses out of 45770 with flag 905005/905005 842.53/429.09 c cleaning 9569 clauses out of 46125 with flag 915001/915001 850.25/433.07 c cleaning 9534 clauses out of 46555 with flag 925001/925001 861.17/438.68 c cleaning 9703 clauses out of 47022 with flag 935002/935002 872.92/444.70 c cleaning 9943 clauses out of 47318 with flag 945001/945001 876.46/446.61 c And the winner is Resolution 877.45/447.53 c starts : 169 877.45/447.53 c conflicts : 951500 877.45/447.53 c decisions : 11279432 877.45/447.53 c propagations : 322580299 877.45/447.53 c inspects : 829428935 877.45/447.53 c shortcuts : 0 877.45/447.53 c learnt literals : 91 877.45/447.53 c learnt binary clauses : 31584 877.45/447.53 c learnt ternary clauses : 40601 877.45/447.53 c learnt constraints : 951409 877.45/447.53 c ignored constraints : 0 877.45/447.53 c root simplifications : 0 877.45/447.53 c removed literals (reason simplification) : 18549304 877.45/447.53 c reason swapping (by a shorter reason) : 0 877.45/447.53 c Calls to reduceDB : 96 877.45/447.53 c number of reductions to clauses (during analyze) : 0 877.45/447.53 c number of learned constraints concerned by reduction : 0 877.45/447.53 c number of learning phase by resolution : 0 877.45/447.53 c number of learning phase by cutting planes : 0 877.45/447.53 c speed (assignments/second) : 721518.948298422 877.45/447.53 c non guided choices 7931 877.45/447.55 c learnt constraints type 877.45/447.55 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 31584 877.45/447.55 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12290 877.45/447.55 c constraints type 877.45/447.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5781 877.45/447.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 103 877.45/447.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1326 877.45/447.55 c constraints type 877.45/447.55 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1326 877.45/447.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5781 877.45/447.55 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 103 877.45/447.55 s SATISFIABLE 877.45/447.56 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 x4466 -x4467 x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 -x4852 x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 -x5316 x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 x6124 -x6125 x6126 -x6127 -x6128 -x6129 x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 x6333 -x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 x6504 -x6505 x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 x7004 877.45/447.57 c Total wall clock time (in seconds): 447.443
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3742188-1338764711/watcher-3742188-1338764711 -o /tmp/evaluation-result-3742188-1338764711/solver-3742188-1338764711 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742188-1338764711.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.78 3.84 3.86 4/197 929 /proc/meminfo: memFree=23898256/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=3568 CPUtime=0 cores=1,3,5,7 /proc/929/stat : 929 (java) R 927 929 30010 0 -1 4202496 96 0 0 0 0 0 0 0 20 0 1 0 342597910 3653632 49 33554432000 1073741824 1073778376 140735029084240 140735029081368 271778409767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/929/statm: 892 52 41 9 0 30 0 [startup+0.0390591 s] /proc/loadavg: 3.78 3.84 3.86 4/197 929 /proc/meminfo: memFree=23898256/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11044572 CPUtime=0.02 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 4045 0 1 0 1 1 0 0 20 0 10 0 342597910 11309641728 11388 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2761143 11388 1539 9 0 2751844 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11044572 [startup+0.10026 s] /proc/loadavg: 3.78 3.84 3.86 4/197 929 /proc/meminfo: memFree=23898256/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11586392 CPUtime=0.07 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 4855 0 1 0 6 1 0 0 20 0 18 0 342597910 11864465408 13212 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2896598 13220 2008 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300227 s] /proc/loadavg: 3.78 3.84 3.86 4/197 929 /proc/meminfo: memFree=23898256/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11586392 CPUtime=0.55 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 8177 0 1 0 52 3 0 0 20 0 18 0 342597910 11864465408 17878 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2896598 17878 2224 9 0 2887285 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 11586392 [startup+0.700182 s] /proc/loadavg: 3.78 3.84 3.86 4/197 929 /proc/meminfo: memFree=23898256/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11852648 CPUtime=1.88 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 11383 0 1 0 184 4 0 0 20 0 22 0 342597910 12137111552 28035 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2963162 28035 2262 9 0 2953849 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 11852648 [startup+1.50072 s] /proc/loadavg: 3.96 3.88 3.87 7/219 951 /proc/meminfo: memFree=23780288/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11852648 CPUtime=3.97 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 15396 0 1 0 390 7 0 0 20 0 22 0 342597910 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2963162 74797 2265 9 0 2953849 0 [pid=929/tid=931] ppid=927 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/929/task/931/stat : 931 (java) S 927 929 30010 0 -1 4202560 3397 0 1 0 39 2 0 0 20 0 22 0 342597911 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566483960984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=932] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/932/stat : 932 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566438714280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=933] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/933/stat : 933 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566437661736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=934] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/934/stat : 934 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566436608680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=935] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/935/stat : 935 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566435556136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=936] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/936/stat : 936 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566434503080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=937] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/937/stat : 937 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566433450536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=938] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/938/stat : 938 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566432397480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=939] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/939/stat : 939 (java) S 927 929 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566431344936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=940] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/940/stat : 940 (java) S 927 929 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566300941160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=941] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/941/stat : 941 (java) S 927 929 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566299887480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=942] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/942/stat : 942 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566298834312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=943] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/943/stat : 943 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566297783056 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=944] ppid=927 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/929/task/944/stat : 944 (java) S 927 929 30010 0 -1 4202560 5752 0 0 0 70 2 0 0 20 0 22 0 342597918 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566296729912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=945] ppid=927 vsize=11852648 CPUtime=0.71 cores=1,3,5,7 /proc/929/task/945/stat : 945 (java) S 927 929 30010 0 -1 4202560 4859 0 0 0 70 1 0 0 20 0 22 0 342597918 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140566295677368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=946] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/946/stat : 946 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140565421222136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=947] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/947/stat : 947 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140565420169800 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=948] ppid=927 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/929/task/948/stat : 948 (java) R 927 929 30010 0 -1 4202560 27 0 0 0 102 0 0 0 20 0 22 0 342597955 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140565419113136 140566311170080 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=929/tid=949] ppid=927 vsize=11852648 CPUtime=1.03 cores=1,3,5,7 /proc/929/task/949/stat : 949 (java) R 927 929 30010 0 -1 4202560 160 0 0 0 101 2 0 0 20 0 22 0 342597955 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140565418060792 140566311410120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=929/tid=950] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/950/stat : 950 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140565417010472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=951] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/951/stat : 951 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 74797 33554432000 1073741824 1073778376 140734987545168 140565415957928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 11852648 [startup+3.10074 s] /proc/loadavg: 3.96 3.88 3.87 4/219 951 /proc/meminfo: memFree=23358776/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11852648 CPUtime=7.43 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 16806 0 1 0 731 12 0 0 20 0 22 0 342597910 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2963162 138384 2290 9 0 2953849 0 [pid=929/tid=931] ppid=927 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/929/task/931/stat : 931 (java) S 927 929 30010 0 -1 4202560 3397 0 1 0 39 2 0 0 20 0 22 0 342597911 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566483960984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=932] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/932/stat : 932 (java) S 927 929 30010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566438714280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=933] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/933/stat : 933 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566437661736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=934] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/934/stat : 934 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566436608680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=935] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/935/stat : 935 (java) S 927 929 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566435556136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=936] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/936/stat : 936 (java) S 927 929 30010 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566434503080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=937] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/937/stat : 937 (java) S 927 929 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566433450536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=938] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/938/stat : 938 (java) S 927 929 30010 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566432397480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=939] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/939/stat : 939 (java) S 927 929 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566431344936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=940] ppid=927 vsize=11852648 CPUtime=0.02 cores=1,3,5,7 /proc/929/task/940/stat : 940 (java) S 927 929 30010 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342597915 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566300941160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=941] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/941/stat : 941 (java) S 927 929 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566299887480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=942] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/942/stat : 942 (java) S 927 929 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566298834312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=943] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/943/stat : 943 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566297783056 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=944] ppid=927 vsize=11852648 CPUtime=0.89 cores=1,3,5,7 /proc/929/task/944/stat : 944 (java) S 927 929 30010 0 -1 4202560 5800 0 0 0 87 2 0 0 20 0 22 0 342597918 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566296729912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=945] ppid=927 vsize=11852648 CPUtime=0.83 cores=1,3,5,7 /proc/929/task/945/stat : 945 (java) S 927 929 30010 0 -1 4202560 6036 0 0 0 81 2 0 0 20 0 22 0 342597918 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140566295677368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=946] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/946/stat : 946 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140565421222136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=947] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/947/stat : 947 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140565420169800 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=948] ppid=927 vsize=11852648 CPUtime=2.57 cores=1,3,5,7 /proc/929/task/948/stat : 948 (java) R 927 929 30010 0 -1 4202560 29 0 0 0 257 0 0 0 20 0 22 0 342597955 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140565419115432 140566311179269 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=929/tid=949] ppid=927 vsize=11852648 CPUtime=2.59 cores=1,3,5,7 /proc/929/task/949/stat : 949 (java) R 927 929 30010 0 -1 4202560 274 0 0 0 253 6 0 0 20 0 22 0 342597955 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140565418062088 140566311099463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=929/tid=950] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/950/stat : 950 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140565417010472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=951] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/951/stat : 951 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 138384 33554432000 1073741824 1073778376 140734987545168 140565415957928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.43 Current children cumulated vsize (KiB) 11852648 [startup+6.30073 s] /proc/loadavg: 3.96 3.88 3.87 5/219 951 /proc/meminfo: memFree=23157068/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11852648 CPUtime=13.94 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 16983 0 1 0 1377 17 0 0 20 0 22 0 342597910 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2963162 206988 2290 9 0 2953849 0 [pid=929/tid=931] ppid=927 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/929/task/931/stat : 931 (java) S 927 929 30010 0 -1 4202560 3397 0 1 0 39 2 0 0 20 0 22 0 342597911 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566483960984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=932] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/932/stat : 932 (java) S 927 929 30010 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566438714280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=933] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/933/stat : 933 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566437661736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=934] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/934/stat : 934 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566436608680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=935] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/935/stat : 935 (java) S 927 929 30010 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566435556136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=936] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/936/stat : 936 (java) S 927 929 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566434503080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=937] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/937/stat : 937 (java) S 927 929 30010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566433450536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=938] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/938/stat : 938 (java) S 927 929 30010 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566432397480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=939] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/939/stat : 939 (java) S 927 929 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342597913 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566431344936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=940] ppid=927 vsize=11852648 CPUtime=0.09 cores=1,3,5,7 /proc/929/task/940/stat : 940 (java) S 927 929 30010 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 22 0 342597915 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566300941160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=941] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/941/stat : 941 (java) S 927 929 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566299887480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=942] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/942/stat : 942 (java) S 927 929 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566298834312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=943] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/943/stat : 943 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566297783056 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=944] ppid=927 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/929/task/944/stat : 944 (java) S 927 929 30010 0 -1 4202560 5820 0 0 0 102 2 0 0 20 0 22 0 342597918 12137111552 206988 33554432000 1073741824 1073778376 140734987545168 140566296729912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ /proc/929/task/939/stat : 939 (java) S 927 929 30010 0 -1 4202560 49 0 0 0 62 2 0 0 20 0 22 0 342597913 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140566431344936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=940] ppid=927 vsize=11852648 CPUtime=20.43 cores=1,3,5,7 /proc/929/task/940/stat : 940 (java) S 927 929 30010 0 -1 4202560 184 0 0 0 2039 4 0 0 20 0 22 0 342597915 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140566300941160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=941] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/941/stat : 941 (java) S 927 929 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140566299887480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=942] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/942/stat : 942 (java) S 927 929 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140566298834312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=943] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/943/stat : 943 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140566297783056 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=944] ppid=927 vsize=11852648 CPUtime=1.37 cores=1,3,5,7 /proc/929/task/944/stat : 944 (java) S 927 929 30010 0 -1 4202560 7760 0 0 0 135 2 0 0 20 0 22 0 342597918 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140566296729912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=945] ppid=927 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/929/task/945/stat : 945 (java) S 927 929 30010 0 -1 4202560 6040 0 0 0 99 2 0 0 20 0 22 0 342597918 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140566295677368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=946] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/946/stat : 946 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140565421222136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=947] ppid=927 vsize=11852648 CPUtime=0.18 cores=1,3,5,7 /proc/929/task/947/stat : 947 (java) S 927 929 30010 0 -1 4202560 25 0 0 0 10 8 0 0 20 0 22 0 342597918 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140565420169800 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=948] ppid=927 vsize=11852648 CPUtime=422.25 cores=1,3,5,7 /proc/929/task/948/stat : 948 (java) R 927 929 30010 0 -1 4202560 79 0 0 0 42217 8 0 0 20 0 22 0 342597955 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140565419115344 140566311846931 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=929/tid=949] ppid=927 vsize=11852648 CPUtime=422.22 cores=1,3,5,7 /proc/929/task/949/stat : 949 (java) R 927 929 30010 0 -1 4202560 1316 0 0 0 42176 46 0 0 20 0 22 0 342597955 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140565418061040 140566311410028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=929/tid=950] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/950/stat : 950 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140565417010472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=951] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/951/stat : 951 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 731072 33554432000 1073741824 1073778376 140734987545168 140565415957928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 872.92 Current children cumulated vsize (KiB) 11852648 [startup+446.301 s] /proc/loadavg: 3.95 3.92 3.89 5/218 1019 /proc/meminfo: memFree=20630092/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11852648 CPUtime=875.84 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 20435 0 1 0 87516 68 0 0 20 0 22 0 342597910 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2963162 731074 2291 9 0 2953849 0 [pid=929/tid=931] ppid=927 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/929/task/931/stat : 931 (java) S 927 929 30010 0 -1 4202560 3434 0 1 0 40 3 0 0 20 0 22 0 342597911 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566483960984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=932] ppid=927 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/929/task/932/stat : 932 (java) S 927 929 30010 0 -1 4202560 45 0 0 0 60 2 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566438714280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=933] ppid=927 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/929/task/933/stat : 933 (java) S 927 929 30010 0 -1 4202560 51 0 0 0 57 0 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566437661736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=934] ppid=927 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/929/task/934/stat : 934 (java) S 927 929 30010 0 -1 4202560 46 0 0 0 62 2 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566436608680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=935] ppid=927 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/929/task/935/stat : 935 (java) S 927 929 30010 0 -1 4202560 58 0 0 0 61 2 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566435556136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=936] ppid=927 vsize=11852648 CPUtime=0.73 cores=1,3,5,7 /proc/929/task/936/stat : 936 (java) S 927 929 30010 0 -1 4202560 52 0 0 0 71 2 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566434503080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=937] ppid=927 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/929/task/937/stat : 937 (java) S 927 929 30010 0 -1 4202560 57 0 0 0 60 2 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566433450536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=938] ppid=927 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/929/task/938/stat : 938 (java) S 927 929 30010 0 -1 4202560 50 0 0 0 64 0 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566432397480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=939] ppid=927 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/929/task/939/stat : 939 (java) S 927 929 30010 0 -1 4202560 49 0 0 0 63 2 0 0 20 0 22 0 342597913 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566431344936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=940] ppid=927 vsize=11852648 CPUtime=20.73 cores=1,3,5,7 /proc/929/task/940/stat : 940 (java) S 927 929 30010 0 -1 4202560 184 0 0 0 2069 4 0 0 20 0 22 0 342597915 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566300941160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=941] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/941/stat : 941 (java) S 927 929 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566299887480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=942] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/942/stat : 942 (java) S 927 929 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342597915 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566298834312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=943] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/943/stat : 943 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566297783056 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=944] ppid=927 vsize=11852648 CPUtime=1.37 cores=1,3,5,7 /proc/929/task/944/stat : 944 (java) S 927 929 30010 0 -1 4202560 7760 0 0 0 135 2 0 0 20 0 22 0 342597918 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566296729912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=945] ppid=927 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/929/task/945/stat : 945 (java) S 927 929 30010 0 -1 4202560 6040 0 0 0 99 2 0 0 20 0 22 0 342597918 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140566295677368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=946] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/946/stat : 946 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342597918 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140565421222136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=947] ppid=927 vsize=11852648 CPUtime=0.18 cores=1,3,5,7 /proc/929/task/947/stat : 947 (java) S 927 929 30010 0 -1 4202560 25 0 0 0 10 8 0 0 20 0 22 0 342597918 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140565420169800 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=948] ppid=927 vsize=11852648 CPUtime=423.53 cores=1,3,5,7 /proc/929/task/948/stat : 948 (java) R 927 929 30010 0 -1 4202560 80 0 0 0 42345 8 0 0 20 0 22 0 342597955 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140565419115344 140566311080879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=929/tid=949] ppid=927 vsize=11852648 CPUtime=423.5 cores=1,3,5,7 /proc/929/task/949/stat : 949 (java) R 927 929 30010 0 -1 4202560 1317 0 0 0 42304 46 0 0 20 0 22 0 342597955 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140565418060640 140566311323711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=929/tid=950] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/950/stat : 950 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140565417010472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=951] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/951/stat : 951 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342597957 12137111552 731074 33554432000 1073741824 1073778376 140734987545168 140565415957928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 875.84 Current children cumulated vsize (KiB) 11852648 [startup+447.101 s] /proc/loadavg: 3.95 3.92 3.89 5/218 1019 /proc/meminfo: memFree=20630092/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11852648 CPUtime=877.02 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 20437 0 1 0 87627 75 0 0 20 0 20 0 342597910 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2963162 731069 2292 9 0 2953849 0 [pid=929/tid=931] ppid=927 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/929/task/931/stat : 931 (java) S 927 929 30010 0 -1 4202560 3435 0 1 0 40 3 0 0 20 0 20 0 342597911 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566483960984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=932] ppid=927 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/929/task/932/stat : 932 (java) S 927 929 30010 0 -1 4202560 45 0 0 0 60 2 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566438714280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=933] ppid=927 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/929/task/933/stat : 933 (java) S 927 929 30010 0 -1 4202560 51 0 0 0 57 0 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566437661736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=934] ppid=927 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/929/task/934/stat : 934 (java) S 927 929 30010 0 -1 4202560 46 0 0 0 62 2 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566436608680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=935] ppid=927 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/929/task/935/stat : 935 (java) S 927 929 30010 0 -1 4202560 58 0 0 0 61 2 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566435556136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=936] ppid=927 vsize=11852648 CPUtime=0.73 cores=1,3,5,7 /proc/929/task/936/stat : 936 (java) S 927 929 30010 0 -1 4202560 52 0 0 0 71 2 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566434503080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=937] ppid=927 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/929/task/937/stat : 937 (java) S 927 929 30010 0 -1 4202560 57 0 0 0 60 2 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566433450536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=938] ppid=927 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/929/task/938/stat : 938 (java) S 927 929 30010 0 -1 4202560 50 0 0 0 64 0 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566432397480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=939] ppid=927 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/929/task/939/stat : 939 (java) S 927 929 30010 0 -1 4202560 49 0 0 0 63 2 0 0 20 0 20 0 342597913 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566431344936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=940] ppid=927 vsize=11852648 CPUtime=20.73 cores=1,3,5,7 /proc/929/task/940/stat : 940 (java) S 927 929 30010 0 -1 4202560 184 0 0 0 2069 4 0 0 20 0 20 0 342597915 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566300941160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=941] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/941/stat : 941 (java) S 927 929 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342597915 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566299887480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=942] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/942/stat : 942 (java) S 927 929 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342597915 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566298834312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=943] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/943/stat : 943 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342597918 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566297783056 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=944] ppid=927 vsize=11852648 CPUtime=1.37 cores=1,3,5,7 /proc/929/task/944/stat : 944 (java) S 927 929 30010 0 -1 4202560 7760 0 0 0 135 2 0 0 20 0 20 0 342597918 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566296729912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=945] ppid=927 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/929/task/945/stat : 945 (java) S 927 929 30010 0 -1 4202560 6040 0 0 0 99 2 0 0 20 0 20 0 342597918 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140566295677368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=946] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/946/stat : 946 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342597918 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140565421222136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=947] ppid=927 vsize=11852648 CPUtime=0.18 cores=1,3,5,7 /proc/929/task/947/stat : 947 (java) S 927 929 30010 0 -1 4202560 25 0 0 0 10 8 0 0 20 0 20 0 342597918 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140565420169800 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=949] ppid=927 vsize=11852648 CPUtime=424.3 cores=1,3,5,7 /proc/929/task/949/stat : 949 (java) R 927 929 30010 0 -1 4202560 1317 0 0 0 42384 46 0 0 20 0 20 0 342597955 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140565418061072 140566311077302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=929/tid=950] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/950/stat : 950 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342597957 12137111552 731069 33554432000 1073741824 1073778376 140734987545168 140565417010472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 877.02 Current children cumulated vsize (KiB) 11852648 [startup+447.501 s] /proc/loadavg: 3.95 3.92 3.89 5/218 1019 /proc/meminfo: memFree=20630092/32873648 swapFree=6852/6852 [pid=929] ppid=927 vsize=11852648 CPUtime=877.45 cores=1,3,5,7 /proc/929/stat : 929 (java) S 927 929 30010 0 -1 4202496 20437 0 1 0 87662 83 0 0 20 0 19 0 342597910 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140734987536304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/929/statm: 2963162 731061 2292 9 0 2953849 0 [pid=929/tid=931] ppid=927 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/929/task/931/stat : 931 (java) S 927 929 30010 0 -1 4202560 3435 0 1 0 40 3 0 0 20 0 19 0 342597911 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566483960984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=932] ppid=927 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/929/task/932/stat : 932 (java) S 927 929 30010 0 -1 4202560 45 0 0 0 60 2 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566438714280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=933] ppid=927 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/929/task/933/stat : 933 (java) S 927 929 30010 0 -1 4202560 51 0 0 0 57 0 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566437661736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=934] ppid=927 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/929/task/934/stat : 934 (java) S 927 929 30010 0 -1 4202560 46 0 0 0 62 2 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566436608680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=935] ppid=927 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/929/task/935/stat : 935 (java) S 927 929 30010 0 -1 4202560 58 0 0 0 61 2 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566435556136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=936] ppid=927 vsize=11852648 CPUtime=0.73 cores=1,3,5,7 /proc/929/task/936/stat : 936 (java) S 927 929 30010 0 -1 4202560 52 0 0 0 71 2 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566434503080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=937] ppid=927 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/929/task/937/stat : 937 (java) S 927 929 30010 0 -1 4202560 57 0 0 0 60 2 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566433450536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=929/tid=938] ppid=927 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/929/task/938/stat : 938 (java) S 927 929 30010 0 -1 4202560 50 0 0 0 64 0 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566432397480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=939] ppid=927 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/929/task/939/stat : 939 (java) S 927 929 30010 0 -1 4202560 49 0 0 0 63 2 0 0 20 0 19 0 342597913 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566431344936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=940] ppid=927 vsize=11852648 CPUtime=20.73 cores=1,3,5,7 /proc/929/task/940/stat : 940 (java) S 927 929 30010 0 -1 4202560 184 0 0 0 2069 4 0 0 20 0 19 0 342597915 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566300941160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=941] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/941/stat : 941 (java) S 927 929 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342597915 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566299887480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=942] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/942/stat : 942 (java) S 927 929 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342597915 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566298834312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=943] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/943/stat : 943 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342597918 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566297783056 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=944] ppid=927 vsize=11852648 CPUtime=1.37 cores=1,3,5,7 /proc/929/task/944/stat : 944 (java) S 927 929 30010 0 -1 4202560 7760 0 0 0 135 2 0 0 20 0 19 0 342597918 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566296729912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=929/tid=945] ppid=927 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/929/task/945/stat : 945 (java) S 927 929 30010 0 -1 4202560 6040 0 0 0 99 2 0 0 20 0 19 0 342597918 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140566295677368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=946] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/946/stat : 946 (java) S 927 929 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342597918 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140565421222136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=929/tid=947] ppid=927 vsize=11852648 CPUtime=0.18 cores=1,3,5,7 /proc/929/task/947/stat : 947 (java) S 927 929 30010 0 -1 4202560 25 0 0 0 10 8 0 0 20 0 19 0 342597918 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140565420169800 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=929/tid=950] ppid=927 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/929/task/950/stat : 950 (java) S 927 929 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342597957 12137111552 731061 33554432000 1073741824 1073778376 140734987545168 140565417010472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 877.45 Current children cumulated vsize (KiB) 11852648 Child status: 10 Real time (s): 447.584 CPU time (s): 877.722 CPU user time (s): 876.701 CPU system time (s): 1.02084 CPU usage (%): 196.102 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 876.701 system time used= 1.02084 maximum resident set size= 2926308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20444 page faults= 1 swaps= 0 block input operations= 0 block output operations= 496 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13687 involuntary context switches= 13748 runsolver used 1.9927 second user time and 4.80227 second system time The end
Begin job on node115 at 2012-06-04 01:05:11 IDJOB=3742188 IDBENCH=90138 IDSOLVER=2328 FILE ID=node115/3742188-1338764711 RUNJOBID= node115-1338748926-30027 PBS_JOBID= 14636792 Free space on /tmp= 70828 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742188-1338764711/watcher-3742188-1338764711 -o /tmp/evaluation-result-3742188-1338764711/solver-3742188-1338764711 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742188-1338764711.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 34d84c84a6977bf98000135522032f88 RANDOM SEED=1400868450 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 23898644 kB Buffers: 1444228 kB Cached: 3619640 kB SwapCached: 1016 kB Active: 5748736 kB Inactive: 2309124 kB Active(anon): 2982260 kB Inactive(anon): 9868 kB Active(file): 2766476 kB Inactive(file): 2299256 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106440 kB Dirty: 844 kB Writeback: 0 kB AnonPages: 2997508 kB Mapped: 19876 kB Shmem: 96 kB Slab: 771944 kB SReclaimable: 216032 kB SUnreclaim: 555912 kB KernelStack: 1624 kB PageTables: 10104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10460308 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2930688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70828 MiB End job on node115 at 2012-06-04 01:12:39