Trace number 3500312

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
pwbo 1.1SAT (TO)22500 1800.07 900.055

General information on the benchmark

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

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500312-1307993286.opb.
0.00/0.00	c Instance file HOME/instance-3500312-1307993286.opb
0.00/0.00	c File size is 551521 bytes.
0.01/0.04	c Highest Coefficient sum: 386
0.01/0.04	c ============================[ Problem Statistics ]=============================
0.01/0.04	c |                                                                             |
0.01/0.04	c |  Parsing time:          0.05         s                                      |
0.01/0.04	c |  Number Variables:      8405                                                |
0.01/0.04	c |  Number Clauses:        10619                                               |
0.01/0.04	c |  Number Cardinality:    748                                                 |
0.01/0.04	c |  Number PB Constraints: 0                                                   |
0.01/0.06	c init lb 0
0.01/0.06	c init ub 371780
0.01/0.07	c lb -2544 (thread 0)
0.01/0.07	c lb -2543 (thread 0)
0.01/0.08	c lb -2542 (thread 0)
0.01/0.09	c lb -2541 (thread 0)
0.01/0.10	c lb -2540 (thread 0)
0.14/0.10	c lb -2539 (thread 0)
0.14/0.11	c lb -2538 (thread 0)
0.14/0.12	c lb -2537 (thread 0)
0.14/0.13	c lb -2536 (thread 0)
0.14/0.13	c lb -2535 (thread 0)
0.14/0.14	c lb -2534 (thread 0)
0.14/0.15	c lb -2533 (thread 0)
0.14/0.16	c lb -2532 (thread 0)
0.14/0.17	c lb -2531 (thread 0)
0.14/0.18	c lb -2530 (thread 0)
0.14/0.18	c ub 22500 (thread 1)
0.14/0.18	o 22500
0.14/0.18	c lb -2529 (thread 0)
0.14/0.19	c lb -2528 (thread 0)
0.34/0.20	c lb -2527 (thread 0)
0.34/0.21	c lb -2526 (thread 0)
0.34/0.22	c lb -2525 (thread 0)
0.34/0.23	c lb -2524 (thread 0)
0.34/0.24	c lb -2523 (thread 0)
0.34/0.26	c lb -2522 (thread 0)
0.34/0.27	c lb -2521 (thread 0)
0.34/0.28	c lb -2421 (thread 0)
0.34/0.29	c lb -2321 (thread 0)
0.54/0.31	c lb -2221 (thread 0)
0.54/0.32	c lb -2121 (thread 0)
0.54/0.33	c lb -2021 (thread 0)
0.54/0.35	c lb -1921 (thread 0)
0.54/0.36	c lb -1821 (thread 0)
0.54/0.38	c lb -1721 (thread 0)
0.54/0.39	c lb -1621 (thread 0)
0.74/0.41	c lb -1620 (thread 0)
0.74/0.42	c lb -1619 (thread 0)
0.74/0.44	c lb -1618 (thread 0)
0.74/0.46	c lb -1617 (thread 0)
0.74/0.48	c lb -1616 (thread 0)
0.94/0.50	c lb -1615 (thread 0)
0.94/0.52	c lb -1614 (thread 0)
0.94/0.53	c lb -1613 (thread 0)
0.94/0.55	c lb -1612 (thread 0)
0.94/0.57	c lb -1611 (thread 0)
0.94/0.59	c lb -1610 (thread 0)
1.14/0.61	c lb -1609 (thread 0)
1.14/0.63	c lb -1608 (thread 0)
1.14/0.65	c lb -1607 (thread 0)
1.14/0.67	c lb -1606 (thread 0)
1.14/0.69	c lb -1605 (thread 0)
1.34/0.71	c lb -1604 (thread 0)
1.34/0.73	c lb -1603 (thread 0)
1.34/0.75	c lb -1602 (thread 0)
1.34/0.77	c lb -1601 (thread 0)
1.34/0.79	c lb -1600 (thread 0)
1.53/0.81	c lb -1599 (thread 0)
1.53/0.83	c lb -1598 (thread 0)
1.53/0.85	c lb -1597 (thread 0)
1.53/0.87	c lb -1596 (thread 0)
1.53/0.89	c lb -1595 (thread 0)
1.74/0.91	c lb -1594 (thread 0)
1.74/0.93	c lb -1593 (thread 0)
1.74/0.96	c lb -1592 (thread 0)
1.74/0.98	c lb -1591 (thread 0)
1.95/1.00	c lb -1590 (thread 0)
1.95/1.02	c lb -1589 (thread 0)
1.95/1.05	c lb -1588 (thread 0)
1.95/1.07	c lb -1587 (thread 0)
2.15/1.12	c lb -1586 (thread 0)
2.34/1.20	c lb -1585 (thread 0)
2.54/1.36	c lb -1584 (thread 0)
2.54/1.39	c lb -1583 (thread 0)
3.54/1.89	c lb -1582 (thread 0)
3.94/2.01	c lb -1581 (thread 0)
3.94/2.06	c lb -1580 (thread 0)
3.94/2.09	c lb -1579 (thread 0)
4.15/2.19	c lb -1578 (thread 0)
4.35/2.23	c lb -1577 (thread 0)
4.35/2.28	c lb -1576 (thread 0)
5.74/2.94	c lb -1575 (thread 0)
5.74/2.98	c lb -1574 (thread 0)
6.14/3.19	c lb -1573 (thread 0)
6.35/3.24	c lb -1572 (thread 0)
10.14/5.19	c lb -1571 (thread 0)
15.35/7.72	c lb -1570 (thread 0)
31.14/15.64	c lb -1569 (thread 0)
31.34/15.72	c lb -1568 (thread 0)
31.54/15.80	c lb -1567 (thread 0)
32.34/16.25	c lb -1566 (thread 0)
32.34/16.29	c lb -1565 (thread 0)
32.55/16.39	c lb -1564 (thread 0)
32.95/16.56	c lb -1563 (thread 0)
33.14/16.62	c lb -1562 (thread 0)
33.14/16.66	c lb -1561 (thread 0)
33.14/16.69	c lb -1560 (thread 0)
142.14/71.13	c lb -1559 (thread 0)
142.34/71.27	c lb -1558 (thread 0)
142.55/71.35	c lb -1557 (thread 0)
142.55/71.39	c lb -1556 (thread 0)
142.96/71.59	c lb -1555 (thread 0)
186.95/93.59	c lb -1554 (thread 0)
187.14/93.68	c lb -1553 (thread 0)
187.35/93.72	c lb -1552 (thread 0)
187.35/93.77	c lb -1551 (thread 0)
187.54/93.83	c lb -1550 (thread 0)
187.54/93.89	c lb -1549 (thread 0)
243.75/121.98	c lb -1548 (thread 0)
244.15/122.13	c lb -1547 (thread 0)
244.35/122.25	c lb -1546 (thread 0)
245.35/122.73	c lb -1545 (thread 0)
245.35/122.77	c lb -1544 (thread 0)
246.36/123.28	c lb -1543 (thread 0)
247.74/123.94	c lb -1542 (thread 0)
273.34/136.79	c lb -1541 (thread 0)
273.75/136.91	c lb -1540 (thread 0)
273.75/136.95	c lb -1539 (thread 0)
275.75/137.92	c lb -1538 (thread 0)
281.55/140.90	c lb -1537 (thread 0)
281.95/141.01	c lb -1536 (thread 0)
282.14/141.13	c lb -1535 (thread 0)
282.34/141.25	c lb -1534 (thread 0)
282.75/141.47	c lb -1533 (thread 0)
282.94/141.53	c lb -1532 (thread 0)
282.94/141.58	c lb -1531 (thread 0)
283.15/141.64	c lb -1530 (thread 0)
284.94/142.52	c lb -1529 (thread 0)
286.94/143.55	c lb -1528 (thread 0)
288.95/144.56	c lb -1527 (thread 0)
301.95/151.05	c lb -1526 (thread 0)
329.96/165.09	c lb -1525 (thread 0)
330.15/165.18	c lb -1524 (thread 0)
330.34/165.26	c lb -1523 (thread 0)
330.55/165.37	c lb -1522 (thread 0)
330.95/165.54	c lb -1521 (thread 0)
689.15/344.63	c lb -1520 (thread 0)
703.55/351.90	c lb -1519 (thread 0)
1337.17/668.64	c lb -1518 (thread 0)
1359.58/679.87	c lb -1517 (thread 0)
1359.77/679.98	c lb -1516 (thread 0)
1376.58/688.34	c lb -1515 (thread 0)
1391.18/695.60	c lb -1514 (thread 0)
1800.01/900.01	s SATISFIABLE
1800.01/900.01	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
1800.01/900.01	c Memory used           : 988.04 MB
1800.01/900.01	c CPU time              : 1791.39 s

Verifier Data 

OK	22500

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 /var/tmp/evaluation-result-3500312-1307993286/watcher-3500312-1307993286 -o /var/tmp/evaluation-result-3500312-1307993286/solver-3500312-1307993286 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500312-1307993286.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: 3.73 3.92 3.66 3/179 18408
/proc/meminfo: memFree=24477096/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=4564 CPUtime=0 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) R 18406 18408 17705 0 -1 4202496 776 0 0 0 0 0 0 0 18 0 1 0 989559297 4673536 728 33554432000 4194304 5714118 140736226048704 18446744073709551615 4315361 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18408/statm: 1141 728 159 372 0 631 0

[startup+0.012558 s]
/proc/loadavg: 3.73 3.92 3.66 3/179 18408
/proc/meminfo: memFree=24477096/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=6264 CPUtime=0.01 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) R 18406 18408 17705 0 -1 4202496 1195 0 0 0 1 0 0 0 18 0 1 0 989559297 6414336 1147 33554432000 4194304 5714118 140736226048704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18408/statm: 1566 1147 182 372 0 1056 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6264

[startup+0.10054 s]
/proc/loadavg: 3.73 3.92 3.66 3/179 18408
/proc/meminfo: memFree=24477096/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=143824 CPUtime=0.14 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 5830 0 0 0 12 2 0 0 18 0 3 0 989559297 147275776 5332 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 35956 5333 178 372 0 35581 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 143824

[startup+0.300506 s]
/proc/loadavg: 3.73 3.92 3.66 3/179 18408
/proc/meminfo: memFree=24477096/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=143824 CPUtime=0.54 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 8797 0 0 0 47 7 0 0 18 0 3 0 989559297 147275776 7685 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 35956 7685 179 372 0 35581 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 143824

[startup+0.700429 s]
/proc/loadavg: 3.73 3.92 3.66 3/179 18408
/proc/meminfo: memFree=24477096/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=143824 CPUtime=1.34 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 13750 0 0 0 125 9 0 0 18 0 3 0 989559297 147275776 12250 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 35956 12250 179 372 0 35581 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 143824

[startup+1.50028 s]
/proc/loadavg: 3.73 3.92 3.66 5/182 18411
/proc/meminfo: memFree=24415716/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=143824 CPUtime=2.94 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 22662 0 0 0 282 12 0 0 18 0 3 0 989559297 147275776 19888 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 35956 19891 179 372 0 35581 0
[pid=18408/tid=18410] ppid=18406 vsize=143824 CPUtime=1.44 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 8362 0 0 0 142 2 0 0 20 0 3 0 989559302 147275776 19891 33554432000 4194304 5714118 140736226048704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=143824 CPUtime=1.44 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 11755 0 0 0 135 9 0 0 23 0 3 0 989559302 147275776 19891 33554432000 4194304 5714118 140736226048704 18446744073709551615 4976846 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 143824

[startup+3.10098 s]
/proc/loadavg: 3.73 3.92 3.66 5/182 18411
/proc/meminfo: memFree=24374192/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=209360 CPUtime=6.14 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 38095 0 0 0 594 20 0 0 18 0 3 0 989559297 214384640 34859 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 52340 34859 179 372 0 51965 0
[pid=18408/tid=18410] ppid=18406 vsize=209360 CPUtime=3.04 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 9965 0 0 0 298 6 0 0 25 0 3 0 989559302 214384640 34859 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=209360 CPUtime=3.04 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 25582 0 0 0 290 14 0 0 25 0 3 0 989559302 214384640 34859 33554432000 4194304 5714118 140736226048704 18446744073709551615 4976846 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 209360

[startup+6.30037 s]
/proc/loadavg: 3.75 3.92 3.66 5/182 18411
/proc/meminfo: memFree=24255160/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=340432 CPUtime=12.54 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 64525 0 0 0 1223 31 0 0 18 0 3 0 989559297 348602368 61176 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 85108 61176 179 372 0 84733 0
[pid=18408/tid=18410] ppid=18406 vsize=340432 CPUtime=6.24 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 11145 0 0 0 614 10 0 0 25 0 3 0 989559302 348602368 61180 33554432000 4194304 5714118 140736226048704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=340432 CPUtime=6.23 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 50836 0 0 0 603 20 0 0 25 0 3 0 989559302 348602368 61180 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 340432

[startup+12.7012 s]
/proc/loadavg: 3.77 3.92 3.66 5/182 18412
/proc/meminfo: memFree=24188580/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=340432 CPUtime=25.34 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 73305 0 0 0 2493 41 0 0 18 0 3 0 989559297 348602368 69956 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 85108 69956 179 372 0 84733 0
[pid=18408/tid=18410] ppid=18406 vsize=340432 CPUtime=12.64 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 11778 0 0 0 1248 16 0 0 25 0 3 0 989559302 348602368 69956 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=340432 CPUtime=12.64 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 58979 0 0 0 1240 24 0 0 25 0 3 0 989559302 348602368 69956 33554432000 4194304 5714118 140736226048704 18446744073709551615 4322863 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 340432

[startup+25.5008 s]
/proc/loadavg: 3.82 3.92 3.67 5/182 18412
/proc/meminfo: memFree=24085920/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=405968 CPUtime=50.94 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 96056 0 0 0 5035 59 0 0 18 0 3 0 989559297 415711232 91845 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 101492 91845 180 372 0 101117 0
[pid=18408/tid=18410] ppid=18406 vsize=405968 CPUtime=25.44 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 13819 0 0 0 2518 26 0 0 25 0 3 0 989559302 415711232 91845 33554432000 4194304 5714118 140736226048704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=405968 CPUtime=25.44 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 79689 0 0 0 2512 32 0 0 25 0 3 0 989559302 415711232 91845 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 405968

[startup+51.101 s]
/proc/loadavg: 3.88 3.93 3.68 5/182 18413
/proc/meminfo: memFree=24013864/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=472284 CPUtime=102.14 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 116267 0 0 0 10133 81 0 0 18 0 3 0 989559297 483618816 106042 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 118071 106042 180 372 0 117696 0
[pid=18408/tid=18410] ppid=18406 vsize=472284 CPUtime=51.04 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 17482 0 0 0 5066 38 0 0 25 0 3 0 989559302 483618816 106042 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=472284 CPUtime=51.04 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 96237 0 0 0 5061 43 0 0 25 0 3 0 989559302 483618816 106042 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 472284

[startup+102.306 s]
/proc/loadavg: 3.95 3.94 3.69 5/182 18414
/proc/meminfo: memFree=23939284/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=605804 CPUtime=204.55 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 142290 0 0 0 20324 131 0 0 18 0 3 0 989559297 620343296 121158 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 151451 121158 180 372 0 151076 0
[pid=18408/tid=18410] ppid=18406 vsize=605804 CPUtime=102.25 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 23184 0 0 0 10155 70 0 0 25 0 3 0 989559302 620343296 121158 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=605804 CPUtime=102.25 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 116558 0 0 0 10164 61 0 0 25 0 3 0 989559302 620343296 121158 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 605804

[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.71 5/182 18416
/proc/meminfo: memFree=23852052/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=672860 CPUtime=324.54 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 160572 0 0 0 32247 207 0 0 18 0 3 0 989559297 689008640 139114 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 168215 139114 180 372 0 167840 0
[pid=18408/tid=18410] ppid=18406 vsize=672860 CPUtime=162.24 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 23276 0 0 0 16099 125 0 0 25 0 3 0 989559302 689008640 139114 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=672860 CPUtime=162.24 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 134748 0 0 0 16143 81 0 0 25 0 3 0 989559302 689008640 139114 33554432000 4194304 5714118 140736226048704 18446744073709551615 4312393 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.54
Current children cumulated vsize (KiB) 672860

[startup+222.301 s]
/proc/loadavg: 3.99 3.95 3.72 5/182 18417
/proc/meminfo: memFree=23783064/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=674672 CPUtime=444.54 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 179897 0 0 0 44176 278 0 0 18 0 3 0 989559297 690864128 147319 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 168668 147319 180 372 0 168293 0
[pid=18408/tid=18410] ppid=18406 vsize=674672 CPUtime=222.24 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 25041 0 0 0 22049 175 0 0 25 0 3 0 989559302 690864128 147319 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=674672 CPUtime=222.24 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 152308 0 0 0 22122 102 0 0 25 0 3 0 989559302 690864128 147319 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.54
Current children cumulated vsize (KiB) 674672

[startup+282.301 s]
/proc/loadavg: 3.99 3.96 3.74 5/182 18419
/proc/meminfo: memFree=23713076/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=675872 CPUtime=564.54 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 190740 0 0 0 56114 340 0 0 18 0 3 0 989559297 692092928 157755 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 168968 157755 180 372 0 168593 0
[pid=18408/tid=18410] ppid=18406 vsize=675872 CPUtime=282.25 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 35216 0 0 0 28002 223 0 0 25 0 3 0 989559302 692092928 157755 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=675872 CPUtime=282.24 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 152976 0 0 0 28107 117 0 0 25 0 3 0 989559302 692092928 157755 33554432000 4194304 5714118 140736226048704 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.54
Current children cumulated vsize (KiB) 675872

[startup+342.3 s]
/proc/loadavg: 4.06 3.98 3.75 5/182 18420
/proc/meminfo: memFree=23543260/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=873644 CPUtime=684.55 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 226351 0 0 0 68053 402 0 0 18 0 3 0 989559297 894611456 192278 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 218411 192278 180 372 0 218036 0
[pid=18408/tid=18410] ppid=18406 vsize=873644 CPUtime=342.25 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 55117 0 0 0 33962 263 0 0 25 0 3 0 989559302 894611456 192278 33554432000 4194304 5714118 140736226048704 18446744073709551615 4324383 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=873644 CPUtime=342.24 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 168686 0 0 0 34086 138 0 0 25 0 3 0 989559302 894611456 192278 33554432000 4194304 5714118 140736226048704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.55
Current children cumulated vsize (KiB) 873644

[startup+402.301 s]
/proc/loadavg: 4.02 3.98 3.77 5/182 18422
/proc/meminfo: memFree=23523616/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=874312 CPUtime=804.56 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 226614 0 0 0 80002 454 0 0 18 0 3 0 989559297 895295488 191640 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 218578 191640 180 372 0 218203 0
[pid=18408/tid=18410] ppid=18406 vsize=874312 CPUtime=402.25 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 55145 0 0 0 39925 300 0 0 25 0 3 0 989559302 895295488 191640 33554432000 4194304 5714118 140736226048704 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=874312 CPUtime=402.25 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 168921 0 0 0 40072 153 0 0 25 0 3 0 989559302 895295488 191640 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.56
Current children cumulated vsize (KiB) 874312

[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.78 5/182 18424
/proc/meminfo: memFree=23486104/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=874596 CPUtime=924.56 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 226746 0 0 0 91954 502 0 0 18 0 3 0 989559297 895586304 191743 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 218649 191743 180 372 0 218274 0
[pid=18408/tid=18410] ppid=18406 vsize=874596 CPUtime=462.25 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 55153 0 0 0 45890 335 0 0 25 0 3 0 989559302 895586304 191743 33554432000 4194304 5714118 140736226048704 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=874596 CPUtime=462.25 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 169045 0 0 0 46058 167 0 0 25 0 3 0 989559302 895586304 191743 33554432000 4194304 5714118 140736226048704 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.56
Current children cumulated vsize (KiB) 874596

[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.79 5/182 18425
/proc/meminfo: memFree=23385860/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=875728 CPUtime=1044.56 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 240866 0 0 0 103898 558 0 0 18 0 3 0 989559297 896745472 201950 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 218932 201950 180 372 0 218557 0
[pid=18408/tid=18410] ppid=18406 vsize=875728 CPUtime=522.26 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 55216 0 0 0 51856 370 0 0 25 0 3 0 989559302 896745472 201950 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=875728 CPUtime=522.25 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 183102 0 0 0 52037 188 0 0 25 0 3 0 989559302 896745472 201950 33554432000 4194304 5714118 140736226048704 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 875728

[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.80 5/182 18427
/proc/meminfo: memFree=23402528/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=876600 CPUtime=1164.58 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 241234 0 0 0 115854 604 0 0 18 0 3 0 989559297 897638400 197545 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 219150 197545 180 372 0 218775 0
[pid=18408/tid=18410] ppid=18406 vsize=876600 CPUtime=582.26 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 55326 0 0 0 57826 400 0 0 25 0 3 0 989559302 897638400 197545 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=876600 CPUtime=582.25 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 183360 0 0 0 58022 203 0 0 25 0 3 0 989559302 897638400 197545 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 876600

[startup+642.301 s]
/proc/loadavg: 4.00 3.98 3.81 5/182 18430
/proc/meminfo: memFree=23385972/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=876908 CPUtime=1284.59 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 252538 0 0 0 127806 653 0 0 18 0 3 0 989559297 897953792 199418 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 219227 199418 180 372 0 218852 0
[pid=18408/tid=18410] ppid=18406 vsize=876908 CPUtime=642.26 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 57101 0 0 0 63793 433 0 0 25 0 3 0 989559302 897953792 199418 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=876908 CPUtime=642.26 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 192889 0 0 0 64007 219 0 0 25 0 3 0 989559302 897953792 199418 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 876908

[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.82 5/182 18433
/proc/meminfo: memFree=23294668/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=942948 CPUtime=1404.58 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 275835 0 0 0 139743 715 0 0 18 0 3 0 989559297 965578752 221800 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 235737 221800 180 372 0 235362 0
[pid=18408/tid=18410] ppid=18406 vsize=942948 CPUtime=702.26 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 75524 0 0 0 69745 481 0 0 25 0 3 0 989559302 965578752 221800 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=942948 CPUtime=702.26 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 197763 0 0 0 69993 233 0 0 25 0 3 0 989559302 965578752 221800 33554432000 4194304 5714118 140736226048704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 942948

[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.83 5/182 18435
/proc/meminfo: memFree=23281476/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=1009156 CPUtime=1524.59 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 283518 0 0 0 151698 761 0 0 18 0 3 0 989559297 1033375744 224777 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 252289 224777 180 372 0 251914 0
[pid=18408/tid=18410] ppid=18406 vsize=1009156 CPUtime=762.27 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 75524 0 0 0 75716 511 0 0 25 0 3 0 989559302 1033375744 224777 33554432000 4194304 5714118 140736226048704 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=1009156 CPUtime=762.27 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 205446 0 0 0 75977 250 0 0 25 0 3 0 989559302 1033375744 224777 33554432000 4194304 5714118 140736226048704 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 1009156

[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.83 5/182 18436
/proc/meminfo: memFree=23248552/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=1010884 CPUtime=1644.58 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 291991 0 0 0 163655 803 0 0 18 0 3 0 989559297 1035145216 233250 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 252721 233250 180 372 0 252346 0
[pid=18408/tid=18410] ppid=18406 vsize=1010884 CPUtime=822.26 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 75524 0 0 0 81689 537 0 0 25 0 3 0 989559302 1035145216 233250 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=1010884 CPUtime=822.26 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 213919 0 0 0 81961 265 0 0 25 0 3 0 989559302 1035145216 233250 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 1010884

[startup+882.301 s]
/proc/loadavg: 4.03 4.00 3.84 5/182 18438
/proc/meminfo: memFree=23251348/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=1011444 CPUtime=1764.59 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 296910 0 0 0 175610 849 0 0 18 0 3 0 989559297 1035718656 231850 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 252861 231850 180 372 0 252486 0
[pid=18408/tid=18410] ppid=18406 vsize=1011444 CPUtime=882.27 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 75528 0 0 0 87659 568 0 0 25 0 3 0 989559302 1035718656 231850 33554432000 4194304 5714118 140736226048704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=1011444 CPUtime=882.27 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 218834 0 0 0 87946 281 0 0 25 0 3 0 989559302 1035718656 231850 33554432000 4194304 5714118 140736226048704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 1011444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18479
/proc/meminfo: memFree=23509812/32950928 swapFree=67054844/67111528
[pid=18408] ppid=18406 vsize=1011752 CPUtime=1800.01 cores=1,3,5,7
/proc/18408/stat : 18408 (pwbo1.1) S 18406 18408 17705 0 -1 4202496 299576 0 0 0 179137 864 0 0 18 0 3 0 989559297 1036034048 234516 33554432000 4194304 5714118 140736226048704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18408/statm: 252938 234516 180 372 0 252563 0
[pid=18408/tid=18410] ppid=18406 vsize=1011752 CPUtime=899.98 cores=1,3,5,7
/proc/18408/task/18410/stat : 18410 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 75528 0 0 0 89421 577 0 0 25 0 3 0 989559302 1036034048 234516 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18408/tid=18411] ppid=18406 vsize=1011752 CPUtime=899.97 cores=1,3,5,7
/proc/18408/task/18411/stat : 18411 (pwbo1.1) R 18406 18408 17705 0 -1 4202560 221500 0 0 0 89711 286 0 0 25 0 3 0 989559302 1036034048 234516 33554432000 4194304 5714118 140736226048704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1011752

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 900.055
CPU time (s): 1800.07
CPU user time (s): 1791.39
CPU system time (s): 8.68168
CPU usage (%): 199.995
Max. virtual memory (cumulated for all children) (KiB): 1011752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.39
system time used= 8.68168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299581
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= 407
involuntary context switches= 4869

runsolver used 1.41978 second user time and 3.17552 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-13 21:28:06
IDJOB=3500312
IDBENCH=2233
IDSOLVER=1954
FILE ID=node114/3500312-1307993286
RUNJOBID= node114-1307991472-17958
PBS_JOBID= 13559747
Free space on /var/tmp= 2880 MiB

SOLVER NAME= pwbo 1.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= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500312-1307993286/watcher-3500312-1307993286 -o /var/tmp/evaluation-result-3500312-1307993286/solver-3500312-1307993286 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500312-1307993286.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1807299447

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24477904 kB
Buffers:         58740 kB
Cached:        7986852 kB
SwapCached:      10332 kB
Active:         221348 kB
Inactive:      7890076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24477904 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:            9332 kB
Writeback:           0 kB
AnonPages:       63088 kB
Mapped:          13496 kB
Slab:           297368 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   253156 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2872 MiB
End job on node114 at 2011-06-13 21:43:08