Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2012-05-28 | MSAT (TO) | 1800.04 | 1887.38 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo |
| MD5SUM | fc69cf5fb8ed09269ce87a121862dce7 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 4.6013 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5100 |
| Total number of constraints | 202 |
| Number of soft constraints | 140 |
| Number of constraints which are clauses | 102 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 51 |
| Top cost | 6854 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 6853 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 52 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.19 c See www.sat4j.org for details. 0.08/0.20 c version 2.3.2.v20120528 0.08/0.20 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.20 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.20 c java.vm.version 19.1-b02 0.08/0.20 c java.vm.vendor Sun Microsystems Inc. 0.08/0.20 c sun.arch.data.model 64 0.08/0.20 c java.version 1.6.0_24 0.08/0.20 c os.name Linux 0.08/0.20 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.20 c os.arch amd64 0.08/0.20 c Free memory 501472288 0.08/0.20 c Max memory 7480803328 0.08/0.20 c Total memory 504102912 0.08/0.20 c Number of processors 8 0.08/0.22 c Pseudo Boolean Optimization by upper bound 0.08/0.22 c --- Begin Solver configuration --- 0.08/0.22 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.08/0.22 c Learn all clauses as in MiniSAT 0.08/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.22 c No reason simplification 0.08/0.22 c Armin Biere (Picosat) restarts strategy 0.08/0.22 c Glucose 2 learned constraints deletion strategy 0.08/0.22 c timeout=2147483s 0.08/0.22 c DB Simplification allowed=false 0.08/0.22 c --- End Solver configuration --- 0.08/0.22 c solving HOME/instance-3718077-1338248942.wbo 0.08/0.22 c reading problem ... 0.51/0.41 c ... done. Wall clock time 0.185s. 0.51/0.41 c declared #vars 5100 0.51/0.41 c internal #vars 5240 0.51/0.41 c #constraints 202 0.51/0.41 c constraints type 0.51/0.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102 0.51/0.41 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 0.51/0.41 c ignored satisfied constraints => 1 0.51/0.41 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.51/0.41 c 203 constraints processed. 0.51/0.41 c objective function length is 140 literals 1.10/0.65 c SATISFIABLE 1.10/0.65 c OPTIMIZING... 1.10/0.65 c Got one! Elapsed wall clock time (in seconds):0.425 1.10/0.65 o 85 1.10/0.69 c Got one! Elapsed wall clock time (in seconds):0.468 1.10/0.69 o 53 1.36/0.75 c Got one! Elapsed wall clock time (in seconds):0.53 1.36/0.75 o 47 1.51/0.84 c Got one! Elapsed wall clock time (in seconds):0.616 1.51/0.84 o 26 1.51/0.88 c Got one! Elapsed wall clock time (in seconds):0.656 1.51/0.88 o 10 1.75/1.06 c Got one! Elapsed wall clock time (in seconds):0.842 1.75/1.06 o 7 2.07/1.30 c cleaning 4195 clauses out of 8402 with flag 12367/8402 2.07/1.33 c Got one! Elapsed wall clock time (in seconds):1.104 2.07/1.33 o 6 2.52/1.74 c cleaning 4575 clauses out of 9220 with flag 29985/13415 2.63/1.83 c Got one! Elapsed wall clock time (in seconds):1.606 2.63/1.83 o 4 2.93/2.18 c cleaning 4875 clauses out of 9770 with flag 25210/18540 3.44/2.63 c cleaning 5417 clauses out of 10895 with flag 61085/24540 4.21/3.35 c cleaning 6207 clauses out of 12478 with flag 108859/31540 4.92/4.01 c cleaning 7136 clauses out of 14271 with flag 159220/39540 5.93/5.03 c cleaning 8043 clauses out of 16135 with flag 218583/48540 7.15/6.22 c cleaning 8932 clauses out of 18093 with flag 286209/58541 9.17/8.29 c cleaning 9854 clauses out of 20159 with flag 374803/69539 14.47/13.46 c cleaning 11056 clauses out of 22311 with flag 510734/81545 16.74/15.67 c cleaning 11719 clauses out of 24249 with flag 621628/94539 18.78/17.65 c cleaning 13235 clauses out of 26530 with flag 727579/108539 20.41/19.28 c cleaning 14097 clauses out of 28295 with flag 832428/123539 22.62/21.44 c cleaning 15066 clauses out of 30202 with flag 945067/139543 25.04/23.84 c cleaning 16029 clauses out of 32136 with flag 1072364/156543 28.46/27.24 c cleaning 16983 clauses out of 34103 with flag 1185087/174539 31.01/29.78 c cleaning 18015 clauses out of 36120 with flag 1324251/193539 34.12/32.80 c cleaning 19016 clauses out of 38105 with flag 1455056/213539 37.93/36.65 c cleaning 20013 clauses out of 40089 with flag 1606633/234539 41.45/40.12 c cleaning 21001 clauses out of 42077 with flag 1778250/256540 44.09/42.70 c cleaning 21975 clauses out of 44082 with flag 1928205/279546 47.81/46.47 c cleaning 23032 clauses out of 46103 with flag 2094748/303542 52.54/51.10 c cleaning 24019 clauses out of 48069 with flag 2282120/328540 58.17/56.75 c cleaning 25015 clauses out of 50052 with flag 2488071/354542 63.25/61.75 c cleaning 25999 clauses out of 52034 with flag 2713189/381539 66.57/65.07 c cleaning 26994 clauses out of 54037 with flag 2909850/409541 71.72/70.14 c cleaning 27988 clauses out of 56041 with flag 3127400/438539 77.74/76.10 c cleaning 29014 clauses out of 58053 with flag 3352506/468539 84.60/82.90 c cleaning 29995 clauses out of 60041 with flag 3604194/499541 91.75/90.08 c cleaning 31002 clauses out of 62044 with flag 3870182/531539 100.52/98.73 c cleaning 32001 clauses out of 64042 with flag 4106150/564539 106.76/104.99 c cleaning 32995 clauses out of 66043 with flag 4355397/598541 113.82/111.91 c cleaning 34013 clauses out of 68047 with flag 4611293/633540 121.18/119.25 c cleaning 34998 clauses out of 70033 with flag 4906626/669539 132.47/130.42 c cleaning 35981 clauses out of 72035 with flag 5288609/706539 142.64/140.53 c cleaning 37016 clauses out of 74054 with flag 5634706/744539 152.80/150.67 c cleaning 38012 clauses out of 76039 with flag 6034490/783540 164.68/162.48 c cleaning 38989 clauses out of 78026 with flag 6403335/823539 178.53/176.28 c cleaning 39997 clauses out of 80038 with flag 6794905/864540 186.13/183.74 c cleaning 41000 clauses out of 82043 with flag 7136031/906542 194.50/192.08 c cleaning 42007 clauses out of 84042 with flag 7463895/949541 204.46/201.98 c cleaning 43003 clauses out of 86033 with flag 7811684/993539 216.21/213.67 c cleaning 43998 clauses out of 88031 with flag 8154771/1038540 228.21/225.53 c cleaning 45002 clauses out of 90034 with flag 8547459/1084541 243.36/240.61 c cleaning 46005 clauses out of 92030 with flag 8999075/1131539 258.82/256.02 c cleaning 47006 clauses out of 94027 with flag 9446760/1179541 271.13/268.20 c cleaning 47990 clauses out of 96021 with flag 9900205/1228541 287.11/284.10 c cleaning 48984 clauses out of 98030 with flag 10339562/1278540 299.91/296.81 c cleaning 50009 clauses out of 100046 with flag 10820577/1329540 308.10/304.99 c cleaning 50989 clauses out of 102037 with flag 11172517/1381540 321.17/317.97 c cleaning 51995 clauses out of 104050 with flag 11631121/1434542 335.23/331.96 c cleaning 53018 clauses out of 106053 with flag 12021395/1488540 346.45/343.08 c cleaning 53994 clauses out of 108035 with flag 12458425/1543540 365.72/362.21 c cleaning 55008 clauses out of 110040 with flag 12989730/1599539 383.01/379.50 c cleaning 55998 clauses out of 112033 with flag 13466447/1656540 412.04/408.22 c cleaning 56998 clauses out of 114037 with flag 13935821/1714542 435.49/431.55 c cleaning 58007 clauses out of 116037 with flag 14395757/1773540 451.33/447.30 c cleaning 58986 clauses out of 118034 with flag 14854474/1833544 470.72/466.65 c cleaning 59997 clauses out of 120043 with flag 15392974/1894539 492.02/487.85 c cleaning 60995 clauses out of 122046 with flag 15965661/1956539 506.65/502.27 c cleaning 61980 clauses out of 124052 with flag 16446108/2019540 520.59/516.00 c cleaning 63030 clauses out of 126072 with flag 16922513/2083540 537.92/533.33 c cleaning 64002 clauses out of 128041 with flag 17426219/2148539 554.74/550.08 c cleaning 65010 clauses out of 130040 with flag 17933637/2214540 576.15/571.21 c cleaning 65962 clauses out of 132029 with flag 18494075/2281539 603.07/597.85 c cleaning 67020 clauses out of 134067 with flag 19009837/2349539 629.38/623.96 c cleaning 68015 clauses out of 136051 with flag 19578769/2418543 648.18/642.67 c cleaning 68992 clauses out of 138033 with flag 20136961/2488540 669.10/663.38 c cleaning 69995 clauses out of 140040 with flag 20716273/2559539 691.01/685.04 c cleaning 70987 clauses out of 142046 with flag 21293112/2631540 713.63/707.45 c cleaning 72013 clauses out of 144060 with flag 21839735/2704541 747.74/741.35 c cleaning 73010 clauses out of 146046 with flag 22457166/2778540 782.76/776.17 c cleaning 74001 clauses out of 148035 with flag 23101456/2853539 820.59/813.79 c cleaning 75001 clauses out of 150034 with flag 23633460/2929539 848.93/841.82 c cleaning 75985 clauses out of 152034 with flag 24208633/3006540 868.15/860.85 c cleaning 77007 clauses out of 154048 with flag 24803598/3084539 890.37/882.81 c cleaning 77980 clauses out of 156041 with flag 25495235/3163539 918.29/910.53 c cleaning 79021 clauses out of 158061 with flag 26113726/3243539 942.08/934.14 c cleaning 79997 clauses out of 160040 with flag 26729288/3324539 977.85/969.74 c cleaning 81003 clauses out of 162043 with flag 27291265/3406539 1008.05/999.76 c cleaning 82008 clauses out of 164044 with flag 27973017/3489543 1046.04/1037.52 c cleaning 83008 clauses out of 166032 with flag 28664189/3573539 1084.48/1075.80 c cleaning 83998 clauses out of 168026 with flag 29335567/3658541 1131.03/1122.07 c cleaning 84988 clauses out of 170026 with flag 29968496/3744539 1180.44/1171.24 c cleaning 85992 clauses out of 172039 with flag 30706527/3831540 1222.71/1213.11 c cleaning 86998 clauses out of 174048 with flag 31540922/3919541 1259.50/1249.54 c cleaning 88017 clauses out of 176051 with flag 32295234/4008542 1303.73/1293.44 c cleaning 89005 clauses out of 178031 with flag 33053782/4098539 1341.71/1331.56 c cleaning 89998 clauses out of 180026 with flag 33909681/4189539 1378.26/1427.37 c cleaning 91001 clauses out of 182028 with flag 34864393/4281539 1407.22/1483.25 c cleaning 92005 clauses out of 184027 with flag 35918246/4374539 1438.73/1514.91 c cleaning 93000 clauses out of 186022 with flag 36927237/4468539 1465.98/1535.80 c cleaning 93995 clauses out of 188022 with flag 37673427/4563539 1498.01/1569.10 c cleaning 94997 clauses out of 190028 with flag 38412758/4659540 1533.92/1623.41 c cleaning 95989 clauses out of 192031 with flag 39204755/4756540 1575.78/1665.04 c cleaning 97001 clauses out of 194042 with flag 39987379/4854540 1608.33/1697.13 c cleaning 98007 clauses out of 196040 with flag 40833592/4953539 1676.61/1764.73 c cleaning 98981 clauses out of 198033 with flag 41762589/5053539 1721.98/1809.61 c cleaning 100004 clauses out of 200052 with flag 42776496/5154539 1794.18/1881.61 c cleaning 100996 clauses out of 202048 with flag 43484494/5256539 1800.04/1887.31 c starts : 282 1800.04/1887.31 c conflicts : 5280027 1800.04/1887.31 c decisions : 7349749 1800.04/1887.31 c propagations : 227709623 1800.04/1887.31 c inspects : 19933318162 1800.04/1887.31 c shortcuts : 0 1800.04/1887.31 c learnt literals : 0 1800.04/1887.31 c learnt binary clauses : 0 1800.04/1887.31 c learnt ternary clauses : 0 1800.04/1887.31 c learnt constraints : 5280027 1800.04/1887.31 c ignored constraints : 0 1800.04/1887.31 c root simplifications : 0 1800.04/1887.31 c removed literals (reason simplification) : 0 1800.04/1887.31 c reason swapping (by a shorter reason) : 0 1800.04/1887.32 c Calls to reduceDB : 100 1800.04/1887.32 c Number of update (reduction) of LBD : 3190798 1800.04/1887.32 c number of reductions to clauses (during analyze) : 0 1800.04/1887.32 c number of learned constraints concerned by reduction : 0 1800.04/1887.32 c number of learning phase by resolution : 0 1800.04/1887.32 c number of learning phase by cutting planes : 0 1800.04/1887.32 c speed (assignments/second) : 120679.67817994978 1800.04/1887.32 c non guided choices 344342 1800.04/1887.34 c learnt constraints type 1800.04/1887.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124619 1800.04/1887.34 c constraints type 1800.04/1887.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102 1800.04/1887.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 1800.04/1887.34 c ignored satisfied constraints => 1 1800.04/1887.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 72 1800.04/1887.34 c 204 constraints processed. 1800.04/1887.34 s SATISFIABLE 1800.04/1887.36 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 1800.04/1887.36 c objective function=4 1800.04/1887.36 c Total wall clock time (in seconds): 1887.139
OK 4
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-3718077-1338248942/watcher-3718077-1338248942 -o /tmp/evaluation-result-3718077-1338248942/solver-3718077-1338248942 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718077-1338248942.wbo running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.05 1.50 2/171 8868 /proc/meminfo: memFree=31736664/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/8868/stat : 8868 (java) D 8866 8868 6458 0 -1 4202496 78 0 1 0 0 0 0 0 20 0 1 0 291019034 278528 33 33554432000 1073741824 1073778376 140737335032064 140737335029240 213410475303 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/8868/statm: 68 33 25 9 0 25 0 [startup+0.0940759 s] /proc/loadavg: 1.00 1.05 1.50 2/171 8868 /proc/meminfo: memFree=31736664/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=101528 CPUtime=0 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 1356 0 19 0 0 0 0 0 20 0 2 0 291019034 103964672 1057 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 25382 1057 809 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101528 [startup+0.100306 s] /proc/loadavg: 1.00 1.05 1.50 2/171 8868 /proc/meminfo: memFree=31736664/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=101528 CPUtime=0 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 1357 0 19 0 0 0 0 0 20 0 2 0 291019034 103964672 1058 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 25382 1058 809 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101528 [startup+0.300201 s] /proc/loadavg: 1.00 1.05 1.50 2/171 8868 /proc/meminfo: memFree=31736664/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9558416 CPUtime=0.26 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 4847 0 26 0 24 2 0 0 20 0 18 0 291019034 9787817984 6935 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2389604 6935 2188 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558416 [startup+0.700216 s] /proc/loadavg: 1.00 1.05 1.50 2/171 8868 /proc/meminfo: memFree=31736664/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9624980 CPUtime=1.36 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 10837 0 26 0 133 3 0 0 20 0 19 0 291019034 9855979520 12360 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2406245 12360 2240 9 0 2396937 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 9624980 [startup+1.50067 s] /proc/loadavg: 1.00 1.05 1.50 3/213 8917 /proc/meminfo: memFree=31644900/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9624980 CPUtime=2.32 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 11370 0 26 0 228 4 0 0 20 0 19 0 291019034 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2406245 20089 2269 9 0 2396937 0 [pid=8868/tid=8883] ppid=8866 vsize=9624980 CPUtime=1.33 cores=0,2,4,6 /proc/8868/task/8883/stat : 8883 (java) R 8866 8868 6458 0 -1 4202560 2483 0 7 0 132 1 0 0 20 0 19 0 291019039 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320262971840 140320088675701 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 [pid=8868/tid=8888] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8888/stat : 8888 (java) S 8866 8868 6458 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320224471592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8890] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8890/stat : 8890 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320223418792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8891] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8891/stat : 8891 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320222365992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8893] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8893/stat : 8893 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320221313192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8895] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8895/stat : 8895 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320220261416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8897] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8897/stat : 8897 (java) S 8866 8868 6458 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320219208616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8898] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8898/stat : 8898 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320218155816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8899] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8899/stat : 8899 (java) S 8866 8868 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320217103016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8901] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8901/stat : 8901 (java) S 8866 8868 6458 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320086940136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8903] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8903/stat : 8903 (java) S 8866 8868 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320085886200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8905] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8905/stat : 8905 (java) S 8866 8868 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320084833288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8906] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8906/stat : 8906 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320083781776 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8909] ppid=8866 vsize=9624980 CPUtime=0.41 cores=0,2,4,6 /proc/8868/task/8909/stat : 8909 (java) S 8866 8868 6458 0 -1 4202560 4472 0 1 0 41 0 0 0 20 0 19 0 291019050 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320082729912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8911] ppid=8866 vsize=9624980 CPUtime=0.49 cores=0,2,4,6 /proc/8868/task/8911/stat : 8911 (java) S 8866 8868 6458 0 -1 4202560 3182 0 2 0 49 0 0 0 20 0 19 0 291019050 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320081677112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8912] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8912/stat : 8912 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320080624504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8914] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8914/stat : 8914 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320079571912 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8917] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8917/stat : 8917 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019076 9855979520 20089 33554432000 1073741824 1073778376 140735756952736 140320078517416 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 9624980 [startup+3.1006 s] /proc/loadavg: 1.08 1.07 1.50 3/213 8917 /proc/meminfo: memFree=31602700/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9624980 CPUtime=4.01 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 11401 0 26 0 397 4 0 0 20 0 19 0 291019034 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2406245 22663 2269 9 0 2396937 0 [pid=8868/tid=8883] ppid=8866 vsize=9624980 CPUtime=2.88 cores=0,2,4,6 /proc/8868/task/8883/stat : 8883 (java) R 8866 8868 6458 0 -1 4202560 2484 0 7 0 286 2 0 0 20 0 19 0 291019039 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320262979872 140320088628483 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 [pid=8868/tid=8888] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8888/stat : 8888 (java) S 8866 8868 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320224471592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8890] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8890/stat : 8890 (java) S 8866 8868 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320223418792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8891] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8891/stat : 8891 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320222365992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8893] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8893/stat : 8893 (java) S 8866 8868 6458 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320221313192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8895] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8895/stat : 8895 (java) S 8866 8868 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320220261416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8897] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8897/stat : 8897 (java) S 8866 8868 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320219208616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8898] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8898/stat : 8898 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320218155816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8899] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8899/stat : 8899 (java) S 8866 8868 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320217103016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8901] ppid=8866 vsize=9624980 CPUtime=0.04 cores=0,2,4,6 /proc/8868/task/8901/stat : 8901 (java) S 8866 8868 6458 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 291019047 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320086940136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8903] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8903/stat : 8903 (java) S 8866 8868 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320085886200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8905] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8905/stat : 8905 (java) S 8866 8868 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320084833288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8906] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8906/stat : 8906 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320083781776 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8909] ppid=8866 vsize=9624980 CPUtime=0.46 cores=0,2,4,6 /proc/8868/task/8909/stat : 8909 (java) S 8866 8868 6458 0 -1 4202560 4475 0 1 0 46 0 0 0 20 0 19 0 291019050 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320082729912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8911] ppid=8866 vsize=9624980 CPUtime=0.5 cores=0,2,4,6 /proc/8868/task/8911/stat : 8911 (java) S 8866 8868 6458 0 -1 4202560 3182 0 2 0 50 0 0 0 20 0 19 0 291019050 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320081677112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8912] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8912/stat : 8912 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320080624504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8914] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8914/stat : 8914 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320079571912 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8917] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8917/stat : 8917 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019076 9855979520 22663 33554432000 1073741824 1073778376 140735756952736 140320078517416 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 9624980 [startup+6.30068 s] /proc/loadavg: 1.08 1.07 1.50 3/213 8917 /proc/meminfo: memFree=31573160/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9624980 CPUtime=7.27 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 11450 0 26 0 721 6 0 0 20 0 19 0 291019034 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2406245 27783 2269 9 0 2396937 0 [pid=8868/tid=8883] ppid=8866 vsize=9624980 CPUtime=5.98 cores=0,2,4,6 /proc/8868/task/8883/stat : 8883 (java) R 8866 8868 6458 0 -1 4202560 2489 0 7 0 596 2 0 0 20 0 19 0 291019039 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320262979872 140320088675687 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 [pid=8868/tid=8888] ppid=8866 vsize=9624980 CPUtime=0.01 cores=0,2,4,6 /proc/8868/task/8888/stat : 8888 (java) S 8866 8868 6458 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320224471592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8890] ppid=8866 vsize=9624980 CPUtime=0.01 cores=0,2,4,6 /proc/8868/task/8890/stat : 8890 (java) S 8866 8868 6458 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320223418792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8891] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8891/stat : 8891 (java) S 8866 8868 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320222365992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8893] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8893/stat : 8893 (java) S 8866 8868 6458 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320221313192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8895] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8895/stat : 8895 (java) S 8866 8868 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320220261416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8897] ppid=8866 vsize=9624980 CPUtime=0.01 cores=0,2,4,6 /proc/8868/task/8897/stat : 8897 (java) S 8866 8868 6458 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320219208616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8898] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8898/stat : 8898 (java) S 8866 8868 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320218155816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8899] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8899/stat : 8899 (java) S 8866 8868 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291019045 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320217103016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8901] ppid=8866 vsize=9624980 CPUtime=0.11 cores=0,2,4,6 /proc/8868/task/8901/stat : 8901 (java) S 8866 8868 6458 0 -1 4202560 36 0 0 0 11 0 0 0 20 0 19 0 291019047 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320086940136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8903] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8903/stat : 8903 (java) S 8866 8868 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320085886200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8905] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8905/stat : 8905 (java) S 8866 8868 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320084833288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8906] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8906/stat : 8906 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320083781776 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8909] ppid=8866 vsize=9624980 CPUtime=0.46 cores=0,2,4,6 /proc/8868/task/8909/stat : 8909 (java) S 8866 8868 6458 0 -1 4202560 4475 0 1 0 46 0 0 0 20 0 19 0 291019050 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320082729912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8911] ppid=8866 vsize=9624980 CPUtime=0.5 cores=0,2,4,6 /proc/8868/task/8911/stat : 8911 (java) S 8866 8868 6458 0 -1 4202560 3182 0 2 0 50 0 0 0 20 0 19 0 291019050 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320081677112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8912] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8912/stat : 8912 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320080624504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8914] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8914/stat : 8914 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320079571912 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8917] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8917/stat : 8917 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019076 9855979520 27783 33554432000 1073741824 1073778376 140735756952736 140320078517416 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.27 Current children cumulated vsize (KiB) 9624980 [startup+12.7007 s] ################ # More data... # ################ [pid=8868/tid=8909] ppid=8866 vsize=9624980 CPUtime=0.48 cores=0,2,4,6 /proc/8868/task/8909/stat : 8909 (java) S 8866 8868 6458 0 -1 4202560 4495 0 1 0 48 0 0 0 20 0 19 0 291019050 9855979520 312491 33554432000 1073741824 1073778376 140735756952736 140320082729912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8911] ppid=8866 vsize=9624980 CPUtime=0.5 cores=0,2,4,6 /proc/8868/task/8911/stat : 8911 (java) S 8866 8868 6458 0 -1 4202560 3182 0 2 0 50 0 0 0 20 0 19 0 291019050 9855979520 312491 33554432000 1073741824 1073778376 140735756952736 140320081677112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8912] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8912/stat : 8912 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 312491 33554432000 1073741824 1073778376 140735756952736 140320080624504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8914] ppid=8866 vsize=9624980 CPUtime=0.54 cores=0,2,4,6 /proc/8868/task/8914/stat : 8914 (java) S 8866 8868 6458 0 -1 4202560 94 0 0 0 29 25 0 0 20 0 19 0 291019050 9855979520 312491 33554432000 1073741824 1073778376 140735756952736 140320079571912 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8917] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8917/stat : 8917 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019076 9855979520 312491 33554432000 1073741824 1073778376 140735756952736 140320078517416 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1694.47 Current children cumulated vsize (KiB) 9624980 [startup+1842.3 s] /proc/loadavg: 2.07 2.58 2.39 3/213 9014 /proc/meminfo: memFree=30262704/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9624980 CPUtime=1754.88 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 17755 0 26 0 175338 150 0 0 20 0 19 0 291019034 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2406245 319494 2270 9 0 2396937 0 [pid=8868/tid=8883] ppid=8866 vsize=9624980 CPUtime=1722.26 cores=0,2,4,6 /proc/8868/task/8883/stat : 8883 (java) R 8866 8868 6458 0 -1 4202560 2675 0 7 0 172194 32 0 0 20 0 19 0 291019039 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320262979872 140320088629067 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 [pid=8868/tid=8888] ppid=8866 vsize=9624980 CPUtime=2.47 cores=0,2,4,6 /proc/8868/task/8888/stat : 8888 (java) S 8866 8868 6458 0 -1 4202560 723 0 0 0 232 15 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320224471592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8890] ppid=8866 vsize=9624980 CPUtime=2.14 cores=0,2,4,6 /proc/8868/task/8890/stat : 8890 (java) S 8866 8868 6458 0 -1 4202560 495 0 0 0 202 12 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320223418792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8891] ppid=8866 vsize=9624980 CPUtime=2.51 cores=0,2,4,6 /proc/8868/task/8891/stat : 8891 (java) S 8866 8868 6458 0 -1 4202560 692 0 0 0 230 21 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320222365992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8893] ppid=8866 vsize=9624980 CPUtime=2.16 cores=0,2,4,6 /proc/8868/task/8893/stat : 8893 (java) S 8866 8868 6458 0 -1 4202560 443 0 0 0 202 14 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320221313192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8895] ppid=8866 vsize=9624980 CPUtime=2.37 cores=0,2,4,6 /proc/8868/task/8895/stat : 8895 (java) S 8866 8868 6458 0 -1 4202560 678 0 0 0 221 16 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320220261416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8897] ppid=8866 vsize=9624980 CPUtime=2.39 cores=0,2,4,6 /proc/8868/task/8897/stat : 8897 (java) S 8866 8868 6458 0 -1 4202560 490 0 0 0 226 13 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320219208616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8898] ppid=8866 vsize=9624980 CPUtime=2.01 cores=0,2,4,6 /proc/8868/task/8898/stat : 8898 (java) S 8866 8868 6458 0 -1 4202560 588 0 0 0 187 14 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320218155816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8899] ppid=8866 vsize=9624980 CPUtime=2.17 cores=0,2,4,6 /proc/8868/task/8899/stat : 8899 (java) S 8866 8868 6458 0 -1 4202560 635 0 0 0 201 16 0 0 20 0 19 0 291019045 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320217103016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8901] ppid=8866 vsize=9624980 CPUtime=8.51 cores=0,2,4,6 /proc/8868/task/8901/stat : 8901 (java) S 8866 8868 6458 0 -1 4202560 1393 0 0 0 848 3 0 0 20 0 19 0 291019047 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320086940136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8903] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8903/stat : 8903 (java) S 8866 8868 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320085886200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8905] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8905/stat : 8905 (java) S 8866 8868 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320084833288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8906] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8906/stat : 8906 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320083781776 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8909] ppid=8866 vsize=9624980 CPUtime=0.48 cores=0,2,4,6 /proc/8868/task/8909/stat : 8909 (java) S 8866 8868 6458 0 -1 4202560 4495 0 1 0 48 0 0 0 20 0 19 0 291019050 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320082729912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8911] ppid=8866 vsize=9624980 CPUtime=0.5 cores=0,2,4,6 /proc/8868/task/8911/stat : 8911 (java) S 8866 8868 6458 0 -1 4202560 3182 0 2 0 50 0 0 0 20 0 19 0 291019050 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320081677112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8912] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8912/stat : 8912 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320080624504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8914] ppid=8866 vsize=9624980 CPUtime=0.55 cores=0,2,4,6 /proc/8868/task/8914/stat : 8914 (java) S 8866 8868 6458 0 -1 4202560 98 0 0 0 30 25 0 0 20 0 19 0 291019050 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320079571912 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8917] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8917/stat : 8917 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019076 9855979520 319494 33554432000 1073741824 1073778376 140735756952736 140320078517416 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1754.88 Current children cumulated vsize (KiB) 9624980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1887.31 s] /proc/loadavg: 2.03 2.50 2.37 3/214 9017 /proc/meminfo: memFree=30202436/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9624980 CPUtime=1800.04 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 17760 0 26 0 179853 151 0 0 20 0 19 0 291019034 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2406245 319491 2270 9 0 2396937 0 [pid=8868/tid=8883] ppid=8866 vsize=9624980 CPUtime=1766.94 cores=0,2,4,6 /proc/8868/task/8883/stat : 8883 (java) R 8866 8868 6458 0 -1 4202560 2676 0 7 0 176662 32 0 0 20 0 19 0 291019039 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320262979872 140320088629194 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 [pid=8868/tid=8888] ppid=8866 vsize=9624980 CPUtime=2.49 cores=0,2,4,6 /proc/8868/task/8888/stat : 8888 (java) S 8866 8868 6458 0 -1 4202560 723 0 0 0 234 15 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320224471592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8890] ppid=8866 vsize=9624980 CPUtime=2.16 cores=0,2,4,6 /proc/8868/task/8890/stat : 8890 (java) S 8866 8868 6458 0 -1 4202560 495 0 0 0 203 13 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320223418792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8891] ppid=8866 vsize=9624980 CPUtime=2.54 cores=0,2,4,6 /proc/8868/task/8891/stat : 8891 (java) S 8866 8868 6458 0 -1 4202560 692 0 0 0 233 21 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320222365992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8893] ppid=8866 vsize=9624980 CPUtime=2.19 cores=0,2,4,6 /proc/8868/task/8893/stat : 8893 (java) S 8866 8868 6458 0 -1 4202560 443 0 0 0 205 14 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320221313192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8895] ppid=8866 vsize=9624980 CPUtime=2.39 cores=0,2,4,6 /proc/8868/task/8895/stat : 8895 (java) S 8866 8868 6458 0 -1 4202560 678 0 0 0 223 16 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320220261416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8897] ppid=8866 vsize=9624980 CPUtime=2.44 cores=0,2,4,6 /proc/8868/task/8897/stat : 8897 (java) S 8866 8868 6458 0 -1 4202560 490 0 0 0 231 13 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320219208616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8898] ppid=8866 vsize=9624980 CPUtime=2.03 cores=0,2,4,6 /proc/8868/task/8898/stat : 8898 (java) S 8866 8868 6458 0 -1 4202560 588 0 0 0 189 14 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320218155816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8899] ppid=8866 vsize=9624980 CPUtime=2.18 cores=0,2,4,6 /proc/8868/task/8899/stat : 8899 (java) S 8866 8868 6458 0 -1 4202560 635 0 0 0 202 16 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320217103016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8901] ppid=8866 vsize=9624980 CPUtime=8.68 cores=0,2,4,6 /proc/8868/task/8901/stat : 8901 (java) S 8866 8868 6458 0 -1 4202560 1395 0 0 0 865 3 0 0 20 0 19 0 291019047 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320086940136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8903] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8903/stat : 8903 (java) S 8866 8868 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320085886200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8905] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8905/stat : 8905 (java) S 8866 8868 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320084833288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8906] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8906/stat : 8906 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320083781776 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8909] ppid=8866 vsize=9624980 CPUtime=0.48 cores=0,2,4,6 /proc/8868/task/8909/stat : 8909 (java) S 8866 8868 6458 0 -1 4202560 4495 0 1 0 48 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320082729912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8911] ppid=8866 vsize=9624980 CPUtime=0.5 cores=0,2,4,6 /proc/8868/task/8911/stat : 8911 (java) S 8866 8868 6458 0 -1 4202560 3182 0 2 0 50 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320081677112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8912] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8912/stat : 8912 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320080624504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8914] ppid=8866 vsize=9624980 CPUtime=0.57 cores=0,2,4,6 /proc/8868/task/8914/stat : 8914 (java) S 8866 8868 6458 0 -1 4202560 100 0 0 0 30 27 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320079571912 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8917] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8917/stat : 8917 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019076 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320078517416 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9624980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1887.31 s] /proc/loadavg: 2.03 2.50 2.37 3/214 9017 /proc/meminfo: memFree=30202436/32873844 swapFree=6608/6608 [pid=8868] ppid=8866 vsize=9624980 CPUtime=1800.04 cores=0,2,4,6 /proc/8868/stat : 8868 (java) S 8866 8868 6458 0 -1 4202496 17760 0 26 0 179853 151 0 0 20 0 19 0 291019034 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140735756943872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/8868/statm: 2406245 319491 2270 9 0 2396937 0 [pid=8868/tid=8883] ppid=8866 vsize=9624980 CPUtime=1766.94 cores=0,2,4,6 /proc/8868/task/8883/stat : 8883 (java) R 8866 8868 6458 0 -1 4202560 2676 0 7 0 176662 32 0 0 20 0 19 0 291019039 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320262979872 140320088629194 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 [pid=8868/tid=8888] ppid=8866 vsize=9624980 CPUtime=2.49 cores=0,2,4,6 /proc/8868/task/8888/stat : 8888 (java) S 8866 8868 6458 0 -1 4202560 723 0 0 0 234 15 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320224471592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8890] ppid=8866 vsize=9624980 CPUtime=2.16 cores=0,2,4,6 /proc/8868/task/8890/stat : 8890 (java) S 8866 8868 6458 0 -1 4202560 495 0 0 0 203 13 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320223418792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8891] ppid=8866 vsize=9624980 CPUtime=2.54 cores=0,2,4,6 /proc/8868/task/8891/stat : 8891 (java) S 8866 8868 6458 0 -1 4202560 692 0 0 0 233 21 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320222365992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8893] ppid=8866 vsize=9624980 CPUtime=2.19 cores=0,2,4,6 /proc/8868/task/8893/stat : 8893 (java) S 8866 8868 6458 0 -1 4202560 443 0 0 0 205 14 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320221313192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8895] ppid=8866 vsize=9624980 CPUtime=2.39 cores=0,2,4,6 /proc/8868/task/8895/stat : 8895 (java) S 8866 8868 6458 0 -1 4202560 678 0 0 0 223 16 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320220261416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8897] ppid=8866 vsize=9624980 CPUtime=2.44 cores=0,2,4,6 /proc/8868/task/8897/stat : 8897 (java) S 8866 8868 6458 0 -1 4202560 490 0 0 0 231 13 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320219208616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8898] ppid=8866 vsize=9624980 CPUtime=2.03 cores=0,2,4,6 /proc/8868/task/8898/stat : 8898 (java) S 8866 8868 6458 0 -1 4202560 588 0 0 0 189 14 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320218155816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8868/tid=8899] ppid=8866 vsize=9624980 CPUtime=2.18 cores=0,2,4,6 /proc/8868/task/8899/stat : 8899 (java) S 8866 8868 6458 0 -1 4202560 635 0 0 0 202 16 0 0 20 0 19 0 291019045 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320217103016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8901] ppid=8866 vsize=9624980 CPUtime=8.68 cores=0,2,4,6 /proc/8868/task/8901/stat : 8901 (java) S 8866 8868 6458 0 -1 4202560 1395 0 0 0 865 3 0 0 20 0 19 0 291019047 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320086940136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8903] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8903/stat : 8903 (java) S 8866 8868 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320085886200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8905] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8905/stat : 8905 (java) S 8866 8868 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291019047 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320084833288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8906] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8906/stat : 8906 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320083781776 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8909] ppid=8866 vsize=9624980 CPUtime=0.48 cores=0,2,4,6 /proc/8868/task/8909/stat : 8909 (java) S 8866 8868 6458 0 -1 4202560 4495 0 1 0 48 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320082729912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8868/tid=8911] ppid=8866 vsize=9624980 CPUtime=0.5 cores=0,2,4,6 /proc/8868/task/8911/stat : 8911 (java) S 8866 8868 6458 0 -1 4202560 3182 0 2 0 50 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320081677112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8912] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8912/stat : 8912 (java) S 8866 8868 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320080624504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8868/tid=8914] ppid=8866 vsize=9624980 CPUtime=0.57 cores=0,2,4,6 /proc/8868/task/8914/stat : 8914 (java) S 8866 8868 6458 0 -1 4202560 100 0 0 0 30 27 0 0 20 0 19 0 291019050 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320079571912 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8868/tid=8917] ppid=8866 vsize=9624980 CPUtime=0 cores=0,2,4,6 /proc/8868/task/8917/stat : 8917 (java) S 8866 8868 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291019076 9855979520 319491 33554432000 1073741824 1073778376 140735756952736 140320078517416 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9624980 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8868 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=270 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=995696 # CPU time returned by wait4() is 1796 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1887.38 CPU time (s): 1800.04 CPU user time (s): 1798.53 CPU system time (s): 1.51 CPU usage (%): 95.3723 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794 system time used= 1.9957 maximum resident set size= 1278128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17808 page faults= 26 swaps= 0 block input operations= 6320 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39052 involuntary context switches= 25300 runsolver used 5.2712 second user time and 13.122 second system time The end
Begin job on node140 at 2012-05-29 01:49:02 IDJOB=3718077 IDBENCH=78692 IDSOLVER=2301 FILE ID=node140/3718077-1338248942 RUNJOBID= node140-1338248942-8852 PBS_JOBID= 14624641 Free space on /tmp= 71336 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718077-1338248942/watcher-3718077-1338248942 -o /tmp/evaluation-result-3718077-1338248942/solver-3718077-1338248942 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718077-1338248942.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fc69cf5fb8ed09269ce87a121862dce7 RANDOM SEED=663505656 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 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: 32873844 kB MemFree: 31736936 kB Buffers: 227220 kB Cached: 45228 kB SwapCached: 1672 kB Active: 264856 kB Inactive: 17020 kB Active(anon): 1328 kB Inactive(anon): 10308 kB Active(file): 263528 kB Inactive(file): 6712 kB Unevictable: 6608 kB Mlocked: 6608 kB SwapTotal: 67108856 kB SwapFree: 67105148 kB Dirty: 436 kB Writeback: 0 kB AnonPages: 14124 kB Mapped: 9180 kB Shmem: 8 kB Slab: 714156 kB SReclaimable: 156432 kB SUnreclaim: 557724 kB KernelStack: 1408 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 103452 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71336 MiB End job on node140 at 2012-05-29 02:20:31