Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | SAT (TO) | 29 | 1800.09 | 1800.41 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb |
MD5SUM | 66cf2657d020eb0982c7cab0e5ad93c1 |
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 | 1.10383 |
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 | 7343 |
Total number of constraints | 22903 |
Number of constraints which are clauses | 22903 |
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 | 3560 |
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 | 3560 |
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 | 3560 |
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.29/0.31 c Converting 22350 PB-constraints to clauses... 0.29/0.31 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.29/0.31 c -- Detecting intervals from adjacent constraints: ######### 0.29/0.32 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 0.29/0.34 c ---[20648]---> BDD-cost: 1 0.29/0.34 c ---[19690]---> BDD-cost: 1 0.29/0.34 c ---[19281]---> BDD-cost: 1 0.29/0.34 c ---[19154]---> BDD-cost: 1 0.29/0.34 c ---[19013]---> BDD-cost: 1 0.29/0.34 c ---[18989]---> BDD-cost: 1 0.29/0.34 c ---[18972]---> BDD-cost: 1 0.29/0.34 c ---[18967]---> BDD-cost: 1 0.29/0.34 c ---[18965]---> BDD-cost: 1 0.29/0.34 c ==================================[MINISAT+]================================== 0.29/0.34 c | Conflicts | Original | Learnt | Progress | 0.29/0.34 c | | Clauses Literals | Max Clauses Literals LPC | | 0.29/0.34 c ============================================================================== 0.29/0.34 c | 0 | 19762 47991 | 6587 0 0 nan | 0.000 % | 0.29/0.34 c ============================================================================== 0.29/0.34 c [1mFound solution: 34[0m 0.29/0.34 o 34 0.29/0.36 c ---[ 0]---> Adder-cost: 5994 maxlim: 2973 bits: 12/12 3.79/3.81 c ==================================[MINISAT+]================================== 3.79/3.81 c | Conflicts | Original | Learnt | Progress | 3.79/3.81 c | | Clauses Literals | Max Clauses Literals LPC | | 3.79/3.81 c ============================================================================== 3.79/3.81 c | 14 | 60867 196066 | 20289 13 161 12.4 | 0.000 % | 3.79/3.81 c | 114 | 60867 196066 | 22317 113 1272 11.3 | 8.463 % | 3.79/3.84 c | 264 | 60850 196007 | 24549 261 1894 7.3 | 8.486 % | 3.89/3.90 c | 489 | 60754 195659 | 27004 472 2811 6.0 | 8.605 % | 3.89/3.95 c | 826 | 60707 195486 | 29705 803 4751 5.9 | 8.673 % | 3.99/4.04 c | 1335 | 60526 194853 | 32675 1281 9111 7.1 | 8.913 % | 4.09/4.18 c | 2094 | 60526 194853 | 35943 2040 30648 15.0 | 8.913 % | 4.29/4.31 c | 3233 | 60191 193734 | 39537 3114 88872 28.5 | 9.369 % | 4.39/4.48 c | 4943 | 60191 193734 | 43491 4824 253102 52.5 | 9.369 % | 5.09/5.12 c | 7506 | 60191 193734 | 47840 7387 423980 57.4 | 9.369 % | 5.79/5.87 c | 11351 | 60191 193734 | 52624 11232 854807 76.1 | 9.369 % | 6.89/6.95 c | 17120 | 60182 193705 | 57886 17000 1414476 83.2 | 9.384 % | 8.70/8.73 c | 25769 | 60182 193705 | 63675 25649 2517914 98.2 | 9.384 % | 12.39/12.44 c | 38743 | 60182 193705 | 70043 38623 4123445 106.8 | 9.384 % | 18.29/18.30 c | 58204 | 60182 193705 | 77047 58084 6385327 109.9 | 9.384 % | 29.79/29.80 c | 87398 | 60182 193705 | 84752 25067 2989860 119.3 | 9.384 % | 45.08/45.20 c | 131193 | 60182 193705 | 93227 68862 9063509 131.6 | 9.384 % | 64.15/64.21 c | 196877 | 60182 193705 | 102550 55717 7911740 142.0 | 9.384 % | 97.05/97.12 c | 295403 | 60182 193705 | 112805 66498 11030774 165.9 | 9.384 % | 166.04/166.13 c | 443195 | 60182 193705 | 124085 26796 3752424 140.0 | 9.384 % | 261.12/261.29 c | 664878 | 60182 193705 | 136494 36012 5738581 159.4 | 9.384 % | 408.10/408.27 c | 997403 | 60182 193705 | 150143 137233 17841868 130.0 | 9.384 % | 642.66/642.81 c | 1496191 | 60182 193705 | 165158 108476 15513694 143.0 | 9.384 % | 658.66/658.87 c ============================================================================== 658.66/658.87 c [1mFound solution: 33[0m 658.66/658.87 o 33 658.66/658.90 c ---[ 0]---> Adder-cost: 0 maxlim: 2974 bits: 12/12 662.06/662.23 c ==================================[MINISAT+]================================== 662.06/662.23 c | Conflicts | Original | Learnt | Progress | 662.06/662.23 c | | Clauses Literals | Max Clauses Literals LPC | | 662.06/662.23 c ============================================================================== 662.06/662.23 c | 1520874 | 60191 193744 | 20063 133159 19704114 148.0 | 9.384 % | 662.75/662.96 c | 1520974 | 60191 193744 | 22069 19224 2636025 137.1 | 9.390 % | 662.85/663.00 c | 1521125 | 60191 193744 | 24276 19375 2639902 136.3 | 9.390 % | 662.85/663.03 c | 1521350 | 60191 193744 | 26703 19600 2657603 135.6 | 9.390 % | 662.85/663.08 c | 1521687 | 60191 193744 | 29374 19937 2695942 135.2 | 9.390 % | 662.95/663.17 c | 1522194 | 60191 193744 | 32311 20444 2770144 135.5 | 9.390 % | 663.06/663.27 c | 1522954 | 60191 193744 | 35542 21204 2857007 134.7 | 9.390 % | 663.25/663.45 c | 1524093 | 60191 193744 | 39097 22343 2997513 134.2 | 9.390 % | 663.55/663.76 c | 1525802 | 60191 193744 | 43006 24052 3226908 134.2 | 9.390 % | 664.16/664.30 c | 1528365 | 60191 193744 | 47307 26615 3551358 133.4 | 9.390 % | 665.05/665.23 c | 1532211 | 60191 193744 | 52038 30461 4237360 139.1 | 9.390 % | 666.55/666.72 c | 1537981 | 60191 193744 | 57242 36231 5044407 139.2 | 9.390 % | 668.95/669.15 c | 1546630 | 60191 193744 | 62966 44880 6073692 135.3 | 9.390 % | 673.25/673.41 c | 1559604 | 60191 193744 | 69262 57854 7741114 133.8 | 9.390 % | 679.45/679.69 c | 1579068 | 60191 193744 | 76189 23181 2617703 112.9 | 9.390 % | 687.75/687.99 c | 1608260 | 60191 193744 | 83808 52373 7442413 142.1 | 9.390 % | 704.55/704.73 c | 1652050 | 60191 193744 | 92188 27897 3258321 116.8 | 9.390 % | 711.15/711.34 c ============================================================================== 711.15/711.34 c [1mFound solution: 31[0m 711.15/711.34 o 31 711.15/711.36 c ---[ 0]---> Adder-cost: 0 maxlim: 2976 bits: 12/12 714.45/714.63 c ==================================[MINISAT+]================================== 714.45/714.63 c | Conflicts | Original | Learnt | Progress | 714.45/714.63 c | | Clauses Literals | Max Clauses Literals LPC | | 714.45/714.63 c ============================================================================== 714.45/714.63 c | 1672061 | 59406 190995 | 19802 47775 5853815 122.5 | 9.390 % | 714.55/714.73 c | 1672162 | 59406 190995 | 21782 16886 1763566 104.4 | 10.445 % | 714.55/714.75 c | 1672314 | 59406 190995 | 23960 17038 1766886 103.7 | 10.445 % | 714.55/714.78 c | 1672540 | 59406 190995 | 26356 17264 1772832 102.7 | 10.445 % | 714.65/714.83 c | 1672877 | 59406 190995 | 28992 17601 1794242 101.9 | 10.445 % | 714.75/714.91 c | 1673385 | 59406 190995 | 31891 18109 1827871 100.9 | 10.445 % | 714.85/715.02 c | 1674145 | 59406 190995 | 35080 18869 1875758 99.4 | 10.445 % | 715.05/715.23 c | 1675284 | 59406 190995 | 38588 20008 1960772 98.0 | 10.445 % | 715.35/715.50 c | 1676994 | 59406 190995 | 42447 21718 2101379 96.8 | 10.445 % | 715.85/716.10 c | 1679556 | 59406 190995 | 46692 24280 2322237 95.6 | 10.445 % | 716.75/716.91 c | 1683407 | 59406 190995 | 51361 28131 2637741 93.8 | 10.445 % | 718.05/718.21 c | 1689174 | 59406 190995 | 56497 33898 3101421 91.5 | 10.445 % | 720.45/720.60 c | 1697823 | 59406 190995 | 62147 42547 3772431 88.7 | 10.445 % | 723.84/724.05 c | 1710798 | 59406 190995 | 68361 55522 5280978 95.1 | 10.445 % | 730.25/730.40 c | 1730262 | 59406 190995 | 75198 21664 1899910 87.7 | 10.445 % | 737.34/737.58 c | 1759454 | 59406 190995 | 82717 50856 4813958 94.7 | 10.445 % | 754.04/754.22 c | 1803243 | 59406 190995 | 90989 27437 2251464 82.1 | 10.445 % | 758.54/758.71 c ============================================================================== 758.54/758.71 c [1mFound solution: 30[0m 758.54/758.71 o 30 758.54/758.73 c ---[ 0]---> Adder-cost: 0 maxlim: 2977 bits: 12/12 761.74/761.99 c ==================================[MINISAT+]================================== 761.74/761.99 c | Conflicts | Original | Learnt | Progress | 761.74/761.99 c | | Clauses Literals | Max Clauses Literals LPC | | 761.74/761.99 c ============================================================================== 761.74/761.99 c | 1822163 | 59407 191000 | 19802 46357 4328421 93.4 | 10.445 % | 761.84/762.06 c | 1822263 | 59407 191000 | 21782 14996 1367097 91.2 | 10.451 % | 761.84/762.09 c | 1822413 | 59407 191000 | 23960 15146 1372073 90.6 | 10.451 % | 761.94/762.12 c | 1822639 | 59407 191000 | 26356 15372 1384010 90.0 | 10.451 % | 761.94/762.16 c | 1822979 | 59407 191000 | 28992 15712 1408979 89.7 | 10.451 % | 762.05/762.24 c | 1823485 | 59407 191000 | 31891 16218 1445058 89.1 | 10.451 % | 762.15/762.33 c | 1824244 | 59407 191000 | 35080 16977 1501769 88.5 | 10.452 % | 762.24/762.49 c | 1825383 | 59407 191000 | 38588 18116 1590327 87.8 | 10.451 % | 762.54/762.74 c | 1827091 | 59407 191000 | 42447 19824 1704983 86.0 | 10.451 % | 762.94/763.10 c | 1829653 | 59407 191000 | 46692 22386 1891305 84.5 | 10.451 % | 763.64/763.84 c | 1833500 | 59407 191000 | 51361 26233 2167123 82.6 | 10.451 % | 764.94/765.16 c | 1839269 | 59407 191000 | 56497 32002 2495778 78.0 | 10.451 % | 766.54/766.71 c | 1847920 | 59407 191000 | 62147 40653 3475153 85.5 | 10.451 % | 769.84/770.05 c | 1860894 | 59407 191000 | 68361 53627 5189814 96.8 | 10.451 % | 775.64/775.83 c | 1880356 | 59407 191000 | 75198 18215 1771522 97.3 | 10.451 % | 781.94/782.16 c | 1909549 | 59407 191000 | 82717 47408 4805011 101.4 | 10.451 % | 793.63/793.86 c | 1953342 | 59407 191000 | 90989 24732 1811380 73.2 | 10.451 % | 814.33/814.55 c | 2019026 | 59407 191000 | 100088 90416 7253662 80.2 | 10.451 % | 849.63/849.85 c | 2117554 | 59407 191000 | 110097 27530 1618713 58.8 | 10.451 % | 899.82/900.08 c | 2265344 | 59407 191000 | 121107 81265 8788580 108.1 | 10.451 % | 995.69/995.92 c | 2487027 | 59407 191000 | 133217 100212 10572334 105.5 | 10.451 % | 1116.98/1117.26 c ============================================================================== 1116.98/1117.26 c [1mFound solution: 29[0m 1116.98/1117.26 o 29 1116.98/1117.28 c ---[ 0]---> Adder-cost: 0 maxlim: 2978 bits: 12/12 1120.27/1120.56 c ==================================[MINISAT+]================================== 1120.27/1120.56 c | Conflicts | Original | Learnt | Progress | 1120.27/1120.56 c | | Clauses Literals | Max Clauses Literals LPC | | 1120.27/1120.56 c ============================================================================== 1120.27/1120.56 c | 2793666 | 59408 191006 | 19802 68305 7641441 111.9 | 10.451 % | 1120.47/1120.75 c | 2793768 | 59408 191006 | 21782 11470 810118 70.6 | 10.458 % | 1120.47/1120.78 c | 2793918 | 59408 191006 | 23960 11620 815117 70.1 | 10.458 % | 1120.58/1120.81 c | 2794145 | 59408 191006 | 26356 11847 824249 69.6 | 10.458 % | 1120.58/1120.85 c | 2794482 | 59408 191006 | 28992 12184 840893 69.0 | 10.458 % | 1120.68/1120.90 c | 2794988 | 59408 191006 | 31891 12690 871079 68.6 | 10.458 % | 1120.77/1121.00 c | 2795747 | 59408 191006 | 35080 13449 928188 69.0 | 10.458 % | 1120.87/1121.15 c | 2796888 | 59408 191006 | 38588 14590 1022088 70.1 | 10.458 % | 1121.07/1121.39 c | 2798597 | 59408 191006 | 42447 16299 1197021 73.4 | 10.458 % | 1121.47/1121.75 c | 2801159 | 59408 191006 | 46692 18861 1457491 77.3 | 10.458 % | 1122.17/1122.41 c | 2805004 | 59408 191006 | 51361 22706 1865686 82.2 | 10.458 % | 1123.27/1123.53 c | 2810773 | 59408 191006 | 56497 28475 2413953 84.8 | 10.458 % | 1125.08/1125.31 c | 2819423 | 59408 191006 | 62147 37125 3415453 92.0 | 10.458 % | 1128.47/1128.71 c | 2832397 | 59408 191006 | 68361 50099 4544244 90.7 | 10.458 % | 1134.77/1135.00 c | 2851859 | 59408 191006 | 75198 69561 6728776 96.7 | 10.458 % | 1142.37/1142.62 c | 2881052 | 59408 191006 | 82717 38554 3842847 99.7 | 10.458 % | 1159.57/1159.89 c | 2924842 | 59408 191006 | 90989 82344 8478413 103.0 | 10.458 % | 1179.87/1180.12 c | 2990526 | 59408 191006 | 100088 72960 6902870 94.6 | 10.458 % | 1216.56/1216.89 c | 3089054 | 59408 191006 | 110097 87522 8471995 96.8 | 10.458 % | 1274.66/1274.99 c | 3236847 | 59408 191006 | 121107 52094 4517421 86.7 | 10.458 % | 1361.14/1361.40 c | 3458533 | 59408 191006 | 133217 69143 5494258 79.5 | 10.458 % | 1504.53/1504.85 c | 3791059 | 59408 191006 | 146539 66941 5530693 82.6 | 10.458 % | 1706.90/1707.29 c | 4289847 | 59408 191006 | 161193 64746 6128920 94.7 | 10.458 % | 1800.08/1800.40 c 1800.08/1800.40 c *** TERMINATED *** 1800.08/1800.40 s SATISFIABLE 1800.08/1800.40 v -x228 -x230 -x232 -x234 -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 -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 -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 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -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 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -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 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -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 -x1290 -x1292 -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 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -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 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -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 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -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 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -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 -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 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -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 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -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 -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 -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 -x2822 -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 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -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 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -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 -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 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -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 -x3353 -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 -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 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -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 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -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 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -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 -x4163 -x4165 -x4167 -x4169 -x4171 -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 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -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 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -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 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -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 -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 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -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 -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 -x4940 -x4942 -x4944 -x4946 -x4948 -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 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -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 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -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 -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 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -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 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -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 -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 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -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 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -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 -x6323 -x6325 -x6327 -x6329 -x6331 x6333 -x6335 -x6337 -x6339 x6341 -x6343 -x6345 -x6347 -x6349 -x6351 x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -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 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -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 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -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 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -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 -x227 -x229 -x231 -x233 -x235 -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 -x1 -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 -x2 -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 -x3 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x4 -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 -x5 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x6 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x7 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x8 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x9 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x10 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x11 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x12 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x13 -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 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -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 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x14 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -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 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x15 -x1283 -x1285 -x1287 -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 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x16 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x17 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -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 -x18 -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 -x19 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x20 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x21 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x22 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x23 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x24 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x25 -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 -x26 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x27 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x28 -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 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x29 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x30 -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 -x31 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x32 -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 -x2501 -x2503 -x2505 -x33 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x34 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x35 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x36 -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 -x37 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x38 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x39 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x40 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x41 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x42 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x43 -x2775 -x2777 -x2779 -x44 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x45 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x46 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x47 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x48 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 x2950 -x2952 -x2954 -x2956 -x2958 -x49 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x50 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x51 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x52 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x53 -x3032 -x3034 -x3036 -x54 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x55 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x56 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x57 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x58 -x3110 -x3112 -x3114 -x59 -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 -x60 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x61 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x62 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x63 -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 -x64 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x65 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x66 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x67 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x68 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x69 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x70 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x71 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x72 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x73 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x74 -x3726 -x3728 -x3730 -x75 -x3732 -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 -x76 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x77 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x78 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x79 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x80 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x81 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x82 -x3926 -x3928 -x3930 -x83 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x84 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x85 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x86 -x3990 -x3992 -x3994 -x87 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x88 -x4010 -x4012 -x4014 -x89 -x4016 -x4018 -x4020 -x90 -x4022 -x91 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x92 -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 -x93 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x94 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x95 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x96 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x97 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x98 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x99 -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 -x100 -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 -x101 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x102 -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 -x103 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x104 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x105 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x106 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x107 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x108 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x109 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x110 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x111 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x112 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x113 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 x4855 -x4857 -x4859 -x4861 -x114 -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 -x115 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x116 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x117 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 x118 x4961 -x4963 -x4965 -x119 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x120 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x121 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x122 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x123 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x124 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x125 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x126 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x127 -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 -x128 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x129 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x130 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x131 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x132 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x133 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x134 -x5577 -x5579 -x5581 -x135 -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 -x5637 -x5639 -x5641 -x5643 -x136 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x137 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x138 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x139 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x140 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x141 -x5777 -x5779 -x142 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x143 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x144 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 x145 -x5839 x5841 -x5843 -x146 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x147 -x5859 -x5861 -x5863 -x148 -x5865 -x5867 -x5869 -x149 -x5871 -x150 -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 -x5924 -x5926 -x5928 -x5930 -x5932 -x151 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x152 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x153 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x154 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x155 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x156 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x157 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x158 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x159 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x160 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x161 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x162 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 x6244 x163 -x6246 -x6248 -x6250 -x164 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x165 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x166 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 x6332 -x6334 -x6336 -x6338 x6340 -x6342 -x6344 -x6346 -x6348 -x6350 x6352 x167 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x168 -x6368 -x6370 -x6372 -x169 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x170 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x171 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x172 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x173 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x174 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x175 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 x6568 -x6570 -x6572 -x176 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x177 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x178 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x179 -x6632 -x6634 -x6636 -x180 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x181 -x6652 -x6654 -x6656 -x182 -x6658 -x6660 -x6662 -x183 -x6664 -x184 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x185 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x186 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x187 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 x6782 x188 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x189 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x190 -x6812 -x6814 -x6816 -x191 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x192 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x193 -x6844 -x6846 -x6848 -x194 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 x6880 -x6882 -x6884 -x6886 -x6888 -x6890 x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x195 -x6908 -x6910 -x196 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x197 -x6926 -x6928 -x6930 -x198 -x6932 -x6934 x6936 x199 -x6938 -x200 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x201 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x202 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x203 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x204 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 -x7112 -x205 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 x7126 -x7128 -x7130 -x7132 -x206 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x207 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x208 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x209 -x7192 -x7194 -x7196 -x210 -x7198 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x211 -x7212 -x7214 -x7216 -x212 -x7218 -x7220 x7222 x213 -x7224 -x7226 -x7228 -x7230 -x7232 -x7234 -x7236 x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x214 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 x7276 -x7278 -x215 -x7280 -x7282 -x7284 -x7286 -x7288 x7290 -x7292 -x7294 -x7296 -x7298 -x216 -x7300 -x7302 -x217 -x7304 -x7306 -x7308 -x218 -x7310 -x219 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x220 -x7324 -x7326 -x7328 -x221 -x7330 -x7332 x7334 x222 -x7336 -x223 -x7338 x7340 x224 -x7342 -x225 x226
OK 29
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-3721569-1338557982/watcher-3721569-1338557982 -o /tmp/evaluation-result-3721569-1338557982/solver-3721569-1338557982 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721569-1338557982.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.01 2.02 1.95 3/176 22633 /proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=1960 CPUtime=0 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 321923890 2007040 284 33554432000 134512640 135395479 4290614432 4290613400 135031278 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 490 284 74 216 0 272 0 [startup+0.076174 s] /proc/loadavg: 2.01 2.02 1.95 3/176 22633 /proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=3412 CPUtime=0.07 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 683 0 0 0 7 0 0 0 20 0 1 0 321923890 3493888 640 33554432000 134512640 135395479 4290614432 4290612980 135005290 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 853 641 74 216 0 635 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3412 [startup+0.10021 s] /proc/loadavg: 2.01 2.02 1.95 3/176 22633 /proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=3844 CPUtime=0.09 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 794 0 0 0 9 0 0 0 20 0 1 0 321923890 3936256 751 33554432000 134512640 135395479 4290614432 4290612884 135003247 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 961 752 74 216 0 743 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3844 [startup+0.30018 s] /proc/loadavg: 2.01 2.02 1.95 3/176 22633 /proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=7512 CPUtime=0.29 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 1722 0 0 0 29 0 0 0 20 0 1 0 321923890 7692288 1679 33554432000 134512640 135395479 4290614432 4290613152 135005847 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 1878 1680 75 216 0 1660 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7512 [startup+0.700176 s] /proc/loadavg: 2.01 2.02 1.95 3/176 22633 /proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=9660 CPUtime=0.69 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 2328 0 0 0 68 1 0 0 20 0 1 0 321923890 9891840 2241 33554432000 134512640 135395479 4290614432 4290229916 135005888 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 2415 2241 104 216 0 2197 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9660 [startup+1.50017 s] /proc/loadavg: 2.01 2.02 1.95 3/177 22634 /proc/meminfo: memFree=28927728/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=9660 CPUtime=1.49 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 2349 0 0 0 148 1 0 0 20 0 1 0 321923890 9891840 2262 33554432000 134512640 135395479 4290614432 4290349428 135005314 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 2415 2262 104 216 0 2197 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9660 [startup+3.10018 s] /proc/loadavg: 2.01 2.02 1.95 3/177 22634 /proc/meminfo: memFree=28927224/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=9968 CPUtime=3.09 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 2429 0 0 0 308 1 0 0 20 0 1 0 321923890 10207232 2342 33554432000 134512640 135395479 4290614432 4290223680 134809838 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 2492 2342 104 216 0 2274 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9968 [startup+6.30018 s] /proc/loadavg: 2.01 2.02 1.95 3/177 22634 /proc/meminfo: memFree=28916312/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=23104 CPUtime=6.29 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 6381 0 0 0 628 1 0 0 20 0 1 0 321923890 23658496 5599 33554432000 134512640 135395479 4290614432 4290612784 134580945 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 5776 5599 123 216 0 5558 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23104 [startup+12.7002 s] /proc/loadavg: 2.01 2.02 1.95 3/177 22634 /proc/meminfo: memFree=28901068/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=37088 CPUtime=12.69 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 9871 0 0 0 1267 2 0 0 20 0 1 0 321923890 37978112 9089 33554432000 134512640 135395479 4290614432 4290612784 134580938 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/22633/statm: 9272 9089 123 216 0 9054 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37088 [startup+25.5003 s] /proc/loadavg: 2.09 2.04 1.96 3/178 22637 /proc/meminfo: memFree=28879824/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=56948 CPUtime=25.48 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 14837 0 0 0 2544 4 0 0 20 0 1 0 321923890 58314752 14055 33554432000 134512640 135395479 4290614432 4290612784 134580965 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 14237 14055 123 216 0 14019 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56948 [startup+51.1003 s] /proc/loadavg: 2.06 2.03 1.96 3/178 22637 /proc/meminfo: memFree=28865316/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=72300 CPUtime=51.06 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 18696 0 0 0 5100 6 0 0 20 0 1 0 321923890 74035200 17916 33554432000 134512640 135395479 4290614432 4290612784 134581428 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 18075 17916 123 216 0 17857 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 72300 [startup+102.306 s] /proc/loadavg: 2.02 2.03 1.96 3/177 22637 /proc/meminfo: memFree=28849364/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=85764 CPUtime=102.25 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 22031 0 0 0 10218 7 0 0 20 0 1 0 321923890 87822336 21255 33554432000 134512640 135395479 4290614432 4290612784 134581436 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 21441 21255 123 216 0 21223 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 85764 [startup+162.3 s] /proc/loadavg: 1.95 2.00 1.95 3/177 22689 /proc/meminfo: memFree=28753828/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=105508 CPUtime=162.23 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 26943 0 0 0 16214 9 0 0 20 0 1 0 321923890 108040192 26170 33554432000 134512640 135395479 4290614432 4290612784 134581284 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 26377 26170 123 216 0 26159 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 105508 [startup+222.3 s] /proc/loadavg: 1.98 2.00 1.95 3/177 22689 /proc/meminfo: memFree=28564648/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=111020 CPUtime=222.22 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 28341 0 0 0 22212 10 0 0 20 0 1 0 321923890 113684480 27572 33554432000 134512640 135395479 4290614432 4290612480 134584041 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 27755 27572 123 216 0 27537 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 111020 [startup+282.3 s] /proc/loadavg: 1.99 2.00 1.95 3/177 22689 /proc/meminfo: memFree=28410668/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=122144 CPUtime=282.22 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31066 0 0 0 28211 11 0 0 20 0 1 0 321923890 125075456 30297 33554432000 134512640 135395479 4290614432 4290612784 134581216 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 30536 30297 123 216 0 30318 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 122144 [startup+342.3 s] /proc/loadavg: 1.99 2.00 1.95 3/177 22689 /proc/meminfo: memFree=28273428/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=122952 CPUtime=342.21 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31212 0 0 0 34210 11 0 0 20 0 1 0 321923890 125902848 30443 33554432000 134512640 135395479 4290614432 4290612784 134581500 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 30738 30443 123 216 0 30520 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 122952 [startup+402.3 s] /proc/loadavg: 1.99 2.00 1.95 3/177 22689 /proc/meminfo: memFree=28163468/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=123444 CPUtime=402.2 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31304 0 0 0 40209 11 0 0 20 0 1 0 321923890 126406656 30535 33554432000 134512640 135395479 4290614432 4290612784 134580798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 30861 30535 123 216 0 30643 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 123444 [startup+462.3 s] /proc/loadavg: 1.99 2.00 1.95 3/177 22690 /proc/meminfo: memFree=28066280/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=123932 CPUtime=462.19 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31420 0 0 0 46208 11 0 0 20 0 1 0 321923890 126906368 30651 33554432000 134512640 135395479 4290614432 4290612784 134580789 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 30983 30651 123 216 0 30765 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 123932 [startup+522.3 s] /proc/loadavg: 1.99 2.00 1.95 3/177 22690 /proc/meminfo: memFree=27986204/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=131064 CPUtime=522.18 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33139 0 0 0 52206 12 0 0 20 0 1 0 321923890 134209536 32370 33554432000 134512640 135395479 4290614432 4290612784 134580825 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 32766 32370 123 216 0 32548 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 131064 [startup+582.3 s] /proc/loadavg: 1.99 2.00 1.95 3/177 22690 /proc/meminfo: memFree=27911832/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=133000 CPUtime=582.17 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33569 0 0 0 58205 12 0 0 20 0 1 0 321923890 136192000 32800 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 33250 32800 123 216 0 33032 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 133000 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.07 2.02 1.96 3/177 22694 /proc/meminfo: memFree=27722968/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=134820 CPUtime=822.13 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33762 0 0 0 82201 12 0 0 20 0 1 0 321923890 138055680 32951 33554432000 134512640 135395479 4290614432 4290612784 134580756 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 33705 32951 123 216 0 33487 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 134820 [startup+882.3 s] /proc/loadavg: 2.03 2.01 1.96 3/177 22694 /proc/meminfo: memFree=27723060/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=134820 CPUtime=882.12 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33762 0 0 0 88200 12 0 0 20 0 1 0 321923890 138055680 32951 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 33705 32951 123 216 0 33487 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 134820 [startup+942.3 s] /proc/loadavg: 2.01 2.00 1.96 3/177 22694 /proc/meminfo: memFree=27722788/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=134980 CPUtime=942.1 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33820 0 0 0 94198 12 0 0 20 0 1 0 321923890 138219520 33047 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 33745 33047 123 216 0 33527 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 134980 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 22694 /proc/meminfo: memFree=27721920/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=136192 CPUtime=1002.09 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34049 0 0 0 100197 12 0 0 20 0 1 0 321923890 139460608 33276 33554432000 134512640 135395479 4290614432 4290612784 134581183 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34048 33276 123 216 0 33830 0 Current children cumulated CPU time (s) 1002.09 Current children cumulated vsize (KiB) 136192 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 22695 /proc/meminfo: memFree=27721176/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=136928 CPUtime=1062.08 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34230 0 0 0 106196 12 0 0 20 0 1 0 321923890 140214272 33457 33554432000 134512640 135395479 4290614432 4290612304 134574370 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34232 33457 123 216 0 34014 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 136928 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 22695 /proc/meminfo: memFree=27721052/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=136928 CPUtime=1122.07 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34272 0 0 0 112195 12 0 0 20 0 1 0 321923890 140214272 33457 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34232 33457 123 216 0 34014 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 136928 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 22695 /proc/meminfo: memFree=27721176/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=137092 CPUtime=1182.07 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34299 0 0 0 118195 12 0 0 20 0 1 0 321923890 140382208 33484 33554432000 134512640 135395479 4290614432 4290612784 134580965 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34273 33484 123 216 0 34055 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 137092 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 22698 /proc/meminfo: memFree=27720920/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=137256 CPUtime=1242.06 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34338 0 0 0 124194 12 0 0 20 0 1 0 321923890 140550144 33523 33554432000 134512640 135395479 4290614432 4290612784 134580965 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34314 33523 123 216 0 34096 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 137256 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 22721 /proc/meminfo: memFree=27719308/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=138316 CPUtime=1302.05 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34542 0 0 0 130193 12 0 0 20 0 1 0 321923890 141635584 33727 33554432000 134512640 135395479 4290614432 4290612784 134581451 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34579 33727 123 216 0 34361 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 138316 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 1.96 3/177 22722 /proc/meminfo: memFree=27718696/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=138692 CPUtime=1362.04 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34626 0 0 0 136192 12 0 0 20 0 1 0 321923890 142020608 33811 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34673 33811 123 216 0 34455 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 138692 [startup+1422.31 s] /proc/loadavg: 2.08 2.02 1.97 3/177 22722 /proc/meminfo: memFree=27717828/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=139660 CPUtime=1422.03 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34820 0 0 0 142191 12 0 0 20 0 1 0 321923890 143011840 34005 33554432000 134512640 135395479 4290614432 4290612784 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 34915 34005 123 216 0 34697 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 139660 [startup+1482.3 s] /proc/loadavg: 2.03 2.02 1.97 3/177 22722 /proc/meminfo: memFree=27717084/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=140908 CPUtime=1482.02 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35099 0 0 0 148190 12 0 0 20 0 1 0 321923890 144289792 34284 33554432000 134512640 135395479 4290614432 4290612896 134588672 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 35227 34284 123 216 0 35009 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 140908 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 1.97 3/177 22722 /proc/meminfo: memFree=27715968/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=142200 CPUtime=1542.02 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35344 0 0 0 154189 13 0 0 20 0 1 0 321923890 145612800 34529 33554432000 134512640 135395479 4290614432 4290612688 134568540 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 35550 34529 123 216 0 35332 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 142200 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 22722 /proc/meminfo: memFree=27715844/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=142444 CPUtime=1602.01 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35413 0 0 0 160188 13 0 0 20 0 1 0 321923890 145862656 34598 33554432000 134512640 135395479 4290614432 4290612784 134580798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 35611 34598 123 216 0 35393 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 142444 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 22723 /proc/meminfo: memFree=27714852/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=143656 CPUtime=1662 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35691 0 0 0 166187 13 0 0 20 0 1 0 321923890 147103744 34868 33554432000 134512640 135395479 4290614432 4290612784 134580890 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 35914 34868 123 216 0 35696 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 143656 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 22723 /proc/meminfo: memFree=27713360/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=144440 CPUtime=1721.99 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35851 0 0 0 172186 13 0 0 20 0 1 0 321923890 147906560 35144 33554432000 134512640 135395479 4290614432 4290612784 134580840 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 36110 35144 123 216 0 35892 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 144440 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 22723 /proc/meminfo: memFree=27711996/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=145968 CPUtime=1781.98 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 36178 0 0 0 178185 13 0 0 20 0 1 0 321923890 149471232 35471 33554432000 134512640 135395479 4290614432 4290612784 134580929 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 36492 35471 123 216 0 36274 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 145968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 1.97 3/177 22723 /proc/meminfo: memFree=27712120/32873844 swapFree=7112/7112 [pid=22633] ppid=22631 vsize=145968 CPUtime=1800.08 cores=0,2,4,6 /proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 36178 0 0 0 179995 13 0 0 20 0 1 0 321923890 149471232 35471 33554432000 134512640 135395479 4290614432 4290612784 134581412 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/22633/statm: 36492 35471 123 216 0 36274 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 145968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1799.96 CPU system time (s): 0.135979 CPU usage (%): 99.9824 Max. virtual memory (cumulated for all children) (KiB): 145968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.135979 maximum resident set size= 141892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36180 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= 61 involuntary context switches= 1901 runsolver used 3.23951 second user time and 9.12661 second system time The end
Begin job on node119 at 2012-06-01 15:39:42 IDJOB=3721569 IDBENCH=24989 IDSOLVER=2306 FILE ID=node119/3721569-1338557982 RUNJOBID= node119-1338552571-22132 PBS_JOBID= 14635865 Free space on /tmp= 70920 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721569-1338557982/watcher-3721569-1338557982 -o /tmp/evaluation-result-3721569-1338557982/solver-3721569-1338557982 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721569-1338557982.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1 RANDOM SEED=1911456512 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28936516 kB Buffers: 356664 kB Cached: 2742304 kB SwapCached: 1912 kB Active: 1368244 kB Inactive: 1765704 kB Active(anon): 30684 kB Inactive(anon): 6604 kB Active(file): 1337560 kB Inactive(file): 1759100 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100216 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 40164 kB Mapped: 12212 kB Shmem: 0 kB Slab: 667600 kB SReclaimable: 109952 kB SUnreclaim: 557648 kB KernelStack: 1456 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 153684 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721569-1338557982.opb Free space on /tmp at the end= 70916 MiB End job on node119 at 2012-06-01 16:09:45