Trace number 4435123

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
NaPS-PB16 1.02b5OPT939 304.84 305.858

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
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 benchmark4.63488
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4435123-1721055579.opb
304.67/305.71	o 17234
304.67/305.71	o 6908
304.67/305.71	o 3080
304.67/305.71	o 971
304.67/305.71	o 967
304.67/305.71	o 964
304.67/305.71	o 955
304.67/305.71	o 952
304.67/305.71	o 949
304.67/305.71	o 942
304.67/305.71	o 941
304.67/305.71	o 940
304.67/305.71	o 939
304.67/305.71	s OPTIMUM FOUND
304.67/305.71	c _____________________________________________________________________________
304.67/305.71	c 
304.67/305.71	c std/band forms        : 767,0
304.67/305.71	c 2cl/3cl ITE-codings   : 432846,0
304.67/305.71	c BDD/srt/adr Max costs : 11855,506024,0
304.67/305.71	c BDDraw/bin/mul/srt/adr: 748,0,0,19,0
304.67/305.71	c BDD nodes             : 458058
304.67/305.71	c Es1/CC detections     : 0,0
304.67/305.71	c SAT/UNSAT calls       : 13,7
304.67/305.71	c regenrated variables  : 665004
304.67/305.71	c restarts              : 49298
304.67/305.71	c conflicts             : 4934338        (16225 /sec)
304.67/305.71	c decisions             : 112604036      (370272 /sec)
304.67/305.71	c propagations          : 18200789660    (59849041 /sec)
304.67/305.71	c inspects              : 0              (0 /sec)
304.67/305.71	c CPU time (solving tm) : 304.1 s        (298.1 s)
304.67/305.71	c Time for Opt-base     : 0.1779 s
304.67/305.71	c _____________________________________________________________________________
304.67/305.71	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
304.67/305.71	v -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
304.67/305.71	v -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
304.67/305.71	v -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
304.67/305.71	v -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

Verifier Data 

OK	939

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59034 MiB free)
  memory of node 1: 64510 MiB (62411 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435123-1721055579/watcher-4435123-1721055579 -o /tmp/evaluation-result-4435123-1721055579/solver-4435123-1721055579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721055591-805605 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435123-1721055579.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=805730, runsolver pid=805727

[startup+0.10006 s]*
/proc/loadavg: 2.81 3.04 3.33 5/264 805735
/proc/meminfo: memFree=124327620/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=14532 memory=9024 CPUtime=0.09 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 1952 0 0 0 9 0 0 0 20 0 1 0 157718144 14880768 2256 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 3633 2256 405 379 0 3167 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24464 KiB
Current children cumulated memory: 11732 KiB

[startup+0.20556 s]*
/proc/loadavg: 2.81 3.04 3.33 5/264 805735
/proc/meminfo: memFree=124311708/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=22312 memory=17260 CPUtime=0.19 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 4101 0 0 0 19 0 0 0 20 0 1 0 157718144 22847488 4315 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 5578 4315 421 379 0 5112 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32244 KiB
Current children cumulated memory: 19968 KiB

[startup+0.305557 s]*
/proc/loadavg: 2.81 3.04 3.33 5/264 805735
/proc/meminfo: memFree=124276084/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=24032 memory=18860 CPUtime=0.29 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 4683 0 0 0 29 0 0 0 20 0 1 0 157718144 24608768 4715 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 6008 4715 421 379 0 5542 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33964 KiB
Current children cumulated memory: 21568 KiB

[startup+0.700256 s]
/proc/loadavg: 2.81 3.04 3.33 5/264 805735
/proc/meminfo: memFree=124206264/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=27968 memory=22868 CPUtime=0.68 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 6036 0 0 0 68 0 0 0 20 0 1 0 157718144 28639232 5717 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 6992 5717 421 379 0 6526 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 25576 KiB

[startup+1.50024 s]
/proc/loadavg: 2.81 3.04 3.33 5/264 805735
/proc/meminfo: memFree=124185012/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=34872 memory=28996 CPUtime=1.48 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 7724 0 0 0 147 1 0 0 20 0 1 0 157718144 35708928 7249 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 8718 7249 421 379 0 8252 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44804 KiB
Current children cumulated memory: 31704 KiB

[startup+3.10566 s]
/proc/loadavg: 2.81 3.04 3.33 5/264 805737
/proc/meminfo: memFree=123849308/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=202960 memory=188068 CPUtime=3.08 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 37916 0 0 0 302 6 0 0 20 0 1 0 157718144 207831040 47017 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 50740 47017 421 379 0 50274 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 212892 KiB
Current children cumulated memory: 190776 KiB

[startup+6.30022 s]
/proc/loadavg: 2.90 3.06 3.33 5/264 805787
/proc/meminfo: memFree=123620520/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=492664 memory=424364 CPUtime=6.26 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 70235 0 0 0 612 14 0 0 20 0 1 0 157718144 504487936 106091 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 123166 106091 421 379 0 122700 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 502596 KiB
Current children cumulated memory: 427072 KiB

[startup+12.7003 s]
/proc/loadavg: 2.99 3.07 3.34 5/266 805792
/proc/meminfo: memFree=123456968/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=492664 memory=426412 CPUtime=12.64 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 70265 0 0 0 1250 14 0 0 20 0 1 0 157718144 504487936 106603 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 123166 106603 421 379 0 122700 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 502596 KiB
Current children cumulated memory: 429120 KiB

[startup+25.5002 s]
/proc/loadavg: 3.22 3.12 3.35 5/265 805794
/proc/meminfo: memFree=123324200/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=511912 memory=470212 CPUtime=25.4 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 76393 0 0 0 2524 16 0 0 20 0 1 0 157718144 524197888 117553 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 127978 117553 421 379 0 127512 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 521844 KiB
Current children cumulated memory: 472920 KiB

[startup+51.1057 s]
/proc/loadavg: 3.56 3.21 3.37 5/265 805797
/proc/meminfo: memFree=122962744/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=855864 memory=791360 CPUtime=50.92 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 108660 0 0 0 5063 29 0 0 20 0 1 0 157718144 876404736 197840 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 213966 197840 421 379 0 213500 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 865796 KiB
Current children cumulated memory: 794068 KiB

[startup+102.3 s]
/proc/loadavg: 3.88 3.35 3.41 5/265 805819
/proc/meminfo: memFree=122741032/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=975464 memory=926632 CPUtime=101.94 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 124472 0 0 0 10159 35 0 0 20 0 1 0 157718144 998875136 231658 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 243866 231658 421 379 0 243400 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 985396 KiB
Current children cumulated memory: 929340 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.49 3.46 5/263 805829
/proc/meminfo: memFree=122586916/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1248040 memory=1108716 CPUtime=161.75 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 141298 0 0 0 16130 45 0 0 20 0 1 0 157718144 1277992960 277179 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 312010 277179 421 379 0 311544 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1257972 KiB
Current children cumulated memory: 1111424 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.60 3.50 5/262 805840
/proc/meminfo: memFree=122542492/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1237108 memory=1108688 CPUtime=221.55 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 146365 0 0 0 22106 49 0 0 20 0 1 0 157718144 1266798592 277172 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 309277 277172 421 379 0 308811 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1247040 KiB
Current children cumulated memory: 1111396 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.69 3.54 5/262 805852
/proc/meminfo: memFree=122361236/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1403228 memory=1263756 CPUtime=281.35 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 161269 0 0 0 28079 56 0 0 20 0 1 0 157718144 1436905472 315939 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 350807 315939 421 379 0 350341 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1413160 KiB
Current children cumulated memory: 1266464 KiB

[startup+305.858 s]
# the end of solver process 805730 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=304.222 s, system=0.618197 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+294.4 s]
/proc/loadavg: 4.07 3.70 3.54 5/262 805854
/proc/meminfo: memFree=122376780/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1403228 memory=1257624 CPUtime=293.41 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 162150 0 0 0 29284 57 0 0 20 0 1 0 157718144 1436905472 314406 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 350807 314406 421 379 0 350341 0
Current children cumulated CPU time: 293.41 s
Current children cumulated vsize: 1413160 KiB
Current children cumulated memory: 1260332 KiB

[startup+300.8 s]
/proc/loadavg: 4.06 3.71 3.55 6/258 805868
/proc/meminfo: memFree=122451364/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1403228 memory=1259672 CPUtime=299.78 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 162172 0 0 0 29921 57 0 0 20 0 1 0 157718144 1436905472 314918 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 350807 314918 421 379 0 350341 0
Current children cumulated CPU time: 299.78 s
Current children cumulated vsize: 1413160 KiB
Current children cumulated memory: 1262380 KiB

[startup+304 s]*
/proc/loadavg: 4.06 3.71 3.55 5/262 805905
/proc/meminfo: memFree=122123964/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1403228 memory=1261720 CPUtime=302.98 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 162173 0 0 0 30241 57 0 0 20 0 1 0 157718144 1436905472 315430 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 350807 315430 421 379 0 350341 0
Current children cumulated CPU time: 302.98 s
Current children cumulated vsize: 1413160 KiB
Current children cumulated memory: 1264428 KiB

[startup+304.8 s]
/proc/loadavg: 4.06 3.71 3.55 5/262 805905
/proc/meminfo: memFree=122123964/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1403228 memory=1261720 CPUtime=303.77 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 162173 0 0 0 30320 57 0 0 20 0 1 0 157718144 1436905472 315430 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 350807 315430 421 379 0 350341 0
Current children cumulated CPU time: 303.77 s
Current children cumulated vsize: 1413160 KiB
Current children cumulated memory: 1264428 KiB

[startup+305.6 s]
/proc/loadavg: 4.13 3.73 3.56 5/262 805905
/proc/meminfo: memFree=122120924/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1433580 memory=1271136 CPUtime=304.57 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 162480 0 0 0 30400 57 0 0 20 0 1 0 157718144 1467985920 317784 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 358395 317784 421 379 0 357929 0
Current children cumulated CPU time: 304.57 s
Current children cumulated vsize: 1443512 KiB
Current children cumulated memory: 1273844 KiB

[startup+305.8 s]
/proc/loadavg: 4.13 3.73 3.56 5/262 805905
/proc/meminfo: memFree=122120924/131524600 swapFree=131071996/131071996
[pid=805730] ppid=805727 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/805730/stat : 805730 (naps-1.02b5.sh) S 805727 805730 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718144 10170368 677 134679101440 94852937371648 94852938450968 140720509723280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94852940549424 94852940596612 94852968767488 140720509727712 140720509727839 140720509727839 140720509734854 0
/proc/805730/statm: 2483 677 599 264 0 134 0
[pid=805735] ppid=805730 vsize=1384260 memory=1253528 CPUtime=304.77 cores=0,2
/proc/805735/stat : 805735 (naps-1.02b5) R 805730 805730 801007 0 -1 4194304 162527 0 0 0 30419 58 0 0 20 0 1 0 157718144 1417482240 313382 134679101440 4194304 5746509 140733362651232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14901248 140733362660335 140733362660449 140733362660449 140733362667465 0
/proc/805735/statm: 346065 313382 421 379 0 345599 0
Current children cumulated CPU time: 304.77 s
Current children cumulated vsize: 1394192 KiB
Current children cumulated memory: 1256236 KiB

Child status: 30

Real time (s): 305.858
CPU time (s): 304.84
CPU user time (s): 304.222
CPU system time (s): 0.618197
CPU usage (%): 99.6671
Max. virtual memory (cumulated for all children) (KiB): 1443512
Max. memory (cumulated for all children) (KiB): 1294324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.222
system time used= 0.618197
maximum resident set size= 1293392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163015
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= 12
involuntary context switches= 2141


# summary of solver processes directly reported to runsolver:
#   pid: 805730
#   total CPU time (s): 304.84
#   total CPU user time (s): 304.222
#   total CPU system time (s): 0.618197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.639926 second user time and 1.51988 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-15 16:59:51
IDJOB=4435123
IDBENCH=146652
IDSOLVER=3065
FILE ID=nodeC015/4435123-1721055579
RUNJOBID= nodeC015-1721055591-805605
SLURM_JOB_ID= 7505459
Free space on /tmp= 890072 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435123-1721055579/watcher-4435123-1721055579 -o /tmp/evaluation-result-4435123-1721055579/solver-4435123-1721055579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721055591-805605 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4435123-1721055579.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1725910745

nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.226
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.515
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.591
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.092
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.853
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.539
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.119
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.168
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124372104 kB
MemAvailable:   129635764 kB
Buffers:          354072 kB
Cached:          5738888 kB
SwapCached:            0 kB
Active:          1171736 kB
Inactive:        5371008 kB
Active(anon):       1532 kB
Inactive(anon):   486292 kB
Active(file):    1170204 kB
Inactive(file):  4884716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:        448764 kB
Mapped:           108500 kB
Shmem:             37720 kB
KReclaimable:      96772 kB
Slab:             202944 kB
SReclaimable:      96772 kB
SUnreclaim:       106172 kB
KernelStack:        4244 kB
PageTables:         9748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     768624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61504 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC015 at 2024-07-15 17:04:57