Trace number 1885141

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.0SAT 87.6357 87.6816

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/
edgematching/all/em_11_3_4_all.opb
MD5SUM42d165badbf4c9b338758d0cf10e8e9a
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark19.0961
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8713
Total number of constraints414651
Number of constraints which are clauses414651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint81
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 82
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1885141-1245263609.opb.
0.00/0.00	c Instance file HOME/instance-1885141-1245263609.opb
0.00/0.00	c File size is 11879265 bytes.
1.59/1.61	c Highest Coefficient sum: 82
1.59/1.61	c ============================[ Problem Statistics ]=============================
1.59/1.61	c |                                                                             |
1.59/1.61	c |  Parsing time:          1.59         s                                      |
1.59/1.61	c |  Number Variables:      8713                                                |
1.59/1.61	c |  Number Clauses:        414651                                              |
1.59/1.61	c |  Number Cardinality:    0                                                   |
1.59/1.61	c |  Number PB Constraints: 0                                                   |
1.59/1.61	c ============================[ Search Statistics ]==============================
1.59/1.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.61	c ===============================================================================
1.59/1.61	c |         0 |    8713   414651   965249 |   138217        0    nan |  0.000 % |
1.59/1.64	c |       100 |    8713   414651   965249 |   152038      100    320 |  0.000 % |
1.69/1.70	c |       250 |    8713   414651   965249 |   167242      250    184 |  0.000 % |
1.79/1.85	c |       475 |    8713   414651   965249 |   183966      475    143 |  0.000 % |
1.99/2.03	c |       812 |    8713   414651   965249 |   202363      812    116 |  0.000 % |
2.20/2.21	c |      1318 |    8713   414651   965249 |   222599     1318    125 |  0.000 % |
2.39/2.41	c |      2077 |    8713   414651   965249 |   244859     2077    125 |  0.000 % |
2.79/2.83	c |      3218 |    8713   414651   965249 |   269345     3218    134 |  0.000 % |
3.39/3.41	c |      4929 |    8713   414651   965249 |   296280     4929    192 |  0.000 % |
4.38/4.46	c |      7491 |    8713   414651   965249 |   325908     7491    205 |  0.000 % |
6.68/6.78	c |     11336 |    8713   414651   965249 |   358499    11336    216 |  0.000 % |
9.88/9.90	c |     17103 |    8713   414651   965249 |   394349    17103    207 |  0.000 % |
15.18/15.28	c |     25754 |    8713   414651   965249 |   433784    25754    217 |  0.000 % |
27.07/27.11	c |     38729 |    8713   414651   965249 |   477162    38729    214 |  0.000 % |
44.56/44.63	c |     58190 |    8713   414651   965249 |   524878    58190    236 |  0.000 % |
85.34/85.49	c |     87384 |    8713   414651   965249 |   577366    87384    264 |  0.000 % |
87.55/87.64	c ===============================================================================
87.55/87.65	c Verified 414651 original clauses.
87.55/87.65	c #cores: 0
87.55/87.65	c Final Weight: 0
87.55/87.65	s SATISFIABLE
87.55/87.65	v -x1 x329 -x7542 -x7870 -x2 -x330 x7543 -x7871 x3 -x331 -x7544 -x7872 -x4 -x332 -x7545 x7873 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 -x333 x1098 -x1134 -x1899 -x1935 -x2700 -x2736 -x3501 -x3537 -x4302 -x4338 -x5103 -x5139 -x5904 -x5940 -x6705 -x6741 -x7506 -x7546 -x7582 -x7618 -x7654 -x7690 -x7726 -x7762 -x7798 -x7834 -x6 -x42 -x78 -x114 x150 -x186 -x222 -x258 -x294 -x334 -x1099 -x1135 -x1900 -x1936 -x2701 -x2737 -x3502 -x3538 -x4303 -x4339 -x5104 -x5140 -x5905 -x5941 -x6706 -x6742 -x7507 -x7547 -x7583 -x7619 -x7655 -x7691 -x7727 -x7763 -x7799 -x7835 -x7 -x43 -x79 -x115 -x151 x187 -x223 -x259 -x295 -x335 -x1100 -x1136 -x1901 -x1937 -x2702 -x2738 -x3503 -x3539 -x4304 -x4340 -x5105 -x5141 -x5906 -x5942 -x6707 -x6743 -x7508 -x7548 -x7584 -x7620 -x7656 -x7692 -x7728 -x7764 -x7800 -x7836 -x8 -x44 -x80 -x116 -x152 -x188 -x224 -x260 -x296 -x336 -x1101 x1137 -x1902 -x1938 -x2703 -x2739 -x3504 -x3540 -x4305 -x4341 -x5106 -x5142 -x5907 -x5943 -x6708 -x6744 -x7509 -x7549 -x7585 -x7621 -x7657 -x7693 -x7729 -x7765 -x7801 -x7837 x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x337 -x1102 -x1138 -x1903 -x1939 -x2704 -x2740 -x3505 -x3541 -x4306 -x4342 -x5107 -x5143 -x5908 -x5944 -x6709 -x6745 -x7510 -x7550 -x7586 -x7622 -x7658 -x7694 -x7730 -x7766 -x7802 -x7838 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 -x338 -x1103 -x1139 -x1904 -x1940 -x2705 x2741 -x3506 -x3542 -x4307 -x4343 -x5108 -x5144 -x5909 -x5945 -x6710 -x6746 -x7511 -x7551 -x7587 -x7623 -x7659 -x7695 -x7731 -x7767 -x7803 -x7839 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 -x299 -x339 -x1104 -x1140 -x1905 -x1941 -x2706 -x2742 -x3507 -x3543 -x4308 x4344 -x5109 -x5145 -x5910 -x5946 -x6711 -x6747 -x7512 -x7552 -x7588 -x7624 -x7660 -x7696 -x7732 -x7768 -x7804 -x7840 -x12 -x48 -x84 -x120 -x156 -x192 -x228 -x264 -x300 -x340 -x1105 -x1141 -x1906 -x1942 -x2707 -x2743 -x3508 x3544 -x4309 -x4345 -x5110 -x5146 -x5911 -x5947 -x6712 -x6748 -x7513 -x7553 -x7589 -x7625 -x7661 -x7697 -x7733 -x7769 -x7805 -x7841 -x13 -x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 -x341 -x1106 -x1142 -x1907 -x1943 -x2708 -x2744 -x3509 -x3545 -x4310 -x4346 -x5111 -x5147 -x5912 -x5948 x6713 -x6749 -x7514 -x7554 -x7590 -x7626 -x7662 -x7698 -x7734 -x7770 -x7806 -x7842 -x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 x302 -x342 -x1107 -x1143 -x1908 -x1944 -x2709 -x2745 -x3510 -x3546 -x4311 -x4347 -x5112 -x5148 -x5913 -x5949 -x6714 -x6750 -x7515 -x7555 -x7591 -x7627 -x7663 -x7699 -x7735 -x7771 -x7807 -x7843 -x15 -x51 -x87 -x123 -x159 -x195 -x231 x267 -x303 -x343 -x1108 -x1144 -x1909 -x1945 -x2710 -x2746 -x3511 -x3547 -x4312 -x4348 -x5113 -x5149 -x5914 -x5950 -x6715 -x6751 -x7516 -x7556 -x7592 -x7628 -x7664 -x7700 -x7736 -x7772 -x7808 -x7844 -x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 -x344 -x1109 -x1145 -x1910 x1946 -x2711 -x2747 -x3512 -x3548 -x4313 -x4349 -x5114 -x5150 -x5915 -x5951 -x6716 -x6752 -x7517 -x7557 -x7593 -x7629 -x7665 -x7701 -x7737 -x7773 -x7809 -x7845 -x17 -x53 -x89 -x125 -x161 -x197 -x233 -x269 -x305 -x345 -x1110 -x1146 -x1911 -x1947 -x2712 -x2748 -x3513 -x3549 -x4314 -x4350 -x5115 x5151 -x5916 -x5952 -x6717 -x6753 -x7518 -x7558 -x7594 -x7630 -x7666 -x7702 -x7738 -x7774 -x7810 -x7846 -x18 -x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x346 -x1111 -x1147 -x1912 -x1948 -x2713 -x2749 -x3514 -x3550 -x4315 -x4351 -x5116 -x5152 -x5917 -x5953 -x6718 -x6754 -x7519 -x7559 x7595 -x7631 -x7667 -x7703 -x7739 -x7775 -x7811 -x7847 -x19 -x55 -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x347 -x1112 -x1148 -x1913 -x1949 -x2714 -x2750 -x3515 -x3551 x4316 -x4352 -x5117 -x5153 -x5918 -x5954 -x6719 -x6755 -x7520 -x7560 -x7596 -x7632 -x7668 -x7704 -x7740 -x7776 -x7812 -x7848 -x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x348 -x1113 -x1149 -x1914 -x1950 -x2715 -x2751 -x3516 -x3552 -x4317 -x4353 -x5118 -x5154 -x5919 -x5955 -x6720 -x6756 -x7521 -x7561 -x7597 -x7633 x7669 -x7705 -x7741 -x7777 -x7813 -x7849 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 -x309 -x349 -x1114 -x1150 -x1915 -x1951 -x2716 -x2752 -x3517 -x3553 -x4318 -x4354 -x5119 -x5155 -x5920 -x5956 -x6721 -x6757 -x7522 -x7562 -x7598 -x7634 -x7670 x7706 -x7742 -x7778 -x7814 -x7850 -x22 -x58 -x94 -x130 -x166 -x202 x238 -x274 -x310 -x350 -x1115 -x1151 -x1916 -x1952 -x2717 -x2753 -x3518 -x3554 -x4319 -x4355 -x5120 -x5156 -x5921 -x5957 -x6722 -x6758 -x7523 -x7563 -x7599 -x7635 -x7671 -x7707 -x7743 -x7779 -x7815 -x7851 -x23 -x59 -x95 x131 -x167 -x203 -x239 -x275 -x311 -x351 -x1116 -x1152 -x1917 -x1953 -x2718 -x2754 -x3519 -x3555 -x4320 -x4356 -x5121 -x5157 -x5922 -x5958 -x6723 -x6759 -x7524 -x7564 -x7600 -x7636 -x7672 -x7708 -x7744 -x7780 -x7816 -x7852 -x24 -x60 -x96 -x132 -x168 -x204 -x240 -x276 -x312 -x352 -x1117 -x1153 -x1918 -x1954 -x2719 -x2755 -x3520 -x3556 -x4321 -x4357 -x5122 -x5158 -x5923 -x5959 -x6724 -x6760 -x7525 -x7565 -x7601 -x7637 -x7673 -x7709 x7745 -x7781 -x7817 -x7853 -x25 -x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 x353 -x1118 -x1154 -x1919 -x1955 -x2720 -x2756 -x3521 -x3557 -x4322 -x4358 -x5123 -x5159 -x5924 -x5960 -x6725 -x6761 -x7526 -x7566 -x7602 -x7638 -x7674 -x7710 -x7746 -x7782 -x7818 -x7854 -x26 -x62 -x98 -x134 -x170 -x206 -x242 -x278 -x314 -x354 -x1119 -x1155 -x1920 -x1956 -x2721 -x2757 -x3522 -x3558 -x4323 -x4359 -x5124 -x5160 x5925 -x5961 -x6726 -x6762 -x7527 -x7567 -x7603 -x7639 -x7675 -x7711 -x7747 -x7783 -x7819 -x7855 -x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 -x315 -x355 -x1120 -x1156 -x1921 -x1957 -x2722 -x2758 -x3523 -x3559 -x4324 -x4360 -x5125 -x5161 -x5926 -x5962 -x6727 -x6763 x7528 -x7568 -x7604 -x7640 -x7676 -x7712 -x7748 -x7784 -x7820 -x7856 -x28 -x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 -x356 -x1121 -x1157 -x1922 -x1958 -x2723 -x2759 -x3524 -x3560 -x4325 -x4361 -x5126 -x5162 -x5927 x5963 -x6728 -x6764 -x7529 -x7569 -x7605 -x7641 -x7677 -x7713 -x7749 -x7785 -x7821 -x7857 -x29 -x65 -x101 -x137 -x173 -x209 -x245 -x281 -x317 -x357 -x1122 -x1158 -x1923 -x1959 -x2724 -x2760 -x3525 -x3561 -x4326 -x4362 x5127 -x5163 -x5928 -x5964 -x6729 -x6765 -x7530 -x7570 -x7606 -x7642 -x7678 -x7714 -x7750 -x7786 -x7822 -x7858 -x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x358 -x1123 -x1159 -x1924 -x1960 -x2725 -x2761 -x3526 -x3562 -x4327 -x4363 -x5128 -x5164 -x5929 -x5965 -x6730 -x6766 -x7531 x7571 -x7607 -x7643 -x7679 -x7715 -x7751 -x7787 -x7823 -x7859 -x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x359 -x1124 -x1160 -x1925 -x1961 -x2726 -x2762 -x3527 -x3563 -x4328 -x4364 -x5129 -x5165 -x5930 -x5966 -x6731 -x6767 -x7532 -x7572 -x7608 -x7644 -x7680 -x7716 -x7752 -x7788 x7824 -x7860 -x32 -x68 -x104 -x140 -x176 -x212 -x248 -x284 -x320 -x360 -x1125 -x1161 -x1926 -x1962 -x2727 -x2763 -x3528 -x3564 -x4329 -x4365 -x5130 -x5166 -x5931 -x5967 -x6732 -x6768 -x7533 -x7573 -x7609 x7645 -x7681 -x7717 -x7753 -x7789 -x7825 -x7861 -x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 -x321 -x361 -x1126 -x1162 x1927 -x1963 -x2728 -x2764 -x3529 -x3565 -x4330 -x4366 -x5131 -x5167 -x5932 -x5968 -x6733 -x6769 -x7534 -x7574 -x7610 -x7646 -x7682 -x7718 -x7754 -x7790 -x7826 -x7862 -x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 -x362 -x1127 -x1163 -x1928 -x1964 -x2729 -x2765 -x3530 -x3566 -x4331 -x4367 -x5132 -x5168 -x5933 -x5969 -x6734 -x6770 -x7535 -x7575 -x7611 -x7647 -x7683 -x7719 -x7755 x7791 -x7827 -x7863 -x35 -x71 x107 -x143 -x179 -x215 -x251 -x287 -x323 -x363 -x1128 -x1164 -x1929 -x1965 -x2730 -x2766 -x3531 -x3567 -x4332 -x4368 -x5133 -x5169 -x5934 -x5970 -x6735 -x6771 -x7536 -x7576 -x7612 -x7648 -x7684 -x7720 -x7756 -x7792 -x7828 -x7864 -x36 -x72 -x108 -x144 -x180 -x216 -x252 -x288 -x324 -x364 -x1129 -x1165 -x1930 -x1966 -x2731 -x2767 x3532 -x3568 -x4333 -x4369 -x5134 -x5170 -x5935 -x5971 -x6736 -x6772 -x7537 -x7577 -x7613 -x7649 -x7685 -x7721 -x7757 -x7793 -x7829 -x7865 -x37 -x73 -x109 -x145 -x181 -x217 -x253 -x289 -x325 -x365 -x1130 -x1166 -x1931 -x1967 x2732 -x2768 -x3533 -x3569 -x4334 -x4370 -x5135 -x5171 -x5936 -x5972 -x6737 -x6773 -x7538 -x7578 -x7614 -x7650 -x7686 -x7722 -x7758 -x7794 -x7830 -x7866 -x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x366 -x1131 -x1167 -x1932 -x1968 -x2733 -x2769 -x3534 -x3570 -x4335 -x4371 -x5136 -x5172 -x5937 -x5973 -x6738 x6774 -x7539 -x7579 -x7615 -x7651 -x7687 -x7723 -x7759 -x7795 -x7831 -x7867 -x39 x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x367 -x1132 -x1168 -x1933 -x1969 -x2734 -x2770 -x3535 -x3571 -x4336 -x4372 -x5137 -x5173 -x5938 -x5974 -x6739 -x6775 -x7540 -x7580 -x7616 -x7652 -x7688 -x7724 -x7760 -x7796 -x7832 -x7868 -x40 -x76 -x112 -x148 -x184 -x220 -x256 -x292 -x328 -x368 -x1133 -x1169 -x1934 -x1970 -x2735 -x2771 -x3536 -x3572 -x4337 -x4373 -x5138 -x5174 -x5939 -x5975 -x6740 -x6776 -x7541 -x7581 -x7617 -x7653 -x7689 -x7725 -x7761 -x7797 -x7833 x7869 -x369 -x450 -x531 -x612 -x693 -x774 -x855 -x936 x1017 -x1170 -x1251 -x1332 -x1413 -x1494 -x1575 -x1656 -x1737 -x1818 -x1971 -x2052 -x2133 -x2214 -x2295 -x2376 -x2457 -x2538 -x2619 -x2772 -x2853 -x2934 -x3015 -x3096 -x3177 -x3258 -x3339 -x3420 -x3573 -x3654 -x3735 -x3816 -x3897 -x3978 -x4059 -x4140 -x4221 -x4374 -x4455 -x4536 -x4617 -x4698 -x4779 -x4860 -x4941 -x5022 -x5175 -x5256 -x5337 -x5418 -x5499 -x5580 -x5661 -x5742 -x5823 -x5976 -x6057 -x6138 -x6219 -x6300 -x6381 -x6462 -x6543 -x6624 -x6777 -x6858 -x6939 -x7020 -x7101 -x7182 -x7263 -x7344 -x7425 -x370 -x451 -x532 -x613 -x694 -x775 -x856 -x937 -x1018 -x1171 -x1252 -x1333 -x1414 -x1495 -x1576 x1657 -x1738 -x1819 -x1972 -x2053 -x2134 -x2215 -x2296 -x2377 -x2458 -x2539 -x2620 -x2773 -x2854 -x2935 -x3016 -x3097 -x3178 -x3259 -x3340 -x3421 -x3574 -x3655 -x3736 -x3817 -x3898 -x3979 -x4060 -x4141 -x4222 -x4375 -x4456 -x4537 -x4618 -x4699 -x4780 -x4861 -x4942 -x5023 -x5176 -x5257 -x5338 -x5419 -x5500 -x5581 -x5662 -x5743 -x5824 -x5977 -x6058 -x6139 -x6220 -x6301 -x6382 -x6463 -x6544 -x6625 -x6778 -x6859 -x6940 -x7021 -x7102 -x7183 -x7264 -x7345 -x7426 -x371 -x452 -x533 -x614 -x695 -x776 -x857 -x938 -x1019 -x1172 -x1253 -x1334 -x1415 -x1496 -x1577 -x1658 -x1739 -x1820 -x1973 -x2054 -x2135 -x2216 -x2297 -x2378 -x2459 -x2540 -x2621 -x2774 -x2855 -x2936 -x3017 -x3098 -x3179 -x3260 -x3341 -x3422 -x3575 -x3656 -x3737 -x3818 -x3899 -x3980 -x4061 -x4142 -x4223 -x4376 -x4457 -x4538 -x4619 -x4700 -x4781 -x4862 x4943 -x5024 -x5177 -x5258 -x5339 -x5420 -x5501 -x5582 -x5663 -x5744 -x5825 -x5978 -x6059 -x6140 -x6221 -x6302 -x6383 -x6464 -x6545 -x6626 -x6779 -x6860 -x6941 -x7022 -x7103 -x7184 -x7265 -x7346 -x7427 -x372 -x453 -x534 -x615 -x696 -x777 -x858 -x939 -x1020 -x1173 -x1254 -x1335 -x1416 -x1497 -x1578 -x1659 -x1740 -x1821 -x1974 -x2055 -x2136 -x2217 -x2298 -x2379 -x2460 -x2541 -x2622 -x2775 -x2856 -x2937 -x3018 -x3099 -x3180 -x3261 -x3342 -x3423 -x3576 -x3657 -x3738 -x3819 -x3900 -x3981 -x4062 -x4143 -x4224 -x4377 -x4458 -x4539 -x4620 -x4701 -x4782 -x4863 -x4944 -x5025 -x5178 -x5259 -x5340 -x5421 -x5502 x5583 -x5664 -x5745 -x5826 -x5979 -x6060 -x6141 -x6222 -x6303 -x6384 -x6465 -x6546 -x6627 -x6780 -x6861 -x6942 -x7023 -x7104 -x7185 -x7266 -x7347 -x7428 -x373 -x454 -x535 -x616 -x697 -x778 -x859 -x940 -x1021 -x1174 -x1255 -x1336 -x1417 -x1498 -x1579 -x1660 -x1741 -x1822 -x1975 -x2056 -x2137 -x2218 -x2299 -x2380 -x2461 -x2542 -x2623 -x2776 -x2857 -x2938 -x3019 -x3100 -x3181 -x3262 -x3343 -x3424 -x3577 -x3658 -x3739 -x3820 -x3901 -x3982 -x4063 -x4144 -x4225 -x4378 -x4459 -x4540 -x4621 -x4702 -x4783 -x4864 -x4945 -x5026 -x5179 -x5260 -x5341 -x5422 x5503 -x5584 -x5665 -x5746 -x5827 -x5980 -x6061 -x6142 -x6223 -x6304 -x6385 -x6466 -x6547 -x6628 -x6781 -x6862 -x6943 -x7024 -x7105 -x7186 -x7267 -x7348 -x7429 -x374 -x455 -x536 -x617 -x698 -x779 -x860 -x941 -x1022 -x1175 -x1256 -x1337 -x1418 -x1499 -x1580 -x1661 -x1742 -x1823 -x1976 -x2057 -x2138 -x2219 -x2300 -x2381 -x2462 -x2543 -x2624 -x2777 -x2858 -x2939 -x3020 -x3101 -x3182 -x3263 -x3344 -x3425 -x3578 x3659 -x3740 -x3821 -x3902 -x3983 -x4064 -x4145 -x4226 -x4379 -x4460 -x4541 -x4622 -x4703 -x4784 -x4865 -x4946 -x5027 -x5180 -x5261 -x5342 -x5423 -x5504 -x5585 -x5666 -x5747 -x5828 -x5981 -x6062 -x6143 -x6224 -x6305 -x6386 -x6467 -x6548 -x6629 -x6782 -x6863 -x6944 -x7025 -x7106 -x7187 -x7268 -x7349 -x7430 -x375 -x456 -x537 -x618 -x699 -x780 -x861 -x942 -x1023 -x1176 -x1257 x1338 -x1419 -x1500 -x1581 -x1662 -x1743 -x1824 -x1977 -x2058 -x2139 -x2220 -x2301 -x2382 -x2463 -x2544 -x2625 -x2778 -x2859 -x2940 -x3021 -x3102 -x3183 -x3264 -x3345 -x3426 -x3579 -x3660 -x3741 -x3822 -x3903 -x3984 -x4065 -x4146 -x4227 -x4380 -x4461 -x4542 -x4623 -x4704 -x4785 -x4866 -x4947 -x5028 -x5181 -x5262 -x5343 -x5424 -x5505 -x5586 -x5667 -x5748 -x5829 -x5982 -x6063 -x6144 -x6225 -x6306 -x6387 -x6468 -x6549 -x6630 -x6783 -x6864 -x6945 -x7026 -x7107 -x7188 -x7269 -x7350 -x7431 -x376 -x457 -x538 -x619 -x700 -x781 -x862 -x943 -x1024 -x1177 -x1258 -x1339 -x1420 -x1501 -x1582 -x1663 -x1744 -x1825 -x1978 -x2059 -x2140 -x2221 -x2302 -x2383 -x2464 -x2545 -x2626 -x2779 -x2860 -x2941 -x3022 x3103 -x3184 -x3265 -x3346 -x3427 -x3580 -x3661 -x3742 -x3823 -x3904 -x3985 -x4066 -x4147 -x4228 -x4381 -x4462 -x4543 -x4624 -x4705 -x4786 -x4867 -x4948 -x5029 -x5182 -x5263 -x5344 -x5425 -x5506 -x5587 -x5668 -x5749 -x5830 -x5983 -x6064 -x6145 -x6226 -x6307 -x6388 -x6469 -x6550 -x6631 -x6784 -x6865 -x6946 -x7027 -x7108 -x7189 -x7270 -x7351 -x7432 -x377 -x458 -x539 -x620 -x701 -x782 -x863 -x944 -x1025 -x1178 -x1259 -x1340 -x1421 -x1502 -x1583 -x1664 -x1745 -x1826 -x1979 -x2060 -x2141 -x2222 -x2303 -x2384 -x2465 -x2546 -x2627 -x2780 -x2861 -x2942 -x3023 -x3104 -x3185 -x3266 -x3347 x3428 -x3581 -x3662 -x3743 -x3824 -x3905 -x3986 -x4067 -x4148 -x4229 -x4382 -x4463 -x4544 -x4625 -x4706 -x4787 -x4868 -x4949 -x5030 -x5183 -x5264 -x5345 -x5426 -x5507 -x5588 -x5669 -x5750 -x5831 -x5984 -x6065 -x6146 -x6227 -x6308 -x6389 -x6470 -x6551 -x6632 -x6785 -x6866 -x6947 -x7028 -x7109 -x7190 -x7271 -x7352 -x7433 -x378 -x459 -x540 -x621 -x702 -x783 -x864 x945 -x1026 -x1179 -x1260 -x1341 -x1422 -x1503 -x1584 -x1665 -x1746 -x1827 -x1980 -x2061 -x2142 -x2223 -x2304 -x2385 -x2466 -x2547 -x2628 -x2781 -x2862 -x2943 -x3024 -x3105 -x3186 -x3267 -x3348 -x3429 -x3582 -x3663 -x3744 -x3825 -x3906 -x3987 -x4068 -x4149 -x4230 -x4383 -x4464 -x4545 -x4626 -x4707 -x4788 -x4869 -x4950 -x5031 -x5184 -x5265 -x5346 -x5427 -x5508 -x5589 -x5670 -x5751 -x5832 -x5985 -x6066 -x6147 -x6228 -x6309 -x6390 -x6471 -x6552 -x6633 -x6786 -x6867 -x6948 -x7029 -x7110 -x7191 -x7272 -x7353 -x7434 -x379 -x460 -x541 x622 -x703 -x784 -x865 -x946 -x1027 -x1180 -x1261 -x1342 -x1423 -x1504 -x1585 -x1666 -x1747 -x1828 -x1981 -x2062 -x2143 -x2224 -x2305 -x2386 -x2467 -x2548 -x2629 -x2782 -x2863 -x2944 -x3025 -x3106 -x3187 -x3268 -x3349 -x3430 -x3583 -x3664 -x3745 -x3826 -x3907 -x3988 -x4069 -x4150 -x4231 -x4384 -x4465 -x4546 -x4627 -x4708 -x4789 -x4870 -x4951 -x5032 -x5185 -x5266 -x5347 -x5428 -x5509 -x5590 -x5671 -x5752 -x5833 -x5986 -x6067 -x6148 -x6229 -x6310 -x6391 -x6472 -x6553 -x6634 -x6787 -x6868 -x6949 -x7030 -x7111 -x7192 -x7273 -x7354 -x7435 -x380 -x461 -x542 -x623 -x704 -x785 -x866 -x947 -x1028 -x1181 -x1262 -x1343 x1424 -x1505 -x1586 -x1667 -x1748 -x1829 -x1982 -x2063 -x2144 -x2225 -x2306 -x2387 -x2468 -x2549 -x2630 -x2783 -x2864 -x2945 -x3026 -x3107 -x3188 -x3269 -x3350 -x3431 -x3584 -x3665 -x3746 -x3827 -x3908 -x3989 -x4070 -x4151 -x4232 -x4385 -x4466 -x4547 -x4628 -x4709 -x4790 -x4871 -x4952 -x5033 -x5186 -x5267 -x5348 -x5429 -x5510 -x5591 -x5672 -x5753 -x5834 -x5987 -x6068 -x6149 -x6230 -x6311 -x6392 -x6473 -x6554 -x6635 -x6788 -x6869 -x6950 -x7031 -x7112 -x7193 -x7274 -x7355 -x7436 -x381 -x462 -x543 -x624 -x705 -x786 -x867 -x948 -x1029 -x1182 -x1263 -x1344 -x1425 -x1506 -x1587 -x1668 -x1749 -x1830 -x1983 x2064 -x2145 -x2226 -x2307 -x2388 -x2469 -x2550 -x2631 -x2784 -x2865 -x2946 -x3027 -x3108 -x3189 -x3270 -x3351 -x3432 -x3585 -x3666 -x3747 -x3828 -x3909 -x3990 -x4071 -x4152 -x4233 -x4386 -x4467 -x4548 -x4629 -x4710 -x4791 -x4872 -x4953 -x5034 -x5187 -x5268 -x5349 -x5430 -x5511 -x5592 -x5673 -x5754 -x5835 -x5988 -x6069 -x6150 -x6231 -x6312 -x6393 -x6474 -x6555 -x6636 -x6789 -x6870 -x6951 -x7032 -x7113 -x7194 -x7275 -x7356 -x7437 -x382 -x463 -x544 -x625 -x706 -x787 -x868 -x949 -x1030 -x1183 -x1264 -x1345 -x1426 -x1507 -x1588 -x1669 -x1750 -x1831 -x1984 -x2065 -x2146 -x2227 -x2308 -x2389 -x2470 -x2551 -x2632 -x2785 -x2866 -x2947 -x3028 -x3109 -x3190 -x3271 -x3352 -x3433 -x3586 -x3667 -x3748 -x3829 -x3910 -x3991 -x4072 -x4153 -x4234 -x4387 -x4468 -x4549 -x4630 -x4711 -x4792 -x4873 -x4954 -x5035 -x5188 x5269 -x5350 -x5431 -x5512 -x5593 -x5674 -x5755 -x5836 -x5989 -x6070 -x6151 -x6232 -x6313 -x6394 -x6475 -x6556 -x6637 -x6790 -x6871 -x6952 -x7033 -x7114 -x7195 -x7276 -x7357 -x7438 -x383 -x464 -x545 -x626 -x707 -x788 -x869 -x950 -x1031 -x1184 -x1265 -x1346 -x1427 -x1508 -x1589 -x1670 -x1751 -x1832 -x1985 -x2066 -x2147 -x2228 -x2309 -x2390 -x2471 -x2552 -x2633 -x2786 -x2867 -x2948 -x3029 -x3110 -x3191 -x3272 -x3353 -x3434 -x3587 -x3668 -x3749 -x3830 -x3911 -x3992 -x4073 -x4154 -x4235 x4388 -x4469 -x4550 -x4631 -x4712 -x4793 -x4874 -x4955 -x5036 -x5189 -x5270 -x5351 -x5432 -x5513 -x5594 -x5675 -x5756 -x5837 -x5990 -x6071 -x6152 -x6233 -x6314 -x6395 -x6476 -x6557 -x6638 -x6791 -x6872 -x6953 -x7034 -x7115 -x7196 -x7277 -x7358 -x7439 -x384 -x465 -x546 -x627 -x708 -x789 -x870 -x951 -x1032 -x1185 -x1266 -x1347 -x1428 -x1509 -x1590 -x1671 -x1752 -x1833 -x1986 -x2067 -x2148 -x2229 -x2310 -x2391 -x2472 -x2553 -x2634 -x2787 -x2868 -x2949 -x3030 -x3111 -x3192 -x3273 -x3354 -x3435 x3588 -x3669 -x3750 -x3831 -x3912 -x3993 -x4074 -x4155 -x4236 -x4389 -x4470 -x4551 -x4632 -x4713 -x4794 -x4875 -x4956 -x5037 -x5190 -x5271 -x5352 -x5433 -x5514 -x5595 -x5676 -x5757 -x5838 -x5991 -x6072 -x6153 -x6234 -x6315 -x6396 -x6477 -x6558 -x6639 -x6792 -x6873 -x6954 -x7035 -x7116 -x7197 -x7278 -x7359 -x7440 -x385 -x466 -x547 -x628 -x709 -x790 -x871 -x952 -x1033 -x1186 -x1267 -x1348 -x1429 -x1510 -x1591 -x1672 -x1753 -x1834 -x1987 -x2068 -x2149 -x2230 -x2311 -x2392 -x2473 -x2554 -x2635 -x2788 -x2869 -x2950 -x3031 -x3112 -x3193 -x3274 -x3355 -x3436 -x3589 -x3670 -x3751 -x3832 -x3913 -x3994 -x4075 -x4156 -x4237 -x4390 -x4471 -x4552 -x4633 -x4714 -x4795 -x4876 -x4957 -x5038 -x5191 -x5272 -x5353 -x5434 -x5515 -x5596 -x5677 -x5758 -x5839 -x5992 -x6073 -x6154 -x6235 -x6316 -x6397 -x6478 x6559 -x6640 -x6793 -x6874 -x6955 -x7036 -x7117 -x7198 -x7279 -x7360 -x7441 -x386 -x467 -x548 -x629 -x710 -x791 x872 -x953 -x1034 -x1187 -x1268 -x1349 -x1430 -x1511 -x1592 -x1673 -x1754 -x1835 -x1988 -x2069 -x2150 -x2231 -x2312 -x2393 -x2474 -x2555 -x2636 -x2789 -x2870 -x2951 -x3032 -x3113 -x3194 -x3275 -x3356 -x3437 -x3590 -x3671 -x3752 -x3833 -x3914 -x3995 -x4076 -x4157 -x4238 -x4391 -x4472 -x4553 -x4634 -x4715 -x4796 -x4877 -x4958 -x5039 -x5192 -x5273 -x5354 -x5435 -x5516 -x5597 -x5678 -x5759 -x5840 -x5993 -x6074 -x6155 -x6236 -x6317 -x6398 -x6479 -x6560 -x6641 -x6794 -x6875 -x6956 -x7037 -x7118 -x7199 -x7280 -x7361 -x7442 -x387 -x468 -x549 -x630 -x711 -x792 -x873 -x954 -x1035 -x1188 -x1269 -x1350 -x1431 -x1512 -x1593 -x1674 -x1755 -x1836 -x1989 -x2070 -x2151 -x2232 -x2313 -x2394 -x2475 -x2556 -x2637 -x2790 -x2871 -x2952 -x3033 -x3114 -x3195 -x3276 -x3357 -x3438 -x3591 -x3672 -x3753 -x3834 -x3915 -x3996 -x4077 -x4158 -x4239 -x4392 -x4473 -x4554 -x4635 -x4716 -x4797 -x4878 -x4959 -x5040 -x5193 -x5274 -x5355 -x5436 -x5517 -x5598 -x5679 -x5760 -x5841 -x5994 -x6075 -x6156 -x6237 -x6318 -x6399 -x6480 -x6561 -x6642 -x6795 -x6876 -x6957 -x7038 -x7119 -x7200 x7281 -x7362 -x7443 -x388 -x469 -x550 -x631 -x712 -x793 -x874 -x955 -x1036 -x1189 -x1270 -x1351 -x1432 -x1513 -x1594 -x1675 -x1756 -x1837 -x1990 -x2071 -x2152 -x2233 -x2314 -x2395 -x2476 -x2557 -x2638 -x2791 -x2872 x2953 -x3034 -x3115 -x3196 -x3277 -x3358 -x3439 -x3592 -x3673 -x3754 -x3835 -x3916 -x3997 -x4078 -x4159 -x4240 -x4393 -x4474 -x4555 -x4636 -x4717 -x4798 -x4879 -x4960 -x5041 -x5194 -x5275 -x5356 -x5437 -x5518 -x5599 -x5680 -x5761 -x5842 -x5995 -x6076 -x6157 -x6238 -x6319 -x6400 -x6481 -x6562 -x6643 -x6796 -x6877 -x6958 -x7039 -x7120 -x7201 -x7282 -x7363 -x7444 -x389 -x470 -x551 -x632 -x713 -x794 -x875 -x956 -x1037 -x1190 -x1271 -x1352 -x1433 -x1514 -x1595 -x1676 -x1757 -x1838 -x1991 -x2072 -x2153 -x2234 -x2315 -x2396 -x2477 -x2558 -x2639 -x2792 -x2873 -x2954 -x3035 -x3116 -x3197 -x3278 -x3359 -x3440 -x3593 -x3674 -x3755 -x3836 -x3917 -x3998 -x4079 -x4160 -x4241 -x4394 -x4475 -x4556 -x4637 -x4718 -x4799 -x4880 -x4961 -x5042 -x5195 -x5276 -x5357 -x5438 -x5519 -x5600 -x5681 -x5762 -x5843 x5996 -x6077 -x6158 -x6239 -x6320 -x6401 -x6482 -x6563 -x6644 -x6797 -x6878 -x6959 -x7040 -x7121 -x7202 -x7283 -x7364 -x7445 -x390 -x471 -x552 -x633 -x714 -x795 -x876 -x957 -x1038 -x1191 -x1272 -x1353 -x1434 -x1515 -x1596 -x1677 -x1758 -x1839 -x1992 -x2073 -x2154 -x2235 -x2316 -x2397 -x2478 -x2559 -x2640 -x2793 -x2874 -x2955 -x3036 -x3117 -x3198 -x3279 -x3360 -x3441 -x3594 -x3675 -x3756 -x3837 -x3918 -x3999 -x4080 -x4161 -x4242 -x4395 -x4476 -x4557 -x4638 -x4719 -x4800 -x4881 -x4962 -x5043 -x5196 -x5277 -x5358 -x5439 -x5520 -x5601 -x5682 x5763 -x5844 -x5997 -x6078 -x6159 -x6240 -x6321 -x6402 -x6483 -x6564 -x6645 -x6798 -x6879 -x6960 -x7041 -x7122 -x7203 -x7284 -x7365 -x7446 -x391 -x472 -x553 -x634 -x715 -x796 -x877 -x958 -x1039 -x1192 -x1273 -x1354 -x1435 -x1516 -x1597 -x1678 -x1759 -x1840 -x1993 -x2074 -x2155 -x2236 -x2317 -x2398 -x2479 -x2560 -x2641 -x2794 -x2875 -x2956 -x3037 -x3118 -x3199 -x3280 -x3361 -x3442 -x3595 -x3676 -x3757 -x3838 -x3919 -x4000 -x4081 -x4162 -x4243 -x4396 -x4477 -x4558 -x4639 -x4720 -x4801 -x4882 -x4963 -x5044 -x5197 -x5278 x5359 -x5440 -x5521 -x5602 -x5683 -x5764 -x5845 -x5998 -x6079 -x6160 -x6241 -x6322 -x6403 -x6484 -x6565 -x6646 -x6799 -x6880 -x6961 -x7042 -x7123 -x7204 -x7285 -x7366 -x7447 -x392 -x473 -x554 -x635 -x716 -x797 -x878 -x959 -x1040 -x1193 -x1274 -x1355 -x1436 -x1517 -x1598 -x1679 -x1760 -x1841 -x1994 -x2075 -x2156 -x2237 -x2318 -x2399 x2480 -x2561 -x2642 -x2795 -x2876 -x2957 -x3038 -x3119 -x3200 -x3281 -x3362 -x3443 -x3596 -x3677 -x3758 -x3839 -x3920 -x4001 -x4082 -x4163 -x4244 -x4397 -x4478 -x4559 -x4640 -x4721 -x4802 -x4883 -x4964 -x5045 -x5198 -x5279 -x5360 -x5441 -x5522 -x5603 -x5684 -x5765 -x5846 -x5999 -x6080 -x6161 -x6242 -x6323 -x6404 -x6485 -x6566 -x6647 -x6800 -x6881 -x6962 -x7043 -x7124 -x7205 -x7286 -x7367 -x7448 -x393 -x474 -x555 -x636 -x717 -x798 -x879 -x960 -x1041 -x1194 -x1275 -x1356 -x1437 -x1518 -x1599 -x1680 -x1761 -x1842 -x1995 -x2076 -x2157 -x2238 x2319 -x2400 -x2481 -x2562 -x2643 -x2796 -x2877 -x2958 -x3039 -x3120 -x3201 -x3282 -x3363 -x3444 -x3597 -x3678 -x3759 -x3840 -x3921 -x4002 -x4083 -x4164 -x4245 -x4398 -x4479 -x4560 -x4641 -x4722 -x4803 -x4884 -x4965 -x5046 -x5199 -x5280 -x5361 -x5442 -x5523 -x5604 -x5685 -x5766 -x5847 -x6000 -x6081 -x6162 -x6243 -x6324 -x6405 -x6486 -x6567 -x6648 -x6801 -x6882 -x6963 -x7044 -x7125 -x7206 -x7287 -x7368 -x7449 -x394 -x475 -x556 -x637 -x718 -x799 -x880 -x961 -x1042 -x1195 -x1276 -x1357 -x1438 -x1519 -x1600 -x1681 -x1762 -x1843 -x1996 -x2077 -x2158 -x2239 -x2320 -x2401 -x2482 -x2563 -x2644 -x2797 -x2878 -x2959 -x3040 -x3121 -x3202 -x3283 -x3364 -x3445 -x3598 -x3679 -x3760 -x3841 -x3922 -x4003 -x4084 -x4165 -x4246 -x4399 -x4480 -x4561 -x4642 -x4723 -x4804 -x4885 -x4966 x5047 -x5200 -x5281 -x5362 -x5443 -x5524 -x5605 -x5686 -x5767 -x5848 -x6001 -x6082 -x6163 -x6244 -x6325 -x6406 -x6487 -x6568 -x6649 -x6802 -x6883 -x6964 -x7045 -x7126 -x7207 -x7288 -x7369 -x7450 -x395 -x476 -x557 -x638 -x719 -x800 -x881 -x962 -x1043 -x1196 -x1277 -x1358 -x1439 -x1520 -x1601 -x1682 x1763 -x1844 -x1997 -x2078 -x2159 -x2240 -x2321 -x2402 -x2483 -x2564 -x2645 -x2798 -x2879 -x2960 -x3041 -x3122 -x3203 -x3284 -x3365 -x3446 -x3599 -x3680 -x3761 -x3842 -x3923 -x4004 -x4085 -x4166 -x4247 -x4400 -x4481 -x4562 -x4643 -x4724 -x4805 -x4886 -x4967 -x5048 -x5201 -x5282 -x5363 -x5444 -x5525 -x5606 -x5687 -x5768 -x5849 -x6002 -x6083 -x6164 -x6245 -x6326 -x6407 -x6488 -x6569 -x6650 -x6803 -x6884 -x6965 -x7046 -x7127 -x7208 -x7289 -x7370 -x7451 -x396 -x477 -x558 -x639 x720 -x801 -x882 -x963 -x1044 -x1197 -x1278 -x1359 -x1440 -x1521 -x1602 -x1683 -x1764 -x1845 -x1998 -x2079 -x2160 -x2241 -x2322 -x2403 -x2484 -x2565 -x2646 -x2799 -x2880 -x2961 -x3042 -x3123 -x3204 -x3285 -x3366 -x3447 -x3600 -x3681 -x3762 -x3843 -x3924 -x4005 -x4086 -x4167 -x4248 -x4401 -x4482 -x4563 -x4644 -x4725 -x4806 -x4887 -x4968 -x5049 -x5202 -x5283 -x5364 -x5445 -x5526 -x5607 -x5688 -x5769 -x5850 -x6003 -x6084 -x6165 -x6246 -x6327 -x6408 -x6489 -x6570 -x6651 -x6804 -x6885 -x6966 -x7047 -x7128 -x7209 -x7290 -x7371 -x7452 -x397 -x478 -x559 -x640 -x721 -x802 -x883 -x964 -x1045 -x1198 -x1279 -x1360 -x1441 -x1522 -x1603 -x1684 -x1765 -x1846 -x1999 -x2080 -x2161 -x2242 -x2323 -x2404 -x2485 -x2566 -x2647 -x2800 -x2881 -x2962 -x3043 -x3124 -x3205 -x3286 -x3367 -x3448 -x3601 -x3682 -x3763 -x3844 -x3925 -x4006 -x4087 -x4168 -x4249 -x4402 -x4483 -x4564 -x4645 x4726 -x4807 -x4888 -x4969 -x5050 -x5203 -x5284 -x5365 -x5446 -x5527 -x5608 -x5689 -x5770 -x5851 -x6004 -x6085 -x6166 -x6247 -x6328 -x6409 -x6490 -x6571 -x6652 -x6805 -x6886 -x6967 -x7048 -x7129 -x7210 -x7291 -x7372 -x7453 -x398 -x479 -x560 -x641 -x722 -x803 -x884 -x965 -x1046 -x1199 -x1280 -x1361 -x1442 -x1523 -x1604 -x1685 -x1766 -x1847 -x2000 -x2081 -x2162 -x2243 -x2324 -x2405 -x2486 -x2567 -x2648 -x2801 -x2882 -x2963 -x3044 -x3125 -x3206 -x3287 -x3368 -x3449 -x3602 -x3683 -x3764 -x3845 -x3926 -x4007 -x4088 -x4169 -x4250 -x4403 -x4484 -x4565 -x4646 -x4727 -x4808 -x4889 -x4970 -x5051 -x5204 -x5285 -x5366 -x5447 -x5528 -x5609 x5690 -x5771 -x5852 -x6005 -x6086 -x6167 -x6248 -x6329 -x6410 -x6491 -x6572 -x6653 -x6806 -x6887 -x6968 -x7049 -x7130 -x7211 -x7292 -x7373 -x7454 -x399 -x480 -x561 -x642 -x723 -x804 -x885 -x966 -x1047 -x1200 -x1281 -x1362 -x1443 -x1524 -x1605 -x1686 -x1767 -x1848 -x2001 -x2082 -x2163 -x2244 -x2325 -x2406 -x2487 -x2568 -x2649 -x2802 -x2883 -x2964 -x3045 -x3126 -x3207 -x3288 -x3369 -x3450 -x3603 -x3684 -x3765 -x3846 -x3927 -x4008 -x4089 -x4170 -x4251 -x4404 -x4485 -x4566 -x4647 -x4728 -x4809 -x4890 -x4971 -x5052 -x5205 -x5286 -x5367 -x5448 -x5529 -x5610 -x5691 -x5772 -x5853 -x6006 -x6087 -x6168 -x6249 -x6330 -x6411 -x6492 -x6573 -x6654 -x6807 -x6888 -x6969 x7050 -x7131 -x7212 -x7293 -x7374 -x7455 -x400 -x481 -x562 -x643 -x724 -x805 -x886 -x967 -x1048 -x1201 -x1282 -x1363 -x1444 -x1525 -x1606 -x1687 -x1768 -x1849 -x2002 -x2083 -x2164 -x2245 -x2326 -x2407 -x2488 -x2569 -x2650 -x2803 -x2884 -x2965 -x3046 -x3127 -x3208 -x3289 -x3370 -x3451 -x3604 -x3685 -x3766 -x3847 -x3928 -x4009 -x4090 -x4171 -x4252 -x4405 -x4486 -x4567 -x4648 -x4729 -x4810 -x4891 -x4972 -x5053 -x5206 -x5287 -x5368 x5449 -x5530 -x5611 -x5692 -x5773 -x5854 -x6007 -x6088 -x6169 -x6250 -x6331 -x6412 -x6493 -x6574 -x6655 -x6808 -x6889 -x6970 -x7051 -x7132 -x7213 -x7294 -x7375 -x7456 -x401 -x482 -x563 -x644 -x725 -x806 -x887 -x968 -x1049 -x1202 -x1283 -x1364 -x1445 -x1526 -x1607 -x1688 -x1769 -x1850 -x2003 -x2084 -x2165 -x2246 -x2327 -x2408 -x2489 -x2570 -x2651 -x2804 -x2885 -x2966 -x3047 -x3128 -x3209 -x3290 -x3371 -x3452 -x3605 -x3686 -x3767 -x3848 -x3929 -x4010 -x4091 -x4172 -x4253 -x4406 -x4487 -x4568 -x4649 -x4730 -x4811 -x4892 -x4973 -x5054 -x5207 -x5288 -x5369 -x5450 -x5531 -x5612 -x5693 -x5774 -x5855 -x6008 -x6089 -x6170 -x6251 -x6332 x6413 -x6494 -x6575 -x6656 -x6809 -x6890 -x6971 -x7052 -x7133 -x7214 -x7295 -x7376 -x7457 -x402 -x483 -x564 -x645 -x726 x807 -x888 -x969 -x1050 -x1203 -x1284 -x1365 -x1446 -x1527 -x1608 -x1689 -x1770 -x1851 -x2004 -x2085 -x2166 -x2247 -x2328 -x2409 -x2490 -x2571 -x2652 -x2805 -x2886 -x2967 -x3048 -x3129 -x3210 -x3291 -x3372 -x3453 -x3606 -x3687 -x3768 -x3849 -x3930 -x4011 -x4092 -x4173 -x4254 -x4407 -x4488 -x4569 -x4650 -x4731 -x4812 -x4893 -x4974 -x5055 -x5208 -x5289 -x5370 -x5451 -x5532 -x5613 -x5694 -x5775 -x5856 -x6009 -x6090 -x6171 -x6252 -x6333 -x6414 -x6495 -x6576 -x6657 -x6810 -x6891 -x6972 -x7053 -x7134 -x7215 -x7296 -x7377 -x7458 -x403 -x484 -x565 -x646 -x727 -x808 -x889 -x970 -x1051 -x1204 -x1285 -x1366 -x1447 -x1528 x1609 -x1690 -x1771 -x1852 -x2005 -x2086 -x2167 -x2248 -x2329 -x2410 -x2491 -x2572 -x2653 -x2806 -x2887 -x2968 -x3049 -x3130 -x3211 -x3292 -x3373 -x3454 -x3607 -x3688 -x3769 -x3850 -x3931 -x4012 -x4093 -x4174 -x4255 -x4408 -x4489 -x4570 -x4651 -x4732 -x4813 -x4894 -x4975 -x5056 -x5209 -x5290 -x5371 -x5452 -x5533 -x5614 -x5695 -x5776 -x5857 -x6010 -x6091 -x6172 -x6253 -x6334 -x6415 -x6496 -x6577 -x6658 -x6811 -x6892 -x6973 -x7054 -x7135 -x7216 -x7297 -x7378 -x7459 -x404 -x485 -x566 -x647 -x728 -x809 -x890 -x971 -x1052 -x1205 -x1286 -x1367 -x1448 -x1529 -x1610 -x1691 -x1772 -x1853 -x2006 -x2087 -x2168 -x2249 -x2330 -x2411 -x2492 x2573 -x2654 -x2807 -x2888 -x2969 -x3050 -x3131 -x3212 -x3293 -x3374 -x3455 -x3608 -x3689 -x3770 -x3851 -x3932 -x4013 -x4094 -x4175 -x4256 -x4409 -x4490 -x4571 -x4652 -x4733 -x4814 -x4895 -x4976 -x5057 -x5210 -x5291 -x5372 -x5453 -x5534 -x5615 -x5696 -x5777 -x5858 -x6011 -x6092 -x6173 -x6254 -x6335 -x6416 -x6497 -x6578 -x6659 -x6812 -x6893 -x6974 -x7055 -x7136 -x7217 -x7298 -x7379 -x7460 -x405 -x486 -x567 -x648 -x729 -x810 -x891 -x972 -x1053 -x1206 -x1287 -x1368 -x1449 -x1530 -x1611 -x1692 -x1773 -x1854 -x2007 -x2088 -x2169 -x2250 -x2331 x2412 -x2493 -x2574 -x2655 -x2808 -x2889 -x2970 -x3051 -x3132 -x3213 -x3294 -x3375 -x3456 -x3609 -x3690 -x3771 -x3852 -x3933 -x4014 -x4095 -x4176 -x4257 -x4410 -x4491 -x4572 -x4653 -x4734 -x4815 -x4896 -x4977 -x5058 -x5211 -x5292 -x5373 -x5454 -x5535 -x5616 -x5697 -x5778 -x5859 -x6012 -x6093 -x6174 -x6255 -x6336 -x6417 -x6498 -x6579 -x6660 -x6813 -x6894 -x6975 -x7056 -x7137 -x7218 -x7299 -x7380 -x7461 -x406 -x487 -x568 -x649 -x730 -x811 -x892 -x973 -x1054 -x1207 -x1288 -x1369 -x1450 -x1531 -x1612 -x1693 -x1774 -x1855 -x2008 -x2089 -x2170 -x2251 -x2332 -x2413 -x2494 -x2575 -x2656 -x2809 -x2890 -x2971 -x3052 -x3133 -x3214 -x3295 x3376 -x3457 -x3610 -x3691 -x3772 -x3853 -x3934 -x4015 -x4096 -x4177 -x4258 -x4411 -x4492 -x4573 -x4654 -x4735 -x4816 -x4897 -x4978 -x5059 -x5212 -x5293 -x5374 -x5455 -x5536 -x5617 -x5698 -x5779 -x5860 -x6013 -x6094 -x6175 -x6256 -x6337 -x6418 -x6499 -x6580 -x6661 -x6814 -x6895 -x6976 -x7057 -x7138 -x7219 -x7300 -x7381 -x7462 -x407 -x488 -x569 -x650 -x731 -x812 -x893 -x974 -x1055 -x1208 -x1289 -x1370 -x1451 -x1532 -x1613 -x1694 -x1775 -x1856 -x2009 -x2090 -x2171 -x2252 -x2333 -x2414 -x2495 -x2576 -x2657 -x2810 -x2891 -x2972 -x3053 -x3134 -x3215 -x3296 -x3377 -x3458 -x3611 -x3692 -x3773 -x3854 -x3935 -x4016 -x4097 -x4178 -x4259 -x4412 -x4493 -x4574 -x4655 -x4736 -x4817 -x4898 -x4979 -x5060 -x5213 -x5294 -x5375 -x5456 -x5537 -x5618 -x5699 -x5780 -x5861 -x6014 -x6095 -x6176 x6257 -x6338 -x6419 -x6500 -x6581 -x6662 -x6815 -x6896 -x6977 -x7058 -x7139 -x7220 -x7301 -x7382 -x7463 -x408 -x489 -x570 -x651 -x732 -x813 -x894 -x975 -x1056 -x1209 -x1290 -x1371 -x1452 -x1533 -x1614 -x1695 -x1776 -x1857 -x2010 -x2091 -x2172 -x2253 -x2334 -x2415 -x2496 -x2577 -x2658 -x2811 -x2892 -x2973 -x3054 -x3135 -x3216 -x3297 -x3378 -x3459 -x3612 -x3693 -x3774 -x3855 -x3936 -x4017 -x4098 -x4179 -x4260 -x4413 -x4494 -x4575 -x4656 -x4737 x4818 -x4899 -x4980 -x5061 -x5214 -x5295 -x5376 -x5457 -x5538 -x5619 -x5700 -x5781 -x5862 -x6015 -x6096 -x6177 -x6258 -x6339 -x6420 -x6501 -x6582 -x6663 -x6816 -x6897 -x6978 -x7059 -x7140 -x7221 -x7302 -x7383 -x7464 -x409 -x490 -x571 -x652 -x733 -x814 -x895 -x976 -x1057 -x1210 -x1291 -x1372 -x1453 -x1534 -x1615 -x1696 -x1777 -x1858 -x2011 -x2092 -x2173 -x2254 -x2335 -x2416 -x2497 -x2578 -x2659 -x2812 -x2893 -x2974 -x3055 -x3136 -x3217 -x3298 -x3379 -x3460 -x3613 -x3694 -x3775 -x3856 -x3937 -x4018 -x4099 -x4180 -x4261 -x4414 -x4495 -x4576 -x4657 -x4738 -x4819 -x4900 -x4981 -x5062 -x5215 -x5296 -x5377 -x5458 -x5539 -x5620 -x5701 -x5782 x5863 -x6016 -x6097 -x6178 -x6259 -x6340 -x6421 -x6502 -x6583 -x6664 -x6817 -x6898 -x6979 -x7060 -x7141 -x7222 -x7303 -x7384 -x7465 -x410 -x491 -x572 -x653 -x734 -x815 -x896 -x977 -x1058 -x1211 -x1292 -x1373 -x1454 -x1535 -x1616 -x1697 -x1778 -x1859 -x2012 -x2093 -x2174 -x2255 -x2336 -x2417 -x2498 -x2579 -x2660 -x2813 -x2894 -x2975 -x3056 -x3137 -x3218 -x3299 -x3380 -x3461 -x3614 -x3695 -x3776 -x3857 -x3938 -x4019 -x4100 -x4181 x4262 -x4415 -x4496 -x4577 -x4658 -x4739 -x4820 -x4901 -x4982 -x5063 -x5216 -x5297 -x5378 -x5459 -x5540 -x5621 -x5702 -x5783 -x5864 -x6017 -x6098 -x6179 -x6260 -x6341 -x6422 -x6503 -x6584 -x6665 -x6818 -x6899 -x6980 -x7061 -x7142 -x7223 -x7304 -x7385 -x7466 -x411 -x492 -x573 -x654 -x735 -x816 -x897 -x978 -x1059 -x1212 -x1293 -x1374 -x1455 -x1536 -x1617 -x1698 -x1779 -x1860 -x2013 -x2094 -x2175 -x2256 -x2337 -x2418 -x2499 -x2580 -x2661 -x2814 -x2895 -x2976 -x3057 -x3138 -x3219 -x3300 -x3381 -x3462 -x3615 -x3696 -x3777 -x3858 -x3939 -x4020 -x4101 -x4182 -x4263 -x4416 -x4497 -x4578 -x4659 -x4740 -x4821 -x4902 -x4983 -x5064 -x5217 -x5298 -x5379 -x5460 -x5541 -x5622 -x5703 -x5784 -x5865 -x6018 -x6099 -x6180 -x6261 -x6342 -x6423 -x6504 -x6585 -x6666 -x6819 x6900 -x6981 -x7062 -x7143 -x7224 -x7305 -x7386 -x7467 -x412 -x493 -x574 -x655 -x736 -x817 -x898 -x979 -x1060 x1213 -x1294 -x1375 -x1456 -x1537 -x1618 -x1699 -x1780 -x1861 -x2014 -x2095 -x2176 -x2257 -x2338 -x2419 -x2500 -x2581 -x2662 -x2815 -x2896 -x2977 -x3058 -x3139 -x3220 -x3301 -x3382 -x3463 -x3616 -x3697 -x3778 -x3859 -x3940 -x4021 -x4102 -x4183 -x4264 -x4417 -x4498 -x4579 -x4660 -x4741 -x4822 -x4903 -x4984 -x5065 -x5218 -x5299 -x5380 -x5461 -x5542 -x5623 -x5704 -x5785 -x5866 -x6019 -x6100 -x6181 -x6262 -x6343 -x6424 -x6505 -x6586 -x6667 -x6820 -x6901 -x6982 -x7063 -x7144 -x7225 -x7306 -x7387 -x7468 -x413 -x494 -x575 -x656 -x737 -x818 -x899 -x980 -x1061 -x1214 -x1295 -x1376 -x1457 -x1538 -x1619 -x1700 -x1781 -x1862 -x2015 -x2096 -x2177 -x2258 -x2339 -x2420 -x2501 -x2582 x2663 -x2816 -x2897 -x2978 -x3059 -x3140 -x3221 -x3302 -x3383 -x3464 -x3617 -x3698 -x3779 -x3860 -x3941 -x4022 -x4103 -x4184 -x4265 -x4418 -x4499 -x4580 -x4661 -x4742 -x4823 -x4904 -x4985 -x5066 -x5219 -x5300 -x5381 -x5462 -x5543 -x5624 -x5705 -x5786 -x5867 -x6020 -x6101 -x6182 -x6263 -x6344 -x6425 -x6506 -x6587 -x6668 -x6821 -x6902 -x6983 -x7064 -x7145 -x7226 -x7307 -x7388 -x7469 -x414 -x495 -x576 -x657 -x738 -x819 -x900 -x981 -x1062 -x1215 -x1296 -x1377 -x1458 -x1539 -x1620 -x1701 -x1782 -x1863 -x2016 -x2097 -x2178 -x2259 -x2340 -x2421 -x2502 -x2583 -x2664 -x2817 -x2898 -x2979 -x3060 -x3141 -x3222 -x3303 -x3384 -x3465 -x3618 -x3699 -x3780 -x3861 -x3942 -x4023 -x4104 -x4185 -x4266 -x4419 -x4500 x4581 -x4662 -x4743 -x4824 -x4905 -x4986 -x5067 -x5220 -x5301 -x5382 -x5463 -x5544 -x5625 -x5706 -x5787 -x5868 -x6021 -x6102 -x6183 -x6264 -x6345 -x6426 -x6507 -x6588 -x6669 -x6822 -x6903 -x6984 -x7065 -x7146 -x7227 -x7308 -x7389 -x7470 -x415 -x496 -x577 -x658 -x739 -x820 -x901 -x982 -x1063 -x1216 -x1297 -x1378 -x1459 -x1540 -x1621 -x1702 -x1783 -x1864 -x2017 -x2098 -x2179 -x2260 -x2341 -x2422 -x2503 -x2584 -x2665 -x2818 x2899 -x2980 -x3061 -x3142 -x3223 -x3304 -x3385 -x3466 -x3619 -x3700 -x3781 -x3862 -x3943 -x4024 -x4105 -x4186 -x4267 -x4420 -x4501 -x4582 -x4663 -x4744 -x4825 -x4906 -x4987 -x5068 -x5221 -x5302 -x5383 -x5464 -x5545 -x5626 -x5707 -x5788 -x5869 -x6022 -x6103 -x6184 -x6265 -x6346 -x6427 -x6508 -x6589 -x6670 -x6823 -x6904 -x6985 -x7066 -x7147 -x7228 -x7309 -x7390 -x7471 -x416 -x497 -x578 -x659 -x740 -x821 -x902 -x983 -x1064 -x1217 -x1298 -x1379 -x1460 -x1541 -x1622 -x1703 -x1784 -x1865 -x2018 -x2099 -x2180 -x2261 -x2342 -x2423 -x2504 -x2585 -x2666 x2819 -x2900 -x2981 -x3062 -x3143 -x3224 -x3305 -x3386 -x3467 -x3620 -x3701 -x3782 -x3863 -x3944 -x4025 -x4106 -x4187 -x4268 -x4421 -x4502 -x4583 -x4664 -x4745 -x4826 -x4907 -x4988 -x5069 -x5222 -x5303 -x5384 -x5465 -x5546 -x5627 -x5708 -x5789 -x5870 -x6023 -x6104 -x6185 -x6266 -x6347 -x6428 -x6509 -x6590 -x6671 -x6824 -x6905 -x6986 -x7067 -x7148 -x7229 -x7310 -x7391 -x7472 -x417 -x498 -x579 -x660 -x741 -x822 -x903 -x984 -x1065 -x1218 -x1299 -x1380 -x1461 -x1542 -x1623 -x1704 -x1785 -x1866 -x2019 -x2100 x2181 -x2262 -x2343 -x2424 -x2505 -x2586 -x2667 -x2820 -x2901 -x2982 -x3063 -x3144 -x3225 -x3306 -x3387 -x3468 -x3621 -x3702 -x3783 -x3864 -x3945 -x4026 -x4107 -x4188 -x4269 -x4422 -x4503 -x4584 -x4665 -x4746 -x4827 -x4908 -x4989 -x5070 -x5223 -x5304 -x5385 -x5466 -x5547 -x5628 -x5709 -x5790 -x5871 -x6024 -x6105 -x6186 -x6267 -x6348 -x6429 -x6510 -x6591 -x6672 -x6825 -x6906 -x6987 -x7068 -x7149 -x7230 -x7311 -x7392 -x7473 -x418 -x499 -x580 -x661 -x742 -x823 -x904 -x985 -x1066 -x1219 -x1300 -x1381 -x1462 -x1543 -x1624 -x1705 -x1786 -x1867 -x2020 -x2101 -x2182 -x2263 -x2344 -x2425 -x2506 -x2587 -x2668 -x2821 -x2902 -x2983 -x3064 -x3145 -x3226 -x3307 -x3388 -x3469 -x3622 -x3703 -x3784 -x3865 -x3946 -x4027 -x4108 -x4189 -x4270 -x4423 -x4504 -x4585 -x4666 -x4747 -x4828 -x4909 -x4990 -x5071 x5224 -x5305 -x5386 -x5467 -x5548 -x5629 -x5710 -x5791 -x5872 -x6025 -x6106 -x6187 -x6268 -x6349 -x6430 -x6511 -x6592 -x6673 -x6826 -x6907 -x6988 -x7069 -x7150 -x7231 -x7312 -x7393 -x7474 -x419 -x500 -x581 -x662 -x743 -x824 -x905 -x986 -x1067 -x1220 -x1301 -x1382 -x1463 -x1544 -x1625 -x1706 -x1787 -x1868 -x2021 -x2102 -x2183 -x2264 -x2345 -x2426 -x2507 -x2588 -x2669 -x2822 -x2903 -x2984 -x3065 -x3146 -x3227 -x3308 -x3389 -x3470 -x3623 -x3704 -x3785 -x3866 -x3947 -x4028 -x4109 -x4190 -x4271 -x4424 -x4505 -x4586 x4667 -x4748 -x4829 -x4910 -x4991 -x5072 -x5225 -x5306 -x5387 -x5468 -x5549 -x5630 -x5711 -x5792 -x5873 -x6026 -x6107 -x6188 -x6269 -x6350 -x6431 -x6512 -x6593 -x6674 -x6827 -x6908 -x6989 -x7070 -x7151 -x7232 -x7313 -x7394 -x7475 -x420 -x501 -x582 -x663 -x744 -x825 -x906 -x987 -x1068 -x1221 -x1302 -x1383 -x1464 x1545 -x1626 -x1707 -x1788 -x1869 -x2022 -x2103 -x2184 -x2265 -x2346 -x2427 -x2508 -x2589 -x2670 -x2823 -x2904 -x2985 -x3066 -x3147 -x3228 -x3309 -x3390 -x3471 -x3624 -x3705 -x3786 -x3867 -x3948 -x4029 -x4110 -x4191 -x4272 -x4425 -x4506 -x4587 -x4668 -x4749 -x4830 -x4911 -x4992 -x5073 -x5226 -x5307 -x5388 -x5469 -x5550 -x5631 -x5712 -x5793 -x5874 -x6027 -x6108 -x6189 -x6270 -x6351 -x6432 -x6513 -x6594 -x6675 -x6828 -x6909 -x6990 -x7071 -x7152 -x7233 -x7314 -x7395 -x7476 -x421 -x502 -x583 -x664 -x745 -x826 -x907 -x988 -x1069 -x1222 -x1303 -x1384 -x1465 -x1546 -x1627 -x1708 -x1789 -x1870 -x2023 -x2104 -x2185 -x2266 -x2347 -x2428 -x2509 -x2590 -x2671 -x2824 -x2905 -x2986 -x3067 -x3148 -x3229 -x3310 -x3391 -x3472 -x3625 -x3706 -x3787 -x3868 -x3949 -x4030 -x4111 -x4192 -x4273 -x4426 -x4507 -x4588 -x4669 -x4750 -x4831 -x4912 -x4993 -x5074 -x5227 -x5308 -x5389 -x5470 -x5551 -x5632 -x5713 -x5794 -x5875 -x6028 -x6109 -x6190 -x6271 -x6352 -x6433 -x6514 -x6595 x6676 -x6829 -x6910 -x6991 -x7072 -x7153 -x7234 -x7315 -x7396 -x7477 -x422 -x503 -x584 -x665 -x746 -x827 -x908 -x989 -x1070 -x1223 -x1304 -x1385 -x1466 -x1547 -x1628 -x1709 -x1790 -x1871 -x2024 -x2105 -x2186 -x2267 -x2348 -x2429 -x2510 -x2591 -x2672 -x2825 -x2906 -x2987 -x3068 -x3149 -x3230 -x3311 -x3392 -x3473 -x3626 -x3707 -x3788 -x3869 -x3950 -x4031 -x4112 -x4193 -x4274 -x4427 -x4508 -x4589 -x4670 -x4751 -x4832 -x4913 -x4994 -x5075 -x5228 -x5309 -x5390 -x5471 -x5552 -x5633 -x5714 -x5795 -x5876 -x6029 -x6110 -x6191 -x6272 -x6353 -x6434 -x6515 -x6596 -x6677 x6830 -x6911 -x6992 -x7073 -x7154 -x7235 -x7316 -x7397 -x7478 -x423 -x504 -x585 -x666 -x747 -x828 -x909 -x990 -x1071 -x1224 -x1305 -x1386 -x1467 -x1548 -x1629 -x1710 -x1791 -x1872 -x2025 -x2106 -x2187 -x2268 -x2349 -x2430 -x2511 -x2592 -x2673 -x2826 -x2907 -x2988 -x3069 -x3150 -x3231 -x3312 -x3393 -x3474 -x3627 -x3708 -x3789 -x3870 -x3951 -x4032 -x4113 -x4194 -x4275 -x4428 -x4509 -x4590 -x4671 -x4752 -x4833 -x4914 -x4995 -x5076 -x5229 -x5310 -x5391 -x5472 -x5553 -x5634 -x5715 -x5796 -x5877 -x6030 x6111 -x6192 -x6273 -x6354 -x6435 -x6516 -x6597 -x6678 -x6831 -x6912 -x6993 -x7074 -x7155 -x7236 -x7317 -x7398 -x7479 -x424 -x505 -x586 -x667 -x748 -x829 -x910 -x991 -x1072 -x1225 -x1306 -x1387 -x1468 -x1549 -x1630 -x1711 -x1792 -x1873 -x2026 -x2107 -x2188 -x2269 -x2350 -x2431 -x2512 -x2593 -x2674 -x2827 -x2908 -x2989 -x3070 -x3151 -x3232 -x3313 -x3394 -x3475 -x3628 -x3709 -x3790 -x3871 -x3952 -x4033 -x4114 -x4195 -x4276 -x4429 -x4510 -x4591 -x4672 -x4753 -x4834 -x4915 -x4996 -x5077 -x5230 -x5311 -x5392 -x5473 -x5554 -x5635 -x5716 -x5797 -x5878 -x6031 -x6112 -x6193 -x6274 x6355 -x6436 -x6517 -x6598 -x6679 -x6832 -x6913 -x6994 -x7075 -x7156 -x7237 -x7318 -x7399 -x7480 -x425 -x506 -x587 -x668 -x749 -x830 -x911 -x992 -x1073 -x1226 -x1307 -x1388 -x1469 -x1550 -x1631 -x1712 -x1793 -x1874 -x2027 -x2108 -x2189 x2270 -x2351 -x2432 -x2513 -x2594 -x2675 -x2828 -x2909 -x2990 -x3071 -x3152 -x3233 -x3314 -x3395 -x3476 -x3629 -x3710 -x3791 -x3872 -x3953 -x4034 -x4115 -x4196 -x4277 -x4430 -x4511 -x4592 -x4673 -x4754 -x4835 -x4916 -x4997 -x5078 -x5231 -x5312 -x5393 -x5474 -x5555 -x5636 -x5717 -x5798 -x5879 -x6032 -x6113 -x6194 -x6275 -x6356 -x6437 -x6518 -x6599 -x6680 -x6833 -x6914 -x6995 -x7076 -x7157 -x7238 -x7319 -x7400 -x7481 -x426 -x507 -x588 -x669 -x750 -x831 -x912 -x993 -x1074 -x1227 -x1308 -x1389 -x1470 -x1551 -x1632 -x1713 -x1794 -x1875 -x2028 -x2109 -x2190 -x2271 -x2352 -x2433 -x2514 -x2595 -x2676 -x2829 -x2910 -x2991 -x3072 -x3153 -x3234 -x3315 -x3396 -x3477 -x3630 -x3711 -x3792 -x3873 -x3954 -x4035 -x4116 -x4197 -x4278 -x4431 x4512 -x4593 -x4674 -x4755 -x4836 -x4917 -x4998 -x5079 -x5232 -x5313 -x5394 -x5475 -x5556 -x5637 -x5718 -x5799 -x5880 -x6033 -x6114 -x6195 -x6276 -x6357 -x6438 -x6519 -x6600 -x6681 -x6834 -x6915 -x6996 -x7077 -x7158 -x7239 -x7320 -x7401 -x7482 -x427 -x508 -x589 -x670 -x751 -x832 -x913 -x994 -x1075 -x1228 -x1309 -x1390 -x1471 -x1552 -x1633 -x1714 -x1795 -x1876 -x2029 -x2110 -x2191 -x2272 -x2353 -x2434 -x2515 -x2596 -x2677 -x2830 -x2911 -x2992 -x3073 -x3154 -x3235 -x3316 -x3397 -x3478 -x3631 -x3712 -x3793 -x3874 -x3955 -x4036 -x4117 -x4198 -x4279 -x4432 -x4513 -x4594 -x4675 -x4756 -x4837 -x4918 -x4999 -x5080 -x5233 -x5314 -x5395 -x5476 -x5557 -x5638 -x5719 -x5800 -x5881 -x6034 -x6115 x6196 -x6277 -x6358 -x6439 -x6520 -x6601 -x6682 -x6835 -x6916 -x6997 -x7078 -x7159 -x7240 -x7321 -x7402 -x7483 -x428 -x509 -x590 -x671 -x752 -x833 -x914 -x995 -x1076 -x1229 -x1310 -x1391 -x1472 -x1553 -x1634 -x1715 -x1796 -x1877 -x2030 -x2111 -x2192 -x2273 -x2354 -x2435 -x2516 -x2597 -x2678 -x2831 -x2912 -x2993 -x3074 -x3155 -x3236 -x3317 -x3398 -x3479 -x3632 -x3713 -x3794 -x3875 -x3956 -x4037 -x4118 -x4199 -x4280 -x4433 -x4514 -x4595 -x4676 -x4757 -x4838 -x4919 -x5000 -x5081 -x5234 -x5315 -x5396 -x5477 -x5558 -x5639 -x5720 -x5801 -x5882 -x6035 -x6116 -x6197 -x6278 -x6359 -x6440 -x6521 -x6602 -x6683 -x6836 -x6917 -x6998 -x7079 -x7160 -x7241 -x7322 x7403 -x7484 -x429 -x510 -x591 -x672 -x753 -x834 -x915 -x996 -x1077 -x1230 -x1311 -x1392 -x1473 -x1554 -x1635 -x1716 -x1797 -x1878 -x2031 -x2112 -x2193 -x2274 -x2355 -x2436 -x2517 -x2598 -x2679 -x2832 -x2913 -x2994 -x3075 -x3156 -x3237 -x3318 -x3399 -x3480 -x3633 -x3714 -x3795 x3876 -x3957 -x4038 -x4119 -x4200 -x4281 -x4434 -x4515 -x4596 -x4677 -x4758 -x4839 -x4920 -x5001 -x5082 -x5235 -x5316 -x5397 -x5478 -x5559 -x5640 -x5721 -x5802 -x5883 -x6036 -x6117 -x6198 -x6279 -x6360 -x6441 -x6522 -x6603 -x6684 -x6837 -x6918 -x6999 -x7080 -x7161 -x7242 -x7323 -x7404 -x7485 -x430 -x511 -x592 -x673 -x754 -x835 -x916 -x997 -x1078 -x1231 -x1312 -x1393 -x1474 -x1555 -x1636 -x1717 -x1798 -x1879 -x2032 -x2113 -x2194 -x2275 -x2356 -x2437 -x2518 -x2599 -x2680 -x2833 -x2914 -x2995 -x3076 -x3157 -x3238 x3319 -x3400 -x3481 -x3634 -x3715 -x3796 -x3877 -x3958 -x4039 -x4120 -x4201 -x4282 -x4435 -x4516 -x4597 -x4678 -x4759 -x4840 -x4921 -x5002 -x5083 -x5236 -x5317 -x5398 -x5479 -x5560 -x5641 -x5722 -x5803 -x5884 -x6037 -x6118 -x6199 -x6280 -x6361 -x6442 -x6523 -x6604 -x6685 -x6838 -x6919 -x7000 -x7081 -x7162 -x7243 -x7324 -x7405 -x7486 -x431 x512 -x593 -x674 -x755 -x836 -x917 -x998 -x1079 -x1232 -x1313 -x1394 -x1475 -x1556 -x1637 -x1718 -x1799 -x1880 -x2033 -x2114 -x2195 -x2276 -x2357 -x2438 -x2519 -x2600 -x2681 -x2834 -x2915 -x2996 -x3077 -x3158 -x3239 -x3320 -x3401 -x3482 -x3635 -x3716 -x3797 -x3878 -x3959 -x4040 -x4121 -x4202 -x4283 -x4436 -x4517 -x4598 -x4679 -x4760 -x4841 -x4922 -x5003 -x5084 -x5237 -x5318 -x5399 -x5480 -x5561 -x5642 -x5723 -x5804 -x5885 -x6038 -x6119 -x6200 -x6281 -x6362 -x6443 -x6524 -x6605 -x6686 -x6839 -x6920 -x7001 -x7082 -x7163 -x7244 -x7325 -x7406 -x7487 -x432 -x513 -x594 -x675 -x756 -x837 -x918 -x999 -x1080 -x1233 -x1314 -x1395 -x1476 -x1557 -x1638 -x1719 -x1800 -x1881 -x2034 -x2115 -x2196 -x2277 -x2358 -x2439 -x2520 -x2601 -x2682 -x2835 -x2916 -x2997 -x3078 -x3159 -x3240 -x3321 -x3402 -x3483 -x3636 -x3717 -x3798 -x3879 -x3960 -x4041 -x4122 -x4203 -x4284 -x4437 -x4518 -x4599 -x4680 -x4761 -x4842 x4923 -x5004 -x5085 -x5238 -x5319 -x5400 -x5481 -x5562 -x5643 -x5724 -x5805 -x5886 -x6039 -x6120 -x6201 -x6282 -x6363 -x6444 -x6525 -x6606 -x6687 -x6840 -x6921 -x7002 -x7083 -x7164 -x7245 -x7326 -x7407 -x7488 -x433 -x514 -x595 -x676 -x757 -x838 -x919 -x1000 -x1081 -x1234 -x1315 -x1396 -x1477 -x1558 -x1639 -x1720 -x1801 -x1882 -x2035 -x2116 -x2197 -x2278 -x2359 -x2440 -x2521 -x2602 -x2683 -x2836 -x2917 -x2998 -x3079 -x3160 -x3241 -x3322 -x3403 -x3484 -x3637 -x3718 -x3799 -x3880 -x3961 -x4042 -x4123 -x4204 -x4285 -x4438 -x4519 -x4600 -x4681 -x4762 -x4843 -x4924 -x5005 -x5086 -x5239 -x5320 -x5401 -x5482 -x5563 -x5644 -x5725 -x5806 -x5887 -x6040 -x6121 -x6202 -x6283 -x6364 -x6445 -x6526 -x6607 -x6688 -x6841 -x6922 x7003 -x7084 -x7165 -x7246 -x7327 -x7408 -x7489 -x434 -x515 -x596 -x677 -x758 -x839 -x920 -x1001 -x1082 -x1235 -x1316 -x1397 -x1478 -x1559 -x1640 -x1721 -x1802 x1883 -x2036 -x2117 -x2198 -x2279 -x2360 -x2441 -x2522 -x2603 -x2684 -x2837 -x2918 -x2999 -x3080 -x3161 -x3242 -x3323 -x3404 -x3485 -x3638 -x3719 -x3800 -x3881 -x3962 -x4043 -x4124 -x4205 -x4286 -x4439 -x4520 -x4601 -x4682 -x4763 -x4844 -x4925 -x5006 -x5087 -x5240 -x5321 -x5402 -x5483 -x5564 -x5645 -x5726 -x5807 -x5888 -x6041 -x6122 -x6203 -x6284 -x6365 -x6446 -x6527 -x6608 -x6689 -x6842 -x6923 -x7004 -x7085 -x7166 -x7247 -x7328 -x7409 -x7490 -x435 -x516 -x597 -x678 -x759 -x840 -x921 -x1002 -x1083 -x1236 -x1317 -x1398 -x1479 -x1560 -x1641 -x1722 -x1803 -x1884 -x2037 -x2118 -x2199 -x2280 -x2361 -x2442 -x2523 -x2604 -x2685 -x2838 -x2919 -x3000 -x3081 -x3162 -x3243 -x3324 -x3405 -x3486 -x3639 -x3720 x3801 -x3882 -x3963 -x4044 -x4125 -x4206 -x4287 -x4440 -x4521 -x4602 -x4683 -x4764 -x4845 -x4926 -x5007 -x5088 -x5241 -x5322 -x5403 -x5484 -x5565 -x5646 -x5727 -x5808 -x5889 -x6042 -x6123 -x6204 -x6285 -x6366 -x6447 -x6528 -x6609 -x6690 -x6843 -x6924 -x7005 -x7086 -x7167 -x7248 -x7329 -x7410 -x7491 -x436 -x517 -x598 -x679 -x760 -x841 -x922 -x1003 -x1084 -x1237 -x1318 -x1399 -x1480 -x1561 -x1642 -x1723 -x1804 -x1885 -x2038 -x2119 -x2200 -x2281 -x2362 -x2443 -x2524 -x2605 -x2686 -x2839 -x2920 -x3001 -x3082 -x3163 -x3244 -x3325 -x3406 -x3487 -x3640 -x3721 -x3802 -x3883 -x3964 -x4045 -x4126 -x4207 -x4288 -x4441 -x4522 -x4603 -x4684 -x4765 -x4846 -x4927 -x5008 -x5089 -x5242 -x5323 -x5404 -x5485 -x5566 -x5647 -x5728 -x5809 -x5890 -x6043 -x6124 -x6205 -x6286 -x6367 -x6448 -x6529 -x6610 -x6691 -x6844 -x6925 -x7006 -x7087 -x7168 -x7249 -x7330 -x7411 x7492 -x437 -x518 -x599 -x680 -x761 -x842 -x923 -x1004 -x1085 -x1238 -x1319 -x1400 -x1481 -x1562 -x1643 -x1724 -x1805 -x1886 -x2039 -x2120 -x2201 -x2282 -x2363 -x2444 -x2525 -x2606 -x2687 -x2840 -x2921 -x3002 -x3083 -x3164 -x3245 -x3326 -x3407 -x3488 -x3641 -x3722 -x3803 -x3884 x3965 -x4046 -x4127 -x4208 -x4289 -x4442 -x4523 -x4604 -x4685 -x4766 -x4847 -x4928 -x5009 -x5090 -x5243 -x5324 -x5405 -x5486 -x5567 -x5648 -x5729 -x5810 -x5891 -x6044 -x6125 -x6206 -x6287 -x6368 -x6449 -x6530 -x6611 -x6692 -x6845 -x6926 -x7007 -x7088 -x7169 -x7250 -x7331 -x7412 -x7493 -x438 -x519 -x600 -x681 -x762 -x843 -x924 -x1005 -x1086 -x1239 x1320 -x1401 -x1482 -x1563 -x1644 -x1725 -x1806 -x1887 -x2040 -x2121 -x2202 -x2283 -x2364 -x2445 -x2526 -x2607 -x2688 -x2841 -x2922 -x3003 -x3084 -x3165 -x3246 -x3327 -x3408 -x3489 -x3642 -x3723 -x3804 -x3885 -x3966 -x4047 -x4128 -x4209 -x4290 -x4443 -x4524 -x4605 -x4686 -x4767 -x4848 -x4929 -x5010 -x5091 -x5244 -x5325 -x5406 -x5487 -x5568 -x5649 -x5730 -x5811 -x5892 -x6045 -x6126 -x6207 -x6288 -x6369 -x6450 -x6531 -x6612 -x6693 -x6846 -x6927 -x7008 -x7089 -x7170 -x7251 -x7332 -x7413 -x7494 -x439 -x520 -x601 -x682 -x763 -x844 -x925 -x1006 -x1087 -x1240 -x1321 -x1402 -x1483 -x1564 -x1645 -x1726 -x1807 -x1888 -x2041 -x2122 -x2203 -x2284 -x2365 -x2446 -x2527 -x2608 -x2689 -x2842 -x2923 -x3004 -x3085 -x3166 -x3247 -x3328 -x3409 -x3490 -x3643 -x3724 -x3805 -x3886 -x3967 -x4048 -x4129 -x4210 -x4291 -x4444 -x4525 -x4606 -x4687 -x4768 -x4849 -x4930 -x5011 -x5092 -x5245 -x5326 -x5407 -x5488 -x5569 -x5650 -x5731 -x5812 -x5893 -x6046 -x6127 -x6208 -x6289 -x6370 -x6451 -x6532 -x6613 -x6694 -x6847 -x6928 -x7009 -x7090 x7171 -x7252 -x7333 -x7414 -x7495 -x440 -x521 -x602 -x683 -x764 -x845 -x926 -x1007 -x1088 -x1241 -x1322 -x1403 -x1484 -x1565 -x1646 -x1727 -x1808 -x1889 -x2042 -x2123 -x2204 -x2285 -x2366 -x2447 -x2528 -x2609 -x2690 -x2843 -x2924 -x3005 -x3086 -x3167 -x3248 -x3329 -x3410 -x3491 -x3644 -x3725 -x3806 -x3887 -x3968 -x4049 x4130 -x4211 -x4292 -x4445 -x4526 -x4607 -x4688 -x4769 -x4850 -x4931 -x5012 -x5093 -x5246 -x5327 -x5408 -x5489 -x5570 -x5651 -x5732 -x5813 -x5894 -x6047 -x6128 -x6209 -x6290 -x6371 -x6452 -x6533 -x6614 -x6695 -x6848 -x6929 -x7010 -x7091 -x7172 -x7253 -x7334 -x7415 -x7496 -x441 -x522 -x603 -x684 -x765 -x846 -x927 -x1008 -x1089 -x1242 -x1323 -x1404 -x1485 -x1566 -x1647 -x1728 -x1809 -x1890 -x2043 -x2124 -x2205 -x2286 -x2367 -x2448 -x2529 -x2610 -x2691 -x2844 -x2925 -x3006 -x3087 -x3168 -x3249 -x3330 -x3411 -x3492 -x3645 -x3726 -x3807 -x3888 -x3969 -x4050 -x4131 x4212 -x4293 -x4446 -x4527 -x4608 -x4689 -x4770 -x4851 -x4932 -x5013 -x5094 -x5247 -x5328 -x5409 -x5490 -x5571 -x5652 -x5733 -x5814 -x5895 -x6048 -x6129 -x6210 -x6291 -x6372 -x6453 -x6534 -x6615 -x6696 -x6849 -x6930 -x7011 -x7092 -x7173 -x7254 -x7335 -x7416 -x7497 -x442 -x523 -x604 -x685 -x766 -x847 -x928 -x1009 -x1090 -x1243 -x1324 -x1405 -x1486 -x1567 -x1648 -x1729 -x1810 -x1891 x2044 -x2125 -x2206 -x2287 -x2368 -x2449 -x2530 -x2611 -x2692 -x2845 -x2926 -x3007 -x3088 -x3169 -x3250 -x3331 -x3412 -x3493 -x3646 -x3727 -x3808 -x3889 -x3970 -x4051 -x4132 -x4213 -x4294 -x4447 -x4528 -x4609 -x4690 -x4771 -x4852 -x4933 -x5014 -x5095 -x5248 -x5329 -x5410 -x5491 -x5572 -x5653 -x5734 -x5815 -x5896 -x6049 -x6130 -x6211 -x6292 -x6373 -x6454 -x6535 -x6616 -x6697 -x6850 -x6931 -x7012 -x7093 -x7174 -x7255 -x7336 -x7417 -x7498 -x443 -x524 x605 -x686 -x767 -x848 -x929 -x1010 -x1091 -x1244 -x1325 -x1406 -x1487 -x1568 -x1649 -x1730 -x1811 -x1892 -x2045 -x2126 -x2207 -x2288 -x2369 -x2450 -x2531 -x2612 -x2693 -x2846 -x2927 -x3008 -x3089 -x3170 -x3251 -x3332 -x3413 -x3494 -x3647 -x3728 -x3809 -x3890 -x3971 -x4052 -x4133 -x4214 -x4295 -x4448 -x4529 -x4610 -x4691 -x4772 -x4853 -x4934 -x5015 -x5096 -x5249 -x5330 -x5411 -x5492 -x5573 -x5654 -x5735 -x5816 -x5897 -x6050 -x6131 -x6212 -x6293 -x6374 -x6455 -x6536 -x6617 -x6698 -x6851 -x6932 -x7013 -x7094 -x7175 -x7256 -x7337 -x7418 -x7499 x444 -x525 -x606 -x687 -x768 -x849 -x930 -x1011 -x1092 -x1245 -x1326 -x1407 -x1488 -x1569 -x1650 -x1731 -x1812 -x1893 -x2046 -x2127 -x2208 -x2289 -x2370 -x2451 -x2532 -x2613 -x2694 -x2847 -x2928 -x3009 -x3090 -x3171 -x3252 -x3333 -x3414 -x3495 -x3648 -x3729 -x3810 -x3891 -x3972 -x4053 -x4134 -x4215 -x4296 -x4449 -x4530 -x4611 -x4692 -x4773 -x4854 -x4935 -x5016 -x5097 -x5250 -x5331 -x5412 -x5493 -x5574 -x5655 -x5736 -x5817 -x5898 -x6051 -x6132 -x6213 -x6294 -x6375 -x6456 -x6537 -x6618 -x6699 -x6852 -x6933 -x7014 -x7095 -x7176 -x7257 -x7338 -x7419 -x7500 -x445 -x526 -x607 -x688 -x769 -x850 -x931 -x1012 -x1093 -x1246 -x1327 -x1408 -x1489 -x1570 -x1651 -x1732 -x1813 -x1894 -x2047 -x2128 -x2209 -x2290 -x2371 -x2452 -x2533 -x2614 -x2695 -x2848 -x2929 -x3010 -x3091 -x3172 -x3253 -x3334 -x3415 -x3496 -x3649 -x3730 -x3811 -x3892 -x3973 -x4054 -x4135 -x4216 -x4297 -x4450 -x4531 -x4612 -x4693 -x4774 -x4855 -x4936 -x5017 -x5098 -x5251 -x5332 -x5413 -x5494 -x5575 -x5656 -x5737 -x5818 -x5899 -x6052 -x6133 -x6214 -x6295 -x6376 -x6457 -x6538 -x6619 -x6700 -x6853 -x6934 -x7015 -x7096 -x7177 x7258 -x7339 -x7420 -x7501 -x446 -x527 -x608 -x689 -x770 -x851 -x932 -x1013 -x1094 -x1247 -x1328 -x1409 -x1490 -x1571 -x1652 -x1733 -x1814 -x1895 -x2048 -x2129 -x2210 -x2291 -x2372 -x2453 -x2534 -x2615 -x2696 -x2849 -x2930 -x3011 -x3092 -x3173 x3254 -x3335 -x3416 -x3497 -x3650 -x3731 -x3812 -x3893 -x3974 -x4055 -x4136 -x4217 -x4298 -x4451 -x4532 -x4613 -x4694 -x4775 -x4856 -x4937 -x5018 -x5099 -x5252 -x5333 -x5414 -x5495 -x5576 -x5657 -x5738 -x5819 -x5900 -x6053 -x6134 -x6215 -x6296 -x6377 -x6458 -x6539 -x6620 -x6701 -x6854 -x6935 -x7016 -x7097 -x7178 -x7259 -x7340 -x7421 -x7502 -x447 -x528 -x609 -x690 -x771 -x852 -x933 -x1014 -x1095 -x1248 -x1329 -x1410 -x1491 -x1572 -x1653 -x1734 -x1815 -x1896 -x2049 -x2130 -x2211 -x2292 -x2373 -x2454 -x2535 -x2616 -x2697 -x2850 -x2931 -x3012 -x3093 -x3174 -x3255 -x3336 -x3417 -x3498 -x3651 -x3732 -x3813 -x3894 -x3975 x4056 -x4137 -x4218 -x4299 -x4452 -x4533 -x4614 -x4695 -x4776 -x4857 -x4938 -x5019 -x5100 -x5253 -x5334 -x5415 -x5496 -x5577 -x5658 -x5739 -x5820 -x5901 -x6054 -x6135 -x6216 -x6297 -x6378 -x6459 -x6540 -x6621 -x6702 -x6855 -x6936 -x7017 -x7098 -x7179 -x7260 -x7341 -x7422 -x7503 -x448 -x529 -x610 -x691 -x772 -x853 -x934 -x1015 -x1096 -x1249 -x1330 -x1411 -x1492 -x1573 -x1654 -x1735 -x1816 -x1897 -x2050 -x2131 -x2212 -x2293 -x2374 -x2455 -x2536 -x2617 -x2698 -x2851 -x2932 -x3013 -x3094 -x3175 -x3256 -x3337 -x3418 -x3499 -x3652 -x3733 -x3814 -x3895 -x3976 -x4057 -x4138 -x4219 -x4300 -x4453 -x4534 -x4615 -x4696 -x4777 -x4858 -x4939 -x5020 -x5101 -x5254 -x5335 -x5416 -x5497 -x5578 -x5659 -x5740 -x5821 -x5902 -x6055 -x6136 -x6217 -x6298 -x6379 -x6460 x6541 -x6622 -x6703 -x6856 -x6937 -x7018 -x7099 -x7180 -x7261 -x7342 -x7423 -x7504 -x449 -x530 -x611 -x692 -x773 -x854 -x935 -x1016 -x1097 -x1250 -x1331 -x1412 -x1493 -x1574 -x1655 -x1736 -x1817 -x1898 -x2051 -x2132 -x2213 -x2294 -x2375 -x2456 -x2537 -x2618 -x2699 -x2852 -x2933 -x3014 x3095 -x3176 -x3257 -x3338 -x3419 -x3500 -x3653 -x3734 -x3815 -x3896 -x3977 -x4058 -x4139 -x4220 -x4301 -x4454 -x4535 -x4616 -x4697 -x4778 -x4859 -x4940 -x5021 -x5102 -x5255 -x5336 -x5417 -x5498 -x5579 -x5660 -x5741 -x5822 -x5903 -x6056 -x6137 -x6218 -x6299 -x6380 -x6461 -x6542 -x6623 -x6704 -x6857 -x6938 -x7019 -x7100 -x7181 -x7262 -x7343 -x7424 -x7505 -x7874 x7875 -x7876 x7877 -x7878 -x7879 x7880 -x7881 -x7882 x7883 -x7884 -x7885 x7886 -x7887 -x7888 -x7889 x7890 -x7891 -x7892 -x7893 x7894 x7895 -x7896 -x7897 -x7898 x7899 -x7900 -x7901 x7902 -x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 x7910 x7911 -x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 -x7920 x7921 -x7922 x7923 -x7924 -x7925 -x7926 -x7927 x7928 -x7929 -x7930 -x7931 x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 x7941 -x7942 -x7943 -x7944 x7945 -x7946 x7947 -x7948 -x7949 -x7950 x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 x7958 -x7959 -x7960 -x7961 x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 x7971 -x7972 -x7973 -x7974 x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 x7984 -x7985 x7986 -x7987 -x7988 -x7989 -x7990 -x7991 x7992 -x7993 -x7994 x7995 -x7996 -x7997 x7998 -x7999 -x8000 -x8001 -x8002 -x8003 x8004 -x8005 x8006 -x8007 -x8008 -x8009 x8010 -x8011 -x8012 -x8013 x8014 -x8015 -x8016 -x8017 -x8018 x8019 -x8020 -x8021 -x8022 -x8023 x8024 x8025 -x8026 -x8027 -x8028 -x8029 -x8030 x8031 -x8032 -x8033 -x8034 x8035 -x8036 x8037 -x8038 -x8039 -x8040 -x8041 -x8042 x8043 -x8044 -x8045 x8046 -x8047 x8048 -x8049 -x8050 -x8051 x8052 -x8053 -x8054 -x8055 x8056 -x8057 -x8058 -x8059 x8060 -x8061 -x8062 -x8063 x8064 -x8065 -x8066 -x8067 x8068 -x8069 -x8070 -x8071 -x8072 x8073 -x8074 -x8075 x8076 -x8077 -x8078 x8079 -x8080 -x8081 -x8082 -x8083 x8084 -x8085 -x8086 -x8087 -x8088 -x8089 x8090 -x8091 -x8092 x8093 -x8094 -x8095 x8096 -x8097 -x8098 -x8099 x8100 -x8101 -x8102 -x8103 -x8104 x8105 -x8106 x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 x8115 -x8116 -x8117 -x8118 x8119 -x8120 -x8121 x8122 -x8123 -x8124 -x8125 x8126 -x8127 -x8128 -x8129 x8130 -x8131 -x8132 -x8133 -x8134 x8135 -x8136 -x8137 -x8138 -x8139 x8140 -x8141 -x8142 -x8143 x8144 -x8145 x8146 -x8147 -x8148 -x8149 -x8150 -x8151 x8152 -x8153 x8154 -x8155 -x8156 -x8157 x8158 -x8159 -x8160 -x8161 -x8162 -x8163 x8164 -x8165 -x8166 -x8167 x8168 -x8169 -x8170 x8171 -x8172 -x8173 -x8174 x8175 -x8176 -x8177 x8178 -x8179 -x8180 x8181 -x8182 -x8183 -x8184 x8185 -x8186 -x8187 -x8188 x8189 -x8190 -x8191 x8192 -x8193 -x8194 -x8195 x8196 -x8197 -x8198 -x8199 x8200 -x8201 -x8202 -x8203 -x8204 x8205 -x8206 -x8207 -x8208 x8209 -x8210 -x8211 x8212 -x8213 -x8214 -x8215 -x8216 x8217 -x8218 -x8219 -x8220 x8221 -x8222 -x8223 x8224 -x8225 -x8226 -x8227 -x8228 -x8229 x8230 -x8231 x8232 -x8233 -x8234 -x8235 x8236 -x8237 -x8238 -x8239 -x8240 x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 x8250 -x8251 -x8252 x8253 -x8254 -x8255 -x8256 x8257 -x8258 -x8259 -x8260 x8261 -x8262 x8263 -x8264 -x8265 -x8266 -x8267 -x8268 x8269 -x8270 -x8271 x8272 -x8273 -x8274 -x8275 x8276 -x8277 -x8278 x8279 -x8280 -x8281 -x8282 -x8283 -x8284 x8285 -x8286 -x8287 x8288 -x8289 -x8290 -x8291 -x8292 x8293 -x8294 -x8295 x8296 -x8297 -x8298 -x8299 -x8300 x8301 x8302 -x8303 -x8304 -x8305 -x8306 x8307 -x8308 -x8309 x8310 -x8311 -x8312 -x8313 x8314 -x8315 -x8316 x8317 -x8318 -x8319 -x8320 -x8321 x8322 -x8323 -x8324 x8325 -x8326 -x8327 -x8328 -x8329 x8330 -x8331 -x8332 x8333 -x8334 -x8335 -x8336 -x8337 -x8338 x8339 -x8340 x8341 -x8342 -x8343 -x8344 -x8345 -x8346 x8347 -x8348 -x8349 x8350 -x8351 -x8352 -x8353 -x8354 x8355 -x8356 -x8357 x8358 -x8359 -x8360 -x8361 -x8362 x8363 -x8364 -x8365 x8366 -x8367 -x8368 x8369 -x8370 -x8371 x8372 -x8373 -x8374 -x8375 -x8376 -x8377 x8378 -x8379 -x8380 -x8381 -x8382 x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 x8391 x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 x8401 -x8402 -x8403 -x8404 x8405 -x8406 -x8407 x8408 -x8409 -x8410 -x8411 x8412 -x8413 -x8414 -x8415 -x8416 -x8417 x8418 x8419 -x8420 -x8421 -x8422 -x8423 -x8424 x8425 -x8426 -x8427 -x8428 x8429 -x8430 x8431 -x8432 -x8433 -x8434 x8435 -x8436 -x8437 -x8438 -x8439 -x8440 x8441 x8442 -x8443 -x8444 -x8445 x8446 -x8447 -x8448 -x8449 -x8450 -x8451 x8452 -x8453 -x8454 -x8455 x8456 -x8457 -x8458 x8459 -x8460 -x8461 -x8462 -x8463 -x8464 x8465 -x8466 x8467 -x8468 -x8469 -x8470 -x8471 -x8472 x8473 x8474 -x8475 -x8476 -x8477 -x8478 x8479 -x8480 -x8481 x8482 -x8483 -x8484 x8485 -x8486 -x8487 -x8488 x8489 -x8490 -x8491 -x8492 -x8493 x8494 -x8495 -x8496 x8497 -x8498 -x8499 -x8500 -x8501 x8502 -x8503 -x8504 x8505 -x8506 -x8507 -x8508 x8509 -x8510 -x8511 -x8512 -x8513 x8514 -x8515 -x8516 x8517 -x8518 -x8519 -x8520 x8521 -x8522 -x8523 -x8524 -x8525 -x8526 x8527 -x8528 x8529 -x8530 -x8531 -x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 x8539 -x8540 -x8541 x8542 -x8543 x8544 -x8545 -x8546 -x8547 -x8548 x8549 -x8550 -x8551 -x8552 -x8553 -x8554 x8555 -x8556 -x8557 -x8558 x8559 x8560 -x8561 -x8562 -x8563 -x8564 -x8565 x8566 -x8567 -x8568 -x8569 x8570 -x8571 -x8572 -x8573 x8574 x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 x8582 -x8583 x8584 -x8585 -x8586 -x8587 -x8588 x8589 -x8590 -x8591 x8592 -x8593 -x8594 -x8595 -x8596 x8597 -x8598 -x8599 x8600 -x8601 x8602 -x8603 -x8604 -x8605 -x8606 x8607 -x8608 -x8609 -x8610 x8611 -x8612 -x8613 x8614 -x8615 -x8616 -x8617 x8618 -x8619 -x8620 -x8621 -x8622 -x8623 x8624 -x8625 -x8626 -x8627 -x8628 x8629 -x8630 x8631 -x8632 -x8633 -x8634 x8635 -x8636 -x8637 -x8638 x8639 -x8640 -x8641 x8642 -x8643 -x8644 -x8645 -x8646 -x8647 x8648 -x8649 -x8650 -x8651 x8652 -x8653 -x8654 -x8655 x8656 x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8663 -x8664 -x8665 x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 -x8673 x8674 -x8675 -x8676 -x8677 -x8678 x8679 -x8680 -x8681 -x8682 x8683 x8684 -x8685 -x8686 -x8687 -x8688 x8689 x8690 -x8691 -x8692 -x8693 -x8694 x8695 -x8696 -x8697 x8698 -x8699 x8700 -x8701 -x8702 -x8703 x8704 -x8705 -x8706 x8707 -x8708 x8709 -x8710 -x8711 x8712 -x8713

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885141-1245263609/watcher-1885141-1245263609 -o /tmp/evaluation-result-1885141-1245263609/solver-1885141-1245263609 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1885141-1245263609.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 15119
/proc/meminfo: memFree=1899496/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=14464 CPUtime=0
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 193959347 14811136 250 1992294400 134512640 135709839 4294956240 18446744073709551615 134554926 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 3616 251 124 292 0 420 0

[startup+0.052867 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 15119
/proc/meminfo: memFree=1899496/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=15776 CPUtime=0.05
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 667 0 0 0 5 0 0 0 20 0 1 0 193959347 16154624 651 1992294400 134512640 135709839 4294956240 18446744073709551615 134546280 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 3944 651 212 292 0 748 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15776

[startup+0.102831 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 15119
/proc/meminfo: memFree=1899496/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=16516 CPUtime=0.09
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 956 0 0 0 9 0 0 0 20 0 1 0 193959347 16912384 940 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 4129 940 311 292 0 933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16516

[startup+0.302856 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 15119
/proc/meminfo: memFree=1899496/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=19224 CPUtime=0.29
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 2025 0 0 0 29 0 0 0 22 0 1 0 193959347 19685376 2009 1992294400 134512640 135709839 4294956240 18446744073709551615 135187171 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 4806 2009 695 292 0 1610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19224

[startup+0.7019 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 15119
/proc/meminfo: memFree=1899496/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=24424 CPUtime=0.69
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 4049 0 0 0 69 0 0 0 25 0 1 0 193959347 25010176 4033 1992294400 134512640 135709839 4294956240 18446744073709551615 134557195 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 6106 4033 1421 292 0 2910 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24424

[startup+1.50199 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15120
/proc/meminfo: memFree=1884896/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=34572 CPUtime=1.49
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 7928 0 0 0 148 1 0 0 25 0 1 0 193959347 35401728 7912 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 8643 7913 2833 292 0 5447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34572

[startup+3.10117 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15120
/proc/meminfo: memFree=1875168/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=30040 CPUtime=3.09
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 10280 0 0 0 300 9 0 0 25 0 1 0 193959347 30760960 6879 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 7510 6879 134 292 0 7215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30040

[startup+6.30154 s]
/proc/loadavg: 1.07 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1865376/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=38400 CPUtime=6.28
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 12386 0 0 0 613 15 0 0 25 0 1 0 193959347 39321600 8985 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 9600 8985 134 292 0 9305 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38400

[startup+12.7013 s]
/proc/loadavg: 1.07 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1854048/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=49376 CPUtime=12.68
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 15131 0 0 0 1237 31 0 0 25 0 1 0 193959347 50561024 11730 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 12344 11730 134 292 0 12049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49376

[startup+25.5027 s]
/proc/loadavg: 1.05 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1835360/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=67160 CPUtime=25.48
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 19560 0 0 0 2493 55 0 0 25 0 1 0 193959347 68771840 16159 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 16790 16159 134 292 0 16495 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67160

[startup+51.1026 s]
/proc/loadavg: 1.03 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1800160/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=102716 CPUtime=51.06
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 28445 0 0 0 5024 82 0 0 25 0 1 0 193959347 105181184 25044 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 25679 25044 134 292 0 25384 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 102716

Solver just ended. Dumping a history of the last processes samples

[startup+63.9011 s]
/proc/loadavg: 1.03 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1786464/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=115940 CPUtime=63.85
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 31758 0 0 0 6290 95 0 0 25 0 1 0 193959347 118722560 28357 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 28985 28357 134 292 0 28690 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 115940

[startup+76.7016 s]
/proc/loadavg: 1.02 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1774432/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=128364 CPUtime=76.65
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 34873 0 0 0 7558 107 0 0 25 0 1 0 193959347 131444736 31472 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 32091 31472 134 292 0 31796 0
Current children cumulated CPU time (s) 76.65
Current children cumulated vsize (KiB) 128364

[startup+83.1013 s]
/proc/loadavg: 1.02 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1768800/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=134728 CPUtime=83.04
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 36450 0 0 0 8193 111 0 0 25 0 1 0 193959347 137961472 33049 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 33682 33049 134 292 0 33387 0
Current children cumulated CPU time (s) 83.04
Current children cumulated vsize (KiB) 134728

[startup+84.7055 s]
/proc/loadavg: 1.02 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1763744/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=138752 CPUtime=84.65
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 37455 0 0 0 8353 112 0 0 25 0 1 0 193959347 142082048 34055 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 34688 34057 134 292 0 34393 0
Current children cumulated CPU time (s) 84.65
Current children cumulated vsize (KiB) 138752

[startup+86.3017 s]
/proc/loadavg: 1.02 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1761248/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=141300 CPUtime=86.24
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 38096 0 0 0 8510 114 0 0 25 0 1 0 193959347 144691200 34695 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 35325 34695 134 292 0 35030 0
Current children cumulated CPU time (s) 86.24
Current children cumulated vsize (KiB) 141300

[startup+87.1017 s]
/proc/loadavg: 1.02 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1760736/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=141564 CPUtime=87.04
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 38173 0 0 0 8589 115 0 0 25 0 1 0 193959347 144961536 34772 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 35391 34772 134 292 0 35096 0
Current children cumulated CPU time (s) 87.04
Current children cumulated vsize (KiB) 141564

[startup+87.5018 s]
/proc/loadavg: 1.02 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1760736/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=141828 CPUtime=87.45
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 38238 0 0 0 8629 116 0 0 25 0 1 0 193959347 145231872 34837 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 35457 34837 134 292 0 35162 0
Current children cumulated CPU time (s) 87.45
Current children cumulated vsize (KiB) 141828

[startup+87.6018 s]
/proc/loadavg: 1.02 1.00 0.99 2/66 15120
/proc/meminfo: memFree=1760736/2055920 swapFree=4180552/4192956
[pid=15119] ppid=15117 vsize=141960 CPUtime=87.55
/proc/15119/stat : 15119 (wbo) R 15117 15119 14112 0 -1 4194304 38257 0 0 0 8639 116 0 0 25 0 1 0 193959347 145367040 34856 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/15119/statm: 35490 34856 134 292 0 35195 0
Current children cumulated CPU time (s) 87.55
Current children cumulated vsize (KiB) 141960

Child status: 0
Real time (s): 87.6816
CPU time (s): 87.6357
CPU user time (s): 86.4489
CPU system time (s): 1.18682
CPU usage (%): 99.9477
Max. virtual memory (cumulated for all children) (KiB): 141960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.4489
system time used= 1.18682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38269
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= 2
involuntary context switches= 88

runsolver used 0.103984 second user time and 0.221966 second system time

The end

Launcher Data 

Begin job on node88 at 2009-06-17 20:33:29
IDJOB=1885141
IDBENCH=72027
IDSOLVER=698
FILE ID=node88/1885141-1245263609
PBS_JOBID= 9372375
Free space on /tmp= 66512 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/all/em_11_3_4_all.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885141-1245263609/watcher-1885141-1245263609 -o /tmp/evaluation-result-1885141-1245263609/solver-1885141-1245263609 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1885141-1245263609.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 42d165badbf4c9b338758d0cf10e8e9a
RANDOM SEED=853414336

node88.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1899984 kB
Buffers:          3824 kB
Cached:          93916 kB
SwapCached:       5484 kB
Active:          59524 kB
Inactive:        44960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1899984 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:           14060 kB
Writeback:           0 kB
Mapped:          12376 kB
Slab:            37384 kB
Committed_AS:   127780 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1885141-1245263609.opb

Free space on /tmp at the end= 66508 MiB
End job on node88 at 2009-06-17 20:34:57