Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | OPT | 236.166 | 127.909 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_8_mh.opb |
| MD5SUM | 3e5afedaafc5782c8b438b74f31dd2ae |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4415664 |
| Best CPU time to get the best result obtained on this benchmark | 146.43 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 88121125 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4352625637 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 88121125 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4352625637 |
| Number of bits of the biggest sum of numbers | 33 |
| 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-2012 Artois University and CNRS 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.2.v20120418 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 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 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@587bd9f2 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 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@4e3eca90 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 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3690088-1337887888.opb 0.07/0.13 c reading problem ... 1.29/0.61 c ... done. Wall clock time 0.477s. 1.29/0.61 c declared #vars 6810 1.29/0.61 c #constraints 15626 1.29/0.61 c constraints type 1.29/0.61 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1.29/0.61 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1.29/0.61 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.29/0.61 c ignored satisfied constraints => 3 1.29/0.61 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1.29/0.61 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 1.29/0.61 c 15629 constraints processed. 1.29/0.61 c constraints type 1.29/0.61 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1.29/0.61 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1.29/0.61 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.29/0.61 c ignored satisfied constraints => 3 1.29/0.61 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 1.29/0.61 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.29/0.61 c 15629 constraints processed. 1.29/0.61 c objective function length is 3795 literals 1.67/0.79 c And the winner is solver0 2.24/1.12 c SATISFIABLE 2.24/1.12 c OPTIMIZING... 2.24/1.12 c Got one! Elapsed wall clock time (in seconds):0.985 2.24/1.12 o 4497448 5.42/2.27 c And the winner is solver0 5.68/2.64 c Got one! Elapsed wall clock time (in seconds):2.505 5.68/2.64 o 4491486 6.06/2.84 c cleaning 2631 clauses out of 5264 with flag 1000/5277 8.06/3.78 c And the winner is solver0 8.42/4.15 c Got one! Elapsed wall clock time (in seconds):4.018 8.42/4.15 o 4485690 10.16/5.01 c cleaning 6396 clauses out of 12793 with flag 5000/15438 10.93/5.47 c And the winner is solver0 11.18/5.66 c Got one! Elapsed wall clock time (in seconds):5.526 11.18/5.66 o 4470004 12.17/6.18 c cleaning 5724 clauses out of 11451 with flag 3000/20492 14.42/7.29 c cleaning 5861 clauses out of 11728 with flag 9001/26493 17.00/8.60 c cleaning 6431 clauses out of 12866 with flag 16000/33492 19.91/10.04 c cleaning 7216 clauses out of 14435 with flag 24000/41492 23.01/11.63 c cleaning 8102 clauses out of 16219 with flag 33000/50492 26.51/13.46 c cleaning 9040 clauses out of 18117 with flag 43000/60492 30.37/15.48 c cleaning 10034 clauses out of 20078 with flag 54001/71493 34.67/17.62 c cleaning 11019 clauses out of 22043 with flag 66000/83492 37.74/19.29 c And the winner is solver0 38.04/19.78 c Got one! Elapsed wall clock time (in seconds):19.645 38.04/19.78 o 4464079 39.68/20.68 c cleaning 12742 clauses out of 25501 with flag 5000/97969 41.97/21.85 c cleaning 9370 clauses out of 18759 with flag 11000/103969 43.17/22.59 c And the winner is solver0 43.41/22.83 c Got one! Elapsed wall clock time (in seconds):22.698 43.41/22.83 o 4454409 43.94/23.13 c cleaning 7209 clauses out of 14442 with flag 2000/109022 45.81/24.19 c cleaning 6602 clauses out of 13233 with flag 8000/115022 48.46/25.50 c And the winner is solver0 48.57/25.84 c Got one! Elapsed wall clock time (in seconds):25.709 48.57/25.84 o 4451916 50.27/26.73 c cleaning 9289 clauses out of 18582 with flag 5002/126973 52.52/27.97 c cleaning 7640 clauses out of 15295 with flag 11004/132975 55.08/29.40 c cleaning 7316 clauses out of 14651 with flag 18000/139971 58.12/30.91 c cleaning 7664 clauses out of 15335 with flag 26000/147971 61.16/32.57 c cleaning 8332 clauses out of 16671 with flag 35000/156971 64.21/34.10 c And the winner is solver0 64.25/34.25 c Got one! Elapsed wall clock time (in seconds):34.115 64.25/34.25 o 4444474 65.55/34.95 c cleaning 10792 clauses out of 21602 with flag 5000/170234 67.67/36.15 c cleaning 8403 clauses out of 16810 with flag 11000/176234 70.10/37.49 c cleaning 7698 clauses out of 15407 with flag 18000/183234 72.89/38.98 c cleaning 7850 clauses out of 15710 with flag 26001/191235 76.12/40.67 c cleaning 8426 clauses out of 16861 with flag 35002/200236 79.80/42.62 c cleaning 9207 clauses out of 18434 with flag 45001/210235 80.60/43.19 c And the winner is solver0 80.77/43.50 c Got one! Elapsed wall clock time (in seconds):43.362 80.77/43.50 o 4433127 81.57/43.94 c cleaning 7227 clauses out of 14469 with flag 3001/215477 81.81/44.18 c And the winner is solver0 82.11/44.64 c Got one! Elapsed wall clock time (in seconds):44.508 82.11/44.64 o 4432153 83.42/45.30 c cleaning 6236 clauses out of 12487 with flag 5001/220722 85.24/46.30 c cleaning 6115 clauses out of 12250 with flag 11000/226721 87.54/47.64 c cleaning 6567 clauses out of 13139 with flag 18004/233725 88.97/48.50 c And the winner is solver0 89.34/48.85 c Got one! Elapsed wall clock time (in seconds):48.718 89.34/48.85 o 4419796 89.82/49.14 c cleaning 6208 clauses out of 12433 with flag 2001/239586 91.64/50.13 c cleaning 6107 clauses out of 12225 with flag 8001/245586 93.64/51.23 c cleaning 6547 clauses out of 13117 with flag 15000/252585 96.12/52.61 c cleaning 7283 clauses out of 14571 with flag 23001/260586 99.32/54.35 c cleaning 8139 clauses out of 16287 with flag 32000/269585 102.92/56.22 c cleaning 9071 clauses out of 18150 with flag 42002/279587 106.70/58.28 c cleaning 10030 clauses out of 20077 with flag 53000/290585 111.13/60.67 c cleaning 11019 clauses out of 22047 with flag 65000/302585 115.70/63.05 c cleaning 12008 clauses out of 24028 with flag 78000/315585 121.05/65.87 c cleaning 13005 clauses out of 26019 with flag 92000/329585 126.63/68.75 c cleaning 14001 clauses out of 28015 with flag 107001/344586 132.22/71.76 c cleaning 14992 clauses out of 30012 with flag 123001/360586 138.38/74.93 c cleaning 16007 clauses out of 32019 with flag 140000/377585 142.90/77.37 c And the winner is solver0 142.98/77.73 c Got one! Elapsed wall clock time (in seconds):77.592 142.98/77.73 o 4415664 144.52/78.52 c cleaning 17007 clauses out of 34029 with flag 5000/395602 146.84/79.85 c cleaning 11502 clauses out of 23022 with flag 11000/401602 149.59/81.44 c cleaning 9257 clauses out of 18521 with flag 18001/408603 152.49/83.07 c cleaning 8633 clauses out of 17265 with flag 26002/416604 155.82/84.87 c cleaning 8813 clauses out of 17631 with flag 35001/425603 159.54/86.82 c cleaning 9398 clauses out of 18817 with flag 45000/435602 163.66/89.14 c cleaning 10201 clauses out of 20420 with flag 56001/446603 167.74/91.39 c cleaning 11093 clauses out of 22219 with flag 68001/458603 172.23/93.77 c cleaning 12058 clauses out of 24126 with flag 81001/471603 177.33/96.43 c cleaning 13029 clauses out of 26066 with flag 95000/485602 182.85/99.47 c cleaning 14019 clauses out of 28039 with flag 110002/500604 188.74/102.59 c cleaning 14990 clauses out of 30017 with flag 126000/516602 194.82/105.74 c cleaning 16008 clauses out of 32026 with flag 143000/533602 201.10/109.06 c cleaning 16999 clauses out of 34017 with flag 161000/551602 208.16/112.85 c cleaning 18003 clauses out of 36016 with flag 180000/570602 215.04/116.46 c cleaning 18998 clauses out of 38011 with flag 200000/590602 222.30/120.22 c cleaning 19998 clauses out of 40015 with flag 221002/611604 230.13/124.32 c cleaning 21001 clauses out of 42015 with flag 243000/633602 235.68/127.46 c And the winner is solver0 235.91/127.88 c starts : 165 235.91/127.88 c conflicts : 648925 235.91/127.88 c decisions : 1428533 235.91/127.88 c propagations : 142127573 235.91/127.88 c inspects : 565072911 235.91/127.88 c shortcuts : 0 235.91/127.88 c learnt literals : 29 235.91/127.88 c learnt binary clauses : 153 235.91/127.88 c learnt ternary clauses : 2962 235.91/127.88 c learnt constraints : 648895 235.91/127.88 c ignored constraints : 0 235.91/127.88 c root simplifications : 0 235.91/127.88 c removed literals (reason simplification) : 4131096 235.91/127.88 c reason swapping (by a shorter reason) : 0 235.91/127.88 c Calls to reduceDB : 60 235.91/127.88 c number of reductions to clauses (during analyze) : 0 235.91/127.88 c number of learned constraints concerned by reduction : 0 235.91/127.88 c number of learning phase by resolution : 0 235.91/127.88 c number of learning phase by cutting planes : 0 235.91/127.88 c speed (assignments/second) : 1117118.0095419998 235.91/127.88 c non guided choices 2459 235.91/127.88 c learnt constraints type 235.91/127.88 c constraints type 235.91/127.88 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 235.91/127.88 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 235.91/127.88 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 235.91/127.88 c ignored satisfied constraints => 3 235.91/127.88 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 235.91/127.88 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 235.91/127.88 c 15629 constraints processed. 235.91/127.88 c constraints type 235.91/127.88 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 235.91/127.88 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 235.91/127.88 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 235.91/127.88 c ignored satisfied constraints => 3 235.91/127.88 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 235.91/127.88 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 235.91/127.88 c 15629 constraints processed. 235.91/127.88 s OPTIMUM FOUND 235.91/127.89 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 236.03/127.90 c objective function=4415664 236.03/127.90 c Total wall clock time (in seconds): 127.766
OK 4415664
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-3690088-1337887888/watcher-3690088-1337887888 -o /tmp/evaluation-result-3690088-1337887888/solver-3690088-1337887888 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690088-1337887888.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.66 3.89 3.88 4/197 27179 /proc/meminfo: memFree=27439332/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/27179/stat : 27179 (java) R 27177 27179 23457 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254917401 9515008 182 33554432000 1073741824 1073778376 140736418891488 140736418882520 245294251701 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2323 182 140 9 0 71 0 [startup+0.079812 s] /proc/loadavg: 3.66 3.89 3.88 4/197 27179 /proc/meminfo: memFree=27439332/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 3208 0 1 0 4 1 0 0 20 0 18 0 254917401 9787813888 4417 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2389603 4417 1758 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.100255 s] /proc/loadavg: 3.66 3.89 3.88 4/197 27179 /proc/meminfo: memFree=27439332/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 3676 0 1 0 6 1 0 0 20 0 18 0 254917401 9787813888 4885 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2389603 4885 1933 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300228 s] /proc/loadavg: 3.66 3.89 3.88 4/197 27179 /proc/meminfo: memFree=27439332/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9558412 CPUtime=0.48 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 6152 0 1 0 46 2 0 0 20 0 18 0 254917401 9787813888 9525 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2389603 9525 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558412 [startup+0.700179 s] /proc/loadavg: 3.66 3.89 3.88 4/197 27179 /proc/meminfo: memFree=27439332/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9824668 CPUtime=1.67 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 16413 0 1 0 162 5 0 0 20 0 22 0 254917401 10060460032 25613 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2456167 25613 2250 9 0 2446860 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9824668 [startup+1.50065 s] /proc/loadavg: 3.85 3.93 3.89 3/216 27201 /proc/meminfo: memFree=27339812/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9824668 CPUtime=3.74 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 23641 0 1 0 365 9 0 0 20 0 22 0 254917401 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2456167 34631 2257 9 0 2446860 0 [pid=27179/tid=27181] ppid=27177 vsize=9824668 CPUtime=0.6 cores=0,2,4,6 /proc/27179/task/27181/stat : 27181 (java) S 27177 27179 23457 0 -1 4202560 2485 0 1 0 57 3 0 0 20 0 22 0 254917402 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255635481592 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27182/stat : 27182 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255596972712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27183/stat : 27183 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255595920168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27184/stat : 27184 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255594867624 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27185/stat : 27185 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255593815080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27186/stat : 27186 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255592761512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27187/stat : 27187 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255591708968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27188/stat : 27188 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255590656424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27189/stat : 27189 (java) S 27177 27179 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255589603880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27190/stat : 27190 (java) S 27177 27179 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255458998888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27191/stat : 27191 (java) S 27177 27179 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255457945208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27192/stat : 27192 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255456892552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27193/stat : 27193 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255455841296 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=1.01 cores=0,2,4,6 /proc/27179/task/27194/stat : 27194 (java) R 27177 27179 23457 0 -1 4202560 12379 0 0 0 98 3 0 0 20 0 22 0 254917408 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255454764888 140255639393071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=0.97 cores=0,2,4,6 /proc/27179/task/27195/stat : 27195 (java) R 27177 27179 23457 0 -1 4202560 7458 0 0 0 95 2 0 0 20 0 22 0 254917408 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255453712216 245297628305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27196/stat : 27196 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255452682744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27197/stat : 27197 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255451630408 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27200] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27200/stat : 27200 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254917467 10060460032 34631 33554432000 1073741824 1073778376 140734192221504 140255447942696 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.74 Current children cumulated vsize (KiB) 9824668 [startup+3.10071 s] /proc/loadavg: 3.85 3.93 3.89 5/219 27204 /proc/meminfo: memFree=27282772/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9824668 CPUtime=6.69 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 23796 0 1 0 654 15 0 0 20 0 22 0 254917401 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2456167 55677 2287 9 0 2446860 0 [pid=27179/tid=27181] ppid=27177 vsize=9824668 CPUtime=0.62 cores=0,2,4,6 /proc/27179/task/27181/stat : 27181 (java) S 27177 27179 23457 0 -1 4202560 2486 0 1 0 59 3 0 0 20 0 22 0 254917402 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255635481592 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27179/task/27182/stat : 27182 (java) S 27177 27179 23457 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255596972712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27179/task/27183/stat : 27183 (java) S 27177 27179 23457 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255595920168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27184/stat : 27184 (java) S 27177 27179 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255594867624 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27179/task/27185/stat : 27185 (java) S 27177 27179 23457 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255593815080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27179/task/27186/stat : 27186 (java) S 27177 27179 23457 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255592761512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27179/task/27187/stat : 27187 (java) S 27177 27179 23457 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255591708968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27188/stat : 27188 (java) S 27177 27179 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255590656424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27189/stat : 27189 (java) S 27177 27179 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255589603880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/27179/task/27190/stat : 27190 (java) S 27177 27179 23457 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 22 0 254917405 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255458998888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27191/stat : 27191 (java) S 27177 27179 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255457945208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27192/stat : 27192 (java) S 27177 27179 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255456892552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27193/stat : 27193 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255455841296 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=1.24 cores=0,2,4,6 /proc/27179/task/27194/stat : 27194 (java) S 27177 27179 23457 0 -1 4202560 12384 0 0 0 121 3 0 0 20 0 22 0 254917408 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255454787640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=1.11 cores=0,2,4,6 /proc/27179/task/27195/stat : 27195 (java) S 27177 27179 23457 0 -1 4202560 7463 0 0 0 109 2 0 0 20 0 22 0 254917408 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255453735096 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27196/stat : 27196 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255452682744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27197/stat : 27197 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255451630408 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27200] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27200/stat : 27200 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254917467 10060460032 55677 33554432000 1073741824 1073778376 140734192221504 140255447942696 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.69 Current children cumulated vsize (KiB) 9824668 [startup+6.30076 s] /proc/loadavg: 3.85 3.93 3.89 5/219 27210 /proc/meminfo: memFree=27214160/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9824668 CPUtime=12.56 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 24732 0 1 0 1237 19 0 0 20 0 22 0 254917401 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2456167 58892 2287 9 0 2446860 0 [pid=27179/tid=27181] ppid=27177 vsize=9824668 CPUtime=0.63 cores=0,2,4,6 /proc/27179/task/27181/stat : 27181 (java) S 27177 27179 23457 0 -1 4202560 2487 0 1 0 60 3 0 0 20 0 22 0 254917402 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255635481592 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27179/task/27182/stat : 27182 (java) S 27177 27179 23457 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255596972712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27179/task/27183/stat : 27183 (java) S 27177 27179 23457 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255595920168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27184/stat : 27184 (java) S 27177 27179 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255594867624 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/27179/task/27185/stat : 27185 (java) S 27177 27179 23457 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255593815080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27179/task/27186/stat : 27186 (java) S 27177 27179 23457 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255592761512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/27179/task/27187/stat : 27187 (java) S 27177 27179 23457 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255591708968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27179/task/27188/stat : 27188 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255590656424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/27179/task/27189/stat : 27189 (java) S 27177 27179 23457 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 254917403 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255589603880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=0.18 cores=0,2,4,6 /proc/27179/task/27190/stat : 27190 (java) S 27177 27179 23457 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 22 0 254917405 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255458998888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27191/stat : 27191 (java) S 27177 27179 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255457945208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27192/stat : 27192 (java) S 27177 27179 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255456892552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27193/stat : 27193 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255455841296 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/27179/task/27194/stat : 27194 (java) S 27177 27179 23457 0 -1 4202560 12385 0 0 0 144 3 0 0 20 0 22 0 254917408 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255454787640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=1.38 cores=0,2,4,6 /proc/27179/task/27195/stat : 27195 (java) R 27177 27179 23457 0 -1 4202560 8355 0 0 0 136 2 0 0 20 0 22 0 254917408 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255453724232 140255642455404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27196/stat : 27196 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255452682744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27197/stat : 27197 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255451630408 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27200] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27200/stat : 27200 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254917467 10060460032 58892 33554432000 1073741824 1073778376 140734192221504 140255447942696 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 9824668 [startup+12.7007 s] ################ # More data... # ################ [pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=1.5 cores=0,2,4,6 /proc/27179/task/27194/stat : 27194 (java) S 27177 27179 23457 0 -1 4202560 12390 0 0 0 147 3 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255454787640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=1.48 cores=0,2,4,6 /proc/27179/task/27195/stat : 27195 (java) S 27177 27179 23457 0 -1 4202560 9093 0 0 0 146 2 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255453735096 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27196/stat : 27196 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255452682744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27179/task/27197/stat : 27197 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 1 1 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255451630408 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27200] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27200/stat : 27200 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254917467 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255447942696 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27235] ppid=27177 vsize=9824668 CPUtime=41.4 cores=0,2,4,6 /proc/27179/task/27235/stat : 27235 (java) R 27177 27179 23457 0 -1 4202560 9 0 0 0 4140 0 0 0 20 0 22 0 254925175 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255446888656 140255463115338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27236] ppid=27177 vsize=9824668 CPUtime=41.4 cores=0,2,4,6 /proc/27179/task/27236/stat : 27236 (java) R 27177 27179 23457 0 -1 4202560 7 0 0 0 4140 0 0 0 20 0 22 0 254925175 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255450044592 140255463181471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27237] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27237/stat : 27237 (java) S 27177 27179 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254925179 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255448994984 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 233.48 Current children cumulated vsize (KiB) 9824668 [startup+127.101 s] /proc/loadavg: 4.02 3.93 3.89 5/219 27238 /proc/meminfo: memFree=26954440/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9824668 CPUtime=235.08 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 25929 0 1 0 23465 43 0 0 20 0 22 0 254917401 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2456167 115388 2288 9 0 2446860 0 [pid=27179/tid=27181] ppid=27177 vsize=9824668 CPUtime=0.68 cores=0,2,4,6 /proc/27179/task/27181/stat : 27181 (java) S 27177 27179 23457 0 -1 4202560 2519 0 1 0 65 3 0 0 20 0 22 0 254917402 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255635481592 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27182/stat : 27182 (java) S 27177 27179 23457 0 -1 4202560 24 0 0 0 23 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255596972712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27183/stat : 27183 (java) S 27177 27179 23457 0 -1 4202560 30 0 0 0 23 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255595920168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27184/stat : 27184 (java) S 27177 27179 23457 0 -1 4202560 25 0 0 0 23 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255594867624 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0.31 cores=0,2,4,6 /proc/27179/task/27185/stat : 27185 (java) S 27177 27179 23457 0 -1 4202560 42 0 0 0 31 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255593815080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/27179/task/27186/stat : 27186 (java) S 27177 27179 23457 0 -1 4202560 28 0 0 0 27 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255592761512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.29 cores=0,2,4,6 /proc/27179/task/27187/stat : 27187 (java) S 27177 27179 23457 0 -1 4202560 37 0 0 0 29 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255591708968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0.24 cores=0,2,4,6 /proc/27179/task/27188/stat : 27188 (java) S 27177 27179 23457 0 -1 4202560 22 0 0 0 24 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255590656424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/27179/task/27189/stat : 27189 (java) S 27177 27179 23457 0 -1 4202560 34 0 0 0 27 0 0 0 20 0 22 0 254917403 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255589603880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=15.16 cores=0,2,4,6 /proc/27179/task/27190/stat : 27190 (java) S 27177 27179 23457 0 -1 4202560 207 0 0 0 1512 4 0 0 20 0 22 0 254917405 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255458998888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27191/stat : 27191 (java) S 27177 27179 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255457945208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27192/stat : 27192 (java) S 27177 27179 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254917405 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255456892552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27193/stat : 27193 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255455841296 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=1.5 cores=0,2,4,6 /proc/27179/task/27194/stat : 27194 (java) S 27177 27179 23457 0 -1 4202560 12390 0 0 0 147 3 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255454787640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=1.48 cores=0,2,4,6 /proc/27179/task/27195/stat : 27195 (java) S 27177 27179 23457 0 -1 4202560 9093 0 0 0 146 2 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255453735096 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27196/stat : 27196 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255452682744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27179/task/27197/stat : 27197 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 1 1 0 0 20 0 22 0 254917408 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255451630408 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27200] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27200/stat : 27200 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254917467 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255447942696 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27235] ppid=27177 vsize=9824668 CPUtime=42.19 cores=0,2,4,6 /proc/27179/task/27235/stat : 27235 (java) R 27177 27179 23457 0 -1 4202560 9 0 0 0 4219 0 0 0 20 0 22 0 254925175 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255446888656 140255463417758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27236] ppid=27177 vsize=9824668 CPUtime=42.2 cores=0,2,4,6 /proc/27179/task/27236/stat : 27236 (java) R 27177 27179 23457 0 -1 4202560 7 0 0 0 4220 0 0 0 20 0 22 0 254925175 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255450044592 140255463181466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27237] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27237/stat : 27237 (java) S 27177 27179 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254925179 10060460032 115388 33554432000 1073741824 1073778376 140734192221504 140255448994984 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 235.08 Current children cumulated vsize (KiB) 9824668 [startup+127.501 s] /proc/loadavg: 4.02 3.93 3.89 4/217 27238 /proc/meminfo: memFree=26954440/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9824668 CPUtime=235.75 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 25929 0 1 0 23531 44 0 0 20 0 20 0 254917401 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2456167 115383 2288 9 0 2446860 0 [pid=27179/tid=27181] ppid=27177 vsize=9824668 CPUtime=0.68 cores=0,2,4,6 /proc/27179/task/27181/stat : 27181 (java) S 27177 27179 23457 0 -1 4202560 2519 0 1 0 65 3 0 0 20 0 20 0 254917402 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255635481592 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27182/stat : 27182 (java) S 27177 27179 23457 0 -1 4202560 24 0 0 0 23 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255596972712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27183/stat : 27183 (java) S 27177 27179 23457 0 -1 4202560 30 0 0 0 23 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255595920168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27184/stat : 27184 (java) S 27177 27179 23457 0 -1 4202560 25 0 0 0 23 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255594867624 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0.31 cores=0,2,4,6 /proc/27179/task/27185/stat : 27185 (java) S 27177 27179 23457 0 -1 4202560 42 0 0 0 31 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255593815080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/27179/task/27186/stat : 27186 (java) S 27177 27179 23457 0 -1 4202560 28 0 0 0 27 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255592761512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.29 cores=0,2,4,6 /proc/27179/task/27187/stat : 27187 (java) S 27177 27179 23457 0 -1 4202560 37 0 0 0 29 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255591708968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0.24 cores=0,2,4,6 /proc/27179/task/27188/stat : 27188 (java) S 27177 27179 23457 0 -1 4202560 22 0 0 0 24 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255590656424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/27179/task/27189/stat : 27189 (java) S 27177 27179 23457 0 -1 4202560 34 0 0 0 27 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255589603880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=15.16 cores=0,2,4,6 /proc/27179/task/27190/stat : 27190 (java) S 27177 27179 23457 0 -1 4202560 207 0 0 0 1512 4 0 0 20 0 20 0 254917405 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255458998888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27191/stat : 27191 (java) S 27177 27179 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254917405 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255457945208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27192/stat : 27192 (java) S 27177 27179 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 254917405 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255456892552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27193/stat : 27193 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255455841296 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=1.5 cores=0,2,4,6 /proc/27179/task/27194/stat : 27194 (java) S 27177 27179 23457 0 -1 4202560 12390 0 0 0 147 3 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255454787640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=1.48 cores=0,2,4,6 /proc/27179/task/27195/stat : 27195 (java) S 27177 27179 23457 0 -1 4202560 9093 0 0 0 146 2 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255453735096 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27196/stat : 27196 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255452682744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27179/task/27197/stat : 27197 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 1 1 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255451630408 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27200] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27200/stat : 27200 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254917467 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255447942696 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27236] ppid=27177 vsize=9824668 CPUtime=42.61 cores=0,2,4,6 /proc/27179/task/27236/stat : 27236 (java) R 27177 27179 23457 0 -1 4202560 7 0 0 0 4261 0 0 0 20 0 20 0 254925175 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255450044592 140255463163072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 235.75 Current children cumulated vsize (KiB) 9824668 [startup+127.901 s] /proc/loadavg: 4.02 3.93 3.89 4/217 27238 /proc/meminfo: memFree=26954440/32873844 swapFree=7356/7356 [pid=27179] ppid=27177 vsize=9824668 CPUtime=236.03 cores=0,2,4,6 /proc/27179/stat : 27179 (java) S 27177 27179 23457 0 -1 4202496 25933 0 1 0 23558 45 0 0 20 0 20 0 254917401 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140734192212640 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27179/statm: 2456167 115383 2289 9 0 2446860 0 [pid=27179/tid=27181] ppid=27177 vsize=9824668 CPUtime=0.93 cores=0,2,4,6 /proc/27179/task/27181/stat : 27181 (java) S 27177 27179 23457 0 -1 4202560 2519 0 1 0 90 3 0 0 20 0 20 0 254917402 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255635481304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27182/stat : 27182 (java) S 27177 27179 23457 0 -1 4202560 24 0 0 0 23 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255596972712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27183/stat : 27183 (java) S 27177 27179 23457 0 -1 4202560 30 0 0 0 23 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255595920168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/27179/task/27184/stat : 27184 (java) S 27177 27179 23457 0 -1 4202560 25 0 0 0 23 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255594867624 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0.31 cores=0,2,4,6 /proc/27179/task/27185/stat : 27185 (java) S 27177 27179 23457 0 -1 4202560 42 0 0 0 31 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255593815080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/27179/task/27186/stat : 27186 (java) S 27177 27179 23457 0 -1 4202560 28 0 0 0 27 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255592761512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.29 cores=0,2,4,6 /proc/27179/task/27187/stat : 27187 (java) S 27177 27179 23457 0 -1 4202560 37 0 0 0 29 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255591708968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0.24 cores=0,2,4,6 /proc/27179/task/27188/stat : 27188 (java) S 27177 27179 23457 0 -1 4202560 22 0 0 0 24 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255590656424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/27179/task/27189/stat : 27189 (java) S 27177 27179 23457 0 -1 4202560 34 0 0 0 27 0 0 0 20 0 20 0 254917403 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255589603880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=15.16 cores=0,2,4,6 /proc/27179/task/27190/stat : 27190 (java) S 27177 27179 23457 0 -1 4202560 207 0 0 0 1512 4 0 0 20 0 20 0 254917405 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255458998888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27191/stat : 27191 (java) S 27177 27179 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254917405 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255457945208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27192/stat : 27192 (java) S 27177 27179 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 254917405 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255456892552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27193/stat : 27193 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255455841296 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=1.52 cores=0,2,4,6 /proc/27179/task/27194/stat : 27194 (java) R 27177 27179 23457 0 -1 4202560 12392 0 0 0 149 3 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255454774800 140255639567823 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=1.48 cores=0,2,4,6 /proc/27179/task/27195/stat : 27195 (java) R 27177 27179 23457 0 -1 4202560 9093 0 0 0 146 2 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255453735096 140255641922142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27196/stat : 27196 (java) S 27177 27179 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255452682744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27179/task/27197/stat : 27197 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 1 1 0 0 20 0 20 0 254917408 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255451630408 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27179/tid=27200] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27179/task/27200/stat : 27200 (java) S 27177 27179 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254917467 10060460032 115383 33554432000 1073741824 1073778376 140734192221504 140255447942696 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 236.03 Current children cumulated vsize (KiB) 9824668 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.0499878 # lost CPU user time (s): 0.0699921 # lost CPU system time (s): -0.02 Real time (s): 127.909 CPU time (s): 236.166 CPU user time (s): 235.646 CPU system time (s): 0.519917 CPU usage (%): 184.636 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 235.576 system time used= 0.539917 maximum resident set size= 461552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25939 page faults= 1 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5502 involuntary context switches= 5336 runsolver used 0.59191 second user time and 0.995848 second system time The end
Begin job on node109 at 2012-05-24 21:31:28 IDJOB=3690088 IDBENCH=92696 IDSOLVER=2268 FILE ID=node109/3690088-1337887888 RUNJOBID= node109-1337871881-23473 PBS_JOBID= 14620095 Free space on /tmp= 71668 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_8_mh.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690088-1337887888/watcher-3690088-1337887888 -o /tmp/evaluation-result-3690088-1337887888/solver-3690088-1337887888 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690088-1337887888.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e5afedaafc5782c8b438b74f31dd2ae RANDOM SEED=639782131 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 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 : 2667.264 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 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 : 2667.264 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 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 : 2667.264 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 : 2667.264 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27439596 kB Buffers: 212584 kB Cached: 2824328 kB SwapCached: 0 kB Active: 1994348 kB Inactive: 2649264 kB Active(anon): 1609644 kB Inactive(anon): 0 kB Active(file): 384704 kB Inactive(file): 2649264 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 756 kB Writeback: 0 kB AnonPages: 1645292 kB Mapped: 22672 kB Shmem: 200 kB Slab: 627220 kB SReclaimable: 69888 kB SUnreclaim: 557332 kB KernelStack: 1624 kB PageTables: 7044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2820180 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1579008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node109 at 2012-05-24 21:33:36