Trace number 4484208

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 naps-1.03a6OPT939 817.769 820.223

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.83735
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.01	c NaPS 1.03a6.
0.00/0.01	c Input file name: HOME/instance-4484208-1751290986.opb
0.49/0.58	c single stage optimization mode
817.64/820.10	o 27168
817.64/820.10	o 10046
817.64/820.10	o 4805
817.64/820.10	o 2280
817.64/820.10	o 2268
817.64/820.10	o 1584
817.64/820.10	o 1273
817.64/820.10	o 1060
817.64/820.10	o 1055
817.64/820.10	o 962
817.64/820.10	o 950
817.64/820.10	o 943
817.64/820.10	o 942
817.64/820.10	o 939
817.64/820.10	s OPTIMUM FOUND
817.64/820.10	c _____________________________________________________________________________
817.64/820.10	c std/band forms        : 764,0
817.64/820.10	c 2cl/3cl ITE-codings   : 0,0
817.64/820.10	c BDD/srt/adr Max costs : 0,502875,0
817.64/820.10	c BDDraw/bin/mul/srt/adr: 0,0,0,764,0
817.64/820.10	c BDD nodes             : 0
817.64/820.10	c Es1/CC detections     : 0,0
817.64/820.10	c CC sort               : 748
817.64/820.10	c SAT/UNSAT calls       : 14,3
817.64/820.10	c regenrated variables  : 3208
817.64/820.10	c eliminated fixed lits : 18583
817.64/820.10	c goal lit flips        : 0
817.64/820.10	c goal stages           : 1
817.64/820.10	c goal shrink           : 0
817.64/820.10	c goal coeff separations: 0
817.64/820.10	c restarts              : 99642
817.64/820.10	c conflicts             : 1547284        (1894 /sec)
817.64/820.10	c decisions             : 21870850       (26775 /sec)
817.64/820.10	c propagations          : 5047766954     (6179553 /sec)
817.64/820.10	c inspects              : 0              (0 /sec)
817.64/820.10	c CPU time (solving tm) : 816.8 s        (811.9 s, SAT 771.1 s, UNSAT 40.79 s)
817.64/820.10	c Time for Opt-base     : 0.0679 s
817.64/820.10	c Steps for Opt-base    : 289422
817.64/820.10	c Time for BDD coding   : 0 s
817.64/820.10	c Time for srt coding   : 1.464 s
817.64/820.10	c _____________________________________________________________________________
817.64/820.10	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
817.64/820.10	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
817.64/820.10	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
817.64/820.10	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
817.64/820.10	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: 63708 MiB (62697 MiB free)
  memory of node 1: 64465 MiB (62866 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484208-1751290986/watcher-4484208-1751290986 -o /tmp/evaluation-result-4484208-1751290986/solver-4484208-1751290986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40362 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484208-1751290986.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=40526, runsolver pid=40523

[startup+0.100057 s]*
/proc/loadavg: 1.25 1.27 2.31 5/270 40530
/proc/meminfo: memFree=128577628/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=12444 memory=9876 CPUtime=0.09 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 2078 0 0 0 9 0 0 0 20 0 1 0 44777116 12742656 2469 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 3111 2469 544 696 0 2272 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16636 KiB
Current children cumulated memory: 12948 KiB

[startup+0.205609 s]*
/proc/loadavg: 1.25 1.27 2.31 5/270 40530
/proc/meminfo: memFree=128577628/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=42788 memory=38740 CPUtime=0.18 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 7451 0 0 0 18 0 0 0 20 0 1 0 44777116 43814912 9685 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 10697 9685 576 696 0 9858 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 46980 KiB
Current children cumulated memory: 41812 KiB

[startup+0.305695 s]*
/proc/loadavg: 1.25 1.27 2.31 5/270 40530
/proc/meminfo: memFree=128545816/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=72576 memory=69636 CPUtime=0.29 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 15123 0 0 0 28 1 0 0 20 0 1 0 44777116 74317824 17409 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 18144 17409 576 696 0 17305 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76768 KiB
Current children cumulated memory: 72708 KiB

[startup+0.700223 s]
/proc/loadavg: 1.25 1.27 2.31 5/270 40530
/proc/meminfo: memFree=128452628/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=198784 memory=191936 CPUtime=0.68 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 32401 0 0 0 63 5 0 0 20 0 1 0 44777116 203554816 47984 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 49696 47984 608 696 0 48857 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 202976 KiB
Current children cumulated memory: 195008 KiB

[startup+1.50022 s]
/proc/loadavg: 1.25 1.27 2.31 5/270 40530
/proc/meminfo: memFree=128446044/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=216408 memory=205700 CPUtime=1.48 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 33279 0 0 0 142 6 0 0 20 0 1 0 44777116 221601792 51425 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 54102 51425 608 696 0 53263 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 220600 KiB
Current children cumulated memory: 208772 KiB

[startup+3.10552 s]
/proc/loadavg: 1.25 1.27 2.31 5/270 40530
/proc/meminfo: memFree=128261980/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=216408 memory=205700 CPUtime=3.08 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 33298 0 0 0 302 6 0 0 20 0 1 0 44777116 221601792 51425 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 54102 51425 608 696 0 53263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220600 KiB
Current children cumulated memory: 208772 KiB

[startup+6.3002 s]
/proc/loadavg: 1.47 1.32 2.32 5/270 40530
/proc/meminfo: memFree=128195240/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=279808 memory=271860 CPUtime=6.26 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 39564 0 0 0 618 8 0 0 20 0 1 0 44777116 286523392 67965 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 69952 67965 640 696 0 69113 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 284000 KiB
Current children cumulated memory: 274932 KiB

[startup+12.7002 s]
/proc/loadavg: 1.67 1.37 2.33 5/270 40530
/proc/meminfo: memFree=128110780/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=334740 memory=326688 CPUtime=12.64 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 45250 0 0 0 1253 11 0 0 20 0 1 0 44777116 342773760 81672 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 83685 81672 640 696 0 82846 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 338932 KiB
Current children cumulated memory: 329760 KiB

[startup+25.5002 s]
/proc/loadavg: 2.35 1.53 2.37 5/270 40530
/proc/meminfo: memFree=127803220/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=549068 memory=536360 CPUtime=25.41 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 72364 0 0 0 2522 19 0 0 20 0 1 0 44777116 562245632 134090 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 137267 134090 640 696 0 136428 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 553260 KiB
Current children cumulated memory: 539432 KiB

[startup+51.1056 s]
/proc/loadavg: 2.91 1.73 2.41 5/270 40531
/proc/meminfo: memFree=127903892/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=519940 memory=497924 CPUtime=50.93 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 74426 0 0 0 5073 20 0 0 20 0 1 0 44777116 532418560 124481 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 129985 124481 640 696 0 129146 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 524132 KiB
Current children cumulated memory: 500996 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.10 2.50 5/270 40533
/proc/meminfo: memFree=127864224/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=492516 memory=485820 CPUtime=101.97 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 77573 0 0 0 10173 24 0 0 20 0 1 0 44777116 504336384 121455 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 123129 121455 640 696 0 122290 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 496708 KiB
Current children cumulated memory: 488892 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.46 2.60 5/270 40535
/proc/meminfo: memFree=127797932/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=549988 memory=545548 CPUtime=161.79 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 81078 0 0 0 16150 29 0 0 20 0 1 0 44777116 563187712 136387 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 137497 136387 640 696 0 136658 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 554180 KiB
Current children cumulated memory: 548620 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.76 2.70 5/267 40537
/proc/meminfo: memFree=127760004/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=556212 memory=549464 CPUtime=221.62 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 85773 0 0 0 22127 35 0 0 20 0 1 0 44777116 569561088 137366 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 139053 137366 640 696 0 138214 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 560404 KiB

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

/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 101283 0 0 0 63970 67 0 0 20 0 1 0 44777116 732446720 155429 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 178820 155429 640 696 0 177981 0
Current children cumulated CPU time: 640.37 s
Current children cumulated vsize: 719472 KiB
Current children cumulated memory: 624788 KiB

[startup+702.3 s]
/proc/loadavg: 4.09 3.85 3.29 5/266 40609
/proc/meminfo: memFree=127694708/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=727256 memory=641856 CPUtime=700.18 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 104447 0 0 0 69946 72 0 0 20 0 1 0 44777116 744710144 160464 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 181814 160464 640 696 0 180975 0
Current children cumulated CPU time: 700.18 s
Current children cumulated vsize: 731448 KiB
Current children cumulated memory: 644928 KiB

[startup+762.3 s]
/proc/loadavg: 4.07 3.89 3.34 5/266 40610
/proc/meminfo: memFree=127654800/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=809148 memory=717284 CPUtime=760.01 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107650 0 0 0 75921 80 0 0 20 0 1 0 44777116 828567552 179321 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 202287 179321 640 696 0 201448 0
Current children cumulated CPU time: 760.01 s
Current children cumulated vsize: 813340 KiB
Current children cumulated memory: 720356 KiB

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

# cumulated CPU time of all completed processes:  user=816.951 s, system=0.817616 s

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

[startup+768 s]*
/proc/loadavg: 4.06 3.89 3.34 5/266 40611
/proc/meminfo: memFree=127654824/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=809148 memory=717284 CPUtime=765.7 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107650 0 0 0 76490 80 0 0 20 0 1 0 44777116 828567552 179321 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 202287 179321 640 696 0 201448 0
Current children cumulated CPU time: 765.7 s
Current children cumulated vsize: 813340 KiB
Current children cumulated memory: 720356 KiB

[startup+793.6 s]
/proc/loadavg: 4.04 3.90 3.36 5/266 40611
/proc/meminfo: memFree=127640360/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=809148 memory=719396 CPUtime=791.22 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107694 0 0 0 79042 80 0 0 20 0 1 0 44777116 828567552 179849 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 202287 179849 640 696 0 201448 0
Current children cumulated CPU time: 791.22 s
Current children cumulated vsize: 813340 KiB
Current children cumulated memory: 722468 KiB

[startup+806.4 s]
/proc/loadavg: 4.10 3.92 3.38 5/266 40611
/proc/meminfo: memFree=127631940/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=809148 memory=721444 CPUtime=803.98 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107695 0 0 0 80318 80 0 0 20 0 1 0 44777116 828567552 180361 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 202287 180361 640 696 0 201448 0
Current children cumulated CPU time: 803.98 s
Current children cumulated vsize: 813340 KiB
Current children cumulated memory: 724516 KiB

[startup+812.8 s]
/proc/loadavg: 4.09 3.93 3.38 5/266 40611
/proc/meminfo: memFree=127701376/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=722084 memory=634508 CPUtime=810.36 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107704 0 0 0 80956 80 0 0 20 0 1 0 44777116 739414016 158627 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 180521 158627 640 696 0 179682 0
Current children cumulated CPU time: 810.36 s
Current children cumulated vsize: 726276 KiB
Current children cumulated memory: 637580 KiB

[startup+816 s]*
/proc/loadavg: 4.08 3.93 3.38 5/266 40611
/proc/meminfo: memFree=127701384/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=722084 memory=634508 CPUtime=813.55 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107704 0 0 0 81275 80 0 0 20 0 1 0 44777116 739414016 158627 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 180521 158627 640 696 0 179682 0
Current children cumulated CPU time: 813.55 s
Current children cumulated vsize: 726276 KiB
Current children cumulated memory: 637580 KiB

[startup+817.6 s]
/proc/loadavg: 4.08 3.93 3.38 5/266 40611
/proc/meminfo: memFree=127701384/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=722084 memory=634508 CPUtime=815.14 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107704 0 0 0 81434 80 0 0 20 0 1 0 44777116 739414016 158627 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 180521 158627 640 696 0 179682 0
Current children cumulated CPU time: 815.14 s
Current children cumulated vsize: 726276 KiB
Current children cumulated memory: 637580 KiB

[startup+819.2 s]
/proc/loadavg: 4.08 3.93 3.39 5/266 40612
/proc/meminfo: memFree=127701800/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=722084 memory=634508 CPUtime=816.74 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107704 0 0 0 81594 80 0 0 20 0 1 0 44777116 739414016 158627 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 180521 158627 640 696 0 179682 0
Current children cumulated CPU time: 816.74 s
Current children cumulated vsize: 726276 KiB
Current children cumulated memory: 637580 KiB

[startup+820 s]*
/proc/loadavg: 4.08 3.93 3.39 5/266 40612
/proc/meminfo: memFree=127701800/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=722084 memory=634508 CPUtime=817.54 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107704 0 0 0 81674 80 0 0 20 0 1 0 44777116 739414016 158627 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 180521 158627 640 696 0 179682 0
Current children cumulated CPU time: 817.54 s
Current children cumulated vsize: 726276 KiB
Current children cumulated memory: 637580 KiB

[startup+820.2 s]
/proc/loadavg: 4.08 3.93 3.39 5/266 40612
/proc/meminfo: memFree=127701800/131249988 swapFree=33010684/33010684
[pid=40526] ppid=40523 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/40526/stat : 40526 (naps-1.03a6.sh) S 40523 40526 40352 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 44777115 4292608 768 18446744073709551615 94918486777856 94918487672389 140735426786176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94918487911440 94918487959184 94918500683776 140735426791847 140735426791941 140735426791941 140735426797543 0
/proc/40526/statm: 1048 768 704 219 0 110 0
[pid=40530] ppid=40526 vsize=722084 memory=634508 CPUtime=817.74 cores=0,2
/proc/40530/stat : 40530 (naps-1.03a6) R 40526 40526 40352 0 -1 4194304 107709 0 0 0 81694 80 0 0 20 0 1 0 44777116 739414016 158627 18446744073709551615 4198400 7047149 140732998385248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25325568 140732998392180 140732998392294 140732998392294 140732998397897 0
/proc/40530/statm: 180521 158627 640 696 0 179682 0
Current children cumulated CPU time: 817.74 s
Current children cumulated vsize: 726276 KiB
Current children cumulated memory: 637580 KiB

Child status: 30

Real time (s): 820.223
CPU time (s): 817.769
CPU user time (s): 816.951
CPU system time (s): 0.817616
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 837928
Max. memory (cumulated for all children) (KiB): 724516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 816.951
system time used= 0.817616
maximum resident set size= 786972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108155
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= 132
involuntary context switches= 1794


# summary of solver processes directly reported to runsolver:
#   pid: 40526
#   total CPU time (s): 817.769
#   total CPU user time (s): 816.951
#   total CPU system time (s): 0.817616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58275 second user time and 3.90285 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-30 15:43:06
IDJOB=4484208
IDBENCH=146652
IDSOLVER=3341
FILE ID=nodeC031/4484208-1751290986
RUNJOBID= nodeC031-1751290974-40362
SLURM_JOB_ID= 9594249
Free space on /tmp= 433040 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484208-1751290986/watcher-4484208-1751290986 -o /tmp/evaluation-result-4484208-1751290986/solver-4484208-1751290986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40362 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4484208-1751290986.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1144402910

nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3598.911
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.887
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.899
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3601.234
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.945
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.813
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.334
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128577628 kB
MemAvailable:   128587108 kB
Buffers:            3280 kB
Cached:           816888 kB
SwapCached:            0 kB
Active:          1461732 kB
Inactive:         551000 kB
Active(anon):    1210628 kB
Inactive(anon):        0 kB
Active(file):     251104 kB
Inactive(file):   551000 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6044 kB
Writeback:             0 kB
AnonPages:       1195748 kB
Mapped:           110936 kB
Shmem:             18064 kB
KReclaimable:      93228 kB
Slab:             179776 kB
SReclaimable:      93228 kB
SUnreclaim:        86548 kB
KernelStack:        4368 kB
PageTables:         5392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1568312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    622592 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC031 at 2025-06-30 15:56:46