Trace number 3463073

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT7400 1798.05 1798.05

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 benchmark8.41272
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463073-1307177548.opb
0.00/0.01	c File size is 551521 bytes.
0.00/0.05	c Highest Coefficient sum: 371779
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.044 s
0.00/0.05	c Var: 8405 Constr: 11368 10620/748/0 Lit: 53454 Watch. Lit: 37895
0.00/0.05	c Obj. Vars: 6892 (81.9988 % of total variables)
0.09/0.17	c Pre-processing Time: 0.167 s
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   8404    11366    53452    4    37894   83303      0      0 0.17
0.09/0.17	c Switching off lower bounding mode.
0.49/0.51	c      100   8404    11506    59098    5    38174   91634    140    273 0.36
0.49/0.51	o 8504
102.49/102.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.49/102.56	c      207   8404    11662   123723   10    43590   97085    296    405 0.51
102.49/102.56	c      308   8404    11767   200212   17    43761  106794    401    491 0.63
102.49/102.56	c      559   8404    12018   364900   30    44186  117474    652    656 0.85
102.49/102.56	c     1034   8404    12493   676327   54    45090  129222   1127    767 1.35
102.49/102.56	c     1847   8404    13306  1208228   90    46675  142145   1940    819 2.25
102.49/102.56	c     3167   8404    14695  2423591  164   103741  156360   3329    723 4.38
102.49/102.56	c     5250   8404    16861  5007001  296   168950  171997   5495    555 9.45
102.49/102.56	c     8474   8404    20097 10083643  501   180854  189197   8731    304 27.85
102.49/102.56	c    13410   8404    25090 23215720  925   246445  208117  13724    202 66.21
102.49/102.56	c    20916   8404    32651 33118963 1014   291242  228929  21285    206 101.18
102.49/102.56	o 8202
171.39/171.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
171.39/171.41	c    21058   8404    32821 33297179 1014   305792   97085  21455    205 102.57
171.39/171.41	c    21158   8404    32921 33362639 1013   305216  106794  21555    204 103.66
171.39/171.41	c    21408   8404    33224 33701537 1014   332960  117474  21858    203 105.17
171.39/171.41	c    21884   8404    33701 34091781 1011   333989  129222  22335    200 109.26
171.39/171.41	c    22697   8404    34551 35073677 1015   357113  142145  23185    194 116.48
171.39/171.41	c    24018   8404    35911 36383381 1013   383163  156360  24545    193 124.22
171.39/171.41	c    26100   8404    38001 40074596 1054   392590  171997  26635    186 140.01
171.39/171.41	c    29323   8404    41344 47976505 1160   474395  189197  29978    175 167.29
171.39/171.41	o 7799
179.39/179.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.39/179.49	c    29736   8404    41809 48711384 1165   515038   97085  30443    173 171.41
179.39/179.49	c    29838   8404    41971 49022263 1168   566958  106794  30605    172 173.47
179.39/179.49	c    30089   8404    42234 49431482 1170   575831  117474  30868    171 175.94
179.39/179.49	o 7703
315.79/315.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
315.79/315.83	c    30362   8404    42576 49874211 1171   616778   97085  31210    169 179.50
315.79/315.83	c    30462   8404    42703 50080698 1172   639695  106794  31337    168 181.23
315.79/315.83	c    30714   8404    42958 50385122 1172   641687  117474  31592    165 185.08
315.79/315.83	c    31189   8404    43446 50734569 1167   654030  129222  32080    162 191.99
315.79/315.83	c    32004   8404    44348 52119472 1175   702380  142145  32982    157 202.73
315.79/315.83	c    33324   8404    45672 54143125 1185   708654  156360  34306    156 212.36
315.79/315.83	c    35405   8404    47759 56412260 1181   715706  171997  36393    150 235.80
315.79/315.83	c    38628   8404    51039 59184648 1159   774577  189197  39673    133 289.87
315.79/315.83	o 7400
1797.98/1798.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.00	c    41334   8404    53842 63234245 1174   864495   97085  42476    130 315.85
1797.98/1798.00	c    41434   8404    53965 63419208 1175   881084  106794  42599    130 318.69
1797.98/1798.00	c    41684   8404    54216 63788767 1176   882405  117474  42850    128 323.35
1797.98/1798.00	c    42159   8404    54701 64407270 1177   889696  129222  43335    127 329.47
1797.98/1798.00	c    42972   8404    55547 65527494 1179   919002  142145  44181    127 338.30
1797.98/1798.00	c    44292   8404    56869 66475726 1168   922142  156360  45503    125 352.27
1797.98/1798.00	c    46373   8404    58950 67841768 1150   926302  171997  47584    119 388.09
1797.98/1798.00	c    49596   8404    62293 74325551 1193  1021926  189197  50927    117 423.84
1797.98/1798.00	c Reducing formula size due to memory constraints
1797.98/1798.00	c Memory Limit: 1000.00 MB  Used: 1019.11 MB
1797.98/1798.00	c    54533   8404    25739 24806829  963   245254   28067  14373    102 533.03
1797.98/1798.00	c    62039   8404    33245 34073501 1024   259728   30874  21879    108 573.42
1797.98/1798.00	c    73401   8404    22244  7181706  322    63270   33962  10878    116 629.68
1797.98/1798.00	c    90545   8404    39469 18735764  474   145311   37359  28103    136 664.46
1797.98/1798.00	c   116364   8404    31680 50891346 1606    87824   41095  20314    107 1078.12
1797.98/1798.00	c Reducing formula size due to memory constraints
1797.98/1798.00	c Memory Limit: 1000.00 MB  Used: 1001.47 MB
1797.98/1798.00	c Resources Exceeded
1797.98/1798.00	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 
1797.98/1798.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.00	c   43   137193   9570   445066    30599 49091643  19233     76 1798.00
1797.98/1798.00	c Objective: 7400
1797.98/1798.00	s SATISFIABLE
1797.98/1798.00	c Total time: 1798 s

Verifier Data 

OK	7400

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463073-1307177548/watcher-3463073-1307177548 -o /tmp/evaluation-result-3463073-1307177548/solver-3463073-1307177548 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463073-1307177548.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/373 20587
/proc/meminfo: memFree=22497352/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=19440 CPUtime=0 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 829355230 19906560 318 33554432000 134512640 137138936 4290178160 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 4860 319 178 642 0 4081 0

[startup+0.069038 s]
/proc/loadavg: 2.01 2.00 2.00 3/373 20587
/proc/meminfo: memFree=22497352/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=14408 CPUtime=0.06 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 1318 0 0 0 6 0 0 0 25 0 1 0 829355230 14753792 1137 33554432000 134512640 137138936 4290178160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 3602 1137 184 642 0 2958 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14408

[startup+0.101042 s]
/proc/loadavg: 2.01 2.00 2.00 3/373 20587
/proc/meminfo: memFree=22497352/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=14804 CPUtime=0.09 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 1437 0 0 0 9 0 0 0 25 0 1 0 829355230 15159296 1256 33554432000 134512640 137138936 4290178160 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 3701 1258 185 642 0 3057 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14804

[startup+0.301034 s]
/proc/loadavg: 2.01 2.00 2.00 3/373 20587
/proc/meminfo: memFree=22497352/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=14552 CPUtime=0.29 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 1601 0 0 0 24 5 0 0 25 0 1 0 829355230 14901248 1189 33554432000 134512640 137138936 4290178160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 3638 1189 192 642 0 2994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14552

[startup+0.700953 s]
/proc/loadavg: 2.01 2.00 2.00 3/373 20587
/proc/meminfo: memFree=22497352/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=17092 CPUtime=0.68 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 2243 0 0 0 60 8 0 0 25 0 1 0 829355230 17502208 1824 33554432000 134512640 137138936 4290178160 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 4273 1824 192 642 0 3629 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17092

[startup+1.5008 s]
/proc/loadavg: 2.01 2.00 2.00 3/374 20588
/proc/meminfo: memFree=22487792/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=23640 CPUtime=1.48 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 3888 0 0 0 139 9 0 0 25 0 1 0 829355230 24207360 3469 33554432000 134512640 137138936 4290178160 18446744073709551615 134599733 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 5910 3469 192 642 0 5266 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23640

[startup+3.10051 s]
/proc/loadavg: 2.01 2.00 2.00 3/374 20588
/proc/meminfo: memFree=22478360/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=37244 CPUtime=3.08 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 7623 0 0 0 298 10 0 0 25 0 1 0 829355230 38137856 6875 33554432000 134512640 137138936 4290178160 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 9311 6875 192 642 0 8667 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 37244

[startup+6.30091 s]
/proc/loadavg: 2.01 2.00 2.00 3/374 20588
/proc/meminfo: memFree=22456112/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=56872 CPUtime=6.29 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 13327 0 0 0 617 12 0 0 25 0 1 0 829355230 58236928 11782 33554432000 134512640 137138936 4290178160 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 14218 11782 192 642 0 13574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56872

[startup+12.7007 s]
/proc/loadavg: 2.01 2.00 2.00 3/374 20588
/proc/meminfo: memFree=22412724/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=96088 CPUtime=12.69 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 28344 0 0 0 1255 14 0 0 25 0 1 0 829355230 98394112 21587 33554432000 134512640 137138936 4290178160 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 24022 21587 192 642 0 23378 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96088

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20588
/proc/meminfo: memFree=22366604/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=139972 CPUtime=25.48 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 44725 0 0 0 2532 16 0 0 25 0 1 0 829355230 143331328 32574 33554432000 134512640 137138936 4290178160 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 34993 32574 192 642 0 34349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139972

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20589
/proc/meminfo: memFree=22240568/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=252212 CPUtime=51.08 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 232535 0 0 0 5069 39 0 0 25 0 1 0 829355230 258265088 60636 33554432000 134512640 137138936 4290178160 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 63053 60636 192 642 0 62409 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 252212

[startup+102.313 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20590
/proc/meminfo: memFree=21985608/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=442668 CPUtime=102.3 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 470035 0 0 0 10165 65 0 0 25 0 1 0 829355230 453292032 108218 33554432000 134512640 137138936 4290178160 18446744073709551615 134552438 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 110667 108218 192 642 0 110023 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 442668

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20592
/proc/meminfo: memFree=21778992/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=618848 CPUtime=162.29 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 644795 0 0 0 16143 86 0 0 25 0 1 0 829355230 633700352 152296 33554432000 134512640 137138936 4290178160 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 154712 152296 192 642 0 154068 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 618848

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20593
/proc/meminfo: memFree=21664524/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=729468 CPUtime=222.29 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 707358 0 0 0 22134 95 0 0 25 0 1 0 829355230 746975232 179926 33554432000 134512640 137138936 4290178160 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 182367 179926 192 642 0 181723 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 729468

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20595
/proc/meminfo: memFree=21611552/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=781628 CPUtime=282.29 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 729831 0 0 0 28129 100 0 0 25 0 1 0 829355230 800387072 192987 33554432000 134512640 137138936 4290178160 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 195407 192987 192 642 0 194763 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 781628

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20597
/proc/meminfo: memFree=21541588/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=873444 CPUtime=342.3 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 757942 0 0 0 34123 107 0 0 25 0 1 0 829355230 894406656 215938 33554432000 134512640 137138936 4290178160 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 218361 215938 192 642 0 217717 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 873444

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20598
/proc/meminfo: memFree=21499052/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=918052 CPUtime=402.29 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 769624 0 0 0 40119 110 0 0 25 0 1 0 829355230 940085248 227073 33554432000 134512640 137138936 4290178160 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 229513 227073 192 642 0 228869 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 918052

[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/374 20600
/proc/meminfo: memFree=21359764/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054980 CPUtime=462.3 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 46096 134 0 0 25 0 1 0 829355230 1080299520 261301 33554432000 134512640 137138936 4290178160 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263745 261301 192 642 0 263101 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1054980

[startup+522.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/374 20610
/proc/meminfo: memFree=21359432/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054980 CPUtime=522.3 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 52096 134 0 0 25 0 1 0 829355230 1080299520 261301 33554432000 134512640 137138936 4290178160 18446744073709551615 134552440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263745 261301 192 642 0 263101 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1054980

[startup+582.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 20612
/proc/meminfo: memFree=21360100/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054980 CPUtime=582.3 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 58094 136 0 0 25 0 1 0 829355230 1080299520 261301 33554432000 134512640 137138936 4290178160 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263745 261301 192 642 0 263101 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1054980

[startup+642.301 s]

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

/proc/meminfo: memFree=21359508/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1122.32 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 112088 144 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1054664

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/374 20631
/proc/meminfo: memFree=21360604/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1182.32 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 118087 145 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1054664

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/374 20633
/proc/meminfo: memFree=21360444/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1242.32 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 124087 145 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1054664

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/374 20634
/proc/meminfo: memFree=21360304/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1302.33 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 130088 145 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1054664

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 20636
/proc/meminfo: memFree=21360892/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1362.33 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 136087 146 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1054664

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20637
/proc/meminfo: memFree=21360872/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1422.34 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 142088 146 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1054664

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20747
/proc/meminfo: memFree=21715748/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1482.32 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 148086 146 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1054664

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20749
/proc/meminfo: memFree=21712792/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1542.33 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 154086 147 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1054664

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 20750
/proc/meminfo: memFree=21712652/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1602.33 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 160086 147 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1054664

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/374 20752
/proc/meminfo: memFree=21711756/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1662.33 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 166086 147 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1054664

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/374 20780
/proc/meminfo: memFree=21714904/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1722.28 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 172080 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 1054664

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713764/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1782.28 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 178080 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 1054664

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

[startup+1785.5 s]
/proc/loadavg: 2.06 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713268/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1785.48 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 178400 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 1054664

[startup+1791.91 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713752/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1791.9 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 179042 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 1054664

[startup+1795.1 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713752/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1795.09 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 179361 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 1054664

[startup+1796.7 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713752/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1796.68 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 179520 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 1054664

[startup+1797.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713876/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1797.48 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 179600 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134575831 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (KiB) 1054664

[startup+1797.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713876/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1797.88 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 179640 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1054664

[startup+1798 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20782
/proc/meminfo: memFree=21713876/32951124 swapFree=37148216/67111528
[pid=20587] ppid=20585 vsize=1054664 CPUtime=1797.98 cores=0,2,4,6
/proc/20587/stat : 20587 (bsolo) R 20585 20587 19222 0 -1 4202496 987364 0 0 0 179650 148 0 0 25 0 1 0 829355230 1079975936 261250 33554432000 134512640 137138936 4290178160 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20587/statm: 263666 261250 192 642 0 263022 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1054664

Child status: 0
Real time (s): 1798.05
CPU time (s): 1798.05
CPU user time (s): 1796.51
CPU system time (s): 1.53277
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 1054980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.53277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987365
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= 4
involuntary context switches= 3941

runsolver used 6.94094 second user time and 14.3118 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-04 10:52:28
IDJOB=3463073
IDBENCH=2233
IDSOLVER=1955
FILE ID=node104/3463073-1307177548
RUNJOBID= node104-1307174925-20281
PBS_JOBID= 13508864
Free space on /tmp= 73952 MiB

SOLVER NAME= bsolo 3.2
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 -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463073-1307177548/watcher-3463073-1307177548 -o /tmp/evaluation-result-3463073-1307177548/solver-3463073-1307177548 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463073-1307177548.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=562468163

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22497384 kB
Buffers:        419992 kB
Cached:        7650420 kB
SwapCached:     163904 kB
Active:        4046072 kB
Inactive:      6068008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22497384 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:            4396 kB
Writeback:           0 kB
AnonPages:     1903480 kB
Mapped:          11500 kB
Slab:           182244 kB
PageTables:      89560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88001888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node104 at 2011-06-04 11:22:26