Trace number 3707959

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.02 1798.53

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 benchmark5.37918
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707959-1338152348.opb
0.00/0.00	c File size is 551521 bytes.
0.00/0.04	c Highest Coefficient sum: 371779
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.042 s
0.00/0.04	c Var: 8405 Constr: 11368 10620/748/0 Lit: 53454 Watch. Lit: 37895
0.00/0.04	c Obj. Vars: 6892 (81.9988 % of total variables)
0.09/0.16	c Pre-processing Time: 0.158 s
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   8404    11366    53452    4    37894   83303      0      0 0.16
0.09/0.16	c Switching off lower bounding mode.
0.39/0.47	c      100   8404    11506    59098    5    38174   91634    140    290 0.34
0.39/0.47	o 8504
94.35/94.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.35/94.44	c      207   8404    11662   123723   10    43590   97085    296    432 0.48
94.35/94.44	c      308   8404    11767   200212   17    43761  106794    401    525 0.59
94.35/94.44	c      559   8404    12018   364900   30    44186  117474    652    704 0.79
94.35/94.44	c     1034   8404    12493   676327   54    45090  129222   1127    824 1.25
94.35/94.44	c     1847   8404    13306  1208228   90    46675  142145   1940    882 2.09
94.35/94.44	c     3167   8404    14695  2423591  164   103741  156360   3329    780 4.06
94.35/94.44	c     5250   8404    16861  5007001  296   168950  171997   5495    600 8.75
94.35/94.44	c     8474   8404    20097 10083643  501   180854  189197   8731    325 26.01
94.35/94.44	c    13410   8404    25090 23215720  925   246445  208117  13724    218 61.48
94.35/94.44	c    20916   8404    32651 33118963 1014   291242  228929  21285    224 93.14
94.35/94.44	o 8202
157.00/157.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
157.00/157.12	c    21058   8404    32821 33297179 1014   305792   97085  21455    223 94.41
157.00/157.12	c    21158   8404    32921 33362639 1013   305216  106794  21555    221 95.42
157.00/157.12	c    21408   8404    33224 33701537 1014   332960  117474  21858    221 96.80
157.00/157.12	c    21884   8404    33701 34091781 1011   333989  129222  22335    217 100.55
157.00/157.12	c    22697   8404    34551 35073677 1015   357113  142145  23185    211 107.14
157.00/157.12	c    24018   8404    35911 36383381 1013   383163  156360  24545    210 114.20
157.00/157.12	c    26100   8404    38001 40074596 1054   392590  171997  26635    203 128.47
157.00/157.12	c    29323   8404    41344 47976505 1160   474395  189197  29978    191 153.27
157.00/157.12	o 7799
164.40/164.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
164.40/164.51	c    29736   8404    41809 48711384 1165   515038   97085  30443    189 157.03
164.40/164.51	c    29838   8404    41971 49022263 1168   566958  106794  30605    187 158.92
164.40/164.51	c    30089   8404    42234 49431482 1170   575831  117474  30868    186 161.13
164.40/164.51	o 7703
290.75/290.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
290.75/290.95	c    30362   8404    42576 49874211 1171   616778   97085  31210    184 164.42
290.75/290.95	c    30462   8404    42703 50080698 1172   639695  106794  31337    183 166.01
290.75/290.95	c    30714   8404    42958 50385122 1172   641687  117474  31592    181 169.57
290.75/290.95	c    31189   8404    43446 50734569 1167   654030  129222  32080    177 176.03
290.75/290.95	c    32004   8404    44348 52119472 1175   702380  142145  32982    172 185.83
290.75/290.95	c    33324   8404    45672 54143125 1185   708654  156360  34306    171 194.43
290.75/290.95	c    35405   8404    47759 56412260 1181   715706  171997  36393    163 216.48
290.75/290.95	c    38628   8404    51039 59184648 1159   774577  189197  39673    144 267.20
290.75/290.95	o 7400
1797.99/1798.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.52	c    41334   8404    53842 63234245 1174   864495   97085  42476    142 290.81
1797.99/1798.52	c    41434   8404    53965 63419208 1175   881084  106794  42599    141 293.44
1797.99/1798.52	c    41684   8404    54216 63788767 1176   882405  117474  42850    140 297.73
1797.99/1798.52	c    42159   8404    54701 64407270 1177   889696  129222  43335    138 303.43
1797.99/1798.52	c    42972   8404    55547 65527494 1179   919002  142145  44181    137 311.46
1797.99/1798.52	c    44292   8404    56869 66475726 1168   922142  156360  45503    136 324.65
1797.99/1798.52	c    46373   8404    58950 67841768 1150   926302  171997  47584    129 358.51
1797.99/1798.52	c    49596   8404    62293 74325551 1193  1021926  189197  50927    126 390.88
1797.99/1798.52	c Reducing formula size due to memory constraints
1797.99/1798.52	c Memory Limit: 1000.00 MB  Used: 1019.11 MB
1797.99/1798.52	c    54533   8404    25739 24806829  963   245254   28067  14373    112 485.12
1797.99/1798.52	c    62039   8404    33245 34073501 1024   259728   30874  21879    118 522.14
1797.99/1798.52	c    73401   8404    22244  7181706  322    63270   33962  10878    127 573.64
1797.99/1798.52	c    90545   8404    39469 18735764  474   145311   37359  28103    149 605.36
1797.99/1798.52	c   116364   8404    31680 50891346 1606    87824   41095  20314    120 968.65
1797.99/1798.52	c Reducing formula size due to memory constraints
1797.99/1798.52	c Memory Limit: 1000.00 MB  Used: 1001.47 MB
1797.99/1798.52	c Resources Exceeded
1797.99/1798.52	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.99/1798.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.52	c   43   140314  10342   449180    33720 57536139  22354     78 1798.02
1797.99/1798.52	c Objective: 7400
1797.99/1798.52	s SATISFIABLE
1797.99/1798.52	c Total time: 1798.02 s

Verifier Data 

OK	7400

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18304
/proc/meminfo: memFree=31779252/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=19444 CPUtime=0 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 281363408 19910656 314 33554432000 134512640 137138936 4287474240 4287472832 134531237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 4861 314 176 642 0 4082 0

[startup+0.0520551 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18304
/proc/meminfo: memFree=31779252/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=14408 CPUtime=0.04 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 1319 0 0 0 4 0 0 0 20 0 1 0 281363408 14753792 1137 33554432000 134512640 137138936 4287474240 4287372044 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 3602 1137 184 642 0 2958 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14408

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18304
/proc/meminfo: memFree=31779252/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=15332 CPUtime=0.09 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 1551 0 0 0 9 0 0 0 20 0 1 0 281363408 15699968 1369 33554432000 134512640 137138936 4287474240 4287371852 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 3833 1369 185 642 0 3189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15332

[startup+0.300237 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18304
/proc/meminfo: memFree=31779252/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=14552 CPUtime=0.29 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 1602 0 0 0 23 6 0 0 20 0 1 0 281363408 14901248 1189 33554432000 134512640 137138936 4287474240 4287473356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 3638 1189 192 642 0 2994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14552

[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18304
/proc/meminfo: memFree=31779252/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=17628 CPUtime=0.68 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 2380 0 0 0 59 9 0 0 20 0 1 0 281363408 18051072 1960 33554432000 134512640 137138936 4287474240 4287473356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 4407 1960 192 642 0 3763 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17628

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18305
/proc/meminfo: memFree=31769596/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=24436 CPUtime=1.49 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 4112 0 0 0 139 10 0 0 20 0 1 0 281363408 25022464 3692 33554432000 134512640 137138936 4287474240 4287472768 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 6109 3692 192 642 0 5465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24436

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18305
/proc/meminfo: memFree=31760172/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=40108 CPUtime=3.08 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 8359 0 0 0 297 11 0 0 20 0 1 0 281363408 41070592 7594 33554432000 134512640 137138936 4287474240 4287473356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 10027 7594 192 642 0 9383 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40108

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18305
/proc/meminfo: memFree=31735744/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=60336 CPUtime=6.28 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 14521 0 0 0 616 12 0 0 20 0 1 0 281363408 61784064 12667 33554432000 134512640 137138936 4287474240 4287473356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 15084 12667 192 642 0 14440 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 60336

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18305
/proc/meminfo: memFree=31691648/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=100300 CPUtime=12.69 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 30118 0 0 0 1254 15 0 0 20 0 1 0 281363408 102707200 22656 33554432000 134512640 137138936 4287474240 4287472520 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 25075 22656 192 642 0 24431 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100300

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18305
/proc/meminfo: memFree=31645164/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=143988 CPUtime=25.49 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 46243 0 0 0 2531 18 0 0 20 0 1 0 281363408 147443712 33577 33554432000 134512640 137138936 4287474240 4287473136 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 35997 33577 192 642 0 35353 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143988

[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 18305
/proc/meminfo: memFree=31522336/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=267664 CPUtime=51.08 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 261768 0 0 0 5060 48 0 0 20 0 1 0 281363408 274087936 64488 33554432000 134512640 137138936 4287474240 4287472756 134550943 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 66916 64488 192 642 0 66272 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 267664

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 18308
/proc/meminfo: memFree=31325464/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=462364 CPUtime=102.25 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 475519 0 0 0 10148 77 0 0 20 0 1 0 281363408 473460736 113154 33554432000 134512640 137138936 4287474240 4287472664 134606995 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 115591 113154 192 642 0 114947 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 462364

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 18331
/proc/meminfo: memFree=31130332/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=656084 CPUtime=162.2 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 683808 0 0 0 16112 108 0 0 20 0 1 0 281363408 671830016 161610 33554432000 134512640 137138936 4287474240 4287473136 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 164021 161610 192 642 0 163377 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 656084

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18370
/proc/meminfo: memFree=31084396/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=762328 CPUtime=222.18 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 724810 0 0 0 22100 118 0 0 20 0 1 0 281363408 780623872 188153 33554432000 134512640 137138936 4287474240 4287472776 136504029 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 190582 188153 192 642 0 189938 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 762328

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18370
/proc/meminfo: memFree=30715076/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=817944 CPUtime=282.15 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 740856 0 0 0 28091 124 0 0 20 0 1 0 281363408 837574656 202060 33554432000 134512640 137138936 4287474240 4287472520 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 204486 202060 192 642 0 203842 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 817944

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18370
/proc/meminfo: memFree=30641432/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=888972 CPUtime=342.13 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 761917 0 0 0 34081 132 0 0 20 0 1 0 281363408 910307328 219815 33554432000 134512640 137138936 4287474240 4287473168 134542776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 222243 219815 192 642 0 221599 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 888972

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 18370
/proc/meminfo: memFree=30488584/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1011376 CPUtime=402.1 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 904293 0 0 0 40052 158 0 0 20 0 1 0 281363408 1035649024 250433 33554432000 134512640 137138936 4287474240 4287472736 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 252844 250433 192 642 0 252200 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 1011376

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 18370
/proc/meminfo: memFree=30407020/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054980 CPUtime=462.07 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987526 0 0 0 46038 169 0 0 20 0 1 0 281363408 1080299520 261306 33554432000 134512640 137138936 4287474240 4287472736 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263745 261306 192 642 0 263101 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1054980

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18371
/proc/meminfo: memFree=30407172/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054980 CPUtime=522.04 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987550 0 0 0 52033 171 0 0 20 0 1 0 281363408 1080299520 261306 33554432000 134512640 137138936 4287474240 4287473168 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263745 261306 192 642 0 263101 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 1054980

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18371
/proc/meminfo: memFree=30367024/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=582.01 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987581 0 0 0 58028 173 0 0 20 0 1 0 281363408 1079975936 261255 33554432000 134512640 137138936 4287474240 4287472944 136297742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261255 192 642 0 263022 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 1054664

[startup+642.3 s]

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

/proc/meminfo: memFree=30273680/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1061.89 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 106007 182 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1054664

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18375
/proc/meminfo: memFree=30273556/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1121.89 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 112006 183 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1054664

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18376
/proc/meminfo: memFree=30273556/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1181.88 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 118004 184 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1054664

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18376
/proc/meminfo: memFree=30273432/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1241.86 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 124002 184 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1054664

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18379
/proc/meminfo: memFree=30251476/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1301.87 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 130002 185 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287390056 136504397 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1054664

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18379
/proc/meminfo: memFree=30220732/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1361.85 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 136000 185 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1054664

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18379
/proc/meminfo: memFree=30220732/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1421.85 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 142000 185 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1054664

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 18380
/proc/meminfo: memFree=30220608/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1481.83 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 147998 185 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1054664

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 18380
/proc/meminfo: memFree=30220608/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1541.83 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 153997 186 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287390072 134600273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1054664

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18380
/proc/meminfo: memFree=30220608/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1601.81 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 159995 186 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1054664

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18380
/proc/meminfo: memFree=30221104/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1661.8 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 165994 186 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1054664

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18380
/proc/meminfo: memFree=30220980/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1721.8 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 171993 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1054664

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18381
/proc/meminfo: memFree=30220856/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1781.78 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 177991 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1054664

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18381
/proc/meminfo: memFree=30220856/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1791.39 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 178952 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 1054664

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18381
/proc/meminfo: memFree=30220856/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1794.59 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 179272 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 1054664

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18381
/proc/meminfo: memFree=30220856/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1796.18 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 179431 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 1054664

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18381
/proc/meminfo: memFree=30220856/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1796.98 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 179511 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 1054664

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18381
/proc/meminfo: memFree=30220856/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1797.78 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 179591 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 1054664

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18381
/proc/meminfo: memFree=30220856/32873844 swapFree=7372/7372
[pid=18304] ppid=18302 vsize=1054664 CPUtime=1797.99 cores=1,3,5,7
/proc/18304/stat : 18304 (bsolo) R 18302 18304 15469 0 -1 4202496 987621 0 0 0 179612 187 0 0 20 0 1 0 281363408 1079975936 261731 33554432000 134512640 137138936 4287474240 4287473168 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18304/statm: 263666 261731 192 642 0 263022 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1054664

Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.02
CPU user time (s): 1796.14
CPU system time (s): 1.88271
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1054980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.14
system time used= 1.88271
maximum resident set size= 1046928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987622
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= 278
involuntary context switches= 1834

runsolver used 10.5834 second user time and 14.3248 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-27 22:59:08
IDJOB=3707959
IDBENCH=2233
IDSOLVER=2286
FILE ID=node109/3707959-1338152348
RUNJOBID= node109-1338140213-16699
PBS_JOBID= 14624511
Free space on /tmp= 71300 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-3707959-1338152348/watcher-3707959-1338152348 -o /tmp/evaluation-result-3707959-1338152348/solver-3707959-1338152348 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707959-1338152348.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1725838626

node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31780052 kB
Buffers:           84624 kB
Cached:           149300 kB
SwapCached:          588 kB
Active:           232340 kB
Inactive:          97044 kB
Active(anon):      90196 kB
Inactive(anon):     7668 kB
Active(file):     142144 kB
Inactive(file):    89376 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106292 kB
Dirty:              4376 kB
Writeback:             0 kB
AnonPages:        101948 kB
Mapped:            11064 kB
Shmem:                 8 kB
Slab:             625656 kB
SReclaimable:      68036 kB
SUnreclaim:       557620 kB
KernelStack:        1464 kB
PageTables:         3808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     218280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71296 MiB
End job on node109 at 2012-05-27 23:29:07