Trace number 3732980

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
PB09: bsolo 3.1SAT7088 1798.11 1798.9

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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3732980-1338707571.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.044 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.15	c Pre-processing Time: 0.156 s
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   8404    11366    53452    4    37894   83303      0      0 0.16
0.09/0.15	c Switching off lower bounding mode.
0.39/0.43	c      100   8404    11506    59098    5    38174   91634    140    309 0.32
0.39/0.43	o 8504
85.79/85.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
85.79/85.82	c      207   8404    11662   123723   10    43590   97085    296    478 0.43
85.79/85.82	c      308   8404    11767   200212   17    43761  106794    401    588 0.52
85.79/85.82	c      559   8404    12018   364900   30    44186  117474    652    807 0.69
85.79/85.82	c     1034   8404    12493   676327   54    45090  129222   1127    973 1.06
85.79/85.82	c     1847   8404    13306  1208228   90    46675  142145   1940   1086 1.70
85.79/85.82	c     3167   8404    14695  2423591  164   103741  156360   3329    960 3.30
85.79/85.82	c     5250   8404    16861  5007001  296   168950  171997   5495    704 7.45
85.79/85.82	c     8474   8404    20097 10083643  501   180854  189197   8731    360 23.51
85.79/85.82	c    13410   8404    25090 23215720  925   246445  208117  13724    240 55.75
85.79/85.82	c    20916   8404    32651 33118963 1014   291242  228929  21285    247 84.61
85.79/85.82	o 8202
143.77/143.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
143.77/143.82	c    21058   8404    32821 33297179 1014   305792   97085  21455    245 85.81
143.77/143.82	c    21158   8404    32921 33362639 1013   305216  106794  21555    243 86.79
143.77/143.82	c    21408   8404    33224 33701537 1014   332960  117474  21858    243 88.03
143.77/143.82	c    21884   8404    33701 34091781 1011   333989  129222  22335    238 91.64
143.77/143.82	c    22697   8404    34551 35073677 1015   357113  142145  23185    231 97.93
143.77/143.82	c    24018   8404    35911 36383381 1013   383163  156360  24545    229 104.60
143.77/143.82	c    26100   8404    38001 40074596 1054   392590  171997  26635    222 117.20
143.77/143.82	c    29323   8404    41344 47976505 1160   474395  189197  29978    209 140.23
143.77/143.82	o 7799
150.77/150.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
150.77/150.84	c    29736   8404    41809 48711384 1165   515038   97085  30443    206 143.81
150.77/150.84	c    29838   8404    41971 49022263 1168   566958  106794  30605    204 145.63
150.77/150.84	c    30089   8404    42234 49431482 1170   575831  117474  30868    203 147.70
150.77/150.84	o 7703
269.85/269.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
269.85/269.97	c    30362   8404    42576 49874211 1171   616778   97085  31210    201 150.83
269.85/269.97	c    30462   8404    42703 50080698 1172   639695  106794  31337    199 152.34
269.85/269.97	c    30714   8404    42958 50385122 1172   641687  117474  31592    197 155.77
269.85/269.97	c    31189   8404    43446 50734569 1167   654030  129222  32080    192 161.99
269.85/269.97	c    32004   8404    44348 52119472 1175   702380  142145  32982    186 171.21
269.85/269.97	c    33324   8404    45672 54143125 1185   708654  156360  34306    186 179.01
269.85/269.97	c    35405   8404    47759 56412260 1181   715706  171997  36393    177 199.61
269.85/269.97	c    38628   8404    51039 59184648 1159   774577  189197  39673    155 248.03
269.85/269.97	o 7400
469.94/470.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
469.94/470.17	c    41334   8404    53842 63234245 1174   864495   97085  42476    153 269.94
469.94/470.17	c    41434   8404    53965 63419208 1175   881084  106794  42599    152 272.47
469.94/470.17	c    41684   8404    54216 63788767 1176   882405  117474  42850    150 276.56
469.94/470.17	c    42159   8404    54701 64407270 1177   889696  129222  43335    149 281.91
469.94/470.17	c    42972   8404    55547 65527494 1179   919002  142145  44181    148 289.49
469.94/470.17	c    44292   8404    56869 66475726 1168   922142  156360  45503    146 301.93
469.94/470.17	c    46373   8404    58950 67841768 1150   926302  171997  47584    138 334.22
469.94/470.17	c    49596   8404    62293 74325551 1193  1021926  189197  50927    135 366.06
469.94/470.17	c    54533   8404    67325 86712794 1287  1051804  208117  55959    120 453.46
469.94/470.17	o 7088
1797.91/1798.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.78	c    56762   8404    69597 89474553 1285  1086808   97085  58231    120 470.03
1797.91/1798.78	c    56863   8404    69704 89584123 1285  1092044  106794  58338    120 473.31
1797.91/1798.78	c    57113   8404    70008 90055844 1286  1117557  117474  58642    119 479.16
1797.91/1798.78	c    57588   8404    70523 90653966 1285  1154949  129222  59157    118 484.19
1797.91/1798.78	c    58404   8404    71339 91189248 1278  1156568  142145  59973    118 491.68
1797.91/1798.78	c    59726   8404    72706 92420547 1271  1188496  156360  61340    116 512.74
1797.91/1798.78	c    61808   8404    74972 96730107 1290  1323135  171997  63606    114 541.09
1797.91/1798.78	c    65032   8404    78249 103150476 1318  1373030  189197  66883    112 577.37
1797.91/1798.78	c    69968   8404    83218 116476403 1399  1399899  208117  71852    108 645.77
1797.91/1798.78	c    77474   8404    90743 136719749 1506  1415962  228929  79377    103 746.01
1797.91/1798.78	c    88835   8404   102192 167561352 1639  1455390  251822  90826     89 992.20
1797.91/1798.78	c   105979   8404   119476 211810596 1772  1522750  277005 108110     85 1244.57
1797.91/1798.78	c   131799   8404   145309 244581439 1683  1579312  304706 133943     92 1431.64
1797.91/1798.78	c Resources Exceeded
1797.91/1798.78	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.91/1798.78	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.78	c   52   152524  15592   477358   166081 297806921 154715     84 1798.00
1797.91/1798.78	c Objective: 7088
1797.91/1798.78	s SATISFIABLE
1797.91/1798.78	c Total time: 1798 s

Verifier Data 

OK	7088

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-3732980-1338707571/watcher-3732980-1338707571 -o /tmp/evaluation-result-3732980-1338707571/solver-3732980-1338707571 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732980-1338707571.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/174 20768
/proc/meminfo: memFree=26102628/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=19452 CPUtime=0 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 336882558 19918848 360 33554432000 134512640 137136520 4292696224 4292694752 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 4863 360 186 641 0 4084 0

[startup+0.0628979 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20768
/proc/meminfo: memFree=26102628/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=14408 CPUtime=0.06 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 1323 0 0 0 6 0 0 0 20 0 1 0 336882558 14753792 1141 33554432000 134512640 137136520 4292696224 4292594028 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 3602 1141 188 641 0 2958 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14408

[startup+0.100216 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20768
/proc/meminfo: memFree=26102628/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=15332 CPUtime=0.09 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 1556 0 0 0 9 0 0 0 20 0 1 0 336882558 15699968 1374 33554432000 134512640 137136520 4292696224 4292593836 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 3833 1374 190 641 0 3189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15332

[startup+0.300175 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20768
/proc/meminfo: memFree=26102628/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=14552 CPUtime=0.29 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 1608 0 0 0 24 5 0 0 20 0 1 0 336882558 14901248 1195 33554432000 134512640 137136520 4292696224 4292694504 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 3638 1195 196 641 0 2994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14552

[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20768
/proc/meminfo: memFree=26102628/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=18548 CPUtime=0.69 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 2633 0 0 0 62 7 0 0 20 0 1 0 336882558 18993152 2214 33554432000 134512640 137136520 4292696224 4292695340 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 4637 2214 196 641 0 3993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18548

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20769
/proc/meminfo: memFree=26091452/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=27488 CPUtime=1.49 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 4869 0 0 0 141 8 0 0 20 0 1 0 336882558 28147712 4450 33554432000 134512640 137136520 4292696224 4292694504 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 6872 4450 196 641 0 6228 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27488

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20769
/proc/meminfo: memFree=26077812/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=44736 CPUtime=3.09 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 9484 0 0 0 300 9 0 0 20 0 1 0 336882558 45809664 8763 33554432000 134512640 137136520 4292696224 4292695340 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 11184 8763 196 641 0 10540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44736

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20769
/proc/meminfo: memFree=26051496/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=68408 CPUtime=6.29 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 16545 0 0 0 619 10 0 0 20 0 1 0 336882558 70049792 14678 33554432000 134512640 137136520 4292696224 4292694752 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 17102 14678 196 641 0 16458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68408

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20770
/proc/meminfo: memFree=26007376/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=108156 CPUtime=12.69 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 30789 0 0 0 1257 12 0 0 20 0 1 0 336882558 110751744 24626 33554432000 134512640 137136520 4292696224 4292678176 134572220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 27039 24626 196 641 0 26395 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108156

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20770
/proc/meminfo: memFree=25957840/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=157216 CPUtime=25.49 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 50729 0 0 0 2534 15 0 0 20 0 1 0 336882558 160989184 36859 33554432000 134512640 137136520 4292696224 4292694816 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 39304 36859 196 641 0 38660 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 157216

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20770
/proc/meminfo: memFree=26071684/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=289900 CPUtime=51.08 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 327369 0 0 0 5058 50 0 0 20 0 1 0 336882558 296857600 70062 33554432000 134512640 137136520 4292696224 4292695340 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 72475 70062 196 641 0 71831 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 289900

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20770
/proc/meminfo: memFree=25876260/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=482288 CPUtime=102.28 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 505066 0 0 0 10153 75 0 0 20 0 1 0 336882558 493862912 118159 33554432000 134512640 137136520 4292696224 4292695152 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 120572 118159 196 641 0 119928 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 482288

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20770
/proc/meminfo: memFree=25570352/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=674636 CPUtime=162.27 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 721785 0 0 0 16120 107 0 0 20 0 1 0 336882558 690827264 166224 33554432000 134512640 137136520 4292696224 4292695340 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 168659 166224 196 641 0 168015 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 674636

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20770
/proc/meminfo: memFree=25302192/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=772580 CPUtime=222.25 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 759063 0 0 0 22111 114 0 0 20 0 1 0 336882558 791121920 190702 33554432000 134512640 137136520 4292696224 4292695152 134544440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 193145 190702 196 641 0 192501 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 772580

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/175 20770
/proc/meminfo: memFree=25210836/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=854540 CPUtime=282.25 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 783615 0 0 0 28103 122 0 0 20 0 1 0 336882558 875048960 211208 33554432000 134512640 137136520 4292696224 4292695152 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 213635 211208 196 641 0 212991 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 854540

[startup+342.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/175 20771
/proc/meminfo: memFree=25157056/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=907572 CPUtime=342.24 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 798019 0 0 0 34097 127 0 0 20 0 1 0 336882558 929353728 224473 33554432000 134512640 137136520 4292696224 4292695152 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 226893 224473 196 641 0 226249 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 907572

[startup+402.3 s]
/proc/loadavg: 2.25 2.10 2.03 3/175 20771
/proc/meminfo: memFree=25004896/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=1059452 CPUtime=402.2 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 1029001 0 0 0 40061 159 0 0 20 0 1 0 336882558 1084878848 262455 33554432000 134512640 137136520 4292696224 4292694816 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 264863 262455 196 641 0 264219 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1059452

[startup+462.3 s]
/proc/loadavg: 2.19 2.11 2.03 3/176 20774
/proc/meminfo: memFree=24907724/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=1156400 CPUtime=462.15 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 1186863 0 0 0 46034 181 0 0 20 0 1 0 336882558 1184153600 286687 33554432000 134512640 137136520 4292696224 4292695152 134544127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 289100 286687 196 641 0 288456 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1156400

[startup+522.3 s]
/proc/loadavg: 2.16 2.12 2.04 3/175 20774
/proc/meminfo: memFree=25141196/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=1228740 CPUtime=522.13 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 1207816 0 0 0 52025 188 0 0 20 0 1 0 336882558 1258229760 304774 33554432000 134512640 137136520 4292696224 4292694752 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 307185 304774 196 641 0 306541 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1228740

[startup+582.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/175 20822
/proc/meminfo: memFree=25470736/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=1360764 CPUtime=582.1 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 1394825 0 0 0 57991 219 0 0 20 0 1 0 336882558 1393422336 337773 33554432000 134512640 137136520 4292696224 4292695120 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 340191 337773 196 641 0 339547 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1360764

[startup+642.3 s]

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

/proc/meminfo: memFree=24245880/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=2523024 CPUtime=1121.83 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 3783636 0 0 0 111591 592 0 0 20 0 1 0 336882558 2583576576 628317 33554432000 134512640 137136520 4292696224 4292695120 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 630756 628317 196 641 0 630112 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 2523024

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20828
/proc/meminfo: memFree=24144488/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=2625140 CPUtime=1181.81 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 3992721 0 0 0 117554 627 0 0 20 0 1 0 336882558 2688143360 653877 33554432000 134512640 137136520 4292696224 4292695120 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 656285 653877 196 641 0 655641 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 2625140

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 20829
/proc/meminfo: memFree=24010472/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=2742320 CPUtime=1241.77 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 4233115 0 0 0 123506 671 0 0 20 0 1 0 336882558 2808135680 683160 33554432000 134512640 137136520 4292696224 4292694756 134551929 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 685580 683160 196 641 0 684936 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 2742320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 20829
/proc/meminfo: memFree=23881912/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=2870292 CPUtime=1301.76 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 4281276 0 0 0 129493 683 0 0 20 0 1 0 336882558 2939179008 715150 33554432000 134512640 137136520 4292696224 4292695340 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 717573 715150 196 641 0 716929 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 2870292

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20829
/proc/meminfo: memFree=23746664/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3006944 CPUtime=1361.72 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 4327527 0 0 0 135477 695 0 0 20 0 1 0 336882558 3079110656 749322 33554432000 134512640 137136520 4292696224 4292695152 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 751736 749322 196 641 0 751092 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 3006944

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20829
/proc/meminfo: memFree=23610912/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3140940 CPUtime=1421.71 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 4373002 0 0 0 141463 708 0 0 20 0 1 0 336882558 3216322560 782824 33554432000 134512640 137136520 4292696224 4292694752 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 785235 782824 196 641 0 784591 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 3140940

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20829
/proc/meminfo: memFree=23454468/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3298320 CPUtime=1481.68 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 4643252 0 0 0 147421 747 0 0 20 0 1 0 336882558 3377479680 822172 33554432000 134512640 137136520 4292696224 4292695152 134544122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 824580 822172 196 641 0 823936 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 3298320

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20830
/proc/meminfo: memFree=23345260/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3406000 CPUtime=1541.63 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 4876811 0 0 0 153381 782 0 0 20 0 1 0 336882558 3487744000 849092 33554432000 134512640 137136520 4292696224 4292695152 134544122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 851500 849092 196 641 0 850856 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 3406000

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20830
/proc/meminfo: memFree=23225636/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3508860 CPUtime=1601.61 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5098254 0 0 0 159341 820 0 0 20 0 1 0 336882558 3593072640 874807 33554432000 134512640 137136520 4292696224 4292695152 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 877215 874807 196 641 0 876571 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 3508860

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20833
/proc/meminfo: memFree=23114896/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3619136 CPUtime=1661.58 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5334286 0 0 0 165296 862 0 0 20 0 1 0 336882558 3705995264 902365 33554432000 134512640 137136520 4292696224 4292613152 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 904784 902365 196 641 0 904140 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 3619136

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=23015484/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3719100 CPUtime=1721.55 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5549998 0 0 0 171257 898 0 0 20 0 1 0 336882558 3808358400 927367 33554432000 134512640 137136520 4292696224 4292695152 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 929775 927367 196 641 0 929131 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 3719100

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22911116/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3821372 CPUtime=1781.52 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5768463 0 0 0 177218 934 0 0 20 0 1 0 336882558 3913084928 952935 33554432000 134512640 137136520 4292696224 4292695152 134544122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 955343 952935 196 641 0 954699 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 3821372

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22897840/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3834368 CPUtime=1791.12 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5796593 0 0 0 178173 939 0 0 20 0 1 0 336882558 3926392832 956183 33554432000 134512640 137136520 4292696224 4292695152 134544122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 958592 956183 196 641 0 957948 0
Current children cumulated CPU time (s) 1791.12
Current children cumulated vsize (KiB) 3834368

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22893624/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3838512 CPUtime=1794.32 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5805986 0 0 0 178491 941 0 0 20 0 1 0 336882558 3930636288 957220 33554432000 134512640 137136520 4292696224 4292695152 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 959628 957220 196 641 0 958984 0
Current children cumulated CPU time (s) 1794.32
Current children cumulated vsize (KiB) 3838512

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22892012/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3841296 CPUtime=1795.91 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5812003 0 0 0 178649 942 0 0 20 0 1 0 336882558 3933487104 957916 33554432000 134512640 137136520 4292696224 4292695152 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 960324 957916 196 641 0 959680 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 3841296

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22889904/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3842472 CPUtime=1796.71 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5814705 0 0 0 178729 942 0 0 20 0 1 0 336882558 3934691328 958210 33554432000 134512640 137136520 4292696224 4292695152 134543933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 960618 958210 196 641 0 959974 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 3842472

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22889904/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3843296 CPUtime=1797.51 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5815929 0 0 0 178808 943 0 0 20 0 1 0 336882558 3935535104 958386 33554432000 134512640 137136520 4292696224 4292694816 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 960824 958386 196 641 0 960180 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 3843296

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22889284/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=3843632 CPUtime=1797.91 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202496 5816687 0 0 0 178848 943 0 0 20 0 1 0 336882558 3935879168 958470 33554432000 134512640 137136520 4292696224 4292694816 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 960908 958470 196 641 0 960264 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 3843632

[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20833
/proc/meminfo: memFree=22889284/32873624 swapFree=7112/7112
[pid=20768] ppid=20766 vsize=0 CPUtime=1798.01 cores=1,3,5,7
/proc/20768/stat : 20768 (bsolo) R 20766 20768 5438 0 -1 4202500 5816909 0 0 0 178857 944 0 0 20 0 1 0 336882558 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20768/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.9
CPU time (s): 1798.11
CPU user time (s): 1788.57
CPU system time (s): 9.53755
CPU usage (%): 99.9563
Max. virtual memory (cumulated for all children) (KiB): 3843632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.57
system time used= 9.53755
maximum resident set size= 3834192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5816909
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= 618
involuntary context switches= 1824

runsolver used 3.23351 second user time and 7.44087 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 09:12:51
IDJOB=3732980
IDBENCH=2233
IDSOLVER=2320
FILE ID=node121/3732980-1338707571
RUNJOBID= node121-1338679211-14283
PBS_JOBID= 14636692
Free space on /tmp= 71256 MiB

SOLVER NAME= PB09: bsolo 3.1
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 -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732980-1338707571/watcher-3732980-1338707571 -o /tmp/evaluation-result-3732980-1338707571/solver-3732980-1338707571 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3732980-1338707571.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1000492684

node121.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.042
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.08
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.042
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.042
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.92
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.042
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.042
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.042
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.042
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	: 5438.55
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.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        26103512 kB
Buffers:          607532 kB
Cached:          4450028 kB
SwapCached:            0 kB
Active:          2597912 kB
Inactive:        3298152 kB
Active(anon):     826244 kB
Inactive(anon):    10760 kB
Active(file):    1771668 kB
Inactive(file):  3287392 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4288 kB
Writeback:             0 kB
AnonPages:        861984 kB
Mapped:            14880 kB
Shmem:               200 kB
Slab:             736600 kB
SReclaimable:     180844 kB
SUnreclaim:       555756 kB
KernelStack:        1456 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     944936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    798720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3732980-1338707571.opb

Free space on /tmp at the end= 71252 MiB
End job on node121 at 2012-06-03 09:42:50