Trace number 4434317

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 1.03OPT939 1357.33 1360.93

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4434317-1721055611.opb
0.59/0.60	c single stage optimization mode
9.06/9.14	o 27168
55.03/55.29	o 9725
81.86/82.11	o 3989
92.62/92.91	o 1794
148.96/149.44	o 1671
213.58/214.23	o 1181
260.65/261.43	o 1165
305.43/306.33	o 1068
331.75/332.73	o 989
416.92/418.15	o 958
698.14/700.16	o 939
1357.19/1360.83	s OPTIMUM FOUND
1357.19/1360.83	c _____________________________________________________________________________
1357.19/1360.83	c std/band forms        : 762,0
1357.19/1360.83	c 2cl/3cl ITE-codings   : 0,0
1357.19/1360.83	c BDD/srt/adr Max costs : 0,502875,0
1357.19/1360.83	c BDDraw/bin/mul/srt/adr: 0,0,0,762,0
1357.19/1360.83	c BDD nodes             : 0
1357.19/1360.83	c Es1/CC detections     : 0,0
1357.19/1360.83	c CC sort               : 748
1357.19/1360.83	c SAT/UNSAT calls       : 11,4
1357.19/1360.83	c regenrated variables  : 74
1357.19/1360.83	c eliminated fixed lits : 14764
1357.19/1360.83	c goal lit flips        : 0
1357.19/1360.83	c goal stages           : 1
1357.19/1360.83	c goal shrink           : 0
1357.19/1360.83	c goal coeff separations: 0
1357.19/1360.83	c restarts              : 292399
1357.19/1360.83	c conflicts             : 5450721        (4019 /sec)
1357.19/1360.83	c decisions             : 29358775       (21648 /sec)
1357.19/1360.83	c propagations          : 7193733447     (5304340 /sec)
1357.19/1360.83	c inspects              : 0              (0 /sec)
1357.19/1360.83	c CPU time (solving tm) : 1356 s        (1350 s, SAT 692.1 s, UNSAT 657.7 s)
1357.19/1360.83	c Time for Opt-base     : 0.06761 s
1357.19/1360.83	c Steps for Opt-base    : 289422
1357.19/1360.83	c Time for BDD coding   : 0 s
1357.19/1360.83	c Time for srt coding   : 1.145 s
1357.19/1360.83	c _____________________________________________________________________________
1357.19/1360.83	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
1357.19/1360.83	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
1357.19/1360.83	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
1357.19/1360.83	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
1357.19/1360.83	v -x6125 -x6134 -x6135 -x6136 -x6153 -x6158 -x6168 -x6170 -x6184 -x6187 -x6188 -x6195 -x6197 -x6199 -x6210 -x6212 -x6214 -x6223 -x6237 -x6244 -x6256 -x6257 -x6272 -x6273 -x6276 -x6278 -x6290 -x6295 -x6297 -x6304 -x6307 x6321 -x6323 -x6325 -x6335 -x6337 -x6340 -x6342 -x6345 -x6348 x6363 -x6369 -x6379 -x6389 -x6390 -x6397 x6399 -x6407 -x6410 -x6416 -x6417 -x6422 -x6424 -x6426 -x6430 -x6432 -x6434 -x6443 -x6444 -x6446 -x6460 -x6463 -x6476 -x6485 x6486 x6487 -x6504 -x6509 -x6519 -x6520 -x6521 -x6524 x6535 -x6538 -x6539 -x6541 -x6546 -x6548 x6550 -x6561 -x6563 x6565 -x6574 -x6588 -x6595 -x6605 x6607 -x6608 -x6623 -x6624 -x6627 -x6629 -x6636 -x6641 -x6646 -x6648 -x6656 x6657 -x6672 -x6685 -x6686 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6714 -x6725 -x6742 -x6747 -x6748 -x6750 -x6754 -x6757 -x6758 x6761 -x6768 x6773 -x6781 -x6782 -x6795 -x6800 -x6805 x6814 -x6820 -x6827 -x6829 -x6833 x6836 -x6837 -x6838 -x6843 -x6846 -x6860 -x6863 -x6865 -x6871 -x6875 -x6886 -x6888 x6889 -x6892 -x6897 -x6908 -x6912 -x6914 -x6916 -x6924 -x6929 -x6933 -x6941 -x6942 -x6943 -x6956 -x6959 -x6969 -x6974 -x6984 -x6989 -x6992 -x7007 -x7008 -x7023 -x7036 -x7037 x7039 -x7040 -x7041 -x7042 -x7044 -x7045 -x7046 -x7047 -x7065 -x7076 -x7093 -x7098 -x7099 -x7101 -x7105 -x7108 -x7109 -x7112 -x7119 -x7124 -x7132 -x7133 -x7146 -x7151 -x7156 -x7165 -x7171 -x7178 -x7180 -x7184 -x7187 -x7188 -x7189 -x7194 -x7197 -x7211 -x7213 -x7214 -x7216 -x7222 -x7226 -x7237 x7239 -x7240 -x7243 -x7248 -x7259 -x7263 -x7265 -x7267 -x7275 -x7280 -x7284 x7292 -x7293 -x7294 -x7307 x7310 -x7320 -x7325 -x7335 -x7340 -x7343 x7358 -x7359 -x7374 -x7387 -x7388 -x7390 -x7391 -x7392 -x7393 -x7395 -x7396 -x7397 -x7398 -x7416 -x7427 x7444 -x7449 -x7450 -x7452 -x7456 -x7459 -x7460 -x7463 -x7470 -x7475 -x7483 -x7497 -x7502 -x7507 -x7516 -x7522 -x7529 -x7531 -x7535 -x7538 -x7539 -x7540 -x7545 -x7548 -x7562 -x7564 -x7565 -x7567 -x7573 -x7577 -x7588 -x7590 -x7591 -x7594 -x7599 -x7610 -x7614 -x7616 -x7618 -x7626 -x7631 -x7635 -x7643 -x7644 -x7645 -x7658 -x7661 -x7671 -x7676 -x7686 -x7691 -x7694 -x7709 -x7710 -x7725 -x7739 -x7741 -x7742 -x7743 -x7744 -x7746 -x7747 -x7748 -x7749 -x7767 -x7778 -x7795 -x7800 -x7801 -x7803 -x7807 -x7810 -x7811 -x7814 -x7821 -x7826 x7834 -x7835 -x7848 -x7853 -x7858 -x7867 -x7873 -x7880 -x7882 -x7886 -x7889 -x7890 -x7891 -x7899 -x7913 -x7915 -x7916 -x7918 -x7924 -x7928 -x7939 -x7941 -x7942 -x7945 -x7950 -x7961 -x7965 -x7967 -x7969 -x7977 -x7982 -x7986 -x7994 -x7995 -x7996 -x8009 -x8012 -x8022 -x8027 -x8037 -x8042 -x8045 -x8057 -x8059 -x8060 -x8062 -x8071 -x8079 -x8084 -x8085 -x8090 -x8100 -x8145 -x8148 -x8153 -x8154 -x8160 -x8161 -x8164 -x8187 -x8198 -x8199 -x8209 -x8231 -x8234 -x8237 -x8242 -x8250 -x8252 -x8254 -x8266 -x8270 -x8274 -x8293 -x8323 -x8329 -x8333 -x8339 -x8343 -x8363 -x8368 -x8378 -x8389 -x8391

Verifier Data 

OK	939

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434317-1721055611/watcher-4434317-1721055611 -o /tmp/evaluation-result-4434317-1721055611/solver-4434317-1721055611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721055623-812691 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434317-1721055611.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100456 s]*
/proc/loadavg: 1.82 2.04 2.31 5/263 812818
/proc/meminfo: memFree=127135164/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=12576 memory=10196 CPUtime=0.09 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 2150 0 0 0 9 0 0 0 20 0 1 0 157720205 12877824 2549 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 3144 2549 596 659 0 2348 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22508 KiB
Current children cumulated memory: 12984 KiB

[startup+0.205953 s]*
/proc/loadavg: 1.82 2.04 2.31 5/263 812818
/proc/meminfo: memFree=127101656/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=42904 memory=38968 CPUtime=0.19 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 7510 0 0 0 18 1 0 0 20 0 1 0 157720205 43933696 9742 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 10726 9742 612 659 0 9930 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52836 KiB
Current children cumulated memory: 41756 KiB

[startup+0.305976 s]*
/proc/loadavg: 1.82 2.04 2.31 5/263 812818
/proc/meminfo: memFree=127072600/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=70572 memory=68076 CPUtime=0.29 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 15265 0 0 0 27 2 0 0 20 0 1 0 157720205 72265728 17019 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 17643 17019 612 659 0 16847 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80504 KiB
Current children cumulated memory: 70864 KiB

[startup+0.70027 s]
/proc/loadavg: 1.82 2.04 2.31 5/263 812818
/proc/meminfo: memFree=126956580/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=203380 memory=196804 CPUtime=0.68 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 35758 0 0 0 62 6 0 0 20 0 1 0 157720205 208261120 49201 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 50845 49201 612 659 0 50049 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 213312 KiB
Current children cumulated memory: 199592 KiB

[startup+1.50027 s]
/proc/loadavg: 1.82 2.04 2.31 5/263 812818
/proc/meminfo: memFree=126913468/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=221400 memory=210652 CPUtime=1.47 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 37153 0 0 0 141 6 0 0 20 0 1 0 157720205 226713600 52663 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 55350 52663 644 659 0 54554 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 231332 KiB
Current children cumulated memory: 213440 KiB

[startup+3.10584 s]
/proc/loadavg: 1.82 2.04 2.31 5/263 812820
/proc/meminfo: memFree=126875752/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=221400 memory=210904 CPUtime=3.08 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 37167 0 0 0 301 7 0 0 20 0 1 0 157720205 226713600 52726 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 55350 52726 644 659 0 54554 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 231332 KiB
Current children cumulated memory: 213692 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.07 2.32 5/263 812820
/proc/meminfo: memFree=126680284/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=295976 memory=289140 CPUtime=6.26 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 43744 0 0 0 616 10 0 0 20 0 1 0 157720205 303079424 72285 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 73994 72285 660 659 0 73198 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 305908 KiB
Current children cumulated memory: 291928 KiB

[startup+12.7003 s]
/proc/loadavg: 2.24 2.12 2.33 5/265 812875
/proc/meminfo: memFree=126614656/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=373372 memory=357924 CPUtime=12.65 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 50280 0 0 0 1251 14 0 0 20 0 1 0 157720205 382332928 89481 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 93343 89481 660 659 0 92547 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 383304 KiB
Current children cumulated memory: 360712 KiB

[startup+25.5003 s]
/proc/loadavg: 2.63 2.21 2.36 5/265 812878
/proc/meminfo: memFree=126400724/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=545020 memory=532572 CPUtime=25.41 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 70771 0 0 0 2520 21 0 0 20 0 1 0 157720205 558100480 133143 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 136255 133143 660 659 0 135459 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 554952 KiB
Current children cumulated memory: 535360 KiB

[startup+51.1059 s]
/proc/loadavg: 3.10 2.35 2.41 5/264 812892
/proc/meminfo: memFree=126412804/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=528840 memory=510232 CPUtime=50.94 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 75330 0 0 0 5070 24 0 0 20 0 1 0 157720205 541532160 127558 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 132210 127558 660 659 0 131414 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 538772 KiB
Current children cumulated memory: 513020 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 2.64 2.50 5/264 812902
/proc/meminfo: memFree=126295120/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=564796 memory=563296 CPUtime=102 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 79885 0 0 0 10169 31 0 0 20 0 1 0 157720205 578351104 140824 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 141199 140824 660 659 0 140403 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 574728 KiB
Current children cumulated memory: 566084 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.91 2.60 5/264 812912
/proc/meminfo: memFree=126271712/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=580192 memory=572732 CPUtime=161.82 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 81092 0 0 0 16149 33 0 0 20 0 1 0 157720205 594116608 143183 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 145048 143183 660 659 0 144252 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 590124 KiB
Current children cumulated memory: 575520 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.11 2.69 5/262 812923
/proc/meminfo: memFree=126164728/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=683192 memory=634132 CPUtime=221.66 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 84362 0 0 0 22125 41 0 0 20 0 1 0 157720205 699588608 158533 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 170798 158533 660 659 0 170002 0
Current children cumulated CPU time: 221.66 s

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

/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 119213 0 0 0 117812 102 0 0 20 0 1 0 157720205 806244352 181356 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181356 660 659 0 196041 0
Current children cumulated CPU time: 1179.14 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 728212 KiB

[startup+1242.3 s]
/proc/loadavg: 4.12 4.08 3.67 5/263 813169
/proc/meminfo: memFree=125705784/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=725424 CPUtime=1238.99 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 119408 0 0 0 123797 102 0 0 20 0 1 0 157720205 806244352 181356 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181356 660 659 0 196041 0
Current children cumulated CPU time: 1238.99 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 728212 KiB

[startup+1302.3 s]
/proc/loadavg: 4.12 4.08 3.70 5/263 813179
/proc/meminfo: memFree=125631376/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1298.83 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 119581 0 0 0 129781 102 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1298.83 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

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

# cumulated CPU time of all completed processes:  user=1356.29 s, system=1.03861 s

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

[startup+1331.2 s]
/proc/loadavg: 4.39 4.15 3.73 5/263 813183
/proc/meminfo: memFree=125611956/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1327.66 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120237 0 0 0 132663 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1327.66 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1344 s]*
/proc/loadavg: 4.38 4.16 3.74 5/263 813186
/proc/meminfo: memFree=125611788/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1340.44 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120350 0 0 0 133941 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1340.44 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1350.4 s]
/proc/loadavg: 4.35 4.16 3.75 5/263 813186
/proc/meminfo: memFree=125611780/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1346.81 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120350 0 0 0 134578 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1346.81 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1356.8 s]
/proc/loadavg: 4.32 4.15 3.75 5/263 813188
/proc/meminfo: memFree=125502880/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1353.2 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120387 0 0 0 135217 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1353.2 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1358.4 s]
/proc/loadavg: 4.32 4.15 3.75 5/263 813188
/proc/meminfo: memFree=125502852/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1354.79 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120387 0 0 0 135376 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1354.79 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1360 s]*
/proc/loadavg: 4.30 4.15 3.75 5/263 813188
/proc/meminfo: memFree=125502852/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1356.39 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120398 0 0 0 135536 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1356.39 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1360.4 s]
/proc/loadavg: 4.30 4.15 3.75 5/263 813188
/proc/meminfo: memFree=125502852/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1356.79 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120398 0 0 0 135576 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1356.79 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1360.8 s]
/proc/loadavg: 4.30 4.15 3.75 5/263 813188
/proc/meminfo: memFree=125502852/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1357.19 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120398 0 0 0 135616 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1357.19 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

[startup+1360.9 s]
/proc/loadavg: 4.30 4.15 3.75 5/263 813188
/proc/meminfo: memFree=125502852/131524600 swapFree=130795544/131071996
[pid=812813] ppid=812810 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/812813/stat : 812813 (naps-1.03.sh) S 812810 812813 808401 0 -1 4194304 221 247 0 0 0 0 0 0 20 0 1 0 157720205 10170368 697 134679101440 93847871148032 93847872227352 140729657229760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93847874325808 93847874372996 93847885176832 140729657238500 140729657238625 140729657238625 140729657245640 0
/proc/812813/statm: 2483 697 620 264 0 134 0
[pid=812818] ppid=812813 vsize=787348 memory=727472 CPUtime=1357.29 cores=1,3
/proc/812818/stat : 812818 (naps-1.03) R 812813 812813 808401 0 -1 4194304 120430 0 0 0 135626 103 0 0 20 0 1 0 157720205 806244352 181868 134679101440 4194304 6891213 140735093378784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36036608 140735093384181 140735093384293 140735093384293 140735093391307 0
/proc/812818/statm: 196837 181868 660 659 0 196041 0
Current children cumulated CPU time: 1357.29 s
Current children cumulated vsize: 797280 KiB
Current children cumulated memory: 730260 KiB

Child status: 30

Real time (s): 1360.93
CPU time (s): 1357.33
CPU user time (s): 1356.29
CPU system time (s): 1.03861
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 931320
Max. memory (cumulated for all children) (KiB): 840584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1356.29
system time used= 1.03861
maximum resident set size= 837796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120924
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= 89
involuntary context switches= 745


# summary of solver processes directly reported to runsolver:
#   pid: 812813
#   total CPU time (s): 1357.33
#   total CPU user time (s): 1356.29
#   total CPU system time (s): 1.03861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.41979 second user time and 7.32031 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-15 17:00:23
IDJOB=4434317
IDBENCH=146652
IDSOLVER=3063
FILE ID=nodeC014/4434317-1721055611
RUNJOBID= nodeC014-1721055623-812691
SLURM_JOB_ID= 7505460
Free space on /tmp= 890068 MiB

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

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1293982997

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.914
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3662.243
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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.702
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3664.767
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3661.946
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3667.561
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3599.687
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3601.192
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127155636 kB
MemAvailable:   129749624 kB
Buffers:          303064 kB
Cached:          3096984 kB
SwapCached:        12880 kB
Active:           992264 kB
Inactive:        2819200 kB
Active(anon):       9488 kB
Inactive(anon):   419268 kB
Active(file):     982776 kB
Inactive(file):  2399932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130795544 kB
Dirty:             22420 kB
Writeback:             0 kB
AnonPages:        402564 kB
Mapped:            53372 kB
Shmem:             17324 kB
KReclaimable:     101856 kB
Slab:             193780 kB
SReclaimable:     101856 kB
SUnreclaim:        91924 kB
KernelStack:        4188 kB
PageTables:        10204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     987972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27616 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC014 at 2024-07-15 17:23:04