Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | OPT | 873.91 | 443.653 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_1_mh.opb |
| MD5SUM | 8032cd9ddf37959390b9864499521c4d |
| 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 | 17754249 |
| Best CPU time to get the best result obtained on this benchmark | 47.4378 |
| 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 | 92345408 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4968230641 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 92345408 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4968230641 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.09 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 9996466904 0.04/0.09 c Max memory 10048897024 0.04/0.09 c Total memory 10048897024 0.04/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3744168-1338796521.opb 0.08/0.12 c reading problem ... 0.77/0.48 c ... done. Wall clock time 0.367s. 0.77/0.48 c #vars 6810 0.77/0.48 c #constraints 15671 0.77/0.48 c constraints type 0.77/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.77/0.48 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.77/0.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.77/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.77/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.77/0.48 c constraints type 0.77/0.48 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 0.77/0.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 0.77/0.48 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 0.77/0.48 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 0.77/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.42/0.63 c And the winner is Resolution 1.66/1.00 c SATISFIABLE 1.66/1.00 c OPTIMIZING... 1.66/1.00 c Got one! Elapsed wall clock time (in seconds):0.886 1.66/1.00 o 17830518 1.66/1.05 c And the winner is Resolution 2.16/1.53 c Got one! Elapsed wall clock time (in seconds):1.415 2.16/1.53 o 17805954 2.16/1.56 c And the winner is Resolution 2.40/2.05 c Got one! Elapsed wall clock time (in seconds):1.937 2.40/2.05 o 17795422 2.40/2.07 c And the winner is Resolution 2.46/2.57 c Got one! Elapsed wall clock time (in seconds):2.454 2.46/2.57 o 17776369 5.90/4.15 c cleaning 2548 clauses out of 5095 with flag 5005/5098 10.24/6.28 c cleaning 4263 clauses out of 8532 with flag 11000/11093 14.88/8.59 c cleaning 5632 clauses out of 11269 with flag 18000/18093 20.47/11.31 c cleaning 6816 clauses out of 13637 with flag 26000/26093 26.68/14.45 c cleaning 7903 clauses out of 15820 with flag 35000/35093 34.03/18.18 c cleaning 8954 clauses out of 17918 with flag 45001/45094 41.85/22.03 c cleaning 9974 clauses out of 19964 with flag 56001/56094 49.79/26.08 c cleaning 10992 clauses out of 21990 with flag 68001/68094 58.33/30.39 c cleaning 11991 clauses out of 23998 with flag 81001/81094 67.47/34.99 c cleaning 12994 clauses out of 26006 with flag 95000/95093 77.84/40.14 c cleaning 13999 clauses out of 28012 with flag 110000/110093 88.60/45.58 c cleaning 15002 clauses out of 30013 with flag 126001/126094 98.92/50.77 c cleaning 15497 clauses out of 31010 with flag 142000/142093 110.28/56.46 c cleaning 15746 clauses out of 31514 with flag 158001/158094 120.45/61.52 c cleaning 15877 clauses out of 31767 with flag 174000/174093 131.79/67.22 c cleaning 15939 clauses out of 31891 with flag 190001/190094 142.10/72.43 c cleaning 15972 clauses out of 31951 with flag 206000/206093 153.46/78.14 c cleaning 15979 clauses out of 31980 with flag 222001/222094 157.36/80.12 c And the winner is Resolution 157.71/80.43 c Got one! Elapsed wall clock time (in seconds):80.318 157.71/80.43 o 17771280 157.71/80.45 c And the winner is Resolution 157.81/80.95 c Got one! Elapsed wall clock time (in seconds):80.834 157.81/80.95 o 17759338 158.11/81.18 c cleaning 10992 clauses out of 22004 with flag 1000/228097 160.66/82.49 c cleaning 8494 clauses out of 17014 with flag 7002/234099 163.74/84.01 c cleaning 7745 clauses out of 15518 with flag 14000/241097 168.07/86.28 c cleaning 7877 clauses out of 15773 with flag 22000/249097 174.69/89.56 c cleaning 8442 clauses out of 16899 with flag 31003/258100 181.42/92.98 c cleaning 9220 clauses out of 18454 with flag 41000/268097 189.30/96.96 c cleaning 10115 clauses out of 20235 with flag 52001/279098 197.64/101.18 c cleaning 11041 clauses out of 22120 with flag 64001/291098 206.37/105.57 c cleaning 12027 clauses out of 24078 with flag 77000/304097 216.69/110.70 c cleaning 13020 clauses out of 26052 with flag 91001/318098 227.57/116.25 c cleaning 14009 clauses out of 28030 with flag 106000/333097 238.32/121.68 c cleaning 15000 clauses out of 30021 with flag 122000/349097 249.84/127.49 c cleaning 15503 clauses out of 31022 with flag 138001/365098 260.59/132.83 c cleaning 15751 clauses out of 31519 with flag 154001/381098 271.69/138.47 c cleaning 15878 clauses out of 31767 with flag 170000/397097 282.39/143.82 c cleaning 15940 clauses out of 31890 with flag 186001/413098 293.92/149.65 c cleaning 15969 clauses out of 31950 with flag 202001/429098 304.64/155.06 c cleaning 15981 clauses out of 31980 with flag 218000/445097 314.91/160.23 c cleaning 15994 clauses out of 32001 with flag 234002/461099 325.43/165.59 c cleaning 15994 clauses out of 32010 with flag 250005/477102 336.55/171.16 c cleaning 15988 clauses out of 32011 with flag 266000/493097 339.26/172.54 c And the winner is Resolution 339.84/173.08 c Got one! Elapsed wall clock time (in seconds):172.961 339.84/173.08 o 17754249 340.83/173.56 c cleaning 10933 clauses out of 21881 with flag 2002/498955 343.09/174.78 c cleaning 8458 clauses out of 16946 with flag 8000/504953 346.02/176.23 c cleaning 7734 clauses out of 15488 with flag 15000/511953 349.33/177.97 c cleaning 7861 clauses out of 15754 with flag 23000/519953 355.64/181.13 c cleaning 8435 clauses out of 16895 with flag 32002/528955 363.31/185.00 c cleaning 9216 clauses out of 18458 with flag 42000/538953 371.03/188.92 c cleaning 10116 clauses out of 20243 with flag 53001/549954 379.53/193.20 c cleaning 11061 clauses out of 22127 with flag 65001/561954 389.23/198.11 c cleaning 12029 clauses out of 24066 with flag 78001/574954 398.88/203.07 c cleaning 13011 clauses out of 26039 with flag 92003/588956 409.58/208.42 c cleaning 13998 clauses out of 28025 with flag 107000/603953 420.88/214.15 c cleaning 15007 clauses out of 30027 with flag 123000/619953 431.58/219.57 c cleaning 15506 clauses out of 31020 with flag 139000/635953 443.02/225.31 c cleaning 15744 clauses out of 31514 with flag 155000/651953 454.12/230.92 c cleaning 15877 clauses out of 31770 with flag 171000/667953 464.82/236.35 c cleaning 15941 clauses out of 31894 with flag 187001/683954 475.91/241.92 c cleaning 15967 clauses out of 31953 with flag 203001/699954 486.53/247.31 c cleaning 15980 clauses out of 31987 with flag 219002/715955 498.02/253.16 c cleaning 15993 clauses out of 32005 with flag 235000/731953 509.71/259.03 c cleaning 15996 clauses out of 32012 with flag 251000/747953 521.40/264.95 c cleaning 15993 clauses out of 32017 with flag 267001/763954 532.44/270.53 c cleaning 16002 clauses out of 32023 with flag 283000/779953 543.71/276.28 c cleaning 15991 clauses out of 32021 with flag 299000/795953 554.21/281.55 c cleaning 16000 clauses out of 32031 with flag 315001/811954 565.09/287.03 c cleaning 15998 clauses out of 32030 with flag 331000/827953 576.72/292.91 c cleaning 16004 clauses out of 32032 with flag 347000/843953 588.19/298.79 c cleaning 16006 clauses out of 32029 with flag 363001/859954 599.91/304.64 c cleaning 16004 clauses out of 32023 with flag 379001/875954 611.37/310.46 c cleaning 15996 clauses out of 32018 with flag 395000/891953 622.99/316.31 c cleaning 16002 clauses out of 32024 with flag 411002/907955 634.48/322.14 c cleaning 16004 clauses out of 32020 with flag 427000/923953 646.19/328.08 c cleaning 15999 clauses out of 32016 with flag 443000/939953 657.07/333.50 c cleaning 15999 clauses out of 32017 with flag 459000/955953 668.09/339.11 c cleaning 16003 clauses out of 32018 with flag 475000/971953 678.19/344.23 c cleaning 15995 clauses out of 32015 with flag 491000/987953 688.86/349.61 c cleaning 16005 clauses out of 32020 with flag 507000/1003953 700.72/355.68 c cleaning 16000 clauses out of 32017 with flag 523002/1019955 711.94/361.37 c cleaning 15995 clauses out of 32015 with flag 539001/1035954 724.04/367.49 c cleaning 16001 clauses out of 32019 with flag 555000/1051953 736.11/373.55 c cleaning 15992 clauses out of 32020 with flag 571002/1067955 747.39/379.21 c cleaning 16009 clauses out of 32027 with flag 587001/1083954 759.21/385.29 c cleaning 16002 clauses out of 32018 with flag 603001/1099954 770.29/390.90 c cleaning 15997 clauses out of 32016 with flag 619001/1115954 781.97/396.73 c cleaning 15993 clauses out of 32018 with flag 635000/1131953 793.65/402.68 c cleaning 16001 clauses out of 32026 with flag 651001/1147954 805.24/408.56 c cleaning 16002 clauses out of 32024 with flag 667000/1163953 817.70/414.83 c cleaning 16007 clauses out of 32022 with flag 683000/1179953 830.40/421.25 c cleaning 16002 clauses out of 32016 with flag 699001/1195954 842.26/427.23 c cleaning 15995 clauses out of 32013 with flag 715000/1211953 854.69/433.51 c cleaning 15996 clauses out of 32019 with flag 731001/1227954 867.17/439.86 c cleaning 16008 clauses out of 32020 with flag 747000/1243953 873.45/443.01 c And the winner is Resolution 873.76/443.62 c starts : 196 873.76/443.62 c conflicts : 1252576 873.76/443.62 c decisions : 2762168 873.76/443.62 c propagations : 280746246 873.76/443.62 c inspects : 1235151726 873.76/443.62 c shortcuts : 0 873.76/443.62 c learnt literals : 24 873.76/443.62 c learnt binary clauses : 407 873.76/443.62 c learnt ternary clauses : 3454 873.76/443.62 c learnt constraints : 1252551 873.76/443.62 c ignored constraints : 0 873.76/443.62 c root simplifications : 0 873.76/443.62 c removed literals (reason simplification) : 9917739 873.76/443.62 c reason swapping (by a shorter reason) : 0 873.76/443.62 c Calls to reduceDB : 90 873.76/443.62 c number of reductions to clauses (during analyze) : 0 873.76/443.62 c number of learned constraints concerned by reduction : 0 873.76/443.62 c number of learning phase by resolution : 0 873.76/443.62 c number of learning phase by cutting planes : 0 873.76/443.62 c speed (assignments/second) : 1037752.3111783036 873.76/443.62 c non guided choices 1462 873.76/443.62 c learnt constraints type 873.76/443.62 c constraints type 873.76/443.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 873.76/443.62 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 873.76/443.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 873.76/443.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 873.76/443.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 873.76/443.62 c constraints type 873.76/443.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 873.76/443.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 873.76/443.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 873.76/443.62 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 873.76/443.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 873.76/443.62 s OPTIMUM FOUND 873.76/443.63 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 873.76/443.63 c objective function=17754249 873.76/443.63 c Total wall clock time (in seconds): 443.518
OK 17754249
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744168-1338796521/watcher-3744168-1338796521 -o /tmp/evaluation-result-3744168-1338796521/solver-3744168-1338796521 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744168-1338796521.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.94 3.86 3.70 4/197 24734 /proc/meminfo: memFree=27787188/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/24734/stat : 24734 (java) D 24732 24734 22704 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 345778091 9515008 182 33554432000 1073741824 1073778376 140734463219376 140734463210408 217410518709 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/24734/statm: 2323 182 140 9 0 71 0 [startup+0.0632791 s] /proc/loadavg: 3.94 3.86 3.70 4/197 24734 /proc/meminfo: memFree=27787188/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11253516 CPUtime=0.04 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 4309 0 1 0 3 1 0 0 20 0 13 0 345778091 11523600384 12162 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2813379 12162 1709 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.100234 s] /proc/loadavg: 3.94 3.86 3.70 4/197 24734 /proc/meminfo: memFree=27787188/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11586392 CPUtime=0.08 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 5241 0 1 0 7 1 0 0 20 0 18 0 345778091 11864465408 13585 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2896598 13585 2116 9 0 2887285 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11586392 [startup+0.300191 s] /proc/loadavg: 3.94 3.86 3.70 4/197 24734 /proc/meminfo: memFree=27787188/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11586392 CPUtime=0.52 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 7088 0 1 0 51 1 0 0 20 0 18 0 345778091 11864465408 17482 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2896598 17482 2235 9 0 2887285 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 11586392 [startup+0.700303 s] /proc/loadavg: 3.94 3.86 3.70 4/197 24734 /proc/meminfo: memFree=27787188/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11852648 CPUtime=1.64 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 10789 0 1 0 159 5 0 0 20 0 19 0 345778091 12137111552 29683 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2963162 29683 2262 9 0 2953849 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 11852648 [startup+1.50055 s] /proc/loadavg: 3.79 3.83 3.69 4/216 24756 /proc/meminfo: memFree=27676672/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11852648 CPUtime=2.16 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 18076 0 1 0 208 8 0 0 20 0 19 0 345778091 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2963162 35531 2262 9 0 2953849 0 [pid=24734/tid=24736] ppid=24732 vsize=11852648 CPUtime=0.48 cores=1,3,5,7 /proc/24734/task/24736/stat : 24736 (java) S 24732 24734 22704 0 -1 4202560 3405 0 1 0 46 2 0 0 20 0 19 0 345778092 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193938130072 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24737] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24737/stat : 24737 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193775286568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24738] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24738/stat : 24738 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193774233768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24739] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24739/stat : 24739 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193705224744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24740] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24740/stat : 24740 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193704171944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24741] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24741/stat : 24741 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193703119656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24742] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24742/stat : 24742 (java) S 24732 24734 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193702066856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24743] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24743/stat : 24743 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193701014568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24744] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24744/stat : 24744 (java) S 24732 24734 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345778094 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193699961768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24745] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24745/stat : 24745 (java) S 24732 24734 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193687763176 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24746] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24746/stat : 24746 (java) S 24732 24734 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193686709240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24747] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24747/stat : 24747 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193685656840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24748] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24748/stat : 24748 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193684605328 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24749] ppid=24732 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/24734/task/24749/stat : 24749 (java) S 24732 24734 22704 0 -1 4202560 6670 0 0 0 62 2 0 0 20 0 19 0 345778098 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193683552952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24750] ppid=24732 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/24734/task/24750/stat : 24750 (java) S 24732 24734 22704 0 -1 4202560 6699 0 0 0 65 0 0 0 20 0 19 0 345778098 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193682500152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24751] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24751/stat : 24751 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193681448056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24752] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24752/stat : 24752 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193680395464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24756] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24756/stat : 24756 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345778143 12137111552 35531 33554432000 1073741824 1073778376 140735753921232 140193676182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 11852648 [startup+3.10066 s] /proc/loadavg: 3.79 3.83 3.69 3/216 24765 /proc/meminfo: memFree=27639116/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11852648 CPUtime=3.86 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 18310 0 1 0 371 15 0 0 20 0 22 0 345778091 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2963162 107801 2267 9 0 2953849 0 [pid=24734/tid=24736] ppid=24732 vsize=11852648 CPUtime=0.55 cores=1,3,5,7 /proc/24734/task/24736/stat : 24736 (java) S 24732 24734 22704 0 -1 4202560 3408 0 1 0 52 3 0 0 20 0 22 0 345778092 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193938130088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24737] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24737/stat : 24737 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193775286568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24738] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24738/stat : 24738 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193774233768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24739] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24739/stat : 24739 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193705224744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24740] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24740/stat : 24740 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193704171944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24741] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24741/stat : 24741 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193703119656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24742] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24742/stat : 24742 (java) S 24732 24734 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193702066856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24743] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24743/stat : 24743 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193701014568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24744] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24744/stat : 24744 (java) S 24732 24734 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193699961768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24745] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24745/stat : 24745 (java) S 24732 24734 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345778096 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193687763176 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24746] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24746/stat : 24746 (java) S 24732 24734 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 345778096 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193686709240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24747] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24747/stat : 24747 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345778096 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193685656840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24748] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24748/stat : 24748 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193684605328 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24749] ppid=24732 vsize=11852648 CPUtime=0.94 cores=1,3,5,7 /proc/24734/task/24749/stat : 24749 (java) S 24732 24734 22704 0 -1 4202560 6676 0 0 0 92 2 0 0 20 0 22 0 345778098 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193683552952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24750] ppid=24732 vsize=11852648 CPUtime=0.9 cores=1,3,5,7 /proc/24734/task/24750/stat : 24750 (java) S 24732 24734 22704 0 -1 4202560 6757 0 0 0 89 1 0 0 20 0 22 0 345778098 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193682500152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24751] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24751/stat : 24751 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193681448056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24752] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24752/stat : 24752 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193680395464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24756] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24756/stat : 24756 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345778143 12137111552 107801 33554432000 1073741824 1073778376 140735753921232 140193676182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 11852648 [startup+6.30083 s] /proc/loadavg: 3.79 3.83 3.69 5/219 24768 /proc/meminfo: memFree=26180824/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11852648 CPUtime=10.41 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 18973 0 1 0 1005 36 0 0 20 0 22 0 345778091 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2963162 402895 2292 9 0 2953849 0 [pid=24734/tid=24736] ppid=24732 vsize=11852648 CPUtime=0.55 cores=1,3,5,7 /proc/24734/task/24736/stat : 24736 (java) S 24732 24734 22704 0 -1 4202560 3408 0 1 0 52 3 0 0 20 0 22 0 345778092 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193938130088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24737] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24737/stat : 24737 (java) S 24732 24734 22704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193775286568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24738] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24738/stat : 24738 (java) S 24732 24734 22704 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193774233768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24739] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24739/stat : 24739 (java) S 24732 24734 22704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193705224744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24740] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24740/stat : 24740 (java) S 24732 24734 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193704171944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24741] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24741/stat : 24741 (java) S 24732 24734 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193703119656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24742] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24742/stat : 24742 (java) S 24732 24734 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193702066856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24743] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24743/stat : 24743 (java) S 24732 24734 22704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193701014568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24744] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24744/stat : 24744 (java) S 24732 24734 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 345778094 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193699961768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24745] ppid=24732 vsize=11852648 CPUtime=0.06 cores=1,3,5,7 /proc/24734/task/24745/stat : 24745 (java) R 24732 24734 22704 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 345778096 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193687762152 140193944254067 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24746] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24746/stat : 24746 (java) S 24732 24734 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345778096 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193686709240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24747] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24747/stat : 24747 (java) S 24732 24734 22704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345778096 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193685656840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24748] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24748/stat : 24748 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193684605328 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24749] ppid=24732 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/24734/task/24749/stat : 24749 (java) S 24732 24734 22704 0 -1 4202560 6684 0 0 0 103 2 0 0 20 0 22 0 345778098 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193683552952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24750] ppid=24732 vsize=11852648 CPUtime=0.99 cores=1,3,5,7 /proc/24734/task/24750/stat : 24750 (java) S 24732 24734 22704 0 -1 4202560 6758 0 0 0 98 1 0 0 20 0 22 0 345778098 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193682500152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24751] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24751/stat : 24751 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193681448056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24752] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24752/stat : 24752 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193680395464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24756] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24756/stat : 24756 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345778143 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193676182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24766] ppid=24732 vsize=11852648 CPUtime=3.59 cores=1,3,5,7 /proc/24734/task/24766/stat : 24766 (java) S 24732 24734 22704 0 -1 4202560 13 0 0 0 359 0 0 0 20 0 22 0 345778349 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193677234888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24767] ppid=24732 vsize=11852648 CPUtime=3.6 cores=1,3,5,7 /proc/24734/task/24767/stat : 24767 (java) S 24732 24734 22704 0 -1 4202560 701 0 0 0 337 23 0 0 20 0 22 0 345778349 12137111552 402895 33554432000 1073741824 1073778376 140735753921232 140193679338504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ /proc/24734/task/24740/stat : 24740 (java) S 24732 24734 22704 0 -1 4202560 46 0 0 0 41 0 0 0 20 0 22 0 345778094 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193704171944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24741] ppid=24732 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/24734/task/24741/stat : 24741 (java) S 24732 24734 22704 0 -1 4202560 56 0 0 0 43 0 0 0 20 0 22 0 345778094 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193703119656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24742] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24742/stat : 24742 (java) S 24732 24734 22704 0 -1 4202560 59 0 0 0 39 2 0 0 20 0 22 0 345778094 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193702066856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24743] ppid=24732 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/24734/task/24743/stat : 24743 (java) S 24732 24734 22704 0 -1 4202560 67 0 0 0 43 2 0 0 20 0 22 0 345778094 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193701014568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24744] ppid=24732 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/24734/task/24744/stat : 24744 (java) S 24732 24734 22704 0 -1 4202560 61 0 0 0 37 0 0 0 20 0 22 0 345778094 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193699961768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24745] ppid=24732 vsize=11852648 CPUtime=10.16 cores=1,3,5,7 /proc/24734/task/24745/stat : 24745 (java) S 24732 24734 22704 0 -1 4202560 108 0 0 0 1009 7 0 0 20 0 22 0 345778096 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193687763176 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24746] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24746/stat : 24746 (java) S 24732 24734 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345778096 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193686709240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24747] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24747/stat : 24747 (java) S 24732 24734 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345778096 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193685656840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24748] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24748/stat : 24748 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193684605328 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24749] ppid=24732 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/24734/task/24749/stat : 24749 (java) S 24732 24734 22704 0 -1 4202560 6689 0 0 0 121 2 0 0 20 0 22 0 345778098 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193683552952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24750] ppid=24732 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/24734/task/24750/stat : 24750 (java) S 24732 24734 22704 0 -1 4202560 6765 0 0 0 123 1 0 0 20 0 22 0 345778098 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193682500152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24751] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24751/stat : 24751 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345778098 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193681448056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24752] ppid=24732 vsize=11852648 CPUtime=0.15 cores=1,3,5,7 /proc/24734/task/24752/stat : 24752 (java) S 24732 24734 22704 0 -1 4202560 27 0 0 0 6 9 0 0 20 0 22 0 345778098 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193680395464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24756] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24756/stat : 24756 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345778143 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193676182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24776] ppid=24732 vsize=11852648 CPUtime=261.45 cores=1,3,5,7 /proc/24734/task/24776/stat : 24776 (java) R 24732 24734 22704 0 -1 4202560 59 0 0 0 26142 3 0 0 20 0 22 0 345795400 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193679340496 140193789880205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24777] ppid=24732 vsize=11852648 CPUtime=261.49 cores=1,3,5,7 /proc/24734/task/24777/stat : 24777 (java) R 24732 24734 22704 0 -1 4202560 41 0 0 0 26146 3 0 0 20 0 22 0 345795400 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193678285472 140193790224973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24778] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24778/stat : 24778 (java) S 24732 24734 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345795400 12137111552 898858 33554432000 1073741824 1073778376 140735753921232 140193677235112 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 872.04 Current children cumulated vsize (KiB) 11852648 [startup+443.101 s] /proc/loadavg: 3.99 3.92 3.77 5/219 24868 /proc/meminfo: memFree=24225128/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11852648 CPUtime=873.66 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 20596 0 1 0 87258 108 0 0 20 0 19 0 345778091 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2963162 898849 2293 9 0 2953849 0 [pid=24734/tid=24736] ppid=24732 vsize=11852648 CPUtime=0.61 cores=1,3,5,7 /proc/24734/task/24736/stat : 24736 (java) S 24732 24734 22704 0 -1 4202560 3424 0 1 0 58 3 0 0 20 0 19 0 345778092 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193938130088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24737] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24737/stat : 24737 (java) S 24732 24734 22704 0 -1 4202560 59 0 0 0 41 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193775286568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24738] ppid=24732 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/24734/task/24738/stat : 24738 (java) S 24732 24734 22704 0 -1 4202560 53 0 0 0 44 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193774233768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24739] ppid=24732 vsize=11852648 CPUtime=0.42 cores=1,3,5,7 /proc/24734/task/24739/stat : 24739 (java) S 24732 24734 22704 0 -1 4202560 61 0 0 0 40 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193705224744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24740] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24740/stat : 24740 (java) S 24732 24734 22704 0 -1 4202560 46 0 0 0 41 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193704171944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24741] ppid=24732 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/24734/task/24741/stat : 24741 (java) S 24732 24734 22704 0 -1 4202560 56 0 0 0 43 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193703119656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24742] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24742/stat : 24742 (java) S 24732 24734 22704 0 -1 4202560 59 0 0 0 39 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193702066856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24743] ppid=24732 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/24734/task/24743/stat : 24743 (java) S 24732 24734 22704 0 -1 4202560 67 0 0 0 43 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193701014568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24744] ppid=24732 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/24734/task/24744/stat : 24744 (java) S 24732 24734 22704 0 -1 4202560 61 0 0 0 37 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193699961768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24745] ppid=24732 vsize=11852648 CPUtime=10.16 cores=1,3,5,7 /proc/24734/task/24745/stat : 24745 (java) S 24732 24734 22704 0 -1 4202560 108 0 0 0 1009 7 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193687763176 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24746] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24746/stat : 24746 (java) S 24732 24734 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193686709240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24747] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24747/stat : 24747 (java) S 24732 24734 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193685656840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24748] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24748/stat : 24748 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193684605328 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24749] ppid=24732 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/24734/task/24749/stat : 24749 (java) S 24732 24734 22704 0 -1 4202560 6689 0 0 0 121 2 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193683552952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24750] ppid=24732 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/24734/task/24750/stat : 24750 (java) S 24732 24734 22704 0 -1 4202560 6765 0 0 0 123 1 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193682500152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24751] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24751/stat : 24751 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193681448056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24752] ppid=24732 vsize=11852648 CPUtime=0.15 cores=1,3,5,7 /proc/24734/task/24752/stat : 24752 (java) S 24732 24734 22704 0 -1 4202560 27 0 0 0 6 9 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193680395464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24756] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24756/stat : 24756 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345778143 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193676182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 873.66 Current children cumulated vsize (KiB) 11852648 [startup+443.501 s] /proc/loadavg: 3.99 3.92 3.77 3/216 24868 /proc/meminfo: memFree=24225128/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11852648 CPUtime=873.66 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 20596 0 1 0 87258 108 0 0 20 0 19 0 345778091 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2963162 898849 2293 9 0 2953849 0 [pid=24734/tid=24736] ppid=24732 vsize=11852648 CPUtime=0.61 cores=1,3,5,7 /proc/24734/task/24736/stat : 24736 (java) S 24732 24734 22704 0 -1 4202560 3424 0 1 0 58 3 0 0 20 0 19 0 345778092 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193938130088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24737] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24737/stat : 24737 (java) S 24732 24734 22704 0 -1 4202560 59 0 0 0 41 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193775286568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24738] ppid=24732 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/24734/task/24738/stat : 24738 (java) S 24732 24734 22704 0 -1 4202560 53 0 0 0 44 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193774233768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24739] ppid=24732 vsize=11852648 CPUtime=0.42 cores=1,3,5,7 /proc/24734/task/24739/stat : 24739 (java) S 24732 24734 22704 0 -1 4202560 61 0 0 0 40 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193705224744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24740] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24740/stat : 24740 (java) S 24732 24734 22704 0 -1 4202560 46 0 0 0 41 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193704171944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24741] ppid=24732 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/24734/task/24741/stat : 24741 (java) S 24732 24734 22704 0 -1 4202560 56 0 0 0 43 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193703119656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24742] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24742/stat : 24742 (java) S 24732 24734 22704 0 -1 4202560 59 0 0 0 39 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193702066856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24743] ppid=24732 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/24734/task/24743/stat : 24743 (java) S 24732 24734 22704 0 -1 4202560 67 0 0 0 43 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193701014568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24744] ppid=24732 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/24734/task/24744/stat : 24744 (java) S 24732 24734 22704 0 -1 4202560 61 0 0 0 37 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193699961768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24745] ppid=24732 vsize=11852648 CPUtime=10.16 cores=1,3,5,7 /proc/24734/task/24745/stat : 24745 (java) S 24732 24734 22704 0 -1 4202560 108 0 0 0 1009 7 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193687763176 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24746] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24746/stat : 24746 (java) S 24732 24734 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193686709240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24747] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24747/stat : 24747 (java) S 24732 24734 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193685656840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24748] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24748/stat : 24748 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193684605328 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24749] ppid=24732 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/24734/task/24749/stat : 24749 (java) S 24732 24734 22704 0 -1 4202560 6689 0 0 0 121 2 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193683552952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24750] ppid=24732 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/24734/task/24750/stat : 24750 (java) S 24732 24734 22704 0 -1 4202560 6765 0 0 0 123 1 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193682500152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24751] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24751/stat : 24751 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193681448056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24752] ppid=24732 vsize=11852648 CPUtime=0.15 cores=1,3,5,7 /proc/24734/task/24752/stat : 24752 (java) S 24732 24734 22704 0 -1 4202560 27 0 0 0 6 9 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193680395464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24756] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24756/stat : 24756 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345778143 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193676182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 873.66 Current children cumulated vsize (KiB) 11852648 [startup+443.601 s] /proc/loadavg: 3.99 3.92 3.77 3/216 24868 /proc/meminfo: memFree=24225128/32873648 swapFree=7628/7628 [pid=24734] ppid=24732 vsize=11852648 CPUtime=873.76 cores=1,3,5,7 /proc/24734/stat : 24734 (java) S 24732 24734 22704 0 -1 4202496 20598 0 1 0 87268 108 0 0 20 0 19 0 345778091 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140735753912368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24734/statm: 2963162 898849 2293 9 0 2953849 0 [pid=24734/tid=24736] ppid=24732 vsize=11852648 CPUtime=0.7 cores=1,3,5,7 /proc/24734/task/24736/stat : 24736 (java) R 24732 24734 22704 0 -1 4202560 3424 0 1 0 67 3 0 0 20 0 19 0 345778092 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193938129704 140193790437419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24737] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24737/stat : 24737 (java) S 24732 24734 22704 0 -1 4202560 59 0 0 0 41 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193775286568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24738] ppid=24732 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/24734/task/24738/stat : 24738 (java) S 24732 24734 22704 0 -1 4202560 53 0 0 0 44 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193774233768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24739] ppid=24732 vsize=11852648 CPUtime=0.42 cores=1,3,5,7 /proc/24734/task/24739/stat : 24739 (java) S 24732 24734 22704 0 -1 4202560 61 0 0 0 40 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193705224744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24740] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24740/stat : 24740 (java) S 24732 24734 22704 0 -1 4202560 46 0 0 0 41 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193704171944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24741] ppid=24732 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/24734/task/24741/stat : 24741 (java) S 24732 24734 22704 0 -1 4202560 56 0 0 0 43 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193703119656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24742] ppid=24732 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/24734/task/24742/stat : 24742 (java) S 24732 24734 22704 0 -1 4202560 59 0 0 0 39 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193702066856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24743] ppid=24732 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/24734/task/24743/stat : 24743 (java) S 24732 24734 22704 0 -1 4202560 67 0 0 0 43 2 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193701014568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24744] ppid=24732 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/24734/task/24744/stat : 24744 (java) S 24732 24734 22704 0 -1 4202560 61 0 0 0 37 0 0 0 20 0 19 0 345778094 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193699961768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24745] ppid=24732 vsize=11852648 CPUtime=10.16 cores=1,3,5,7 /proc/24734/task/24745/stat : 24745 (java) S 24732 24734 22704 0 -1 4202560 108 0 0 0 1009 7 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193687763176 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24746] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24746/stat : 24746 (java) S 24732 24734 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193686709240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24747] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24747/stat : 24747 (java) S 24732 24734 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345778096 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193685656840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24748] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24748/stat : 24748 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193684605328 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24749] ppid=24732 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/24734/task/24749/stat : 24749 (java) S 24732 24734 22704 0 -1 4202560 6690 0 0 0 121 2 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193683552952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24750] ppid=24732 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/24734/task/24750/stat : 24750 (java) S 24732 24734 22704 0 -1 4202560 6766 0 0 0 123 1 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193682500152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24751] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24751/stat : 24751 (java) S 24732 24734 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193681448056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24734/tid=24752] ppid=24732 vsize=11852648 CPUtime=0.15 cores=1,3,5,7 /proc/24734/task/24752/stat : 24752 (java) S 24732 24734 22704 0 -1 4202560 27 0 0 0 6 9 0 0 20 0 19 0 345778098 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193680395464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24734/tid=24756] ppid=24732 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24734/task/24756/stat : 24756 (java) S 24732 24734 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345778143 12137111552 898849 33554432000 1073741824 1073778376 140735753921232 140193676182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 873.76 Current children cumulated vsize (KiB) 11852648 Child status: 30 Real time (s): 443.653 CPU time (s): 873.91 CPU user time (s): 872.729 CPU system time (s): 1.18082 CPU usage (%): 196.981 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 872.729 system time used= 1.18082 maximum resident set size= 3595436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20608 page faults= 1 swaps= 0 block input operations= 0 block output operations= 512 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15403 involuntary context switches= 14567 runsolver used 1.86272 second user time and 4.87326 second system time The end
Begin job on node122 at 2012-06-04 09:55:21 IDJOB=3744168 IDBENCH=92699 IDSOLVER=2328 FILE ID=node122/3744168-1338796521 RUNJOBID= node122-1338785055-22721 PBS_JOBID= 14636854 Free space on /tmp= 71184 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_1_mh.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744168-1338796521/watcher-3744168-1338796521 -o /tmp/evaluation-result-3744168-1338796521/solver-3744168-1338796521 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744168-1338796521.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8032cd9ddf37959390b9864499521c4d RANDOM SEED=1409490041 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27787832 kB Buffers: 276236 kB Cached: 299376 kB SwapCached: 1584 kB Active: 4016920 kB Inactive: 210448 kB Active(anon): 3648932 kB Inactive(anon): 5436 kB Active(file): 367988 kB Inactive(file): 205012 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100244 kB Dirty: 564 kB Writeback: 0 kB AnonPages: 3660432 kB Mapped: 17052 kB Shmem: 0 kB Slab: 713720 kB SReclaimable: 157532 kB SUnreclaim: 556188 kB KernelStack: 1616 kB PageTables: 10904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10495412 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3596288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71184 MiB End job on node122 at 2012-06-04 10:02:45