Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPT | 5950590 | 250.776 | 128.231 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_2_mh.opb |
| MD5SUM | ebd57823bd571ff5d4e153dfd450b6f7 |
| 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 | 5950590 |
| Best CPU time to get the best result obtained on this benchmark | 123.885 |
| 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 | 74088000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3666159515 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 74088000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3666159515 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.09/0.10 c version PB16.v20160501 0.09/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.11 c java.vm.version 19.1-b02 0.09/0.11 c java.vm.vendor Sun Microsystems Inc. 0.09/0.11 c sun.arch.data.model 64 0.09/0.11 c java.version 1.6.0_24 0.09/0.11 c os.name Linux 0.09/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.11 c os.arch amd64 0.09/0.11 c Free memory 501472288 0.09/0.11 c Max memory 7480803328 0.09/0.11 c Total memory 504102912 0.09/0.11 c Number of processors 16 0.09/0.13 c Pseudo Boolean Optimization by upper bound 0.09/0.13 c ManyCore solver with 2 solvers running in parallel 0.09/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.13 c Expensive reason simplification 0.09/0.13 c Glucose 2.1 dynamic restart strategy 0.09/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.13 c No reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4081025-1465345053.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 1.34/0.62 c ... done. Wall clock time 0.491s. 1.34/0.62 c declared #vars 6810 1.34/0.62 c #constraints 15629 1.34/0.62 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.34/0.62 c constraints type 1.34/0.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1.34/0.62 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1.34/0.62 c org.sat4j.specs.Constr$1 => 3 1.34/0.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.34/0.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1.34/0.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 1.34/0.62 c 15629 constraints processed. 1.34/0.62 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.34/0.62 c constraints type 1.34/0.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1.34/0.62 c org.sat4j.specs.Constr$1 => 3 1.34/0.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1.34/0.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.34/0.62 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 1.34/0.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.34/0.62 c 15629 constraints processed. 1.34/0.62 c objective function length is 3795 literals 1.70/0.78 c And the winner is solver0 2.13/1.13 c SATISFIABLE 2.13/1.13 c OPTIMIZING... 2.13/1.13 c Got one! Elapsed wall clock time (in seconds):1.002 2.13/1.13 o 6530841 2.13/1.20 c And the winner is solver0 2.63/1.65 c Got one! Elapsed wall clock time (in seconds):1.524 2.63/1.65 o 6031626 2.79/1.74 c And the winner is solver0 3.05/2.17 c Got one! Elapsed wall clock time (in seconds):2.039 3.05/2.17 o 6028756 3.05/2.19 c And the winner is solver0 3.24/2.68 c Got one! Elapsed wall clock time (in seconds):2.548 3.24/2.68 o 6027614 3.24/2.69 c And the winner is solver0 3.26/3.18 c Got one! Elapsed wall clock time (in seconds):3.055 3.26/3.18 o 6015887 3.31/3.20 c And the winner is solver0 3.36/3.69 c Got one! Elapsed wall clock time (in seconds):3.562 3.36/3.69 o 5994476 3.37/3.70 c And the winner is solver0 3.37/4.20 c Got one! Elapsed wall clock time (in seconds):4.068 3.37/4.20 o 5994087 6.12/5.49 c cleaning 2573 clauses out of 5146 with flag 26056/5156 9.50/7.01 c cleaning 4284 clauses out of 8572 with flag 52526/11156 13.23/8.78 c cleaning 5643 clauses out of 11288 with flag 82798/18156 17.24/10.74 c cleaning 6821 clauses out of 13644 with flag 124752/26156 20.73/12.33 c And the winner is solver0 20.78/12.70 c Got one! Elapsed wall clock time (in seconds):12.576 20.78/12.70 o 5977530 23.37/14.00 c cleaning 9066 clauses out of 18135 with flag 23929/37469 26.79/15.62 c cleaning 7535 clauses out of 15071 with flag 56986/43471 30.39/17.46 c cleaning 7261 clauses out of 14533 with flag 89421/50468 34.79/19.58 c cleaning 7627 clauses out of 15272 with flag 123055/58468 39.83/22.00 c cleaning 8322 clauses out of 16645 with flag 163858/67468 45.20/24.57 c And the winner is solver0 45.44/24.76 c Got one! Elapsed wall clock time (in seconds):24.634 45.44/24.76 o 5973540 48.12/26.17 c cleaning 11628 clauses out of 23255 with flag 22882/82400 51.60/27.79 c cleaning 8809 clauses out of 17626 with flag 51032/88399 55.23/29.56 c cleaning 7897 clauses out of 15817 with flag 89979/95399 55.86/29.85 c And the winner is solver0 56.11/30.27 c Got one! Elapsed wall clock time (in seconds):30.141 56.11/30.27 o 5972550 58.16/31.33 c cleaning 6539 clauses out of 13087 with flag 18595/100566 61.35/32.90 c cleaning 6262 clauses out of 12548 with flag 47122/106566 65.19/34.73 c cleaning 6643 clauses out of 13286 with flag 82414/113566 69.20/36.72 c cleaning 7310 clauses out of 14644 with flag 118466/121567 69.80/37.00 c And the winner is solver0 69.80/37.28 c Got one! Elapsed wall clock time (in seconds):37.149 69.80/37.28 o 5970364 71.83/38.35 c cleaning 6178 clauses out of 12375 with flag 20323/126608 75.32/39.91 c cleaning 6091 clauses out of 12197 with flag 45389/132608 78.92/41.75 c cleaning 6551 clauses out of 13104 with flag 79984/139606 79.14/41.85 c And the winner is solver0 79.26/42.28 c Got one! Elapsed wall clock time (in seconds):42.157 79.26/42.28 o 5965972 81.69/43.56 c cleaning 5962 clauses out of 11936 with flag 25649/144991 84.69/45.04 c cleaning 5973 clauses out of 11974 with flag 55495/150991 88.30/46.82 c cleaning 6496 clauses out of 13000 with flag 91458/157990 92.31/48.85 c cleaning 7247 clauses out of 14504 with flag 133018/165990 96.91/51.20 c cleaning 8123 clauses out of 16257 with flag 178264/174990 102.79/53.94 c cleaning 9062 clauses out of 18134 with flag 229392/184990 108.57/56.87 c cleaning 10030 clauses out of 20073 with flag 282551/195991 114.77/59.99 c cleaning 11014 clauses out of 22042 with flag 337889/207991 122.13/63.55 c cleaning 12010 clauses out of 24027 with flag 399124/220990 129.98/67.42 c cleaning 12998 clauses out of 26017 with flag 468657/234990 138.17/71.50 c cleaning 14000 clauses out of 28019 with flag 538799/249991 147.18/75.92 c cleaning 15004 clauses out of 30018 with flag 607001/265990 155.36/80.04 c And the winner is solver0 155.42/80.30 c Got one! Elapsed wall clock time (in seconds):80.174 155.42/80.30 o 5964753 158.28/81.78 c cleaning 17580 clauses out of 35178 with flag 23514/286155 161.92/83.45 c cleaning 11793 clauses out of 23599 with flag 46889/292156 165.52/85.27 c cleaning 9393 clauses out of 18804 with flag 75518/299155 166.52/85.80 c And the winner is solver0 166.83/85.96 c Got one! Elapsed wall clock time (in seconds):85.834 166.83/85.96 o 5964029 168.28/86.77 c cleaning 7256 clauses out of 14522 with flag 12654/304266 171.28/88.22 c cleaning 6628 clauses out of 13266 with flag 35943/310266 174.68/89.99 c cleaning 6817 clauses out of 13637 with flag 64715/317265 178.68/91.97 c cleaning 7394 clauses out of 14818 with flag 97808/325264 180.48/92.89 c And the winner is solver0 180.72/93.02 c Got one! Elapsed wall clock time (in seconds):92.892 180.72/93.02 o 5951258 181.68/93.53 c cleaning 6590 clauses out of 13195 with flag 8126/331035 184.70/94.99 c cleaning 6287 clauses out of 12605 with flag 33214/337035 187.50/96.31 c And the winner is solver0 187.61/96.53 c Got one! Elapsed wall clock time (in seconds):96.401 187.61/96.53 o 5950590 190.13/97.82 c cleaning 8404 clauses out of 16817 with flag 17980/347534 193.13/99.32 c cleaning 7197 clauses out of 14411 with flag 39944/353533 196.73/101.12 c cleaning 7104 clauses out of 14216 with flag 71039/360535 200.73/103.10 c cleaning 7542 clauses out of 15108 with flag 103418/368533 204.74/105.18 c cleaning 8271 clauses out of 16566 with flag 139605/377533 209.49/107.49 c cleaning 9143 clauses out of 18294 with flag 179157/387533 214.71/110.05 c cleaning 10070 clauses out of 20152 with flag 222573/398534 220.29/112.89 c cleaning 11033 clauses out of 22079 with flag 274020/410533 226.85/116.09 c cleaning 12018 clauses out of 24048 with flag 323955/423535 233.45/119.38 c cleaning 13009 clauses out of 26027 with flag 382440/437534 240.45/122.86 c cleaning 14003 clauses out of 28014 with flag 437237/452533 248.27/126.65 c cleaning 15001 clauses out of 30004 with flag 493816/468534 250.27/127.66 c And the winner is solver0 250.59/128.20 c >>>>>>>>>> Solver number 0 (17 answers) <<<<<<<<<<<<<<<<<< 250.59/128.20 c starts : 253 250.59/128.20 c conflicts : 473076 250.59/128.20 c decisions : 1102774 250.59/128.20 c propagations : 119842864 250.59/128.20 c inspects : 542883336 250.59/128.20 c shortcuts : 0 250.59/128.20 c learnt literals : 52 250.59/128.20 c learnt binary clauses : 155 250.59/128.20 c learnt ternary clauses : 1863 250.59/128.20 c learnt constraints : 473023 250.59/128.20 c ignored constraints : 0 250.59/128.20 c root simplifications : 0 250.59/128.20 c removed literals (reason simplification) : 10086817 250.59/128.20 c reason swapping (by a shorter reason) : 0 250.59/128.20 c Calls to reduceDB : 52 250.59/128.20 c Number of update (reduction) of LBD : 165423 250.59/128.20 c Imported unit clauses : 0 250.59/128.20 c number of reductions to clauses (during analyze) : 0 250.59/128.20 c number of learned constraints concerned by reduction : 0 250.59/128.20 c number of learning phase by resolution : 0 250.59/128.20 c number of learning phase by cutting planes : 0 250.59/128.20 c speed (assignments/second) : 939582.9367537182 250.59/128.20 c non guided choices 3073 250.59/128.20 c learnt constraints type 250.59/128.20 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 250.59/128.20 c starts : 17 250.59/128.20 c conflicts : 551 250.59/128.20 c decisions : 74445 250.59/128.20 c propagations : 1155469 250.59/128.20 c inspects : 6096599 250.59/128.20 c shortcuts : 0 250.59/128.20 c learnt literals : 0 250.59/128.20 c learnt binary clauses : 4 250.59/128.20 c learnt ternary clauses : 0 250.59/128.20 c learnt constraints : 540 250.59/128.20 c ignored constraints : 0 250.59/128.20 c root simplifications : 0 250.59/128.20 c removed literals (reason simplification) : 0 250.59/128.20 c reason swapping (by a shorter reason) : 0 250.59/128.20 c Calls to reduceDB : 0 250.59/128.20 c Number of update (reduction) of LBD : 0 250.59/128.20 c Imported unit clauses : 0 250.59/128.20 c number of reductions to clauses (during analyze) : 0 250.59/128.20 c number of learned constraints concerned by reduction : 0 250.59/128.20 c number of learning phase by resolution : 0 250.59/128.20 c number of learning phase by cutting planes : 0 250.59/128.20 c speed (assignments/second) : 36534.258703006926 250.59/128.20 c non guided choices 0 250.59/128.20 c learnt constraints type 250.59/128.20 s OPTIMUM FOUND 250.59/128.20 c Found 16 solution(s) 250.59/128.21 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 250.59/128.22 c objective function=5950590 250.59/128.22 c Total wall clock time (in seconds): 128.093
OK 5950590
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081025-1465345053/watcher-4081025-1465345053 -o /tmp/evaluation-result-4081025-1465345053/solver-4081025-1465345053 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081025-1465345053.opb pid=21530 running on 8 cores: 4-7,12-15 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.92 3.99 3.93 4/284 21533 /proc/meminfo: memFree=28548712/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=91816 CPUtime=0 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 1283 0 0 0 0 0 0 0 20 0 2 0 116347343 94019584 916 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 4096 0 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 22954 916 697 9 0 16769 0 [pid=21533/tid=21534] ppid=21530 vsize=92900 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) R 21530 21533 20050 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 2 0 116347344 95129600 917 33554432000 1073741824 1073778376 140734228590304 139711583780392 216799477392 0 0 4096 0 0 0 0 -1 13 0 0 0 0 0 [startup+0.100063 s] /proc/loadavg: 3.92 3.99 3.93 4/284 21533 /proc/meminfo: memFree=28548712/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=9896436 CPUtime=0.09 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 23 0 116347343 10133950464 5535 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2474109 5535 2116 9 0 2464786 0 [pid=21533/tid=21534] ppid=21530 vsize=9896436 CPUtime=0.06 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) R 21530 21533 20050 0 -1 4202560 2403 0 1 0 6 0 0 0 20 0 23 0 116347344 10133950464 5535 33554432000 1073741824 1073778376 140734228590304 139711583783840 216808636085 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9896436 [startup+0.220933 s] /proc/loadavg: 3.92 3.99 3.93 4/284 21533 /proc/meminfo: memFree=28548712/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=9896436 CPUtime=0.32 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 5077 0 1 0 30 2 0 0 20 0 23 0 116347343 10133950464 7492 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2474109 7492 2222 9 0 2464786 0 [pid=21533/tid=21534] ppid=21530 vsize=9896436 CPUtime=0.18 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) R 21530 21533 20050 0 -1 4202560 2436 0 1 0 17 1 0 0 20 0 23 0 116347344 10133950464 7492 33554432000 1073741824 1073778376 140734228590304 139711583783840 139711410715967 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 9896436 [startup+0.300284 s] /proc/loadavg: 3.92 3.99 3.93 4/284 21533 /proc/meminfo: memFree=28548712/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=9896436 CPUtime=0.51 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 6204 0 1 0 49 2 0 0 20 0 23 0 116347343 10133950464 10010 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2474109 10010 2238 9 0 2464786 0 [pid=21533/tid=21534] ppid=21530 vsize=9896436 CPUtime=0.26 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) R 21530 21533 20050 0 -1 4202560 2447 0 1 0 25 1 0 0 20 0 23 0 116347344 10133950464 10010 33554432000 1073741824 1073778376 140734228590304 139711583783976 139711410681576 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9896436 [startup+0.700243 s] /proc/loadavg: 3.92 3.99 3.93 4/284 21533 /proc/meminfo: memFree=28548712/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=10162692 CPUtime=1.7 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 15856 0 1 0 166 4 0 0 20 0 27 0 116347343 10406596608 26415 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2540673 26415 2261 9 0 2531350 0 [pid=21533/tid=21534] ppid=21530 vsize=10162692 CPUtime=0.59 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) S 21530 21533 20050 0 -1 4202560 2477 0 1 0 58 1 0 0 20 0 27 0 116347344 10406596608 26415 33554432000 1073741824 1073778376 140734228590304 139711583785848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 10162692 [startup+1.50104 s] /proc/loadavg: 3.92 3.99 3.93 3/308 21560 /proc/meminfo: memFree=28444960/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=10162692 CPUtime=2.63 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 18981 0 1 0 254 9 0 0 20 0 24 0 116347343 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2540673 29302 2271 9 0 2531350 0 [pid=21533/tid=21534] ppid=21530 vsize=10162692 CPUtime=0.62 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) S 21530 21533 20050 0 -1 4202560 2478 0 1 0 60 2 0 0 20 0 24 0 116347344 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711583785848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21536] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21536/stat : 21536 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711545276840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21537] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21537/stat : 21537 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711544224296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21538] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21538/stat : 21538 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711543171240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21539] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21539/stat : 21539 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711542118696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21540] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21540/stat : 21540 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711541066664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21541] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21541/stat : 21541 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711540014120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21542] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21542/stat : 21542 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711538961064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21543] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21543/stat : 21543 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711537908520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21544] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21544/stat : 21544 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711536855464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21545] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21545/stat : 21545 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711535802920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21546] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21546/stat : 21546 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711534749864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21547] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21547/stat : 21547 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711533697320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21548] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21548/stat : 21548 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711532645288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21549] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21549/stat : 21549 (java) S 21530 21533 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711396912104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21550] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21550/stat : 21550 (java) S 21530 21533 20050 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139711395857912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21551] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21551/stat : 21551 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139710387185160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21552] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21552/stat : 21552 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139710386133392 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21553] ppid=21530 vsize=10162692 CPUtime=0.72 cores=4-7,12-15 /proc/21533/task/21553/stat : 21553 (java) S 21530 21533 20050 0 -1 4202560 4993 0 0 0 72 0 0 0 20 0 24 0 116347349 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139710385080760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21554] ppid=21530 vsize=10162692 CPUtime=0.8 cores=4-7,12-15 /proc/21533/task/21554/stat : 21554 (java) S 21530 21533 20050 0 -1 4202560 10155 0 0 0 78 2 0 0 20 0 24 0 116347349 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139710384027704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21555] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21555/stat : 21555 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139710382975352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21556] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21556/stat : 21556 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139710381923528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21559] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21559/stat : 21559 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 116347408 10406596608 29302 33554432000 1073741824 1073778376 140734228590304 139710378763688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 10162692 [startup+3.10099 s] /proc/loadavg: 3.92 3.99 3.93 6/309 21569 /proc/meminfo: memFree=28406560/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=10162692 CPUtime=3.26 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 19099 0 1 0 314 12 0 0 20 0 24 0 116347343 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2540673 39037 2276 9 0 2531350 0 [pid=21533/tid=21534] ppid=21530 vsize=10162692 CPUtime=0.65 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) S 21530 21533 20050 0 -1 4202560 2482 0 1 0 63 2 0 0 20 0 24 0 116347344 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711583785848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21536] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21536/stat : 21536 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711545276840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21537] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21537/stat : 21537 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711544224296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21538] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21538/stat : 21538 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711543171240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21539] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21539/stat : 21539 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711542118696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21540] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21540/stat : 21540 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711541066664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21541] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21541/stat : 21541 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711540014120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21542] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21542/stat : 21542 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711538961064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21543] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21543/stat : 21543 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711537908520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21544] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21544/stat : 21544 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711536855464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21545] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21545/stat : 21545 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711535802920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21546] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21546/stat : 21546 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711534749864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21547] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21547/stat : 21547 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711533697320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21548] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21548/stat : 21548 (java) S 21530 21533 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 116347345 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711532645288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21549] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21549/stat : 21549 (java) S 21530 21533 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711396912104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21550] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21550/stat : 21550 (java) S 21530 21533 20050 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139711395857912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21551] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21551/stat : 21551 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139710387185160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21552] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21552/stat : 21552 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139710386133392 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21553] ppid=21530 vsize=10162692 CPUtime=0.94 cores=4-7,12-15 /proc/21533/task/21553/stat : 21553 (java) S 21530 21533 20050 0 -1 4202560 5071 0 0 0 94 0 0 0 20 0 24 0 116347349 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139710385080760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21554] ppid=21530 vsize=10162692 CPUtime=0.99 cores=4-7,12-15 /proc/21533/task/21554/stat : 21554 (java) S 21530 21533 20050 0 -1 4202560 10156 0 0 0 97 2 0 0 20 0 24 0 116347349 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139710384027704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21555] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21555/stat : 21555 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139710382975352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21556] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21556/stat : 21556 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139710381923528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21559] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21559/stat : 21559 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 116347408 10406596608 39037 33554432000 1073741824 1073778376 140734228590304 139710378763688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 3.26 Current children cumulated vsize (KiB) 10162692 [startup+6.30119 s] /proc/loadavg: 3.85 3.97 3.92 6/311 21581 /proc/meminfo: memFree=28367800/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=10162692 CPUtime=7.99 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 19895 0 1 0 781 18 0 0 20 0 27 0 116347343 10406596608 46675 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2540673 46675 2294 9 0 2531350 0 [pid=21533/tid=21534] ppid=21530 vsize=10162692 CPUtime=0.67 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) S 21530 21533 20050 0 -1 4202560 2487 0 1 0 64 3 0 0 20 0 27 0 116347344 10406596608 46675 33554432000 1073741824 1073778376 140734228590304 139711583785848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21536] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21536/stat : 21536 (java) S 21530 21533 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 116347345 10406596608 46675 33554432000 1073741824 1073778376 140734228590304 139711545276840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21537] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21537/stat : 21537 (java) S 21530 21533 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 116347345 10406596608 46675 33554432000 1073741824 1073778376 140734228590304 139711544224296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21538] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21538/stat : 21538 (java) S 21530 21533 20050 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 27 0 116347345 10406596608 46675 33554432000 1073741824 1073778376 140734228590304 139711543171240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21539] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 ################ # More data... # ################ [pid=21533/tid=21538] ppid=21530 vsize=10162692 CPUtime=0.35 cores=4-7,12-15 /proc/21533/task/21538/stat : 21538 (java) S 21530 21533 20050 0 -1 4202560 130 0 0 0 24 11 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711543171240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21539] ppid=21530 vsize=10162692 CPUtime=0.32 cores=4-7,12-15 /proc/21533/task/21539/stat : 21539 (java) S 21530 21533 20050 0 -1 4202560 165 0 0 0 22 10 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711542118696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21540] ppid=21530 vsize=10162692 CPUtime=0.46 cores=4-7,12-15 /proc/21533/task/21540/stat : 21540 (java) S 21530 21533 20050 0 -1 4202560 210 0 0 0 32 14 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711541066664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21541] ppid=21530 vsize=10162692 CPUtime=0.28 cores=4-7,12-15 /proc/21533/task/21541/stat : 21541 (java) S 21530 21533 20050 0 -1 4202560 94 0 0 0 20 8 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711540014120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21542] ppid=21530 vsize=10162692 CPUtime=0.41 cores=4-7,12-15 /proc/21533/task/21542/stat : 21542 (java) S 21530 21533 20050 0 -1 4202560 194 0 0 0 27 14 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711538961064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21543] ppid=21530 vsize=10162692 CPUtime=0.34 cores=4-7,12-15 /proc/21533/task/21543/stat : 21543 (java) S 21530 21533 20050 0 -1 4202560 165 0 0 0 23 11 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711537908520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21544] ppid=21530 vsize=10162692 CPUtime=0.41 cores=4-7,12-15 /proc/21533/task/21544/stat : 21544 (java) S 21530 21533 20050 0 -1 4202560 172 0 0 0 29 12 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711536855464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21545] ppid=21530 vsize=10162692 CPUtime=0.47 cores=4-7,12-15 /proc/21533/task/21545/stat : 21545 (java) S 21530 21533 20050 0 -1 4202560 145 0 0 0 32 15 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711535802920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21546] ppid=21530 vsize=10162692 CPUtime=0.36 cores=4-7,12-15 /proc/21533/task/21546/stat : 21546 (java) S 21530 21533 20050 0 -1 4202560 105 0 0 0 25 11 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711534749864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21547] ppid=21530 vsize=10162692 CPUtime=0.37 cores=4-7,12-15 /proc/21533/task/21547/stat : 21547 (java) S 21530 21533 20050 0 -1 4202560 184 0 0 0 26 11 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711533697320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21548] ppid=21530 vsize=10162692 CPUtime=0.42 cores=4-7,12-15 /proc/21533/task/21548/stat : 21548 (java) S 21530 21533 20050 0 -1 4202560 178 0 0 0 30 12 0 0 20 0 27 0 116347345 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711532645288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21549] ppid=21530 vsize=10162692 CPUtime=0.01 cores=4-7,12-15 /proc/21533/task/21549/stat : 21549 (java) S 21530 21533 20050 0 -1 4202560 169 0 0 0 1 0 0 0 20 0 27 0 116347346 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711396912104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21550] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21550/stat : 21550 (java) S 21530 21533 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 116347346 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139711395857912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21551] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21551/stat : 21551 (java) S 21530 21533 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 116347346 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710387185160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21552] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21552/stat : 21552 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 116347349 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710386133392 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21553] ppid=21530 vsize=10162692 CPUtime=1.45 cores=4-7,12-15 /proc/21533/task/21553/stat : 21553 (java) S 21530 21533 20050 0 -1 4202560 5770 0 0 0 145 0 0 0 20 0 27 0 116347349 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710385080760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21554] ppid=21530 vsize=10162692 CPUtime=1.46 cores=4-7,12-15 /proc/21533/task/21554/stat : 21554 (java) S 21530 21533 20050 0 -1 4202560 10173 0 0 0 144 2 0 0 20 0 27 0 116347349 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710384027704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21555] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21555/stat : 21555 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 116347349 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710382975352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21556] ppid=21530 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/21533/task/21556/stat : 21556 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 27 0 116347349 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710381923528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21559] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21559/stat : 21559 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 116347408 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710378763688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21694] ppid=21530 vsize=10162692 CPUtime=30.47 cores=4-7,12-15 /proc/21533/task/21694/stat : 21694 (java) R 21530 21533 20050 0 -1 4202560 5 0 0 0 3047 0 0 0 20 0 27 0 116356997 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710380859536 139711411645065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21695] ppid=21530 vsize=10162692 CPUtime=30.47 cores=4-7,12-15 /proc/21533/task/21695/stat : 21695 (java) R 21530 21533 20050 0 -1 4202560 7 0 0 0 3047 0 0 0 20 0 27 0 116356997 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710377709152 139711411677110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21696] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21696/stat : 21696 (java) S 21530 21533 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 116357000 10406596608 156116 33554432000 1073741824 1073778376 140734228590304 139710379815976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 249.34 Current children cumulated vsize (KiB) 10162692 [startup+128.001 s] /proc/loadavg: 3.95 3.97 3.92 5/311 21696 /proc/meminfo: memFree=29933028/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=10162692 CPUtime=250.29 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 22270 0 1 0 24844 185 0 0 20 0 24 0 116347343 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2540673 156106 2295 9 0 2531350 0 [pid=21533/tid=21534] ppid=21530 vsize=10162692 CPUtime=0.74 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) S 21530 21533 20050 0 -1 4202560 2487 0 1 0 71 3 0 0 20 0 24 0 116347344 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711583785848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21536] ppid=21530 vsize=10162692 CPUtime=0.4 cores=4-7,12-15 /proc/21533/task/21536/stat : 21536 (java) S 21530 21533 20050 0 -1 4202560 212 0 0 0 28 12 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711545276840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21537] ppid=21530 vsize=10162692 CPUtime=0.38 cores=4-7,12-15 /proc/21533/task/21537/stat : 21537 (java) S 21530 21533 20050 0 -1 4202560 108 0 0 0 27 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711544224296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21538] ppid=21530 vsize=10162692 CPUtime=0.35 cores=4-7,12-15 /proc/21533/task/21538/stat : 21538 (java) S 21530 21533 20050 0 -1 4202560 130 0 0 0 24 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711543171240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21539] ppid=21530 vsize=10162692 CPUtime=0.32 cores=4-7,12-15 /proc/21533/task/21539/stat : 21539 (java) S 21530 21533 20050 0 -1 4202560 165 0 0 0 22 10 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711542118696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21540] ppid=21530 vsize=10162692 CPUtime=0.46 cores=4-7,12-15 /proc/21533/task/21540/stat : 21540 (java) S 21530 21533 20050 0 -1 4202560 210 0 0 0 32 14 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711541066664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21541] ppid=21530 vsize=10162692 CPUtime=0.28 cores=4-7,12-15 /proc/21533/task/21541/stat : 21541 (java) S 21530 21533 20050 0 -1 4202560 94 0 0 0 20 8 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711540014120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21542] ppid=21530 vsize=10162692 CPUtime=0.41 cores=4-7,12-15 /proc/21533/task/21542/stat : 21542 (java) S 21530 21533 20050 0 -1 4202560 194 0 0 0 27 14 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711538961064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21543] ppid=21530 vsize=10162692 CPUtime=0.34 cores=4-7,12-15 /proc/21533/task/21543/stat : 21543 (java) S 21530 21533 20050 0 -1 4202560 165 0 0 0 23 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711537908520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21544] ppid=21530 vsize=10162692 CPUtime=0.41 cores=4-7,12-15 /proc/21533/task/21544/stat : 21544 (java) S 21530 21533 20050 0 -1 4202560 172 0 0 0 29 12 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711536855464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21545] ppid=21530 vsize=10162692 CPUtime=0.47 cores=4-7,12-15 /proc/21533/task/21545/stat : 21545 (java) S 21530 21533 20050 0 -1 4202560 145 0 0 0 32 15 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711535802920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21546] ppid=21530 vsize=10162692 CPUtime=0.36 cores=4-7,12-15 /proc/21533/task/21546/stat : 21546 (java) S 21530 21533 20050 0 -1 4202560 105 0 0 0 25 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711534749864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21547] ppid=21530 vsize=10162692 CPUtime=0.37 cores=4-7,12-15 /proc/21533/task/21547/stat : 21547 (java) S 21530 21533 20050 0 -1 4202560 184 0 0 0 26 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711533697320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21548] ppid=21530 vsize=10162692 CPUtime=0.42 cores=4-7,12-15 /proc/21533/task/21548/stat : 21548 (java) S 21530 21533 20050 0 -1 4202560 178 0 0 0 30 12 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711532645288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21549] ppid=21530 vsize=10162692 CPUtime=0.01 cores=4-7,12-15 /proc/21533/task/21549/stat : 21549 (java) S 21530 21533 20050 0 -1 4202560 169 0 0 0 1 0 0 0 20 0 24 0 116347346 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711396912104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21550] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21550/stat : 21550 (java) S 21530 21533 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711395857912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21551] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21551/stat : 21551 (java) S 21530 21533 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710387185160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21552] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21552/stat : 21552 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710386133392 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21553] ppid=21530 vsize=10162692 CPUtime=1.45 cores=4-7,12-15 /proc/21533/task/21553/stat : 21553 (java) S 21530 21533 20050 0 -1 4202560 5770 0 0 0 145 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710385080760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21554] ppid=21530 vsize=10162692 CPUtime=1.46 cores=4-7,12-15 /proc/21533/task/21554/stat : 21554 (java) S 21530 21533 20050 0 -1 4202560 10173 0 0 0 144 2 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710384027704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21555] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21555/stat : 21555 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710382975352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21556] ppid=21530 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/21533/task/21556/stat : 21556 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710381923528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21559] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21559/stat : 21559 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 116347408 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710378763688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 250.29 Current children cumulated vsize (KiB) 10162692 [startup+128.201 s] /proc/loadavg: 3.95 3.97 3.92 5/311 21696 /proc/meminfo: memFree=29933028/32872528 swapFree=9196/9196 [pid=21533] ppid=21530 vsize=10162692 CPUtime=250.45 cores=4-7,12-15 /proc/21533/stat : 21533 (java) S 21530 21533 20050 0 -1 4202496 22270 0 1 0 24860 185 0 0 20 0 24 0 116347343 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 140734228581440 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/21533/statm: 2540673 156106 2295 9 0 2531350 0 [pid=21533/tid=21534] ppid=21530 vsize=10162692 CPUtime=0.89 cores=4-7,12-15 /proc/21533/task/21534/stat : 21534 (java) R 21530 21533 20050 0 -1 4202560 2487 0 1 0 86 3 0 0 20 0 24 0 116347344 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711583785848 139711411980573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21536] ppid=21530 vsize=10162692 CPUtime=0.4 cores=4-7,12-15 /proc/21533/task/21536/stat : 21536 (java) S 21530 21533 20050 0 -1 4202560 212 0 0 0 28 12 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711545276840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21537] ppid=21530 vsize=10162692 CPUtime=0.38 cores=4-7,12-15 /proc/21533/task/21537/stat : 21537 (java) S 21530 21533 20050 0 -1 4202560 108 0 0 0 27 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711544224296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21538] ppid=21530 vsize=10162692 CPUtime=0.35 cores=4-7,12-15 /proc/21533/task/21538/stat : 21538 (java) S 21530 21533 20050 0 -1 4202560 130 0 0 0 24 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711543171240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21539] ppid=21530 vsize=10162692 CPUtime=0.32 cores=4-7,12-15 /proc/21533/task/21539/stat : 21539 (java) S 21530 21533 20050 0 -1 4202560 165 0 0 0 22 10 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711542118696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21540] ppid=21530 vsize=10162692 CPUtime=0.46 cores=4-7,12-15 /proc/21533/task/21540/stat : 21540 (java) S 21530 21533 20050 0 -1 4202560 210 0 0 0 32 14 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711541066664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21541] ppid=21530 vsize=10162692 CPUtime=0.28 cores=4-7,12-15 /proc/21533/task/21541/stat : 21541 (java) S 21530 21533 20050 0 -1 4202560 94 0 0 0 20 8 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711540014120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21542] ppid=21530 vsize=10162692 CPUtime=0.41 cores=4-7,12-15 /proc/21533/task/21542/stat : 21542 (java) S 21530 21533 20050 0 -1 4202560 194 0 0 0 27 14 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711538961064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21543] ppid=21530 vsize=10162692 CPUtime=0.34 cores=4-7,12-15 /proc/21533/task/21543/stat : 21543 (java) S 21530 21533 20050 0 -1 4202560 165 0 0 0 23 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711537908520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21544] ppid=21530 vsize=10162692 CPUtime=0.41 cores=4-7,12-15 /proc/21533/task/21544/stat : 21544 (java) S 21530 21533 20050 0 -1 4202560 172 0 0 0 29 12 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711536855464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21545] ppid=21530 vsize=10162692 CPUtime=0.47 cores=4-7,12-15 /proc/21533/task/21545/stat : 21545 (java) S 21530 21533 20050 0 -1 4202560 145 0 0 0 32 15 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711535802920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21533/tid=21546] ppid=21530 vsize=10162692 CPUtime=0.36 cores=4-7,12-15 /proc/21533/task/21546/stat : 21546 (java) S 21530 21533 20050 0 -1 4202560 105 0 0 0 25 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711534749864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=21533/tid=21547] ppid=21530 vsize=10162692 CPUtime=0.37 cores=4-7,12-15 /proc/21533/task/21547/stat : 21547 (java) S 21530 21533 20050 0 -1 4202560 184 0 0 0 26 11 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711533697320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21533/tid=21548] ppid=21530 vsize=10162692 CPUtime=0.42 cores=4-7,12-15 /proc/21533/task/21548/stat : 21548 (java) S 21530 21533 20050 0 -1 4202560 178 0 0 0 30 12 0 0 20 0 24 0 116347345 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711532645288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21549] ppid=21530 vsize=10162692 CPUtime=0.01 cores=4-7,12-15 /proc/21533/task/21549/stat : 21549 (java) S 21530 21533 20050 0 -1 4202560 169 0 0 0 1 0 0 0 20 0 24 0 116347346 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711396912104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=21533/tid=21550] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21550/stat : 21550 (java) S 21530 21533 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139711395857912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21551] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21551/stat : 21551 (java) S 21530 21533 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 116347346 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710387185160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21552] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21552/stat : 21552 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710386133392 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21553] ppid=21530 vsize=10162692 CPUtime=1.45 cores=4-7,12-15 /proc/21533/task/21553/stat : 21553 (java) S 21530 21533 20050 0 -1 4202560 5770 0 0 0 145 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710385080760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=21533/tid=21554] ppid=21530 vsize=10162692 CPUtime=1.47 cores=4-7,12-15 /proc/21533/task/21554/stat : 21554 (java) S 21530 21533 20050 0 -1 4202560 10173 0 0 0 145 2 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710384027704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21533/tid=21555] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21555/stat : 21555 (java) S 21530 21533 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710382975352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=21533/tid=21556] ppid=21530 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/21533/task/21556/stat : 21556 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 24 0 116347349 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710381923528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21533/tid=21559] ppid=21530 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/21533/task/21559/stat : 21559 (java) S 21530 21533 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 116347408 10406596608 156106 33554432000 1073741824 1073778376 140734228590304 139710378763688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 250.45 Current children cumulated vsize (KiB) 10162692 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.139977 # lost CPU user time (s): 0.159988 # lost CPU system time (s): -0.02 Real time (s): 128.231 CPU time (s): 250.776 CPU user time (s): 248.723 CPU system time (s): 2.05268 CPU usage (%): 195.566 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 248.563 system time used= 2.07268 maximum resident set size= 634532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22277 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= 4621 involuntary context switches= 3834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.11983 second user time and 1.37379 second system time The end
Begin job on node132 at 2016-06-08 02:17:33 IDJOB=4081025 IDBENCH=92697 IDSOLVER=2543 FILE ID=node132/4081025-1465345053 RUNJOBID= node132-1465339282-20067 PBS_JOBID= 19853401 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081025-1465345053/watcher-4081025-1465345053 -o /tmp/evaluation-result-4081025-1465345053/solver-4081025-1465345053 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081025-1465345053.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ebd57823bd571ff5d4e153dfd450b6f7 RANDOM SEED=2047584911 node132.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.209 cache size : 8192 KB physical id : 0 siblings : 8 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.41 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.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 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.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 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.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 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.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28548704 kB Buffers: 173660 kB Cached: 822104 kB SwapCached: 3220 kB Active: 2858348 kB Inactive: 638196 kB Active(anon): 2499868 kB Inactive(anon): 3312 kB Active(file): 358480 kB Inactive(file): 634884 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094612 kB Dirty: 1064 kB Writeback: 0 kB AnonPages: 2659104 kB Mapped: 15516 kB Shmem: 0 kB Slab: 623288 kB SReclaimable: 63600 kB SUnreclaim: 559688 kB KernelStack: 2592 kB PageTables: 9652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3289944 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 2598912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node132 at 2016-06-08 02:19:42