Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 10481249 | 1800.59 | 1771.97 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
MD5SUM | 291088d217a1998c91be99350439e903 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5516295 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5965824 |
Optimality of the best value was proved | NO |
Number of variables | 7812 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1543007621731 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1543007621731 |
Number of bits of the biggest sum of numbers | 41 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710144-1338149332.opb 0.09/0.12 c reading problem ... 0.81/0.40 c ... done. Wall clock time 0.279s. 0.81/0.40 c declared #vars 7812 0.81/0.40 c #constraints 318 0.81/0.40 c constraints type 0.81/0.40 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 318 0.81/0.40 c 318 constraints processed. 1.09/0.58 c SATISFIABLE 1.09/0.58 c OPTIMIZING... 1.09/0.58 c Got one! Elapsed wall clock time (in seconds):0.462 1.09/0.58 o 22549248 1.35/0.63 c Got one! Elapsed wall clock time (in seconds):0.504 1.35/0.63 o 22364084 1.35/0.66 c Got one! Elapsed wall clock time (in seconds):0.54 1.35/0.66 o 20215014 1.56/0.78 c Got one! Elapsed wall clock time (in seconds):0.654 1.56/0.78 o 17495787 1.83/0.91 c Got one! Elapsed wall clock time (in seconds):0.79 1.83/0.91 o 15409191 1.97/1.06 c Got one! Elapsed wall clock time (in seconds):0.939 1.97/1.06 o 14978017 2.30/1.30 c Got one! Elapsed wall clock time (in seconds):1.18 2.30/1.30 o 10536049 4.60/3.63 c cleaning 3247 clauses out of 6496 with flag 5003/6496 7.38/6.33 c cleaning 4621 clauses out of 9246 with flag 11000/12493 9.89/8.89 c cleaning 5802 clauses out of 11625 with flag 18000/19493 13.10/12.07 c cleaning 6912 clauses out of 13823 with flag 26000/27493 17.16/16.08 c cleaning 7951 clauses out of 15912 with flag 35001/36494 21.17/20.08 c cleaning 8967 clauses out of 17960 with flag 45000/46493 26.09/24.91 c cleaning 9987 clauses out of 19994 with flag 56001/57494 31.30/30.17 c cleaning 10994 clauses out of 22006 with flag 68000/69493 36.42/35.28 c cleaning 12004 clauses out of 24012 with flag 81000/82493 42.24/41.07 c cleaning 12999 clauses out of 26008 with flag 95000/96493 49.37/48.13 c cleaning 13993 clauses out of 28010 with flag 110001/111494 55.77/54.56 c cleaning 15006 clauses out of 30016 with flag 126000/127493 56.10/54.89 c Got one! Elapsed wall clock time (in seconds):54.77 56.10/54.89 o 10481249 57.90/56.67 c cleaning 10307 clauses out of 20626 with flag 5001/133109 60.73/59.46 c cleaning 8143 clauses out of 16318 with flag 11000/139108 63.43/62.15 c cleaning 7582 clauses out of 15177 with flag 18002/146110 66.33/65.09 c cleaning 7793 clauses out of 15594 with flag 26001/154109 69.24/67.92 c cleaning 8389 clauses out of 16801 with flag 35001/163109 72.55/71.21 c cleaning 9203 clauses out of 18412 with flag 45001/173109 76.87/75.53 c cleaning 10095 clauses out of 20208 with flag 56000/184108 80.68/79.38 c cleaning 11049 clauses out of 22114 with flag 68001/196109 84.38/83.00 c cleaning 12030 clauses out of 24066 with flag 81002/209110 89.20/87.84 c cleaning 13009 clauses out of 26035 with flag 95001/223109 94.22/92.86 c cleaning 14005 clauses out of 28025 with flag 110000/238108 98.93/97.55 c cleaning 14999 clauses out of 30020 with flag 126000/254108 104.77/103.39 c cleaning 16003 clauses out of 32022 with flag 143001/271109 110.97/109.56 c cleaning 16997 clauses out of 34021 with flag 161003/289111 116.69/115.22 c cleaning 18007 clauses out of 36023 with flag 180002/308110 122.92/121.48 c cleaning 18995 clauses out of 38014 with flag 200000/328108 129.45/127.92 c cleaning 20007 clauses out of 40021 with flag 221002/349110 137.08/135.48 c cleaning 21002 clauses out of 42012 with flag 243000/371108 144.80/143.10 c cleaning 22005 clauses out of 44014 with flag 266004/394112 152.68/150.99 c cleaning 22999 clauses out of 46006 with flag 290001/418109 160.79/159.03 c cleaning 23991 clauses out of 48006 with flag 315000/443108 169.06/167.28 c cleaning 25005 clauses out of 50018 with flag 341003/469111 179.21/177.31 c cleaning 25996 clauses out of 52011 with flag 368001/496109 189.59/187.68 c cleaning 26993 clauses out of 54014 with flag 396000/524108 200.04/197.97 c cleaning 27998 clauses out of 56021 with flag 425000/553108 211.43/209.27 c cleaning 29003 clauses out of 58023 with flag 455000/583108 222.39/220.14 c cleaning 30005 clauses out of 60020 with flag 486000/614108 233.81/231.46 c cleaning 30999 clauses out of 62018 with flag 518003/646111 244.21/241.73 c cleaning 32003 clauses out of 64017 with flag 551001/679109 256.01/253.42 c cleaning 33000 clauses out of 66014 with flag 585001/713109 266.90/264.28 c cleaning 33996 clauses out of 68013 with flag 620000/748108 278.11/275.30 c cleaning 34987 clauses out of 70017 with flag 656000/784108 293.67/290.73 c cleaning 36005 clauses out of 72031 with flag 693001/821109 311.73/308.65 c cleaning 37001 clauses out of 74025 with flag 731000/859108 329.66/326.45 c cleaning 38007 clauses out of 76024 with flag 770000/898108 341.90/338.53 c cleaning 39004 clauses out of 78018 with flag 810001/938109 357.04/353.53 c cleaning 40000 clauses out of 80015 with flag 851002/979110 372.38/368.75 c cleaning 40994 clauses out of 82013 with flag 893000/1021108 389.41/385.69 c cleaning 42000 clauses out of 84019 with flag 936000/1064108 405.56/401.57 c cleaning 43003 clauses out of 86019 with flag 980000/1108108 421.23/417.05 c cleaning 43994 clauses out of 88018 with flag 1025002/1153110 436.52/432.20 c cleaning 45002 clauses out of 90022 with flag 1071000/1199108 452.62/448.09 c cleaning 45993 clauses out of 92020 with flag 1118000/1246108 470.15/465.32 c cleaning 47006 clauses out of 94027 with flag 1166000/1294108 488.46/483.50 c cleaning 48007 clauses out of 96022 with flag 1215001/1343109 505.90/500.53 c cleaning 48995 clauses out of 98014 with flag 1265000/1393108 526.39/520.73 c cleaning 49997 clauses out of 100020 with flag 1316001/1444109 545.75/539.88 c cleaning 51002 clauses out of 102022 with flag 1368000/1496108 563.45/557.21 c cleaning 51983 clauses out of 104020 with flag 1421000/1549108 582.80/576.28 c cleaning 52994 clauses out of 106037 with flag 1475000/1603108 610.20/603.21 c cleaning 53989 clauses out of 108043 with flag 1530000/1658108 637.41/630.09 c cleaning 55014 clauses out of 110055 with flag 1586001/1714109 668.68/660.79 c cleaning 56012 clauses out of 112040 with flag 1643000/1771108 688.36/679.99 c cleaning 57004 clauses out of 114028 with flag 1701000/1829108 708.06/699.34 c cleaning 58002 clauses out of 116024 with flag 1760000/1888108 726.38/717.34 c cleaning 58991 clauses out of 118022 with flag 1820000/1948108 748.38/738.90 c cleaning 60014 clauses out of 120032 with flag 1881001/2009109 775.39/765.68 c cleaning 61005 clauses out of 122021 with flag 1943004/2071112 798.24/788.09 c cleaning 62000 clauses out of 124014 with flag 2006002/2134110 817.66/807.19 c cleaning 63003 clauses out of 126013 with flag 2070001/2198109 834.91/824.05 c cleaning 63986 clauses out of 128009 with flag 2135000/2263108 858.30/846.95 c cleaning 64999 clauses out of 130023 with flag 2201000/2329108 886.61/874.75 c cleaning 66005 clauses out of 132025 with flag 2268001/2396109 909.89/897.55 c cleaning 67000 clauses out of 134019 with flag 2336000/2464108 933.90/921.18 c cleaning 68000 clauses out of 136019 with flag 2405000/2533108 958.09/944.89 c cleaning 68991 clauses out of 138021 with flag 2475002/2603110 983.95/970.32 c cleaning 70004 clauses out of 140028 with flag 2546000/2674108 1012.67/998.68 c cleaning 71004 clauses out of 142025 with flag 2618001/2746109 1036.38/1022.09 c cleaning 71998 clauses out of 144022 with flag 2691002/2819110 1059.90/1045.28 c cleaning 73001 clauses out of 146022 with flag 2765000/2893108 1085.70/1070.55 c cleaning 73988 clauses out of 148022 with flag 2840001/2968109 1113.34/1097.70 c cleaning 75008 clauses out of 150033 with flag 2916000/3044108 1146.52/1130.24 c cleaning 76005 clauses out of 152026 with flag 2993001/3121109 1180.38/1163.46 c cleaning 76998 clauses out of 154020 with flag 3071000/3199108 1210.75/1193.27 c cleaning 77997 clauses out of 156024 with flag 3150002/3278110 1242.43/1224.46 c cleaning 78984 clauses out of 158025 with flag 3230000/3358108 1276.69/1258.21 c cleaning 80006 clauses out of 160042 with flag 3311001/3439109 1312.65/1293.61 c cleaning 81000 clauses out of 162035 with flag 3393000/3521108 1351.02/1331.40 c cleaning 82002 clauses out of 164035 with flag 3476000/3604108 1391.59/1371.33 c cleaning 83002 clauses out of 166034 with flag 3560001/3688109 1431.98/1410.90 c cleaning 84009 clauses out of 168031 with flag 3645000/3773108 1470.10/1448.46 c cleaning 85006 clauses out of 170024 with flag 3731002/3859110 1506.03/1483.67 c cleaning 85995 clauses out of 172019 with flag 3818003/3946111 1538.22/1515.29 c cleaning 87003 clauses out of 174021 with flag 3906000/4034108 1570.06/1546.49 c cleaning 88002 clauses out of 176020 with flag 3995002/4123110 1602.92/1578.60 c cleaning 88992 clauses out of 178016 with flag 4085000/4213108 1636.14/1611.28 c cleaning 89997 clauses out of 180024 with flag 4176000/4304108 1670.33/1644.82 c cleaning 91004 clauses out of 182027 with flag 4268000/4396108 1704.87/1678.73 c cleaning 92005 clauses out of 184023 with flag 4361000/4489108 1743.07/1716.12 c cleaning 92989 clauses out of 186018 with flag 4455000/4583108 1783.28/1755.59 c cleaning 94005 clauses out of 188029 with flag 4550000/4678108 1800.01/1771.91 c starts : 279 1800.01/1771.91 c conflicts : 4720641 1800.01/1771.91 c decisions : 8201447 1800.01/1771.91 c propagations : 443187797 1800.01/1771.91 c inspects : 4114238403 1800.01/1771.91 c shortcuts : 0 1800.01/1771.91 c learnt literals : 0 1800.01/1771.91 c learnt binary clauses : 0 1800.01/1771.91 c learnt ternary clauses : 0 1800.01/1771.91 c learnt constraints : 4720641 1800.01/1771.91 c ignored constraints : 0 1800.01/1771.91 c root simplifications : 279 1800.01/1771.91 c removed literals (reason simplification) : 3911571 1800.01/1771.91 c reason swapping (by a shorter reason) : 0 1800.01/1771.91 c Calls to reduceDB : 103 1800.01/1771.91 c number of reductions to clauses (during analyze) : 0 1800.01/1771.91 c number of learned constraints concerned by reduction : 0 1800.01/1771.91 c number of learning phase by resolution : 0 1800.01/1771.91 c number of learning phase by cutting planes : 0 1800.01/1771.91 c speed (assignments/second) : 250177.8744571663 1800.01/1771.91 c non guided choices 6834 1800.01/1771.94 c learnt constraints type 1800.01/1771.94 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 136595 1800.01/1771.94 c constraints type 1800.01/1771.94 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 319 1800.01/1771.94 c 319 constraints processed. 1800.01/1771.94 s SATISFIABLE 1800.01/1771.95 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 x398 x399 x400 -x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 x2706 x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 x2732 x2733 x2734 x2735 x2736 x2737 x2738 x2739 x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 x2922 -x2923 x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 x2974 -x2975 x2976 x2977 x2978 x2979 x2980 -x2981 -x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 x3185 -x3186 -x3187 x3188 -x3189 -x3190 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 x3279 x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 x3427 -x3428 -x3429 -x3430 -x3431 x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 x3842 -x3843 -x3844 -x3845 -x3846 -x3847 x3848 -x3849 x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 x3880 x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 x3932 x3933 x3934 x3935 x3936 x3937 x3938 x3939 x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 x4321 -x4322 x4323 x4324 x4325 x4326 x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411 x4412 x4413 x4414 x4415 x4416 x4417 x4418 x4419 x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 x4442 x4443 x4444 x4445 x4446 x4447 x4448 x4449 x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 x4472 x4473 x4474 x4475 x4476 x4477 x4478 x4479 x4480 x4481 x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 x5412 x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 x5915 x5916 x5917 -x5918 x5919 x5920 -x5921 x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 x6162 x6163 x6164 x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 x6640 -x6641 -x6642 x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 x7171 x7172 x7173 x7174 x7175 x7176 x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 x7321 -x7322 x7323 x7324 -x7325 x7326 x7327 x7328 x7329 x7330 -x7331 -x7332 -x7333 x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 x7481 x7482 x7483 x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 x7564 x7565 -x7566 -x7567 x7568 -x7569 -x7570 -x7571 -x7572 -x7573 x7574 -x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 x7595 -x7596 -x7597 -x7598 x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 x7629 -x7630 -x7631 x7632 x7633 -x7634 -x7635 x7636 -x7637 x7638 x7639 -x7640 -x7641 -x7642 x7643 -x7644 -x7645 -x7646 -x7647 x7648 -x7649 -x7650 x7651 x7652 -x7653 -x7654 -x7655 -x7656 -x7657 x7658 -x7659 x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 x7667 -x7668 -x7669 x7670 -x7671 -x7672 -x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 x7688 x7689 x7690 -x7691 x7692 -x7693 -x7694 -x7695 -x7696 x7697 -x7698 -x7699 -x7700 x7701 -x7702 -x7703 -x7704 x7705 -x7706 -x7707 x7708 x7709 x7710 -x7711 x7712 x7713 -x7714 x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 x7741 -x7742 -x7743 x7744 -x7745 -x7746 -x7747 x7748 -x7749 -x7750 -x7751 -x7752 -x7753 x7754 -x7755 -x7756 -x7757 x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 x7781 x7782 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 x7805 -x7806 -x7807 -x7808 -x7809 x7810 -x7811 -x7812 1800.01/1771.96 c objective function=10481249 1800.01/1771.96 c Total wall clock time (in seconds): 1771.836
OK 10481249
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-3710144-1338149332/watcher-3710144-1338149332 -o /tmp/evaluation-result-3710144-1338149332/solver-3710144-1338149332 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710144-1338149332.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.13 1.96 3/194 21998 /proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/21998/stat : 21998 (java) R 21996 21998 21838 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 281059152 278528 33 33554432000 1073741824 1073778376 140735908120000 140735647861656 242158234919 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 68 33 25 9 0 25 0 [startup+0.094962 s] /proc/loadavg: 2.23 2.13 1.96 3/194 21998 /proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9558440 CPUtime=0.08 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 4126 0 1 0 8 0 0 0 20 0 18 0 281059152 9787842560 5331 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2389610 5341 2111 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.100194 s] /proc/loadavg: 2.23 2.13 1.96 3/194 21998 /proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9558440 CPUtime=0.09 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 4273 0 1 0 9 0 0 0 20 0 18 0 281059152 9787842560 5478 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2389610 5478 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300229 s] /proc/loadavg: 2.23 2.13 1.96 3/194 21998 /proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9558440 CPUtime=0.51 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 9378 0 1 0 50 1 0 0 20 0 18 0 281059152 9787842560 11214 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2389610 11214 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558440 [startup+0.700243 s] /proc/loadavg: 2.23 2.13 1.96 3/194 21998 /proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9625004 CPUtime=1.56 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 10984 0 1 0 154 2 0 0 20 0 19 0 281059152 9856004096 19126 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2406251 19126 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 9625004 [startup+1.50069 s] /proc/loadavg: 2.45 2.18 1.98 3/213 22017 /proc/meminfo: memFree=30310712/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9625004 CPUtime=2.5 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 11290 0 1 0 247 3 0 0 20 0 19 0 281059152 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2406251 24780 2258 9 0 2396937 0 [pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1.47 cores=0,2,4,6 /proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 2539 0 1 0 145 2 0 0 20 0 19 0 281059153 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852092068472 139851937247981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.46 cores=0,2,4,6 /proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3307 0 0 0 46 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4243 0 0 0 53 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.5 Current children cumulated vsize (KiB) 9625004 [startup+3.10071 s] /proc/loadavg: 2.45 2.18 1.98 3/213 22017 /proc/meminfo: memFree=30285144/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9625004 CPUtime=4.1 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 11304 0 1 0 407 3 0 0 20 0 19 0 281059152 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2406251 30924 2258 9 0 2396937 0 [pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=3.07 cores=0,2,4,6 /proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 2553 0 1 0 305 2 0 0 20 0 19 0 281059153 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852092066376 139851937214443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.46 cores=0,2,4,6 /proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3307 0 0 0 46 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4243 0 0 0 53 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.1 Current children cumulated vsize (KiB) 9625004 [startup+6.30058 s] /proc/loadavg: 2.45 2.18 1.98 3/213 22017 /proc/meminfo: memFree=30240096/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9625004 CPUtime=7.38 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 11389 0 1 0 733 5 0 0 20 0 19 0 281059152 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2406251 38624 2284 9 0 2396937 0 [pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=6.22 cores=0,2,4,6 /proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 2561 0 1 0 620 2 0 0 20 0 19 0 281059153 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852092068432 139851937234278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 281059156 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.48 cores=0,2,4,6 /proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 48 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.56 cores=0,2,4,6 /proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4248 0 0 0 56 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.38 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.51 cores=0,2,4,6 /proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2366 0 0 0 442 9 0 0 20 0 19 0 281059154 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.46 cores=0,2,4,6 /proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3072 0 0 0 438 8 0 0 20 0 19 0 281059154 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.42 cores=0,2,4,6 /proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2446 0 0 0 432 10 0 0 20 0 19 0 281059154 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.63 cores=0,2,4,6 /proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 433 0 0 0 554 9 0 0 20 0 19 0 281059156 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 94 0 0 0 13 16 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1688.19 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/213 22260 /proc/meminfo: memFree=29858124/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9625004 CPUtime=1749.37 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 38037 0 1 0 174823 114 0 0 20 0 19 0 281059152 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2406251 100285 2285 9 0 2396937 0 [pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1704.71 cores=0,2,4,6 /proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 3653 0 1 0 170439 32 0 0 20 0 19 0 281059153 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852092067200 139851937095658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=4.75 cores=0,2,4,6 /proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 3585 0 0 0 462 13 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=4.89 cores=0,2,4,6 /proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 3419 0 0 0 477 12 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=4.47 cores=0,2,4,6 /proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 2380 0 0 0 439 8 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=4.75 cores=0,2,4,6 /proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 3449 0 0 0 465 10 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=4.72 cores=0,2,4,6 /proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 3581 0 0 0 460 12 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.75 cores=0,2,4,6 /proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2863 0 0 0 466 9 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.65 cores=0,2,4,6 /proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3227 0 0 0 457 8 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.62 cores=0,2,4,6 /proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2561 0 0 0 451 11 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.81 cores=0,2,4,6 /proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 449 0 0 0 572 9 0 0 20 0 19 0 281059156 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.3 cores=0,2,4,6 /proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 98 0 0 0 14 16 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1749.37 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1771.9 s] /proc/loadavg: 2.00 2.01 2.00 3/213 22260 /proc/meminfo: memFree=29865188/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 38907 0 1 0 179884 117 0 0 20 0 19 0 281059152 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2406251 98626 2285 9 0 2396937 0 [pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1753.78 cores=0,2,4,6 /proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 3691 0 1 0 175345 33 0 0 20 0 19 0 281059153 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852092067200 139851937310571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6 /proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 3585 0 0 0 478 13 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=5.06 cores=0,2,4,6 /proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 3638 0 0 0 494 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=4.65 cores=0,2,4,6 /proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 2551 0 0 0 457 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=4.95 cores=0,2,4,6 /proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 3606 0 0 0 484 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6 /proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 3611 0 0 0 479 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.92 cores=0,2,4,6 /proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2895 0 0 0 483 9 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.84 cores=0,2,4,6 /proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3247 0 0 0 476 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.85 cores=0,2,4,6 /proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2748 0 0 0 474 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.9 cores=0,2,4,6 /proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 463 0 0 0 581 9 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.31 cores=0,2,4,6 /proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 100 0 0 0 14 17 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1771.9 s] /proc/loadavg: 2.00 2.01 2.00 3/213 22260 /proc/meminfo: memFree=29865188/32873648 swapFree=7112/7112 [pid=21998] ppid=21996 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6 /proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 38907 0 1 0 179884 117 0 0 20 0 19 0 281059152 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 2406251 98626 2285 9 0 2396937 0 [pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1753.78 cores=0,2,4,6 /proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 3691 0 1 0 175345 33 0 0 20 0 19 0 281059153 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852092067200 139851937310571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6 /proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 3585 0 0 0 478 13 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=5.06 cores=0,2,4,6 /proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 3638 0 0 0 494 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=4.65 cores=0,2,4,6 /proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 2551 0 0 0 457 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=4.95 cores=0,2,4,6 /proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 3606 0 0 0 484 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6 /proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 3611 0 0 0 479 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.92 cores=0,2,4,6 /proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2895 0 0 0 483 9 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.84 cores=0,2,4,6 /proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3247 0 0 0 476 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.85 cores=0,2,4,6 /proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2748 0 0 0 474 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.9 cores=0,2,4,6 /proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 463 0 0 0 581 9 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.31 cores=0,2,4,6 /proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 100 0 0 0 14 17 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1771.97 CPU time (s): 1800.59 CPU user time (s): 1799.02 CPU system time (s): 1.57176 CPU usage (%): 101.615 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.02 system time used= 1.57176 maximum resident set size= 404936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38947 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 72796 involuntary context switches= 100039 runsolver used 5.71213 second user time and 14.2028 second system time The end
Begin job on node126 at 2012-05-27 22:08:52 IDJOB=3710144 IDBENCH=2297 IDSOLVER=2289 FILE ID=node126/3710144-1338149332 RUNJOBID= node126-1338147557-21854 PBS_JOBID= 14624519 Free space on /tmp= 71356 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710144-1338149332/watcher-3710144-1338149332 -o /tmp/evaluation-result-3710144-1338149332/solver-3710144-1338149332 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710144-1338149332.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED=122416957 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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 : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30387584 kB Buffers: 309784 kB Cached: 580704 kB SwapCached: 17756 kB Active: 1503612 kB Inactive: 174744 kB Active(anon): 769656 kB Inactive(anon): 20452 kB Active(file): 733956 kB Inactive(file): 154292 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 1220 kB Writeback: 0 kB AnonPages: 778044 kB Mapped: 17888 kB Shmem: 0 kB Slab: 668504 kB SReclaimable: 112940 kB SUnreclaim: 555564 kB KernelStack: 1608 kB PageTables: 5888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1226328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 729088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71356 MiB End job on node126 at 2012-05-27 22:38:26