Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | SAT (TO) | 30 | 1800.06 | 1800.41 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb |
MD5SUM | 8e8463c13e61e1a22058cdf603119640 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 3.66344 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | YES |
Number of variables | 7926 |
Total number of constraints | 23835 |
Number of constraints which are clauses | 23835 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3885 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3885 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3885 |
Number of bits of the biggest sum of numbers | 12 |
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.00 c Parsing PB file... 0.00/0.04 c Converting 23218 PB-constraints to clauses... 0.00/0.04 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.00/0.04 c -- Detecting intervals from adjacent constraints: ######### 0.00/0.04 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.00/0.06 c ---[22447]---> BDD-cost: 1 0.00/0.06 c ---[20908]---> BDD-cost: 1 0.00/0.06 c ---[20079]---> BDD-cost: 1 0.00/0.06 c ---[19779]---> BDD-cost: 1 0.00/0.06 c ---[19620]---> BDD-cost: 1 0.00/0.06 c ---[19569]---> BDD-cost: 1 0.00/0.06 c ---[19552]---> BDD-cost: 1 0.00/0.06 c ---[19549]---> BDD-cost: 1 0.00/0.06 c ---[19547]---> BDD-cost: 1 0.00/0.06 c ==================================[MINISAT+]================================== 0.00/0.06 c | Conflicts | Original | Learnt | Progress | 0.00/0.06 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.06 c ============================================================================== 0.00/0.06 c | 0 | 20676 49734 | 6892 0 0 -nan | 0.000 % | 0.00/0.06 c ============================================================================== 0.00/0.06 c [1mFound solution: 37[0m 0.00/0.06 c ---[ 0]---> Adder-cost: 6526 maxlim: 3231 bits: 12/12 0.00/0.20 c ==================================[MINISAT+]================================== 0.00/0.20 c | Conflicts | Original | Learnt | Progress | 0.00/0.20 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.20 c ============================================================================== 0.00/0.20 c | 15 | 66270 212542 | 22090 15 143 9.5 | 0.000 % | 0.00/0.21 c | 115 | 66263 212519 | 24299 114 457 4.0 | 8.555 % | 0.00/0.23 c | 265 | 65972 211515 | 26728 227 834 3.7 | 8.929 % | 0.00/0.25 c | 490 | 65936 211391 | 29401 447 1561 3.5 | 8.977 % | 0.00/0.31 c | 827 | 65676 210482 | 32341 745 2747 3.7 | 9.288 % | 0.00/0.39 c | 1333 | 65600 210230 | 35576 1239 4722 3.8 | 9.385 % | 0.00/0.50 c | 2092 | 65584 210178 | 39133 1995 10465 5.2 | 9.406 % | 0.00/0.63 c | 3231 | 65575 210147 | 43047 3131 40586 13.0 | 9.413 % | 0.00/0.82 c | 4939 | 65575 210147 | 47351 4839 141268 29.2 | 9.413 % | 1.09/1.15 c | 7501 | 65575 210147 | 52087 7401 484491 65.5 | 9.413 % | 1.68/1.74 c | 11345 | 65575 210147 | 57295 11245 937756 83.4 | 9.413 % | 2.59/2.65 c | 17111 | 65575 210147 | 63025 17011 1962486 115.4 | 9.413 % | 4.49/4.59 c | 25762 | 65575 210147 | 69327 25662 3551665 138.4 | 9.413 % | 8.19/8.27 c | 38736 | 65575 210147 | 76260 38636 6200202 160.5 | 9.413 % | 13.39/13.43 c | 58198 | 65575 210147 | 83886 58098 9251698 159.2 | 9.413 % | 17.18/17.23 c ============================================================================== 17.18/17.23 c [1mFound solution: 36[0m 17.18/17.23 c ---[ 0]---> Adder-cost: 0 maxlim: 3232 bits: 12/12 17.28/17.36 c ==================================[MINISAT+]================================== 17.28/17.36 c | Conflicts | Original | Learnt | Progress | 17.28/17.36 c | | Clauses Literals | Max Clauses Literals LPC | | 17.28/17.36 c ============================================================================== 17.28/17.36 c | 71316 | 65590 210201 | 21863 71216 11549082 162.2 | 9.413 % | 17.38/17.47 c | 71416 | 65590 210201 | 24049 16483 2191096 132.9 | 9.416 % | 17.38/17.50 c | 71566 | 65590 210201 | 26454 16633 2192318 131.8 | 9.416 % | 17.49/17.52 c | 71792 | 65590 210201 | 29099 16859 2203825 130.7 | 9.416 % | 17.49/17.58 c | 72131 | 65590 210201 | 32009 17198 2217372 128.9 | 9.416 % | 17.59/17.67 c | 72637 | 65590 210201 | 35210 17704 2269618 128.2 | 9.416 % | 17.68/17.78 c | 73398 | 65590 210201 | 38731 18465 2350904 127.3 | 9.416 % | 17.88/17.96 c | 74537 | 65590 210201 | 42604 19604 2531594 129.1 | 9.416 % | 18.08/18.18 c | 76248 | 65590 210201 | 46865 21315 2685062 126.0 | 9.416 % | 18.59/18.68 c | 78810 | 65590 210201 | 51551 23877 3013467 126.2 | 9.416 % | 19.58/19.65 c | 82655 | 65590 210201 | 56706 27722 3717820 134.1 | 9.416 % | 20.98/21.06 c | 88421 | 65590 210201 | 62377 33488 4645369 138.7 | 9.416 % | 23.28/23.31 c | 97070 | 65590 210201 | 68615 42137 6224417 147.7 | 9.416 % | 26.48/26.56 c | 110044 | 65590 210201 | 75477 55111 8095680 146.9 | 9.416 % | 33.58/33.60 c | 129507 | 65590 210201 | 83024 74574 11909355 159.7 | 9.416 % | 42.68/42.70 c | 158702 | 65590 210201 | 91327 36687 5896260 160.7 | 9.416 % | 57.28/57.32 c | 202491 | 65590 210201 | 100459 80476 11559904 143.6 | 9.416 % | 59.29/59.30 c ============================================================================== 59.29/59.30 c [1mFound solution: 34[0m 59.29/59.30 c ---[ 0]---> Adder-cost: 0 maxlim: 3234 bits: 12/12 59.39/59.44 c ==================================[MINISAT+]================================== 59.39/59.44 c | Conflicts | Original | Learnt | Progress | 59.39/59.44 c | | Clauses Literals | Max Clauses Literals LPC | | 59.39/59.44 c ============================================================================== 59.39/59.44 c | 207665 | 65594 210222 | 21864 85650 12722562 148.5 | 9.416 % | 59.48/59.58 c | 207765 | 65594 210222 | 24050 17860 2101617 117.7 | 9.428 % | 59.58/59.65 c | 207915 | 65594 210222 | 26455 18010 2102383 116.7 | 9.428 % | 59.68/59.71 c | 208140 | 65594 210222 | 29100 18235 2103802 115.4 | 9.428 % | 59.78/59.81 c | 208477 | 65594 210222 | 32011 18572 2106756 113.4 | 9.428 % | 59.78/59.88 c | 208985 | 65594 210222 | 35212 19080 2122957 111.3 | 9.428 % | 59.98/60.04 c | 209744 | 65594 210222 | 38733 19839 2209844 111.4 | 9.428 % | 60.18/60.23 c | 210883 | 65594 210222 | 42606 20978 2357067 112.4 | 9.428 % | 60.49/60.54 c | 212593 | 65594 210222 | 46867 22688 2588435 114.1 | 9.428 % | 60.98/61.06 c | 215157 | 65594 210222 | 51554 25252 3016652 119.5 | 9.428 % | 61.88/61.93 c | 219006 | 65594 210222 | 56709 29101 3683915 126.6 | 9.428 % | 63.18/63.22 c | 224773 | 65594 210222 | 62380 34868 4604227 132.0 | 9.428 % | 65.18/65.29 c | 233424 | 65594 210222 | 68618 43519 6056762 139.2 | 9.428 % | 69.68/69.79 c | 246403 | 65594 210222 | 75480 56498 8146657 144.2 | 9.428 % | 77.08/77.16 c | 265866 | 65594 210222 | 83028 75961 11368831 149.7 | 9.428 % | 86.97/87.02 c | 295060 | 65594 210222 | 91331 35708 5602893 156.9 | 9.428 % | 102.47/102.59 c | 338850 | 65594 210222 | 100464 79498 14847005 186.8 | 9.428 % | 129.46/129.54 c | 404534 | 65594 210222 | 110510 59071 10231554 173.2 | 9.428 % | 179.36/179.42 c | 503060 | 65594 210222 | 121562 64046 14002986 218.6 | 9.428 % | 252.86/252.95 c | 650850 | 65594 210222 | 133718 106415 22319637 209.7 | 9.428 % | 361.51/361.60 c | 872534 | 65594 210222 | 147090 92203 16688898 181.0 | 9.428 % | 507.45/507.61 c | 1205064 | 65594 210222 | 161799 31838 5416443 170.1 | 9.428 % | 741.62/741.87 c | 1703855 | 65594 210222 | 177978 98994 14171850 143.2 | 9.428 % | 933.46/933.80 c ============================================================================== 933.46/933.80 c [1mFound solution: 32[0m 933.57/933.80 c ---[ 0]---> Adder-cost: 0 maxlim: 3236 bits: 12/12 933.67/933.96 c ==================================[MINISAT+]================================== 933.67/933.96 c | Conflicts | Original | Learnt | Progress | 933.67/933.96 c | | Clauses Literals | Max Clauses Literals LPC | | 933.67/933.96 c ============================================================================== 933.67/933.96 c | 2089364 | 65600 210252 | 21866 161595 25578152 158.3 | 9.428 % | 934.67/934.96 c | 2089464 | 65600 210252 | 24052 12179 1159314 95.2 | 9.441 % | 934.67/934.99 c | 2089614 | 65600 210252 | 26457 12329 1159920 94.1 | 9.441 % | 934.77/935.03 c | 2089839 | 65600 210252 | 29103 12554 1161405 92.5 | 9.441 % | 934.77/935.09 c | 2090176 | 65600 210252 | 32014 12891 1164565 90.3 | 9.441 % | 934.86/935.18 c | 2090682 | 65600 210252 | 35215 13397 1180307 88.1 | 9.441 % | 934.96/935.25 c | 2091442 | 65600 210252 | 38736 14157 1226851 86.7 | 9.441 % | 935.06/935.39 c | 2092582 | 65600 210252 | 42610 15297 1328937 86.9 | 9.441 % | 935.36/935.64 c | 2094290 | 65600 210252 | 46871 17005 1576930 92.7 | 9.441 % | 935.77/936.05 c | 2096852 | 65600 210252 | 51558 19567 1967852 100.6 | 9.441 % | 936.36/936.65 c | 2100696 | 65600 210252 | 56714 23411 2573578 109.9 | 9.441 % | 937.46/937.74 c | 2106464 | 65600 210252 | 62386 29179 3697370 126.7 | 9.441 % | 939.26/939.57 c | 2115114 | 65600 210252 | 68624 37829 5487634 145.1 | 9.441 % | 941.96/942.22 c | 2128092 | 65600 210252 | 75487 50807 8057420 158.6 | 9.441 % | 946.76/947.09 c | 2147554 | 65600 210252 | 83036 70269 12252713 174.4 | 9.441 % | 955.76/956.07 c | 2176747 | 65600 210252 | 91339 31280 5535197 177.0 | 9.441 % | 968.76/969.10 c | 2220536 | 65600 210252 | 100473 75069 13333683 177.6 | 9.441 % | 992.85/993.14 c | 2286224 | 65600 210252 | 110521 55353 7970837 144.0 | 9.441 % | 1025.45/1025.75 c | 2384751 | 65600 210252 | 121573 59840 11188074 187.0 | 9.441 % | 1069.84/1070.19 c | 2532542 | 65600 210252 | 133730 101299 17620390 173.9 | 9.441 % | 1149.93/1150.20 c | 2754225 | 65600 210252 | 147103 89451 12426340 138.9 | 9.441 % | 1278.81/1279.12 c | 3086750 | 65600 210252 | 161813 37589 5596596 148.9 | 9.441 % | 1516.07/1516.43 c | 3585540 | 65600 210252 | 177995 105215 12321053 117.1 | 9.441 % | 1744.25/1744.67 c ============================================================================== 1744.25/1744.67 c [1mFound solution: 31[0m 1744.25/1744.67 c ---[ 0]---> Adder-cost: 0 maxlim: 3237 bits: 12/12 1744.34/1744.79 c ==================================[MINISAT+]================================== 1744.34/1744.79 c | Conflicts | Original | Learnt | Progress | 1744.34/1744.79 c | | Clauses Literals | Max Clauses Literals LPC | | 1744.34/1744.79 c ============================================================================== 1744.34/1744.79 c | 3982760 | 65601 210259 | 21867 26239 2473302 94.3 | 9.441 % | 1744.44/1744.85 c | 3982861 | 65601 210259 | 24053 13221 1077482 81.5 | 9.447 % | 1744.44/1744.88 c | 3983011 | 65601 210259 | 26459 13371 1078332 80.6 | 9.447 % | 1744.54/1744.93 c | 3983236 | 65601 210259 | 29104 13596 1079476 79.4 | 9.447 % | 1744.64/1745.00 c | 3983575 | 65601 210259 | 32015 13935 1081206 77.6 | 9.447 % | 1744.74/1745.13 c | 3984081 | 65601 210259 | 35217 14441 1085546 75.2 | 9.447 % | 1744.84/1745.22 c | 3984840 | 65601 210259 | 38738 15200 1136091 74.7 | 9.447 % | 1744.94/1745.37 c | 3985980 | 65601 210259 | 42612 16340 1244124 76.1 | 9.447 % | 1745.14/1745.52 c | 3987688 | 65601 210259 | 46873 18048 1372760 76.1 | 9.447 % | 1745.44/1745.89 c | 3990250 | 65601 210259 | 51561 20610 1662219 80.7 | 9.447 % | 1746.14/1746.56 c | 3994094 | 65601 210259 | 56717 24454 2130319 87.1 | 9.447 % | 1747.34/1747.75 c | 3999860 | 65601 210259 | 62389 30220 2988889 98.9 | 9.447 % | 1749.54/1750.00 c | 4008511 | 65601 210259 | 68628 38871 4326623 111.3 | 9.447 % | 1753.54/1753.97 c | 4021489 | 65601 210259 | 75490 51849 6176106 119.1 | 9.447 % | 1759.04/1759.41 c | 4040952 | 65601 210259 | 83039 71312 9291600 130.3 | 9.447 % | 1767.04/1767.41 c | 4070144 | 65601 210259 | 91343 33381 4828237 144.6 | 9.447 % | 1780.14/1780.54 c | 4113934 | 65601 210259 | 100478 77171 12775169 165.5 | 9.447 % | 1797.83/1798.20 c ============================================================================== 1797.83/1798.20 c [1mFound solution: 30[0m 1797.83/1798.20 c ---[ 0]---> Adder-cost: 0 maxlim: 3238 bits: 12/12 1797.93/1798.32 c ==================================[MINISAT+]================================== 1797.93/1798.32 c | Conflicts | Original | Learnt | Progress | 1797.93/1798.32 c | | Clauses Literals | Max Clauses Literals LPC | | 1797.93/1798.32 c ============================================================================== 1797.93/1798.32 c | 4165207 | 65602 210267 | 21867 45680 5771826 126.4 | 9.447 % | 1798.04/1798.49 c | 4165308 | 65602 210267 | 24053 18931 1827379 96.5 | 9.453 % | 1798.14/1798.51 c | 4165459 | 65602 210267 | 26459 19082 1831817 96.0 | 9.453 % | 1798.14/1798.54 c | 4165685 | 65602 210267 | 29104 19308 1850475 95.8 | 9.453 % | 1798.14/1798.57 c | 4166024 | 65602 210267 | 32015 19647 1884366 95.9 | 9.453 % | 1798.23/1798.64 c | 4166530 | 65602 210267 | 35217 20153 1933718 96.0 | 9.453 % | 1798.33/1798.74 c | 4167289 | 65602 210267 | 38738 20912 2028413 97.0 | 9.453 % | 1798.43/1798.89 c | 4168428 | 65602 210267 | 42612 22051 2147699 97.4 | 9.453 % | 1798.73/1799.10 c | 4170136 | 65602 210267 | 46873 23759 2328869 98.0 | 9.453 % | 1799.14/1799.51 c | 4172699 | 65602 210267 | 51561 26322 2729660 103.7 | 9.453 % | 1799.73/1800.10 c | 4176545 | 65602 210267 | 56717 30168 3257426 108.0 | 9.453 % | 1800.04/1800.40 c 1800.04/1800.40 c *** TERMINATED *** 1800.04/1800.40 s SATISFIABLE 1800.04/1800.40 v -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1975 -x1977 -x1979 -x1981 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 x2003 -x2005 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3734 -x3736 -x3738 -x3740 x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 x4282 -x4284 x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5325 -x5327 -x5329 -x5331 -x5333 x5335 -x5337 -x5339 -x5341 -x5342 -x5344 -x5346 -x5348 -x5350 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 x6168 -x6170 -x6172 -x6174 -x6176 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6322 -x6324 -x6326 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 x6372 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 x6749 x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 x6897 -x6899 x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7186 -x7188 -x7190 -x7192 -x7193 -x7195 x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x7735 -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769 -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7794 -x7796 -x7798 -x7800 -x7802 -x7804 -x7806 -x7808 -x7810 x7812 x7813 -x7815 -x7817 -x7819 -x7821 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x7835 -x7837 -x7839 -x7841 -x7843 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862 -x7864 -x7866 -x7868 -x7870 -x7872 -x7874 -x7875 -x7877 -x7879 -x7881 -x7883 -x7885 x7887 -x7889 -x7891 -x7893 -x7895 x7896 -x7898 -x7900 -x7901 -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 -x7920 -x7922 x7924 -x7925 x7926 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x1 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x2 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x3 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x4 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x5 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x6 -x672 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x692 -x694 -x696 -x698 -x7 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x8 -x730 -x732 -x734 -x736 -x739 -x741 -x9 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x10 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x11 -x835 -x837 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x12 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x13 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x14 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x15 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 x961 -x963 -x16 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x17 -x979 -x981 -x983 -x18 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x19 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x20 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x21 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1290 -x1292 -x22 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x23 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x24 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x25 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 x1449 -x1451 -x1453 -x1455 -x1457 -x26 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x27 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x28 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x29 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x30 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x31 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x32 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x33 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x34 -x1666 -x1668 -x1670 -x1673 -x1675 -x1677 -x35 -x1679 -x1681 -x1683 -x36 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x37 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x38 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x39 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x40 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x41 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x42 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x43 -x1877 -x1880 -x1882 -x1884 -x1886 -x1888 -x44 -x1890 -x1892 -x1894 -x45 -x1896 -x1899 -x1901 -x1903 -x1905 -x1907 -x46 -x1909 -x1911 -x1913 -x47 -x1915 -x1917 -x1919 -x48 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x49 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x50 -x1965 -x1967 -x1969 -x1971 -x1973 -x1976 -x51 -x1978 -x1980 -x52 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x53 -x1996 -x1998 -x2000 x2002 -x2004 -x54 -x2007 -x2009 -x2011 -x2013 -x2015 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2257 -x2259 -x55 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x56 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2501 -x2503 -x2505 -x2507 -x2509 -x57 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x58 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x59 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x60 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x61 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x62 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x63 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x64 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x65 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x66 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x67 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x68 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x69 -x3284 -x3286 -x3288 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x70 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x71 -x3342 -x3344 -x3346 -x3348 -x3350 -x3353 -x72 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x73 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x74 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x75 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x76 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x77 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3735 -x3737 -x3739 x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x78 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x79 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x80 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x81 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x82 -x3890 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x83 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x84 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x85 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3986 -x3988 -x3990 -x86 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x87 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x88 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x89 -x4034 -x4036 -x4038 -x90 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4163 -x91 -x4165 -x4167 -x4169 -x4171 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 x4281 -x4283 x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4308 -x4310 -x4312 -x4314 -x92 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x93 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x94 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x95 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x96 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x97 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x98 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x99 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x100 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x101 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x102 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x103 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x104 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x105 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x106 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x107 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x108 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x109 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x110 -x4940 -x4942 -x4944 -x4946 -x4948 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x111 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x112 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x113 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x114 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x115 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x116 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x117 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x118 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x119 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x120 -x5175 -x5177 -x5179 -x121 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5208 -x122 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x123 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x124 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x125 -x5281 -x5283 -x126 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x127 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x128 -x5313 -x5315 -x5317 -x129 -x5319 -x5321 -x5323 -x5326 -x5328 -x5330 x130 -x5332 x5334 -x5336 -x131 -x5338 -x5340 -x132 -x5343 -x133 -x5345 -x5347 -x5349 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x134 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x135 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x136 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x137 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x138 -x5781 -x5783 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x139 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x140 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x141 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x142 -x5963 -x5966 -x5968 -x5970 -x5972 -x5974 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x143 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6012 -x6014 -x6016 -x6018 -x144 -x6020 -x6022 -x6025 -x6027 -x6029 -x6031 -x145 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x146 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 x6167 -x6169 -x6171 -x6173 -x6175 -x6178 -x6180 -x147 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6207 -x6209 -x148 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 x149 -x6241 -x6243 -x6245 -x6247 -x6249 x6251 -x6253 -x150 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x151 -x6316 -x6318 -x6320 -x6323 -x6325 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x152 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6361 -x6363 -x6365 -x6367 -x6369 x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x153 -x6387 -x6389 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x154 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x155 -x6444 -x6446 -x6448 -x156 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x157 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x158 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x159 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x160 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x161 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x162 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x163 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x164 -x6734 -x6736 -x6738 -x6740 -x6742 -x6744 -x6746 x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x165 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x166 -x6776 -x6778 -x6780 -x167 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x168 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x169 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x170 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x171 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x172 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x173 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x174 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x175 -x6948 -x6950 -x176 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x177 -x6967 -x6969 -x6971 -x178 -x6973 -x6975 -x179 -x6978 -x180 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x181 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x182 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x183 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x184 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7187 -x7189 -x7191 -x7194 x7196 -x7198 -x7200 -x7202 -x185 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 -x7230 -x7232 -x186 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x187 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x188 -x7278 -x7280 -x7282 -x7284 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x189 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x190 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 x191 x7336 -x7338 -x7340 -x192 -x7342 -x7344 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x193 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396 -x7398 -x194 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x195 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x196 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 -x197 -x7440 -x7442 -x7444 -x198 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 -x199 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x200 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x201 -x7504 -x7506 -x202 -x7508 -x7510 -x7512 -x7514 -x7516 -x7519 -x203 -x7521 -x7523 -x7525 -x204 -x7527 -x7529 x205 -x7532 -x206 -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7583 -x7585 -x7587 -x207 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x208 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 -x209 -x7649 -x7651 -x7653 -x7656 -x7658 -x7660 -x210 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x211 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x212 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x213 -x7720 -x7722 -x7724 -x214 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x7752 -x7754 -x215 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x216 -x7770 -x7772 -x7774 -x7776 -x7778 -x7780 -x7782 -x217 -x7784 -x7786 -x7788 -x218 -x7790 -x7792 -x7795 -x7797 -x7799 -x7801 -x219 -x7803 -x7805 -x7807 x220 -x7809 x7811 x221 -x7814 -x222 -x7816 -x7818 -x7820 -x7822 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x223 -x7842 -x7845 -x7847 -x7849 -x7851 -x7853 -x224 -x7855 -x7857 -x7859 -x7861 -x7863 -x7865 -x7867 -x225 -x7869 -x7871 -x7873 -x226 -x7876 -x7878 -x7880 -x7882 -x7884 x7886 x227 -x7888 -x7890 -x228 -x7892 -x7894 x229 -x7897 -x230 -x7899 -x7902 -x7904 -x7906 -x7908 -x231 -x7910 -x7912 -x7914 -x232 -x7916 -x7918 -x233 -x7921 x7923 -x234 x235
OK 30
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-3723780-1338574355/watcher-3723780-1338574355 -o /tmp/evaluation-result-3723780-1338574355/solver-3723780-1338574355 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723780-1338574355.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.00 2.03 2.00 2/177 22075 /proc/meminfo: memFree=31602936/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [startup+0.0579111 s] /proc/loadavg: 2.00 2.03 2.00 2/177 22075 /proc/meminfo: memFree=31602936/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100249 s] /proc/loadavg: 2.00 2.03 2.00 2/177 22075 /proc/meminfo: memFree=31602936/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300222 s] /proc/loadavg: 2.00 2.03 2.00 2/177 22075 /proc/meminfo: memFree=31602936/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700193 s] /proc/loadavg: 2.00 2.03 2.00 2/177 22075 /proc/meminfo: memFree=31602936/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50022 s] /proc/loadavg: 2.00 2.03 2.00 3/179 22080 /proc/meminfo: memFree=31578216/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=27700 CPUtime=1.48 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 5538 0 0 0 147 1 0 0 20 0 1 0 323560476 28364800 6453 33554432000 4194304 5276501 140734541825968 140734541823960 4411592 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 6925 6453 149 265 0 6657 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 36848 [startup+3.10023 s] /proc/loadavg: 2.00 2.03 2.00 3/179 22080 /proc/meminfo: memFree=31571644/32873844 swapFree=7120/7120 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=35220 CPUtime=3.09 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 7390 0 0 0 307 2 0 0 20 0 1 0 323560476 36065280 8305 33554432000 4194304 5276501 140734541825968 140734541823960 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 8805 8305 149 265 0 8537 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44368 [startup+6.30025 s] /proc/loadavg: 2.00 2.02 2.00 3/179 22080 /proc/meminfo: memFree=31556896/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=45852 CPUtime=6.28 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 10038 0 0 0 626 2 0 0 20 0 1 0 323560476 46952448 10953 33554432000 4194304 5276501 140734541825968 140734541823960 4399840 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 11463 10953 149 265 0 11195 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 55000 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.00 3/179 22080 /proc/meminfo: memFree=31533228/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=63948 CPUtime=12.68 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 14565 0 0 0 1265 3 0 0 20 0 1 0 323560476 65482752 15480 33554432000 4194304 5276501 140734541825968 140734541823960 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 15987 15480 149 265 0 15719 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 73096 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.00 3/179 22080 /proc/meminfo: memFree=31507684/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=77372 CPUtime=25.48 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 17997 0 0 0 2544 4 0 0 20 0 1 0 323560476 79228928 18829 33554432000 4194304 5276501 140734541825968 140734541824216 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 19343 18829 150 265 0 19075 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 86520 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 2.00 3/179 22080 /proc/meminfo: memFree=31479040/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=88872 CPUtime=51.08 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 20897 0 0 0 5103 5 0 0 20 0 1 0 323560476 91004928 21729 33554432000 4194304 5276501 140734541825968 140734541824216 4399962 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 22218 21729 150 265 0 21950 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 98020 [startup+102.307 s] /proc/loadavg: 2.00 2.02 2.00 3/179 22080 /proc/meminfo: memFree=31430680/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=101080 CPUtime=102.27 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 23985 0 0 0 10222 5 0 0 20 0 1 0 323560476 103505920 24693 33554432000 4194304 5276501 140734541825968 140734541823560 4399860 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 25270 24693 150 265 0 25002 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 110228 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 22080 /proc/meminfo: memFree=31356528/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=140728 CPUtime=162.26 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 33773 0 0 0 16218 8 0 0 20 0 1 0 323560476 144105472 34481 33554432000 4194304 5276501 140734541825968 140734541823960 4399962 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 35182 34481 150 265 0 34914 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 149876 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22081 /proc/meminfo: memFree=31300404/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=158012 CPUtime=222.25 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 38091 0 0 0 22215 10 0 0 20 0 1 0 323560476 161804288 38799 33554432000 4194304 5276501 140734541825968 140734541823960 4399850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 39503 38799 150 265 0 39235 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 167160 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22081 /proc/meminfo: memFree=31258520/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=169296 CPUtime=282.24 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 40841 0 0 0 28213 11 0 0 20 0 1 0 323560476 173359104 41549 33554432000 4194304 5276501 140734541825968 140734541823560 4400020 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 42324 41549 150 265 0 42056 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 178444 [startup+342.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 22081 /proc/meminfo: memFree=31230000/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=170420 CPUtime=342.23 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 41076 0 0 0 34212 11 0 0 20 0 1 0 323560476 174510080 41777 33554432000 4194304 5276501 140734541825968 140734541824152 4400452 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 42605 41777 150 265 0 42337 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 179568 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 22081 /proc/meminfo: memFree=31193884/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=250520 CPUtime=1062.04 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60550 0 0 0 106186 18 0 0 20 0 1 0 323560476 256532480 61750 33554432000 4194304 5276501 140734541825968 140734541824216 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62630 61750 151 265 0 62362 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 259668 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22090 /proc/meminfo: memFree=31042752/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=250520 CPUtime=1122.03 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60550 0 0 0 112185 18 0 0 20 0 1 0 323560476 256532480 61750 33554432000 4194304 5276501 140734541825968 140734541824216 4399846 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62630 61750 151 265 0 62362 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 259668 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22090 /proc/meminfo: memFree=31019068/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=250520 CPUtime=1182.02 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60550 0 0 0 118184 18 0 0 20 0 1 0 323560476 256532480 61750 33554432000 4194304 5276501 140734541825968 140734541824216 4391024 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62630 61750 151 265 0 62362 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 259668 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22090 /proc/meminfo: memFree=31002452/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=250520 CPUtime=1242.01 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60550 0 0 0 124183 18 0 0 20 0 1 0 323560476 256532480 61750 33554432000 4194304 5276501 140734541825968 140734541824216 4399850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62630 61750 151 265 0 62362 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 259668 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22090 /proc/meminfo: memFree=31001604/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=250520 CPUtime=1302.01 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60550 0 0 0 130183 18 0 0 20 0 1 0 323560476 256532480 61750 33554432000 4194304 5276501 140734541825968 140734541824216 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62630 61750 151 265 0 62362 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 259668 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 22091 /proc/meminfo: memFree=30999416/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=250520 CPUtime=1361.99 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60550 0 0 0 136181 18 0 0 20 0 1 0 323560476 256532480 61750 33554432000 4194304 5276501 140734541825968 140734541824216 4399829 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62630 61750 151 265 0 62362 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 259668 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22092 /proc/meminfo: memFree=30999424/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=251244 CPUtime=1421.99 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60690 0 0 0 142181 18 0 0 20 0 1 0 323560476 257273856 61890 33554432000 4194304 5276501 140734541825968 140734541824200 4399904 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62811 61890 151 265 0 62543 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 260392 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22092 /proc/meminfo: memFree=30999424/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=251244 CPUtime=1481.98 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 60690 0 0 0 148180 18 0 0 20 0 1 0 323560476 257273856 61890 33554432000 4194304 5276501 140734541825968 140734541824200 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 62811 61890 151 265 0 62543 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 260392 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22092 /proc/meminfo: memFree=30997936/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=253172 CPUtime=1541.97 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 61068 0 0 0 154179 18 0 0 20 0 1 0 323560476 259248128 62268 33554432000 4194304 5276501 140734541825968 140734541824200 4400020 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 63293 62268 151 265 0 63025 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 262320 [startup+1602.3 s] /proc/loadavg: 1.95 1.98 1.99 3/179 22177 /proc/meminfo: memFree=31604412/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=253172 CPUtime=1601.96 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 61097 0 0 0 160178 18 0 0 20 0 1 0 323560476 259248128 62297 33554432000 4194304 5276501 140734541825968 140734541824200 4636736 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 63293 62297 151 265 0 63025 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 262320 [startup+1662.3 s] /proc/loadavg: 1.98 1.98 1.99 3/180 22180 /proc/meminfo: memFree=31511448/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=258248 CPUtime=1661.96 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 62085 0 0 0 166177 19 0 0 20 0 1 0 323560476 264445952 63285 33554432000 4194304 5276501 140734541825968 140734541824392 4390973 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 64562 63285 151 265 0 64294 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 267396 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22181 /proc/meminfo: memFree=31491924/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=258248 CPUtime=1721.95 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 62086 0 0 0 172176 19 0 0 20 0 1 0 323560476 264445952 63393 33554432000 4194304 5276501 140734541825968 140734541824392 4400020 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 64562 63393 151 265 0 64294 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 267396 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22181 /proc/meminfo: memFree=31428592/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=258576 CPUtime=1781.94 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 62170 0 0 0 178175 19 0 0 20 0 1 0 323560476 264781824 63477 33554432000 4194304 5276501 140734541825968 140734541824216 4399852 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 64644 63477 152 265 0 64376 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 267724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22181 /proc/meminfo: memFree=31414120/32873844 swapFree=7116/7116 [pid=22075] ppid=22073 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22075/stat : 22075 (minisat+_script) S 22073 22075 19966 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323560475 9367552 277 33554432000 4194304 5064252 140736407188480 140736407187392 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22075/statm: 2287 277 236 213 0 72 0 [pid=22079] ppid=22075 vsize=258576 CPUtime=1800.04 cores=0,2,4,6 /proc/22079/stat : 22079 (minisat+_64-bit) R 22075 22075 19966 0 -1 4202496 62170 0 0 0 179985 19 0 0 20 0 1 0 323560476 264781824 63477 33554432000 4194304 5276501 140734541825968 140734541824216 4395099 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22079/statm: 64644 63477 152 265 0 64376 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 267724 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.06 CPU user time (s): 1799.86 CPU system time (s): 0.200969 CPU usage (%): 99.9803 Max. virtual memory (cumulated for all children) (KiB): 267724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.200969 maximum resident set size= 253912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63117 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 124 involuntary context switches= 1970 runsolver used 2.66559 second user time and 7.19591 second system time The end
Begin job on node146 at 2012-06-01 20:12:36 IDJOB=3723780 IDBENCH=24998 IDSOLVER=2307 FILE ID=node146/3723780-1338574355 RUNJOBID= node146-1338564490-19982 PBS_JOBID= 14635895 Free space on /tmp= 70916 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723780-1338574355/watcher-3723780-1338574355 -o /tmp/evaluation-result-3723780-1338574355/solver-3723780-1338574355 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723780-1338574355.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640 RANDOM SEED=291776567 node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31602812 kB Buffers: 78656 kB Cached: 97172 kB SwapCached: 1800 kB Active: 424164 kB Inactive: 102648 kB Active(anon): 351836 kB Inactive(anon): 1556 kB Active(file): 72328 kB Inactive(file): 101092 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67099764 kB Dirty: 3092 kB Writeback: 24 kB AnonPages: 357136 kB Mapped: 9544 kB Shmem: 0 kB Slab: 605652 kB SReclaimable: 45600 kB SUnreclaim: 560052 kB KernelStack: 1448 kB PageTables: 4872 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 473736 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 301056 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70916 MiB End job on node146 at 2012-06-01 20:42:36