Trace number 1879939

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT7607 1798.3 1798.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark960.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	7607

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879939-1245163507/watcher-1879939-1245163507 -o /tmp/evaluation-result-1879939-1245163507/solver-1879939-1245163507 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879939-1245163507.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: 1.00 1.00 0.94 3/64 12212
/proc/meminfo: memFree=1700688/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=19068 CPUtime=0
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 69059543 19525632 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 4767 242 172 640 0 3988 0

[startup+0.084287 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 12212
/proc/meminfo: memFree=1700688/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=13108 CPUtime=0.07
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 841 0 0 0 7 0 0 0 18 0 1 0 69059543 13422592 825 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 3277 825 296 640 0 2498 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13108

[startup+0.101288 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 12212
/proc/meminfo: memFree=1700688/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=14392 CPUtime=0.09
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 1291 0 0 0 9 0 0 0 18 0 1 0 69059543 14737408 1140 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 3598 1140 188 640 0 2954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14392

[startup+0.301306 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 12212
/proc/meminfo: memFree=1700688/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=15184 CPUtime=0.3
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 1556 0 0 0 28 2 0 0 19 0 1 0 69059543 15548416 1339 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 3796 1339 190 640 0 3152 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15184

[startup+0.701341 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 12212
/proc/meminfo: memFree=1700688/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=14536 CPUtime=0.69
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 1577 0 0 0 56 13 0 0 22 0 1 0 69059543 14884864 1195 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 3634 1195 196 640 0 2990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14536

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1696456/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=17388 CPUtime=1.49
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 2308 0 0 0 127 22 0 0 25 0 1 0 69059543 17805312 1926 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 4347 1926 196 640 0 3703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17388

[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1689288/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=25588 CPUtime=3.09
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 4369 0 0 0 286 23 0 0 25 0 1 0 69059543 26202112 3985 1992294400 134512640 137136520 4294956256 18446744073709551615 134573451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 6397 3985 196 640 0 5753 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25588

[startup+6.30184 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1674312/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=39344 CPUtime=6.29
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 7791 0 0 0 603 26 0 0 25 0 1 0 69059543 40288256 7407 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 9836 7407 196 640 0 9192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39344

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1646920/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=64180 CPUtime=12.69
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 14120 0 0 0 1241 28 0 0 25 0 1 0 69059543 65720320 13635 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 16045 13635 196 640 0 15401 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64180

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1612424/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=100168 CPUtime=25.48
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 23114 0 0 0 2517 31 0 0 25 0 1 0 69059543 102572032 22626 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 25042 22626 196 640 0 24398 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100168

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1577480/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=133704 CPUtime=51.07
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 31546 0 0 0 5072 35 0 0 25 0 1 0 69059543 136912896 31006 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 33426 31006 196 640 0 32782 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 133704

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1491400/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=219192 CPUtime=102.26
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 53277 0 0 0 10181 45 0 0 25 0 1 0 69059543 224452608 52386 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 54798 52386 196 640 0 54154 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 219192

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1355208/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=354908 CPUtime=162.25
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 88665 0 0 0 16164 61 0 0 25 0 1 0 69059543 363425792 86312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 88727 86312 197 640 0 88083 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 354908

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1335880/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=374216 CPUtime=222.23
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 93524 0 0 0 22158 65 0 0 25 0 1 0 69059543 383197184 91140 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 93554 91140 197 640 0 92910 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 374216

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1289864/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=420316 CPUtime=282.21
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 105432 0 0 0 28149 72 0 0 25 0 1 0 69059543 430403584 102665 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 105079 102665 197 640 0 104435 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 420316

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1256072/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=454256 CPUtime=342.2
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 113921 0 0 0 34143 77 0 0 25 0 1 0 69059543 465158144 111154 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 113564 111154 197 640 0 112920 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 454256

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1189384/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=520372 CPUtime=402.18
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 130432 0 0 0 40134 84 0 0 25 0 1 0 69059543 532860928 127665 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 130093 127665 197 640 0 129449 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 520372

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 12213
/proc/meminfo: memFree=1166152/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=543636 CPUtime=462.17
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 136245 0 0 0 46130 87 0 0 25 0 1 0 69059543 556683264 133478 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 135909 133478 197 640 0 135265 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 543636

[startup+522.302 s]
/proc/loadavg: 1.07 1.02 0.95 2/65 12213
/proc/meminfo: memFree=1061832/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=654488 CPUtime=522.15
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 164755 0 0 0 52118 97 0 0 25 0 1 0 69059543 670195712 161201 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 163622 161201 197 640 0 162978 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 654488

[startup+582.302 s]
/proc/loadavg: 1.08 1.03 0.95 2/65 12213
/proc/meminfo: memFree=905608/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=804612 CPUtime=582.13
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 202417 0 0 0 58100 113 0 0 25 0 1 0 69059543 823922688 198724 1992294400 134512640 137136520 4294956256 18446744073709551615 136502294 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 201153 198724 197 640 0 200509 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 804612

[startup+642.301 s]
/proc/loadavg: 1.07 1.03 0.96 2/65 12213
/proc/meminfo: memFree=827976/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=880924 CPUtime=642.12
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 221498 0 0 0 64089 123 0 0 25 0 1 0 69059543 902066176 217805 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 220231 217805 197 640 0 219587 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 880924

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=672840/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1035800 CPUtime=1061.99
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 260209 0 0 0 106056 143 0 0 25 0 1 0 69059543 1060659200 256516 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 258950 256516 197 640 0 258306 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1035800

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=670216/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1038328 CPUtime=1121.98
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 260843 0 0 0 112054 144 0 0 25 0 1 0 69059543 1063247872 257150 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 259582 257150 197 640 0 258938 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1038328

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=665928/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1042584 CPUtime=1181.97
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 261911 0 0 0 118052 145 0 0 25 0 1 0 69059543 1067606016 258218 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 260646 258218 197 640 0 260002 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1042584

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=647560/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1060840 CPUtime=1241.95
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 266471 0 0 0 124049 146 0 0 25 0 1 0 69059543 1086300160 262778 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 265210 262778 197 640 0 264566 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1060840

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=589064/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1119108 CPUtime=1301.94
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 281066 0 0 0 130040 154 0 0 25 0 1 0 69059543 1145966592 277363 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 279777 277363 197 640 0 279133 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1119108

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=581576/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1126772 CPUtime=1361.92
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 282954 0 0 0 136037 155 0 0 25 0 1 0 69059543 1153814528 279251 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 281693 279251 197 640 0 281049 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1126772

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=569288/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1138940 CPUtime=1421.9
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 286027 0 0 0 142034 156 0 0 25 0 1 0 69059543 1166274560 282324 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 284735 282324 197 640 0 284091 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1138940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=554120/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1154192 CPUtime=1481.88
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 289809 0 0 0 148030 158 0 0 25 0 1 0 69059543 1181892608 286106 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 288548 286106 197 640 0 287904 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1154192

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=524680/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1183428 CPUtime=1541.87
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 297128 0 0 0 154025 162 0 0 25 0 1 0 69059543 1211830272 293425 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 295857 293425 197 640 0 295213 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1183428

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=513224/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1205600 CPUtime=1601.85
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 302678 0 0 0 160021 164 0 0 25 0 1 0 69059543 1234534400 298975 1992294400 134512640 137136520 4294956256 18446744073709551615 134574739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 301400 298975 197 640 0 300756 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1205600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=480200/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1227652 CPUtime=1661.84
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 308201 0 0 0 166018 166 0 0 25 0 1 0 69059543 1257115648 304498 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 306913 304498 197 640 0 306269 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1227652

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=478472/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1229540 CPUtime=1721.82
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 308648 0 0 0 172015 167 0 0 25 0 1 0 69059543 1259048960 304945 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 307385 304945 197 640 0 306741 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1229540

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=460936/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1246964 CPUtime=1781.81
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 313002 0 0 0 178013 168 0 0 25 0 1 0 69059543 1276891136 309299 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 311741 309299 197 640 0 311097 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1246964

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=457672/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1250140 CPUtime=1791.41
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 313817 0 0 0 178973 168 0 0 25 0 1 0 69059543 1280143360 310114 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 312535 310114 197 640 0 311891 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 1250140

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=453768/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1254032 CPUtime=1794.61
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 314798 0 0 0 179292 169 0 0 25 0 1 0 69059543 1284128768 311095 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 313508 311095 197 640 0 312864 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 1254032

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=453768/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1254336 CPUtime=1796.2
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 314874 0 0 0 179451 169 0 0 25 0 1 0 69059543 1284440064 311171 1992294400 134512640 137136520 4294956256 18446744073709551615 134598796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 313584 311171 197 640 0 312940 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 1254336

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=449288/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1258524 CPUtime=1797
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 315916 0 0 0 179531 169 0 0 25 0 1 0 69059543 1288728576 312213 1992294400 134512640 137136520 4294956256 18446744073709551615 136501971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 314631 312213 197 640 0 313987 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 1258524

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=449288/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=1258524 CPUtime=1797.8
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194304 315916 0 0 0 179611 169 0 0 25 0 1 0 69059543 1288728576 312213 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 314631 312213 197 640 0 313987 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 1258524

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 12221
/proc/meminfo: memFree=449288/2055920 swapFree=4192956/4192956
[pid=12212] ppid=12210 vsize=0 CPUtime=1798.2
/proc/12212/stat : 12212 (bsolo) R 12210 12212 11980 0 -1 4194308 315918 0 0 0 179640 180 0 0 25 0 1 0 69059543 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12212/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.78
CPU time (s): 1798.3
CPU user time (s): 1796.41
CPU system time (s): 1.88771
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1258524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.41
system time used= 1.88771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315918
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= 3318

runsolver used 1.60376 second user time and 3.34749 second system time

The end

Launcher Data 

Begin job on node41 at 2009-06-16 16:45:07
IDJOB=1879939
IDBENCH=2233
IDSOLVER=701
FILE ID=node41/1879939-1245163507
PBS_JOBID= 9363806
Free space on /tmp= 65960 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879939-1245163507/watcher-1879939-1245163507 -o /tmp/evaluation-result-1879939-1245163507/solver-1879939-1245163507 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879939-1245163507.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1695069862

node41.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.216
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	: 5914.62
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.216
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1701104 kB
Buffers:         44268 kB
Cached:         230928 kB
SwapCached:          0 kB
Active:         139052 kB
Inactive:       149096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701104 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4504 kB
Writeback:           0 kB
Mapped:          22716 kB
Slab:            52748 kB
Committed_AS:    52464 kB
PageTables:       1360 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-1879939-1245163507.opb

Free space on /tmp at the end= 65956 MiB
End job on node41 at 2009-06-16 17:15:06