Trace number 4446922

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 NameAnswerCPU timeWall clock time
Picat 2024-06-18SAT 324.935 326.103

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
MD5SUMdd58632d9551a3604736dadf6eadc418
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark113.256
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c solving HOME/instance-4446922-1721333773.opb (Picat 3.6#12)
324.82/326.09	s SATISFIABLE
324.82/326.09	v ~x591 ~x3973 ~x5664 ~x1436 ~x3127 ~x4818 ~x2281 ~x592 ~x3974 ~x5665 
324.82/326.09	v ~x1437 ~x3128 ~x4819 ~x2282 ~x593 ~x3975 ~x5666 ~x1438 ~x3129 ~x4820 
324.82/326.09	v ~x2283 ~x594 ~x3976 ~x5667 ~x1439 ~x3130 ~x4821 ~x2284 ~x595 ~x3977 
324.82/326.09	v ~x5668 ~x1440 ~x3131 ~x4822 ~x2285 ~x596 ~x3978 ~x5669 ~x1441 ~x3132 
324.82/326.09	v ~x4823 ~x2286 ~x597 ~x3979 ~x5670 ~x1442 ~x3133 ~x4824 ~x2287 ~x598 
324.82/326.09	v ~x3980 ~x5671 ~x1443 ~x3134 ~x4825 ~x2288 ~x599 ~x3981 ~x5672 ~x1444 
324.82/326.09	v ~x3135 ~x4826 ~x2289 ~x600 ~x3982 ~x5673 ~x1445 ~x3136 ~x4827 ~x2290 
324.82/326.09	v x601 ~x3983 ~x5674 ~x1446 ~x3137 ~x4828 ~x2291 ~x602 ~x3984 ~x5675 
324.82/326.09	v ~x1447 ~x3138 ~x4829 ~x2292 ~x603 ~x3985 ~x5676 ~x1448 ~x3139 ~x4830 
324.82/326.09	v ~x2293 x604 x3986 ~x5677 ~x1449 ~x3140 ~x4831 ~x2294 ~x605 ~x3987 
324.82/326.09	v ~x5678 ~x1450 ~x3141 ~x4832 ~x2295 ~x606 ~x3988 x5679 ~x1451 ~x3142 
324.82/326.09	v ~x4833 ~x2296 ~x607 ~x3989 ~x5680 ~x1452 ~x3143 ~x4834 ~x2297 ~x608 
324.82/326.09	v ~x3990 x5681 ~x1453 ~x3144 ~x4835 ~x2298 ~x609 ~x3991 ~x5682 ~x1454 
324.82/326.09	v ~x3145 ~x4836 ~x2299 ~x610 ~x3992 ~x5683 ~x1455 ~x3146 ~x4837 ~x2300 
324.82/326.09	v ~x611 ~x3993 ~x5684 ~x1456 ~x3147 ~x4838 ~x2301 ~x612 ~x3994 ~x5685 
324.82/326.09	v ~x1457 ~x3148 ~x4839 ~x2302 ~x613 ~x3995 ~x5686 ~x1458 ~x3149 ~x4840 
324.82/326.09	v ~x2303 ~x614 ~x3996 ~x5687 ~x1459 ~x3150 ~x4841 ~x2304 ~x615 ~x3997 
324.82/326.09	v ~x5688 ~x1460 ~x3151 ~x4842 ~x2305 ~x616 ~x3998 ~x5689 ~x1461 ~x3152 
324.82/326.09	v ~x4843 ~x2306 ~x617 ~x3999 ~x5690 ~x1462 ~x3153 ~x4844 ~x2307 ~x618 
324.82/326.09	v ~x4000 ~x5691 ~x1463 ~x3154 ~x4845 ~x2308 ~x619 ~x4001 ~x5692 ~x1464 
324.82/326.09	v ~x3155 ~x4846 ~x2309 ~x620 ~x4002 ~x5693 ~x1465 ~x3156 ~x4847 ~x2310 
324.82/326.09	v ~x621 ~x4003 ~x5694 ~x1466 ~x3157 ~x4848 ~x2311 ~x622 ~x4004 ~x5695 
324.82/326.09	v ~x1467 ~x3158 ~x4849 ~x2312 ~x623 ~x4005 ~x5696 ~x1468 ~x3159 ~x4850 
324.82/326.09	v ~x2313 ~x624 ~x4006 ~x5697 ~x1469 ~x3160 ~x4851 ~x2314 ~x625 ~x4007 
324.82/326.09	v ~x5698 ~x1470 ~x3161 ~x4852 ~x2315 ~x626 ~x4008 ~x5699 ~x1471 ~x3162 
324.82/326.09	v ~x4853 ~x2316 ~x627 ~x4009 ~x5700 ~x1472 ~x3163 ~x4854 ~x2317 ~x628 
324.82/326.09	v ~x4010 ~x5701 ~x1473 ~x3164 ~x4855 ~x2318 ~x629 ~x4011 ~x5702 ~x1474 
324.82/326.09	v ~x3165 ~x4856 ~x2319 ~x630 ~x4012 ~x5703 ~x1475 ~x3166 ~x4857 ~x2320 
324.82/326.09	v ~x631 ~x4013 ~x5704 ~x1476 ~x3167 ~x4858 ~x2321 ~x632 ~x4014 ~x5705 
324.82/326.09	v ~x1477 ~x3168 ~x4859 ~x2322 ~x633 ~x4015 ~x5706 ~x1478 ~x3169 ~x4860 
324.82/326.09	v ~x2323 ~x634 ~x4016 ~x5707 ~x1479 ~x3170 ~x4861 ~x2324 ~x635 ~x4017 
324.82/326.09	v ~x5708 ~x1480 ~x3171 ~x4862 ~x2325 ~x636 ~x4018 ~x5709 ~x1481 ~x3172 
324.82/326.09	v ~x4863 ~x2326 ~x637 ~x4019 ~x5710 ~x1482 ~x3173 ~x4864 ~x2327 ~x638 
324.82/326.09	v ~x4020 ~x5711 ~x1483 ~x3174 ~x4865 ~x2328 ~x639 ~x4021 ~x5712 ~x1484 
324.82/326.09	v ~x3175 ~x4866 ~x2329 ~x640 ~x4022 ~x5713 ~x1485 ~x3176 ~x4867 ~x2330 
324.82/326.09	v ~x641 ~x4023 ~x5714 ~x1486 ~x3177 ~x4868 ~x2331 ~x642 ~x4024 ~x5715 
324.82/326.09	v ~x1487 ~x3178 ~x4869 ~x2332 ~x643 ~x4025 ~x5716 ~x1488 ~x3179 ~x4870 
324.82/326.09	v ~x2333 ~x644 ~x4026 ~x5717 ~x1489 ~x3180 ~x4871 x2334 ~x645 ~x4027 
324.82/326.09	v ~x5718 ~x1490 ~x3181 ~x4872 ~x2335 ~x646 ~x4028 ~x5719 ~x1491 ~x3182 
324.82/326.09	v ~x4873 ~x2336 ~x4029 ~x647 ~x5720 ~x1492 ~x3183 ~x4874 ~x2337 ~x648 
324.82/326.09	v ~x4030 ~x5721 ~x1493 ~x3184 ~x4875 ~x2338 ~x649 ~x4031 ~x5722 ~x1494 
324.82/326.09	v ~x3185 ~x4876 ~x2339 ~x650 ~x4032 ~x5723 ~x1495 ~x3186 ~x4877 ~x2340 
324.82/326.09	v ~x651 ~x4033 ~x5724 ~x1496 ~x3187 ~x4878 ~x2341 ~x652 ~x4034 ~x5725 
324.82/326.09	v ~x1497 ~x3188 ~x4879 ~x2342 ~x653 ~x4035 ~x5726 ~x1498 ~x3189 ~x4880 
324.82/326.09	v ~x2343 ~x654 ~x4036 ~x5727 ~x1499 ~x3190 ~x4881 ~x2344 ~x655 ~x4037 
324.82/326.09	v ~x5728 ~x1500 ~x3191 ~x4882 ~x2345 ~x656 ~x4038 ~x5729 ~x1501 ~x3192 
324.82/326.09	v ~x4883 ~x2346 ~x657 ~x4039 ~x5730 ~x1502 ~x3193 ~x4884 ~x2347 ~x658 
324.82/326.09	v ~x4040 ~x5731 ~x1503 ~x3194 ~x4885 ~x2348 ~x659 ~x4041 ~x5732 ~x1504 
324.82/326.09	v ~x3195 ~x4886 ~x2349 ~x660 ~x4042 ~x5733 ~x1505 ~x3196 ~x4887 ~x2350 
324.82/326.09	v ~x661 ~x4043 ~x5734 ~x1506 x3197 ~x4888 ~x2351 ~x662 ~x4044 ~x5735 
324.82/326.09	v ~x1507 ~x3198 ~x4889 ~x2352 ~x663 ~x4045 ~x5736 ~x1508 ~x3199 ~x4890 
324.82/326.09	v ~x2353 ~x664 ~x4046 ~x5737 ~x1509 ~x3200 ~x4891 ~x2354 ~x665 ~x4047 
324.82/326.09	v ~x5738 ~x1510 ~x3201 ~x4892 ~x2355 ~x666 ~x4048 ~x5739 ~x1511 ~x3202 
324.82/326.09	v ~x4893 ~x2356 ~x667 ~x4049 ~x5740 ~x1512 ~x3203 ~x4894 ~x2357 ~x668 
324.82/326.09	v ~x4050 ~x5741 ~x1513 ~x3204 ~x4895 ~x2358 ~x669 ~x4051 ~x5742 ~x1514 
324.82/326.09	v ~x3205 ~x4896 ~x2359 ~x670 ~x4052 ~x5743 ~x1515 ~x3206 ~x4897 ~x2360 
324.82/326.09	v ~x671 ~x4053 ~x5744 x1516 ~x3207 ~x4898 ~x2361 ~x672 ~x4054 ~x5745 
324.82/326.09	v ~x1517 ~x3208 ~x4899 ~x2362 ~x673 ~x4055 ~x5746 ~x1518 ~x3209 ~x4900 
324.82/326.09	v ~x2363 ~x674 ~x4056 ~x5747 ~x1519 ~x3210 ~x4901 ~x2364 ~x675 ~x4057 
324.82/326.09	v ~x5748 ~x1520 ~x3211 ~x4902 ~x2365 ~x676 ~x4058 ~x5749 ~x1521 ~x3212 
324.82/326.09	v ~x4903 ~x2366 ~x677 ~x4059 ~x5750 ~x1522 ~x3213 ~x4904 ~x2367 ~x678 
324.82/326.09	v ~x4060 ~x5751 ~x1523 ~x3214 ~x4905 ~x2368 ~x679 ~x4061 ~x5752 ~x1524 
324.82/326.09	v ~x3215 ~x4906 ~x2369 ~x680 ~x4062 ~x5753 ~x1525 ~x3216 ~x4907 ~x2370 
324.82/326.09	v ~x681 ~x4063 ~x5754 ~x1526 ~x3217 ~x4908 ~x2371 ~x682 ~x4064 ~x5755 
324.82/326.09	v ~x1527 ~x3218 ~x4909 ~x2372 ~x683 ~x4065 ~x5756 ~x1528 ~x3219 ~x4910 
324.82/326.09	v ~x2373 ~x684 x4066 ~x5757 ~x1529 ~x3220 ~x4911 ~x2374 ~x685 ~x4067 
324.82/326.09	v ~x5758 ~x1530 ~x3221 ~x4912 ~x2375 ~x686 ~x4068 ~x5759 ~x1531 ~x3222 
324.82/326.09	v x4913 ~x2376 ~x687 ~x4069 ~x5760 ~x1532 ~x3223 ~x4914 ~x2377 ~x688 
324.82/326.09	v ~x4070 ~x5761 ~x1533 ~x3224 ~x4915 ~x2378 ~x689 ~x4071 ~x5762 ~x1534 
324.82/326.09	v ~x3225 ~x4916 ~x2379 ~x690 ~x4072 ~x5763 ~x1535 ~x3226 ~x4917 ~x2380 
324.82/326.09	v ~x691 ~x4073 ~x5764 ~x1536 ~x3227 ~x4918 ~x2381 ~x692 ~x4074 ~x5765 
324.82/326.09	v ~x1537 ~x3228 ~x4919 ~x2382 x693 ~x4075 ~x5766 ~x1538 ~x3229 ~x4920 
324.82/326.09	v ~x2383 ~x694 ~x4076 ~x5767 ~x1539 ~x3230 ~x4921 ~x2384 ~x695 ~x4077 
324.82/326.09	v ~x5768 ~x1540 ~x3231 ~x4922 ~x2385 ~x696 ~x4078 ~x5769 ~x1541 ~x3232 
324.82/326.09	v ~x4923 ~x2386 ~x697 ~x4079 x5770 ~x1542 ~x3233 ~x4924 ~x2387 ~x698 
324.82/326.09	v ~x4080 ~x5771 ~x1543 ~x3234 ~x4925 ~x2388 ~x699 ~x4081 ~x5772 ~x1544 
324.82/326.09	v ~x3235 ~x4926 ~x2389 ~x700 ~x4082 ~x5773 ~x1545 ~x3236 ~x4927 ~x2390 
324.82/326.09	v ~x701 ~x4083 ~x5774 ~x1546 ~x3237 ~x4928 ~x2391 ~x702 ~x4084 ~x5775 
324.82/326.09	v ~x1547 ~x3238 ~x4929 ~x2392 ~x703 ~x4085 ~x5776 ~x1548 ~x3239 ~x4930 
324.82/326.09	v ~x2393 ~x704 ~x4086 ~x5777 ~x1549 ~x3240 ~x4931 ~x2394 ~x705 ~x4087 
324.82/326.09	v ~x5778 ~x1550 ~x3241 ~x4932 ~x2395 ~x706 ~x4088 ~x5779 ~x1551 ~x3242 
324.82/326.09	v ~x4933 ~x2396 ~x707 ~x4089 ~x5780 ~x1552 ~x3243 ~x4934 ~x2397 ~x708 
324.82/326.09	v ~x4090 ~x5781 ~x1553 ~x3244 ~x4935 ~x2398 ~x709 ~x4091 ~x5782 ~x1554 
324.82/326.09	v ~x3245 ~x4936 ~x2399 ~x710 ~x4092 ~x5783 ~x1555 ~x3246 ~x4937 ~x2400 
324.82/326.09	v ~x711 ~x4093 ~x5784 ~x1556 ~x3247 ~x4938 ~x2401 ~x712 ~x4094 ~x5785 
324.82/326.09	v ~x1557 ~x3248 ~x4939 ~x2402 ~x713 ~x4095 ~x5786 ~x1558 ~x3249 ~x4940 
324.82/326.09	v ~x2403 ~x714 ~x4096 ~x5787 ~x1559 ~x3250 ~x4941 ~x2404 ~x715 ~x4097 
324.82/326.09	v ~x5788 ~x1560 ~x3251 ~x4942 ~x2405 ~x716 ~x4098 ~x5789 ~x1561 ~x3252 
324.82/326.09	v ~x4943 ~x2406 ~x717 ~x4099 ~x5790 ~x1562 ~x3253 ~x4944 ~x2407 ~x718 
324.82/326.09	v ~x4100 ~x5791 ~x1563 ~x3254 ~x4945 ~x2408 ~x719 ~x4101 ~x5792 ~x1564 
324.82/326.09	v ~x3255 ~x4946 ~x2409 ~x720 ~x4102 ~x5793 ~x1565 ~x3256 ~x4947 ~x2410 
324.82/326.09	v ~x721 ~x4103 ~x5794 ~x1566 ~x3257 ~x4948 ~x2411 ~x722 ~x4104 ~x5795 
324.82/326.09	v ~x1567 ~x3258 ~x4949 ~x2412 ~x723 ~x4105 ~x5796 ~x1568 ~x3259 ~x4950 
324.82/326.09	v ~x2413 ~x724 ~x4106 ~x5797 ~x1569 ~x3260 ~x4951 ~x2414 ~x725 ~x4107 
324.82/326.09	v ~x5798 ~x1570 ~x3261 ~x4952 ~x2415 ~x726 ~x4108 ~x5799 ~x1571 ~x3262 
324.82/326.09	v ~x4953 ~x2416 ~x727 ~x4109 ~x5800 ~x1572 ~x3263 ~x4954 ~x2417 ~x728 
324.82/326.09	v ~x4110 ~x5801 ~x1573 ~x3264 ~x4955 ~x2418 ~x729 ~x4111 ~x5802 ~x1574 
324.82/326.09	v ~x3265 ~x4956 ~x2419 ~x730 ~x4112 ~x5803 ~x1575 ~x3266 ~x4957 ~x2420 
324.82/326.09	v ~x731 ~x4113 ~x5804 ~x1576 ~x3267 ~x4958 ~x2421 ~x732 ~x4114 ~x5805 
324.82/326.09	v ~x1577 ~x3268 ~x4959 ~x2422 ~x733 ~x4115 ~x5806 ~x1578 ~x3269 ~x4960 
324.82/326.09	v ~x2423 ~x734 ~x4116 ~x5807 ~x1579 ~x3270 ~x4961 ~x2424 ~x735 ~x4117 
324.82/326.09	v ~x5808 ~x1580 ~x3271 ~x4962 x2425 ~x736 ~x4118 ~x5809 ~x1581 ~x3272 
324.82/326.09	v ~x4963 ~x2426 ~x737 ~x4119 ~x5810 ~x1582 ~x3273 ~x4964 ~x2427 ~x738 
324.82/326.09	v ~x4120 ~x5811 ~x1583 ~x3274 ~x4965 ~x2428 ~x739 ~x4121 ~x5812 ~x1584 
324.82/326.09	v ~x3275 ~x4966 ~x2429 ~x740 ~x4122 ~x5813 ~x1585 ~x3276 ~x4967 ~x2430 
324.82/326.09	v ~x741 ~x4123 ~x5814 ~x1586 ~x3277 ~x4968 ~x2431 ~x742 ~x4124 ~x5815 
324.82/326.09	v ~x1587 ~x3278 ~x4969 ~x2432 ~x743 ~x4125 ~x5816 ~x1588 ~x3279 ~x4970 
324.82/326.09	v ~x2433 ~x744 ~x4126 ~x5817 ~x1589 ~x3280 ~x4971 ~x2434 ~x745 ~x4127 
324.82/326.09	v ~x5818 ~x1590 ~x3281 ~x4972 ~x2435 ~x746 ~x4128 ~x5819 ~x1591 ~x3282 
324.82/326.09	v ~x4973 ~x2436 ~x747 ~x4129 ~x5820 ~x1592 ~x3283 ~x4974 ~x2437 ~x748 
324.82/326.09	v ~x4130 ~x5821 ~x1593 ~x3284 ~x4975 ~x2438 ~x749 ~x4131 ~x5822 ~x1594 
324.82/326.09	v ~x3285 ~x4976 ~x2439 ~x750 ~x4132 ~x5823 ~x1595 ~x3286 ~x4977 ~x2440 
324.82/326.09	v ~x751 ~x4133 ~x5824 ~x1596 ~x3287 ~x4978 ~x2441 ~x752 ~x4134 ~x5825 
324.82/326.09	v ~x1597 x3288 ~x4979 ~x2442 ~x753 ~x4135 ~x5826 ~x1598 ~x3289 ~x4980 
324.82/326.09	v ~x2443 ~x754 ~x4136 ~x5827 ~x1599 ~x3290 ~x4981 ~x2444 ~x755 ~x4137 
324.82/326.09	v ~x5828 ~x1600 ~x3291 ~x4982 ~x2445 ~x756 ~x4138 ~x5829 ~x1601 ~x3292 
324.82/326.09	v ~x4983 ~x2446 ~x757 ~x4139 ~x5830 ~x1602 ~x3293 ~x4984 ~x2447 ~x758 
324.82/326.09	v ~x4140 ~x5831 ~x1603 ~x3294 ~x4985 ~x2448 ~x759 ~x4141 ~x5832 ~x1604 
324.82/326.09	v ~x3295 ~x4986 ~x2449 ~x760 ~x4142 ~x5833 ~x1605 ~x3296 x4987 ~x2450 
324.82/326.09	v ~x761 ~x4143 ~x5834 ~x1606 ~x3297 ~x4988 ~x2451 ~x762 ~x4144 ~x5835 
324.82/326.09	v x1607 ~x3298 ~x4989 ~x2452 ~x763 ~x4145 ~x5836 ~x1608 ~x3299 ~x4990 
324.82/326.09	v ~x2453 ~x764 ~x4146 ~x5837 ~x1609 ~x3300 ~x4991 ~x2454 ~x765 ~x4147 
324.82/326.09	v ~x5838 ~x1610 ~x3301 ~x4992 ~x2455 ~x766 ~x4148 ~x5839 ~x1611 ~x3302 
324.82/326.09	v ~x4993 ~x2456 ~x767 ~x4149 ~x5840 ~x1612 ~x3303 ~x4994 ~x2457 ~x768 
324.82/326.09	v ~x4150 ~x5841 ~x1613 ~x3304 ~x4995 ~x2458 ~x769 ~x4151 ~x5842 ~x1614 
324.82/326.09	v ~x3305 ~x4996 ~x2459 ~x770 ~x4152 ~x5843 ~x1615 ~x3306 ~x4997 ~x2460 
324.82/326.09	v ~x771 ~x4153 ~x5844 ~x1616 ~x3307 ~x4998 ~x2461 ~x772 ~x4154 ~x5845 
324.82/326.09	v ~x1617 ~x3308 ~x4999 ~x2462 ~x773 ~x4155 ~x5846 ~x1618 ~x3309 ~x5000 
324.82/326.09	v ~x2463 ~x774 ~x4156 ~x5847 ~x1619 ~x3310 ~x5001 ~x2464 ~x775 ~x4157 
324.82/326.09	v ~x5848 ~x1620 ~x3311 ~x5002 ~x2465 ~x776 ~x4158 ~x5849 ~x1621 ~x3312 
324.82/326.09	v ~x5003 ~x2466 ~x777 ~x4159 ~x5850 ~x1622 ~x3313 ~x5004 ~x2467 ~x778 
324.82/326.09	v ~x4160 ~x5851 ~x1623 ~x3314 ~x5005 ~x2468 ~x779 ~x4161 ~x5852 ~x1624 
324.82/326.09	v ~x3315 ~x5006 ~x2469 ~x780 ~x4162 ~x5853 ~x1625 ~x3316 ~x5007 ~x2470 
324.82/326.09	v ~x781 ~x4163 ~x5854 ~x1626 ~x3317 ~x5008 ~x2471 x782 ~x4164 ~x5855 
324.82/326.09	v ~x1627 ~x3318 ~x5009 ~x2472 ~x783 ~x4165 ~x5856 ~x1628 ~x3319 ~x5010 
324.82/326.09	v ~x2473 ~x784 ~x4166 ~x5857 ~x1629 ~x3320 ~x5011 ~x2474 ~x785 ~x4167 
324.82/326.09	v ~x5858 ~x1630 ~x3321 ~x5012 ~x2475 ~x786 x4168 ~x5859 ~x1631 ~x3322 
324.82/326.09	v ~x5013 ~x2476 ~x787 ~x4169 ~x5860 ~x1632 ~x3323 ~x5014 ~x2477 ~x788 
324.82/326.09	v ~x4170 ~x5861 ~x1633 ~x3324 ~x5015 ~x2478 ~x789 ~x4171 x5862 ~x1634 
324.82/326.09	v ~x3325 ~x5016 ~x2479 ~x790 ~x4172 ~x5863 ~x1635 ~x3326 ~x5017 ~x2480 
324.82/326.09	v ~x791 ~x4173 ~x5864 ~x1636 ~x3327 ~x5018 ~x2481 ~x792 ~x4174 ~x5865 
324.82/326.09	v ~x1637 ~x3328 ~x5019 ~x2482 ~x793 ~x4175 ~x5866 ~x1638 ~x3329 ~x5020 
324.82/326.09	v ~x2483 ~x794 ~x4176 ~x5867 ~x1639 ~x3330 ~x5021 ~x2484 ~x795 ~x4177 
324.82/326.09	v ~x5868 ~x1640 ~x3331 ~x5022 ~x2485 ~x796 ~x4178 ~x5869 ~x1641 ~x3332 
324.82/326.09	v ~x5023 ~x2486 ~x797 ~x4179 ~x5870 ~x1642 ~x3333 ~x5024 ~x2487 ~x798 
324.82/326.09	v ~x4180 ~x5871 ~x1643 ~x3334 ~x5025 ~x2488 ~x799 ~x4181 ~x5872 ~x1644 
324.82/326.09	v ~x3335 ~x5026 ~x2489 ~x800 ~x4182 ~x5873 ~x1645 ~x3336 ~x5027 ~x2490 
324.82/326.09	v ~x801 ~x4183 ~x5874 ~x1646 ~x3337 ~x5028 ~x2491 ~x802 ~x4184 ~x5875 
324.82/326.09	v ~x1647 ~x3338 ~x5029 ~x2492 ~x803 ~x4185 ~x5876 ~x1648 ~x3339 ~x5030 
324.82/326.09	v ~x2493 ~x804 ~x4186 ~x5877 ~x1649 ~x3340 ~x5031 ~x2494 ~x805 ~x4187 
324.82/326.09	v ~x5878 ~x1650 ~x3341 ~x5032 ~x2495 ~x806 ~x4188 ~x5879 ~x1651 ~x3342 
324.82/326.09	v ~x5033 ~x2496 ~x807 ~x4189 ~x5880 ~x1652 ~x3343 ~x5034 ~x2497 ~x808 
324.82/326.09	v ~x4190 ~x5881 ~x1653 ~x3344 ~x5035 ~x2498 ~x809 ~x4191 ~x5882 ~x1654 
324.82/326.09	v ~x3345 ~x5036 ~x2499 ~x810 ~x4192 ~x5883 ~x1655 ~x3346 ~x5037 ~x2500 
324.82/326.09	v ~x811 ~x4193 ~x5884 ~x1656 ~x3347 ~x5038 ~x2501 ~x812 ~x4194 ~x5885 
324.82/326.09	v ~x1657 ~x3348 ~x5039 ~x2502 x813 ~x4195 ~x5886 ~x1658 ~x3349 ~x5040 
324.82/326.09	v ~x2503 ~x814 ~x4196 ~x5887 ~x1659 ~x3350 ~x5041 ~x2504 x815 ~x4197 
324.82/326.09	v ~x5888 ~x1660 ~x3351 ~x5042 ~x2505 ~x816 ~x4198 ~x5889 ~x1661 ~x3352 
324.82/326.09	v ~x5043 ~x2506 ~x817 ~x4199 ~x5890 ~x1662 ~x3353 ~x5044 ~x2507 ~x818 
324.82/326.09	v ~x4200 ~x5891 ~x1663 ~x3354 ~x5045 ~x2508 ~x819 ~x4201 ~x5892 ~x1664 
324.82/326.09	v ~x3355 ~x5046 ~x2509 ~x820 ~x4202 ~x5893 ~x1665 ~x3356 ~x5047 ~x2510 
324.82/326.09	v ~x821 ~x4203 ~x5894 ~x1666 ~x3357 ~x5048 ~x2511 ~x822 ~x4204 ~x5895 
324.82/326.09	v ~x1667 ~x3358 ~x5049 ~x2512 ~x823 ~x4205 ~x5896 ~x1668 ~x3359 ~x5050 
324.82/326.09	v ~x2513 ~x824 ~x4206 ~x5897 ~x1669 ~x3360 ~x5051 ~x2514 ~x825 ~x4207 
324.82/326.09	v ~x5898 ~x1670 ~x3361 ~x5052 ~x2515 ~x826 ~x4208 ~x5899 ~x1671 ~x3362 
324.82/326.09	v ~x5053 x2516 ~x827 ~x4209 ~x5900 ~x1672 ~x3363 ~x5054 ~x2517 ~x828 
324.82/326.09	v ~x4210 ~x5901 ~x1673 ~x3364 ~x5055 ~x2518 ~x829 ~x4211 ~x5902 ~x1674 
324.82/326.09	v ~x3365 ~x5056 ~x2519 ~x830 ~x4212 ~x5903 ~x1675 ~x3366 ~x5057 ~x2520 
324.82/326.09	v ~x831 ~x4213 ~x5904 ~x1676 ~x3367 ~x5058 ~x2521 ~x832 ~x4214 ~x5905 
324.82/326.09	v ~x1677 ~x3368 ~x5059 ~x2522 ~x833 ~x4215 ~x5906 ~x1678 ~x3369 ~x5060 
324.82/326.09	v ~x2523 ~x834 ~x4216 ~x5907 ~x1679 ~x3370 ~x5061 ~x2524 ~x835 ~x4217 
324.82/326.09	v ~x5908 ~x1680 ~x3371 ~x5062 ~x2525 ~x836 ~x4218 ~x5909 ~x1681 ~x3372 
324.82/326.09	v ~x5063 ~x2526 ~x837 ~x4219 ~x5910 ~x1682 ~x3373 ~x5064 ~x2527 ~x838 
324.82/326.09	v ~x4220 ~x5911 ~x1683 ~x3374 ~x5065 ~x2528 x1 ~x839 ~x4221 ~x5912 
324.82/326.09	v ~x1684 ~x3375 ~x5066 ~x2529 ~x2 ~x840 ~x4222 ~x5913 ~x1685 ~x3376 
324.82/326.09	v ~x5067 ~x2530 ~x3 ~x841 ~x4223 ~x5914 ~x1686 ~x3377 ~x5068 ~x2531 
324.82/326.09	v ~x4 ~x842 ~x4224 ~x5915 ~x1687 ~x3378 ~x5069 ~x2532 ~x5 ~x843 
324.82/326.09	v ~x4225 ~x5916 ~x1688 x3379 ~x5070 ~x2533 ~x6 ~x844 ~x4226 ~x5917 
324.82/326.09	v ~x1689 ~x3380 ~x5071 ~x2534 ~x7 ~x845 ~x4227 ~x5918 ~x1690 ~x3381 
324.82/326.09	v ~x5072 ~x2535 ~x8 ~x846 ~x4228 ~x5919 ~x1691 ~x3382 ~x5073 ~x2536 
324.82/326.09	v ~x9 ~x847 ~x4229 ~x5920 ~x1692 ~x3383 ~x5074 ~x2537 ~x10 ~x848 
324.82/326.09	v ~x4230 ~x5921 ~x1693 ~x3384 ~x5075 ~x2538 ~x11 ~x849 ~x4231 ~x5922 
324.82/326.09	v ~x1694 ~x3385 ~x5076 ~x2539 ~x12 ~x850 ~x4232 ~x5923 ~x1695 ~x3386 
324.82/326.09	v ~x5077 ~x2540 ~x13 ~x851 ~x4233 ~x5924 ~x1696 ~x3387 ~x5078 ~x2541 
324.82/326.09	v ~x14 ~x852 ~x4234 ~x5925 ~x1697 ~x3388 ~x5079 ~x2542 ~x15 ~x853 
324.82/326.09	v ~x4235 ~x5926 x1698 ~x3389 ~x5080 ~x2543 ~x16 ~x854 ~x4236 ~x5927 
324.82/326.09	v ~x1699 ~x3390 ~x5081 ~x2544 ~x17 ~x855 ~x4237 ~x5928 ~x1700 ~x3391 
324.82/326.09	v ~x5082 ~x2545 ~x18 ~x856 ~x4238 ~x5929 ~x1701 ~x3392 ~x5083 ~x2546 
324.82/326.09	v ~x19 ~x857 ~x4239 ~x5930 ~x1702 ~x3393 ~x5084 ~x2547 ~x20 ~x858 
324.82/326.09	v ~x4240 ~x5931 ~x1703 ~x3394 ~x5085 ~x2548 ~x21 ~x859 ~x4241 ~x5932 
324.82/326.09	v ~x1704 ~x3395 ~x5086 ~x2549 ~x22 ~x860 ~x4242 ~x5933 ~x1705 ~x3396 
324.82/326.09	v ~x5087 ~x2550 ~x23 ~x861 ~x4243 ~x5934 ~x1706 ~x3397 ~x5088 ~x2551 
324.82/326.09	v ~x24 ~x862 x4244 ~x5935 ~x1707 ~x3398 ~x5089 ~x2552 ~x25 ~x863 
324.82/326.09	v ~x4245 ~x5936 ~x1708 ~x3399 ~x5090 ~x2553 ~x26 ~x864 ~x4246 ~x5937 
324.82/326.09	v ~x1709 ~x3400 ~x5091 ~x2554 ~x27 ~x865 ~x4247 ~x5938 ~x1710 ~x3401 
324.82/326.09	v ~x5092 ~x2555 ~x28 ~x866 x4248 ~x5939 ~x1711 ~x3402 ~x5093 ~x2556 
324.82/326.09	v ~x29 ~x867 ~x4249 ~x5940 ~x1712 ~x3403 ~x5094 ~x2557 ~x30 ~x868 
324.82/326.09	v x4250 ~x5941 ~x1713 ~x3404 ~x5095 ~x2558 ~x31 ~x869 ~x4251 ~x5942 
324.82/326.09	v ~x1714 ~x3405 ~x5096 ~x2559 ~x32 ~x870 x4252 ~x5943 ~x1715 ~x3406 
324.82/326.09	v ~x5097 ~x2560 ~x33 ~x871 ~x4253 ~x5944 ~x1716 ~x3407 ~x5098 ~x2561 
324.82/326.09	v ~x34 ~x872 ~x4254 ~x5945 ~x1717 ~x3408 ~x5099 ~x2562 ~x35 ~x873 
324.82/326.09	v ~x4255 ~x5946 ~x1718 ~x3409 ~x5100 ~x2563 ~x36 ~x874 ~x4256 ~x5947 
324.82/326.09	v ~x1719 ~x3410 ~x5101 ~x2564 ~x37 ~x875 ~x4257 x5948 ~x1720 ~x3411 
324.82/326.09	v ~x5102 ~x2565 ~x38 ~x876 ~x4258 ~x5949 ~x1721 ~x3412 ~x5103 ~x2566 
324.82/326.09	v ~x39 ~x877 ~x4259 ~x5950 ~x1722 ~x3413 ~x5104 ~x2567 ~x40 ~x878 
324.82/326.09	v ~x4260 ~x5951 ~x1723 ~x3414 ~x5105 ~x2568 ~x41 ~x879 ~x4261 ~x5952 
324.82/326.09	v ~x1724 ~x3415 ~x5106 ~x2569 ~x42 ~x880 ~x4262 ~x5953 ~x1725 ~x3416 
324.82/326.09	v ~x5107 ~x2570 ~x43 ~x881 ~x4263 ~x5954 ~x1726 ~x3417 ~x5108 ~x2571 
324.82/326.09	v ~x44 ~x882 ~x4264 ~x5955 ~x1727 ~x3418 ~x5109 ~x2572 ~x45 ~x883 
324.82/326.09	v ~x4265 ~x5956 ~x1728 ~x3419 ~x5110 ~x2573 ~x46 ~x884 ~x4266 ~x5957 
324.82/326.09	v ~x1729 ~x3420 x5111 ~x2574 ~x47 ~x885 ~x4267 ~x5958 ~x1730 ~x3421 
324.82/326.09	v ~x5112 ~x2575 ~x48 ~x886 ~x4268 ~x5959 ~x1731 ~x3422 ~x5113 ~x2576 
324.82/326.09	v ~x49 ~x887 ~x4269 ~x5960 ~x1732 ~x3423 ~x5114 ~x2577 ~x50 ~x888 
324.82/326.09	v ~x4270 ~x5961 ~x1733 ~x3424 ~x5115 ~x2578 ~x51 ~x889 ~x4271 ~x5962 
324.82/326.09	v ~x1734 ~x3425 ~x5116 ~x2579 ~x52 ~x890 ~x4272 ~x5963 ~x1735 ~x3426 
324.82/326.09	v ~x5117 ~x2580 ~x53 ~x891 ~x4273 ~x5964 ~x1736 ~x3427 ~x5118 ~x2581 
324.82/326.09	v ~x54 ~x892 ~x4274 ~x5965 ~x1737 ~x3428 ~x5119 ~x2582 ~x55 ~x893 
324.82/326.09	v ~x4275 ~x5966 ~x1738 ~x3429 ~x5120 ~x2583 ~x56 ~x894 ~x4276 ~x5967 
324.82/326.09	v ~x1739 ~x3430 ~x5121 ~x2584 ~x57 ~x895 ~x4277 ~x5968 ~x1740 ~x3431 
324.82/326.09	v ~x5122 ~x2585 ~x58 ~x896 ~x4278 ~x5969 ~x1741 ~x3432 ~x5123 ~x2586 
324.82/326.09	v ~x59 ~x897 ~x4279 ~x5970 ~x1742 ~x3433 ~x5124 ~x2587 ~x60 ~x898 
324.82/326.09	v ~x4280 ~x5971 ~x1743 ~x3434 ~x5125 ~x2588 ~x61 ~x899 ~x4281 ~x5972 
324.82/326.09	v ~x1744 ~x3435 ~x5126 ~x2589 ~x62 ~x900 ~x4282 ~x5973 ~x1745 ~x3436 
324.82/326.09	v ~x5127 ~x2590 ~x63 ~x901 ~x4283 ~x5974 ~x1746 ~x3437 ~x5128 ~x2591 
324.82/326.09	v ~x64 ~x902 ~x4284 ~x5975 ~x1747 ~x3438 ~x5129 ~x2592 ~x65 ~x903 
324.82/326.09	v ~x4285 ~x5976 ~x1748 ~x3439 ~x5130 ~x2593 ~x66 x904 ~x4286 ~x5977 
324.82/326.09	v ~x1749 ~x3440 ~x5131 ~x2594 ~x67 ~x905 ~x4287 ~x5978 ~x1750 ~x3441 
324.82/326.09	v ~x5132 ~x2595 ~x68 ~x906 ~x4288 ~x5979 ~x1751 ~x3442 ~x5133 ~x2596 
324.82/326.09	v ~x69 ~x907 ~x4289 ~x5980 ~x1752 ~x3443 ~x5134 ~x2597 ~x70 ~x908 
324.82/326.09	v ~x4290 ~x5981 ~x1753 ~x3444 ~x5135 ~x2598 ~x71 ~x909 ~x4291 ~x5982 
324.82/326.09	v ~x1754 ~x3445 ~x5136 ~x2599 ~x72 ~x910 ~x4292 ~x5983 ~x1755 ~x3446 
324.82/326.09	v x5137 ~x2600 ~x73 ~x911 ~x4293 ~x5984 ~x1756 ~x3447 ~x5138 ~x2601 
324.82/326.09	v ~x74 ~x912 ~x4294 ~x5985 ~x1757 ~x3448 ~x5139 ~x2602 ~x75 ~x913 
324.82/326.09	v ~x4295 ~x5986 ~x1758 ~x3449 ~x5140 ~x2603 ~x76 ~x914 ~x4296 ~x5987 
324.82/326.09	v ~x1759 ~x3450 ~x5141 ~x2604 ~x77 ~x915 ~x4297 ~x5988 ~x1760 ~x3451 
324.82/326.09	v ~x5142 ~x2605 ~x78 ~x916 ~x4298 ~x5989 ~x1761 ~x3452 ~x5143 ~x2606 
324.82/326.09	v ~x79 ~x917 ~x4299 ~x5990 ~x1762 ~x3453 ~x5144 x2607 ~x80 ~x918 
324.82/326.09	v ~x4300 ~x5991 ~x1763 ~x3454 ~x5145 ~x2608 ~x81 ~x919 ~x4301 ~x5992 
324.82/326.09	v ~x1764 ~x3455 ~x5146 ~x2609 ~x82 ~x920 ~x4302 ~x5993 ~x1765 ~x3456 
324.82/326.09	v ~x5147 ~x2610 ~x83 ~x921 ~x4303 ~x5994 ~x1766 ~x3457 ~x5148 ~x2611 
324.82/326.09	v ~x84 ~x922 ~x4304 ~x5995 ~x1767 ~x3458 ~x5149 ~x2612 ~x85 ~x923 
324.82/326.09	v ~x4305 ~x5996 ~x1768 ~x3459 ~x5150 ~x2613 ~x86 ~x924 ~x4306 ~x5997 
324.82/326.09	v ~x1769 ~x3460 ~x5151 ~x2614 ~x87 ~x925 ~x4307 ~x5998 ~x1770 ~x3461 
324.82/326.09	v ~x5152 ~x2615 ~x88 ~x926 ~x4308 ~x5999 ~x1771 ~x3462 ~x5153 ~x2616 
324.82/326.09	v ~x89 ~x927 ~x4309 ~x6000 ~x1772 ~x3463 ~x5154 ~x2617 ~x90 ~x928 
324.82/326.09	v ~x4310 ~x6001 ~x1773 ~x3464 ~x5155 ~x2618 ~x929 ~x4311 ~x6002 ~x1774 
324.82/326.09	v ~x3465 ~x5156 ~x2619 ~x930 ~x4312 ~x6003 ~x1775 ~x3466 ~x5157 ~x2620 
324.82/326.09	v ~x931 ~x4313 ~x6004 ~x1776 ~x3467 ~x5158 ~x2621 ~x932 ~x4314 ~x6005 
324.82/326.09	v ~x1777 ~x3468 ~x5159 ~x2622 ~x933 ~x4315 ~x6006 ~x1778 ~x3469 ~x5160 
324.82/326.09	v ~x2623 ~x91 ~x934 ~x4316 ~x6007 ~x1779 x3470 ~x5161 ~x2624 ~x92 
324.82/326.09	v ~x935 ~x4317 ~x6008 ~x1780 ~x3471 ~x5162 ~x2625 ~x93 ~x936 ~x4318 
324.82/326.09	v ~x6009 ~x1781 ~x3472 ~x5163 ~x2626 ~x94 ~x937 ~x4319 ~x6010 ~x1782 
324.82/326.09	v ~x3473 ~x5164 ~x2627 ~x95 ~x938 ~x4320 ~x6011 ~x1783 ~x3474 ~x5165 
324.82/326.09	v ~x2628 ~x96 ~x939 ~x6012 ~x1784 ~x3475 ~x5166 ~x2629 ~x97 ~x940 
324.82/326.09	v ~x6013 ~x1785 ~x3476 ~x5167 ~x2630 ~x4321 ~x98 ~x941 ~x6014 ~x1786 
324.82/326.09	v ~x3477 ~x5168 ~x2631 ~x4322 ~x99 ~x942 ~x6015 ~x1787 ~x3478 ~x5169 
324.82/326.09	v ~x2632 ~x4323 ~x100 ~x943 ~x6016 ~x1788 ~x3479 ~x5170 ~x2633 ~x4324 
324.82/326.09	v ~x101 ~x944 ~x6017 x1789 ~x3480 ~x5171 ~x2634 ~x4325 ~x102 ~x945 
324.82/326.09	v ~x6018 ~x1790 ~x3481 ~x5172 ~x2635 ~x4326 ~x103 ~x946 ~x6019 ~x1791 
324.82/326.09	v ~x3482 ~x5173 ~x2636 ~x4327 ~x104 ~x947 ~x6020 ~x1792 ~x3483 ~x5174 
324.82/326.09	v ~x2637 ~x4328 ~x105 ~x948 ~x6021 ~x1793 ~x3484 ~x5175 ~x2638 ~x4329 
324.82/326.09	v ~x106 ~x949 ~x6022 ~x1794 ~x3485 ~x5176 ~x2639 ~x4330 ~x107 ~x950 
324.82/326.09	v ~x6023 ~x1795 ~x3486 ~x5177 ~x2640 ~x4331 ~x108 ~x951 ~x6024 ~x1796 
324.82/326.09	v ~x3487 ~x5178 ~x2641 ~x4332 ~x109 ~x952 ~x6025 ~x1797 ~x3488 ~x5179 
324.82/326.09	v ~x2642 ~x4333 ~x110 ~x953 ~x6026 ~x1798 ~x3489 ~x5180 ~x2643 ~x4334 
324.82/326.09	v ~x111 ~x954 ~x6027 ~x1799 ~x3490 ~x5181 ~x2644 ~x4335 ~x112 ~x955 
324.82/326.09	v ~x6028 ~x1800 ~x3491 ~x5182 ~x2645 ~x4336 ~x113 ~x956 ~x6029 ~x1801 
324.82/326.09	v ~x3492 ~x5183 ~x2646 ~x4337 ~x114 ~x957 ~x6030 ~x1802 ~x3493 ~x5184 
324.82/326.09	v ~x2647 ~x4338 ~x115 ~x958 ~x6031 ~x1803 ~x3494 ~x5185 ~x2648 x4339 
324.82/326.09	v ~x116 ~x959 ~x6032 ~x1804 ~x3495 ~x5186 ~x2649 ~x4340 ~x117 ~x960 
324.82/326.09	v ~x6033 ~x1805 ~x3496 ~x5187 ~x2650 ~x4341 ~x118 ~x961 ~x6034 ~x1806 
324.82/326.09	v ~x3497 ~x5188 ~x2651 ~x4342 ~x119 ~x962 ~x6035 ~x1807 ~x3498 ~x5189 
324.82/326.09	v ~x2652 ~x4343 ~x120 ~x963 ~x6036 ~x1808 ~x3499 ~x5190 ~x2653 ~x4344 
324.82/326.09	v ~x121 ~x964 ~x6037 ~x1809 ~x3500 ~x5191 ~x2654 ~x4345 ~x122 ~x965 
324.82/326.09	v ~x6038 ~x1810 ~x3501 ~x5192 ~x2655 ~x4346 ~x123 ~x966 ~x6039 ~x1811 
324.82/326.09	v ~x3502 ~x5193 ~x2656 ~x4347 ~x124 ~x967 ~x6040 ~x1812 ~x3503 ~x5194 
324.82/326.09	v ~x2657 ~x4348 ~x125 ~x968 ~x6041 ~x1813 ~x3504 ~x5195 ~x2658 ~x4349 
324.82/326.09	v ~x126 ~x969 ~x6042 ~x1814 ~x3505 ~x5196 ~x2659 ~x4350 ~x127 ~x970 
324.82/326.09	v ~x6043 ~x1815 ~x3506 ~x5197 ~x2660 ~x4351 ~x128 ~x971 ~x6044 ~x1816 
324.82/326.09	v ~x3507 ~x5198 ~x2661 ~x4352 ~x129 ~x972 ~x6045 ~x1817 ~x3508 ~x5199 
324.82/326.09	v ~x2662 ~x4353 ~x130 ~x973 ~x6046 ~x1818 ~x3509 ~x5200 ~x2663 ~x4354 
324.82/326.09	v ~x131 ~x974 ~x6047 ~x1819 ~x3510 ~x5201 ~x2664 ~x4355 ~x132 ~x975 
324.82/326.09	v ~x6048 ~x1820 ~x3511 ~x5202 ~x2665 ~x4356 ~x133 ~x976 ~x6049 ~x1821 
324.82/326.09	v ~x3512 ~x5203 ~x2666 ~x4357 ~x134 ~x977 ~x6050 ~x1822 ~x3513 ~x5204 
324.82/326.09	v ~x2667 ~x4358 ~x135 ~x978 ~x6051 ~x1823 ~x3514 ~x5205 ~x2668 ~x4359 
324.82/326.09	v ~x136 ~x979 ~x6052 ~x1824 ~x3515 ~x5206 ~x2669 ~x4360 ~x137 ~x980 
324.82/326.09	v ~x6053 ~x1825 ~x3516 ~x5207 ~x2670 ~x4361 ~x138 ~x981 ~x6054 ~x1826 
324.82/326.09	v ~x3517 ~x5208 ~x2671 ~x4362 ~x139 ~x982 ~x6055 ~x1827 ~x3518 ~x5209 
324.82/326.09	v ~x2672 ~x4363 ~x140 ~x983 ~x6056 ~x1828 ~x3519 ~x5210 ~x2673 ~x4364 
324.82/326.09	v ~x141 ~x984 ~x6057 ~x1829 ~x3520 ~x5211 ~x2674 ~x4365 ~x142 ~x985 
324.82/326.09	v ~x6058 ~x1830 ~x3521 ~x5212 ~x2675 ~x4366 ~x143 ~x986 ~x6059 ~x1831 
324.82/326.09	v ~x3522 ~x5213 ~x2676 ~x4367 ~x144 ~x987 ~x6060 ~x1832 ~x3523 ~x5214 
324.82/326.09	v ~x2677 ~x4368 ~x145 ~x988 ~x6061 ~x1833 ~x3524 ~x5215 ~x2678 ~x4369 
324.82/326.09	v ~x146 ~x989 ~x6062 ~x1834 ~x3525 ~x5216 ~x2679 ~x4370 ~x147 ~x990 
324.82/326.09	v ~x6063 ~x1835 ~x3526 ~x5217 ~x2680 ~x4371 ~x148 ~x991 ~x6064 ~x1836 
324.82/326.09	v ~x3527 ~x5218 ~x2681 ~x4372 ~x149 x992 ~x6065 ~x1837 ~x3528 ~x5219 
324.82/326.09	v ~x2682 ~x4373 ~x150 ~x993 ~x6066 ~x1838 ~x3529 ~x5220 ~x2683 ~x4374 
324.82/326.09	v ~x151 ~x994 ~x6067 ~x1839 ~x3530 ~x5221 ~x2684 ~x4375 ~x152 ~x995 
324.82/326.09	v ~x6068 ~x1840 ~x3531 ~x5222 ~x2685 ~x4376 ~x153 ~x996 ~x6069 ~x1841 
324.82/326.09	v ~x3532 ~x5223 ~x2686 ~x4377 ~x154 ~x997 ~x6070 ~x1842 ~x3533 ~x5224 
324.82/326.09	v ~x2687 ~x4378 ~x155 ~x998 ~x6071 ~x1843 ~x3534 ~x5225 ~x2688 ~x4379 
324.82/326.09	v x156 ~x999 ~x6072 ~x1844 ~x3535 ~x5226 ~x2689 ~x4380 ~x157 ~x1000 
324.82/326.09	v ~x6073 ~x1845 ~x3536 ~x5227 ~x2690 ~x4381 ~x158 ~x1001 ~x6074 ~x1846 
324.82/326.09	v ~x3537 ~x5228 ~x2691 ~x4382 ~x159 ~x1002 ~x6075 ~x1847 ~x3538 ~x5229 
324.82/326.09	v ~x2692 ~x4383 ~x160 ~x1003 ~x6076 ~x1848 ~x3539 ~x5230 ~x2693 ~x4384 
324.82/326.09	v ~x161 ~x1004 ~x6077 ~x1849 ~x3540 ~x5231 ~x2694 ~x4385 ~x162 ~x1005 
324.82/326.09	v ~x6078 ~x1850 ~x3541 ~x5232 ~x2695 ~x4386 ~x163 ~x1006 ~x6079 ~x1851 
324.82/326.09	v ~x3542 x5233 ~x2696 ~x4387 ~x164 ~x1007 ~x6080 ~x1852 ~x3543 ~x5234 
324.82/326.09	v ~x2697 ~x4388 ~x165 ~x1008 ~x6081 ~x1853 ~x3544 ~x5235 x2698 ~x4389 
324.82/326.09	v ~x166 ~x1009 ~x6082 ~x1854 ~x3545 ~x5236 ~x2699 ~x4390 ~x167 ~x1010 
324.82/326.09	v ~x6083 ~x1855 ~x3546 ~x5237 ~x2700 ~x4391 ~x168 ~x1011 ~x6084 x1856 
324.82/326.09	v ~x3547 ~x5238 ~x2701 ~x4392 ~x169 ~x1012 ~x6085 ~x1857 ~x3548 ~x5239 
324.82/326.09	v ~x2702 ~x4393 ~x170 ~x1013 ~x6086 ~x1858 ~x3549 ~x5240 ~x2703 ~x4394 
324.82/326.09	v ~x171 ~x1014 ~x6087 ~x1859 ~x3550 ~x5241 ~x2704 ~x4395 ~x172 ~x1015 
324.82/326.09	v ~x6088 ~x1860 ~x3551 ~x5242 ~x2705 ~x4396 ~x173 ~x1016 ~x6089 ~x1861 
324.82/326.09	v ~x3552 ~x5243 ~x2706 ~x4397 ~x174 ~x1017 ~x6090 ~x1862 ~x3553 ~x5244 
324.82/326.09	v ~x2707 ~x4398 ~x175 ~x1018 ~x6091 ~x1863 ~x3554 ~x5245 ~x2708 ~x4399 
324.82/326.09	v ~x176 ~x1019 ~x6092 ~x1864 ~x3555 ~x5246 ~x2709 ~x4400 ~x177 ~x1020 
324.82/326.09	v ~x6093 ~x1865 ~x3556 ~x5247 ~x2710 ~x4401 ~x178 ~x1021 ~x6094 ~x1866 
324.82/326.09	v ~x3557 ~x5248 ~x2711 ~x4402 ~x179 ~x1022 ~x6095 ~x1867 ~x3558 ~x5249 
324.82/326.09	v ~x2712 ~x4403 ~x180 ~x1023 ~x6096 ~x1868 ~x3559 ~x5250 ~x2713 ~x4404 
324.82/326.09	v ~x1024 ~x6097 ~x1869 ~x3560 ~x5251 ~x2714 ~x4405 ~x181 ~x1025 ~x6098 
324.82/326.09	v ~x1870 x3561 ~x5252 ~x2715 ~x4406 ~x182 ~x1026 ~x6099 ~x1871 ~x3562 
324.82/326.09	v ~x5253 ~x2716 ~x4407 ~x183 ~x1027 ~x6100 ~x1872 ~x3563 ~x5254 ~x2717 
324.82/326.09	v ~x4408 ~x184 ~x1028 ~x6101 ~x1873 ~x3564 ~x5255 ~x2718 ~x4409 ~x185 
324.82/326.09	v ~x1029 ~x6102 ~x1874 ~x3565 ~x5256 ~x2719 ~x4410 ~x186 ~x1030 ~x6103 
324.82/326.09	v ~x1875 ~x3566 ~x5257 ~x2720 ~x4411 ~x187 ~x1031 ~x6104 ~x1876 ~x3567 
324.82/326.09	v ~x5258 ~x2721 ~x4412 ~x188 ~x1032 ~x6105 ~x1877 ~x3568 ~x5259 ~x2722 
324.82/326.09	v ~x4413 ~x189 ~x1033 ~x6106 ~x1878 ~x3569 ~x5260 ~x2723 ~x4414 ~x190 
324.82/326.09	v ~x1034 ~x6107 ~x1879 ~x3570 ~x5261 ~x2724 ~x4415 ~x191 ~x1035 ~x6108 
324.82/326.09	v ~x1880 ~x3571 ~x5262 ~x2725 ~x4416 ~x192 ~x1036 ~x6109 ~x1881 ~x3572 
324.82/326.09	v ~x5263 ~x2726 ~x4417 ~x193 ~x1037 ~x6110 ~x1882 ~x3573 ~x5264 ~x2727 
324.82/326.09	v ~x4418 ~x194 ~x1038 ~x6111 ~x1883 ~x3574 ~x5265 ~x2728 ~x4419 ~x195 
324.82/326.09	v ~x1039 ~x6112 ~x1884 ~x3575 ~x5266 ~x2729 ~x4420 ~x196 ~x1040 ~x6113 
324.82/326.09	v ~x1885 ~x3576 ~x5267 ~x2730 ~x4421 ~x197 ~x1041 ~x6114 ~x1886 ~x3577 
324.82/326.09	v ~x5268 ~x2731 ~x4422 ~x198 ~x1042 ~x6115 ~x1887 ~x3578 ~x5269 ~x2732 
324.82/326.09	v ~x4423 ~x199 ~x1043 ~x6116 ~x1888 ~x3579 ~x5270 ~x2733 ~x4424 ~x200 
324.82/326.09	v ~x1044 ~x6117 ~x1889 ~x3580 ~x5271 ~x2734 ~x4425 ~x201 ~x1045 ~x6118 
324.82/326.09	v ~x1890 ~x3581 ~x5272 ~x2735 ~x4426 ~x202 ~x1046 ~x6119 ~x1891 ~x3582 
324.82/326.09	v ~x5273 ~x2736 ~x4427 ~x203 ~x1047 x6120 ~x1892 ~x3583 ~x5274 ~x2737 
324.82/326.09	v ~x4428 ~x204 ~x1048 ~x1893 ~x3584 ~x5275 ~x2738 ~x4429 ~x205 ~x1049 
324.82/326.09	v ~x1894 ~x3585 ~x5276 ~x2739 ~x4430 ~x206 ~x1050 ~x1895 ~x3586 ~x5277 
324.82/326.09	v x2740 x4431 ~x207 ~x1051 ~x1896 ~x3587 ~x5278 ~x2741 ~x4432 ~x208 
324.82/326.09	v ~x1052 ~x1897 ~x3588 ~x5279 ~x2742 ~x4433 ~x209 ~x1053 ~x1898 ~x3589 
324.82/326.09	v ~x5280 ~x2743 ~x4434 ~x210 ~x1054 ~x1899 ~x3590 ~x5281 ~x2744 ~x4435 
324.82/326.09	v ~x211 ~x1055 ~x1900 ~x3591 ~x5282 ~x2745 ~x4436 ~x212 ~x1056 ~x1901 
324.82/326.09	v ~x3592 ~x5283 ~x2746 ~x4437 ~x213 ~x1057 ~x1902 ~x3593 ~x5284 ~x2747 
324.82/326.09	v ~x4438 ~x214 ~x1058 ~x1903 ~x3594 ~x5285 ~x2748 ~x4439 ~x215 ~x1059 
324.82/326.09	v ~x1904 ~x3595 ~x5286 ~x2749 ~x4440 ~x216 ~x1060 ~x1905 ~x3596 ~x5287 
324.82/326.09	v ~x2750 ~x4441 ~x217 ~x1061 ~x1906 ~x3597 ~x5288 ~x2751 ~x4442 ~x218 
324.82/326.09	v ~x1062 ~x1907 ~x3598 ~x5289 ~x2752 ~x4443 ~x219 ~x1063 ~x1908 ~x3599 
324.82/326.09	v ~x5290 ~x2753 ~x4444 ~x220 ~x1064 ~x1909 ~x3600 ~x5291 ~x2754 ~x4445 
324.82/326.09	v ~x221 ~x1065 ~x1910 ~x3601 ~x5292 ~x2755 ~x4446 ~x222 ~x1066 ~x1911 
324.82/326.09	v ~x3602 ~x5293 ~x2756 ~x4447 ~x223 ~x1067 ~x1912 ~x3603 ~x5294 ~x2757 
324.82/326.09	v ~x4448 ~x224 ~x1068 ~x1913 ~x3604 ~x5295 ~x2758 ~x4449 ~x225 ~x1069 
324.82/326.09	v ~x1914 ~x3605 ~x5296 ~x2759 ~x4450 ~x226 ~x1070 ~x1915 ~x3606 ~x5297 
324.82/326.09	v ~x2760 ~x4451 ~x227 ~x1071 ~x1916 ~x3607 ~x5298 ~x2761 ~x4452 ~x228 
324.82/326.09	v ~x1072 ~x1917 ~x3608 ~x5299 ~x2762 ~x4453 ~x229 ~x1073 ~x1918 ~x3609 
324.82/326.09	v ~x5300 ~x2763 ~x4454 ~x230 ~x1074 ~x1919 ~x3610 ~x5301 ~x2764 ~x4455 
324.82/326.09	v ~x231 ~x1075 ~x1920 ~x3611 ~x5302 ~x2765 ~x4456 ~x232 ~x1076 ~x1921 
324.82/326.09	v ~x3612 ~x5303 ~x2766 ~x4457 ~x233 ~x1077 ~x1922 ~x3613 ~x5304 ~x2767 
324.82/326.09	v ~x4458 ~x234 ~x1078 ~x1923 ~x3614 ~x5305 ~x2768 ~x4459 ~x235 ~x1079 
324.82/326.09	v ~x1924 ~x3615 ~x5306 ~x2769 ~x4460 ~x236 ~x1080 ~x1925 ~x3616 ~x5307 
324.82/326.09	v ~x2770 ~x4461 ~x237 ~x1926 ~x3617 ~x5308 ~x2771 ~x4462 ~x238 ~x1927 
324.82/326.09	v ~x3618 ~x5309 ~x1081 ~x2772 ~x4463 ~x239 ~x1928 ~x3619 ~x5310 ~x1082 
324.82/326.09	v ~x2773 ~x4464 x240 ~x1929 ~x3620 ~x5311 ~x1083 ~x2774 ~x4465 ~x241 
324.82/326.09	v ~x1930 ~x3621 ~x5312 ~x1084 ~x2775 ~x4466 ~x242 ~x1931 ~x3622 ~x5313 
324.82/326.09	v ~x1085 ~x2776 ~x4467 ~x243 ~x1932 ~x3623 ~x5314 x1086 ~x2777 ~x4468 
324.82/326.09	v ~x244 ~x1933 ~x3624 ~x5315 ~x1087 ~x2778 ~x4469 x245 ~x1934 ~x3625 
324.82/326.09	v ~x5316 ~x1088 ~x2779 ~x4470 ~x246 ~x1935 ~x3626 ~x5317 ~x1089 ~x2780 
324.82/326.09	v ~x4471 x247 ~x1936 ~x3627 ~x5318 ~x1090 ~x2781 ~x4472 ~x248 ~x1937 
324.82/326.09	v ~x3628 ~x5319 ~x1091 ~x2782 ~x4473 x249 ~x1938 ~x3629 ~x5320 ~x1092 
324.82/326.09	v ~x2783 ~x4474 ~x250 ~x1939 ~x3630 ~x5321 ~x1093 ~x2784 ~x4475 ~x251 
324.82/326.09	v ~x1940 ~x3631 ~x5322 ~x1094 ~x2785 ~x4476 ~x252 ~x1941 ~x3632 ~x5323 
324.82/326.09	v ~x1095 ~x2786 ~x4477 ~x253 ~x1942 ~x3633 ~x5324 ~x1096 ~x2787 ~x4478 
324.82/326.09	v ~x254 ~x1943 ~x3634 ~x5325 ~x1097 ~x2788 ~x4479 ~x255 ~x1944 ~x3635 
324.82/326.09	v ~x5326 ~x1098 ~x2789 ~x4480 ~x256 ~x1945 ~x3636 ~x5327 ~x1099 ~x2790 
324.82/326.09	v ~x4481 ~x257 ~x1946 ~x3637 ~x5328 ~x1100 ~x2791 ~x4482 ~x258 ~x1947 
324.82/326.09	v ~x3638 ~x5329 ~x1101 ~x2792 ~x4483 ~x259 ~x1948 ~x3639 ~x5330 ~x1102 
324.82/326.09	v ~x2793 ~x4484 ~x260 ~x1949 ~x3640 ~x5331 ~x1103 ~x2794 ~x4485 ~x261 
324.82/326.09	v ~x1950 ~x3641 ~x5332 ~x1104 ~x2795 ~x4486 ~x262 ~x1951 ~x3642 ~x5333 
324.82/326.09	v ~x1105 ~x2796 ~x4487 ~x263 ~x1952 ~x3643 ~x5334 ~x1106 ~x2797 ~x4488 
324.82/326.09	v ~x264 ~x1953 ~x3644 ~x5335 ~x1107 ~x2798 ~x4489 ~x265 ~x1954 ~x3645 
324.82/326.09	v ~x5336 ~x1108 ~x2799 ~x4490 ~x266 ~x1955 ~x3646 ~x5337 ~x1109 ~x2800 
324.82/326.09	v ~x4491 ~x267 ~x1956 ~x3647 ~x5338 ~x1110 ~x2801 ~x4492 ~x268 ~x1957 
324.82/326.09	v ~x3648 ~x5339 ~x1111 ~x2802 ~x4493 ~x269 ~x1958 ~x3649 ~x5340 ~x1112 
324.82/326.09	v ~x2803 ~x4494 ~x270 ~x1959 ~x3650 ~x5341 ~x1113 ~x2804 ~x4495 ~x1960 
324.82/326.09	v ~x3651 ~x5342 ~x1114 ~x2805 ~x4496 ~x271 ~x1961 x3652 ~x5343 ~x1115 
324.82/326.09	v ~x2806 ~x4497 ~x272 ~x1962 ~x3653 ~x5344 ~x1116 ~x2807 ~x4498 ~x273 
324.82/326.09	v ~x1963 ~x3654 x5345 ~x1117 ~x2808 ~x4499 ~x274 ~x1964 ~x3655 ~x5346 
324.82/326.09	v ~x1118 ~x2809 ~x4500 ~x275 ~x1965 ~x3656 ~x5347 ~x1119 ~x2810 ~x4501 
324.82/326.09	v ~x276 ~x1966 ~x3657 ~x5348 ~x1120 ~x2811 ~x4502 ~x277 ~x1967 ~x3658 
324.82/326.09	v x5349 ~x1121 ~x2812 ~x4503 ~x278 ~x1968 ~x3659 ~x5350 ~x1122 ~x2813 
324.82/326.09	v ~x4504 ~x279 ~x1969 ~x3660 x5351 ~x1123 ~x2814 ~x4505 ~x280 x1970 
324.82/326.09	v ~x3661 ~x5352 ~x1124 ~x2815 ~x4506 ~x281 ~x1971 ~x3662 ~x5353 ~x1125 
324.82/326.09	v ~x2816 ~x4507 ~x282 ~x1972 ~x3663 ~x5354 ~x1126 ~x2817 ~x4508 ~x283 
324.82/326.09	v ~x1973 ~x3664 ~x5355 ~x1127 ~x2818 ~x4509 ~x284 ~x1974 ~x3665 ~x5356 
324.82/326.09	v ~x1128 ~x2819 ~x4510 ~x285 ~x1975 ~x3666 ~x5357 ~x1129 ~x2820 ~x4511 
324.82/326.09	v ~x286 ~x1976 ~x3667 ~x5358 ~x1130 ~x2821 ~x4512 ~x287 ~x1977 ~x3668 
324.82/326.09	v ~x5359 ~x1131 ~x2822 ~x4513 ~x288 ~x1978 ~x3669 ~x5360 ~x1132 ~x2823 
324.82/326.09	v ~x4514 ~x289 ~x1979 ~x3670 ~x5361 ~x1133 ~x2824 ~x4515 ~x290 ~x1980 
324.82/326.09	v ~x3671 ~x5362 ~x1134 ~x2825 ~x4516 ~x291 ~x1981 ~x3672 ~x5363 ~x1135 
324.82/326.09	v ~x2826 ~x4517 ~x292 ~x1982 ~x3673 ~x5364 ~x1136 ~x2827 ~x4518 ~x293 
324.82/326.09	v ~x1983 ~x3674 ~x5365 ~x1137 ~x2828 ~x4519 ~x294 ~x1984 ~x3675 ~x5366 
324.82/326.09	v ~x1138 ~x2829 ~x4520 ~x295 ~x1985 ~x3676 ~x5367 ~x1139 ~x2830 ~x4521 
324.82/326.09	v ~x296 ~x1986 ~x3677 ~x5368 ~x1140 ~x2831 ~x4522 ~x297 ~x1987 ~x3678 
324.82/326.09	v ~x5369 ~x1141 ~x2832 ~x4523 ~x298 ~x1988 ~x3679 ~x5370 ~x1142 x2833 
324.82/326.09	v ~x4524 ~x299 ~x1989 ~x3680 ~x5371 ~x1143 ~x2834 ~x4525 ~x300 ~x1990 
324.82/326.09	v ~x3681 ~x5372 ~x1144 ~x2835 ~x4526 ~x301 ~x1991 ~x3682 ~x5373 ~x1145 
324.82/326.09	v ~x2836 ~x4527 ~x302 ~x1992 ~x3683 ~x5374 ~x1146 ~x2837 ~x4528 ~x303 
324.82/326.09	v ~x1993 ~x3684 ~x5375 ~x1147 ~x2838 ~x4529 ~x304 ~x1994 ~x3685 ~x5376 
324.82/326.09	v ~x1148 ~x2839 ~x4530 ~x305 ~x1995 ~x3686 ~x5377 ~x1149 ~x2840 ~x4531 
324.82/326.09	v ~x306 ~x1996 ~x3687 ~x5378 ~x1150 ~x2841 ~x4532 ~x307 ~x1997 ~x3688 
324.82/326.09	v ~x5379 ~x1151 ~x2842 ~x4533 ~x308 ~x1998 ~x3689 ~x5380 ~x1152 ~x2843 
324.82/326.09	v ~x4534 ~x309 ~x1999 ~x3690 ~x5381 ~x1153 ~x2844 ~x4535 ~x310 ~x2000 
324.82/326.09	v ~x3691 ~x5382 ~x1154 ~x2845 ~x4536 ~x311 ~x2001 ~x3692 ~x5383 ~x1155 
324.82/326.09	v ~x2846 ~x4537 ~x312 ~x2002 ~x3693 ~x5384 ~x1156 ~x2847 ~x4538 ~x313 
324.82/326.09	v ~x2003 ~x3694 ~x5385 ~x1157 ~x2848 ~x4539 ~x314 ~x2004 ~x3695 ~x5386 
324.82/326.09	v ~x1158 ~x2849 ~x4540 ~x315 ~x2005 ~x3696 ~x5387 ~x1159 ~x2850 ~x4541 
324.82/326.09	v ~x316 ~x2006 ~x3697 ~x5388 ~x1160 ~x2851 ~x4542 ~x317 ~x2007 ~x3698 
324.82/326.09	v ~x5389 ~x1161 ~x2852 ~x4543 ~x318 ~x2008 ~x3699 ~x5390 ~x1162 ~x2853 
324.82/326.09	v ~x4544 ~x319 ~x2009 ~x3700 ~x5391 ~x1163 ~x2854 ~x4545 ~x320 ~x2010 
324.82/326.09	v ~x3701 ~x5392 ~x1164 ~x2855 ~x4546 ~x321 ~x2011 ~x3702 ~x5393 ~x1165 
324.82/326.09	v ~x2856 ~x4547 ~x322 ~x2012 ~x3703 ~x5394 ~x1166 ~x2857 ~x4548 ~x323 
324.82/326.09	v ~x2013 ~x3704 ~x5395 ~x1167 ~x2858 ~x4549 ~x324 ~x2014 ~x3705 ~x5396 
324.82/326.09	v ~x1168 ~x2859 ~x4550 ~x325 ~x2015 ~x3706 ~x5397 ~x1169 ~x2860 ~x4551 
324.82/326.09	v ~x326 ~x2016 ~x3707 ~x5398 ~x1170 ~x2861 ~x4552 ~x327 ~x2017 ~x3708 
324.82/326.09	v ~x5399 ~x1171 ~x2862 ~x4553 ~x328 ~x2018 ~x3709 ~x5400 ~x1172 ~x2863 
324.82/326.09	v ~x4554 x329 ~x2019 ~x3710 ~x5401 ~x1173 ~x2864 ~x4555 ~x330 ~x2020 
324.82/326.09	v ~x3711 ~x5402 ~x1174 ~x2865 ~x4556 ~x331 ~x2021 ~x3712 ~x5403 ~x1175 
324.82/326.09	v ~x2866 ~x4557 ~x332 ~x2022 ~x3713 ~x5404 ~x1176 ~x2867 x4558 ~x333 
324.82/326.09	v ~x2023 ~x3714 ~x5405 ~x1177 ~x2868 ~x4559 ~x334 ~x2024 ~x3715 ~x5406 
324.82/326.09	v ~x1178 ~x2869 ~x4560 ~x335 ~x2025 ~x3716 ~x5407 ~x1179 ~x2870 ~x4561 
324.82/326.09	v ~x336 ~x2026 ~x3717 ~x5408 ~x1180 ~x2871 ~x4562 ~x337 ~x2027 ~x3718 
324.82/326.09	v ~x5409 ~x1181 ~x2872 ~x4563 ~x338 ~x2028 ~x3719 ~x5410 ~x1182 ~x2873 
324.82/326.09	v ~x4564 ~x339 ~x2029 x3720 ~x5411 ~x1183 ~x2874 ~x4565 ~x340 ~x2030 
324.82/326.09	v ~x3721 ~x5412 ~x1184 ~x2875 ~x4566 ~x341 ~x2031 ~x3722 ~x5413 ~x1185 
324.82/326.09	v ~x2876 ~x4567 ~x342 ~x2032 ~x3723 ~x5414 ~x1186 ~x2877 ~x4568 ~x343 
324.82/326.09	v ~x2033 ~x3724 ~x5415 ~x1187 ~x2878 ~x4569 ~x344 ~x2034 ~x3725 ~x5416 
324.82/326.09	v ~x1188 ~x2879 ~x4570 ~x345 ~x2035 ~x3726 ~x5417 ~x1189 ~x2880 ~x4571 
324.82/326.09	v ~x346 ~x2036 ~x3727 ~x5418 ~x1190 ~x2881 ~x4572 ~x347 ~x2037 ~x3728 
324.82/326.09	v ~x5419 ~x1191 ~x2882 ~x4573 ~x348 ~x2038 ~x3729 ~x5420 ~x1192 ~x2883 
324.82/326.09	v ~x4574 ~x349 ~x2039 ~x3730 ~x5421 ~x1193 ~x2884 ~x4575 ~x350 ~x2040 
324.82/326.09	v ~x3731 ~x5422 ~x1194 ~x2885 ~x4576 ~x351 ~x2041 ~x3732 ~x5423 ~x1195 
324.82/326.09	v ~x2886 ~x4577 ~x352 ~x2042 ~x3733 ~x5424 ~x1196 ~x2887 ~x4578 ~x353 
324.82/326.09	v ~x2043 ~x3734 ~x5425 ~x1197 ~x2888 ~x4579 ~x354 ~x2044 ~x3735 ~x5426 
324.82/326.09	v ~x1198 ~x2889 ~x4580 ~x355 ~x2045 ~x3736 ~x5427 ~x1199 ~x2890 ~x4581 
324.82/326.09	v ~x356 ~x2046 ~x3737 ~x5428 ~x1200 ~x2891 ~x4582 ~x357 ~x2047 ~x3738 
324.82/326.09	v ~x5429 ~x1201 ~x2892 ~x4583 ~x358 ~x2048 ~x3739 ~x5430 ~x1202 ~x2893 
324.82/326.09	v ~x4584 ~x359 ~x2049 ~x3740 ~x5431 ~x1203 ~x2894 ~x4585 ~x360 ~x2050 
324.82/326.09	v ~x3741 ~x5432 ~x1204 ~x2895 ~x4586 ~x361 ~x2051 ~x3742 ~x5433 ~x1205 
324.82/326.09	v ~x2896 ~x4587 ~x362 ~x2052 ~x3743 ~x5434 ~x1206 ~x2897 ~x4588 ~x363 
324.82/326.09	v ~x2053 ~x3744 ~x5435 ~x1207 ~x2898 ~x4589 ~x364 ~x2054 ~x3745 ~x5436 
324.82/326.09	v ~x1208 ~x2899 ~x4590 ~x365 ~x2055 ~x3746 ~x5437 ~x1209 ~x2900 ~x4591 
324.82/326.09	v ~x366 ~x2056 ~x3747 ~x5438 ~x1210 ~x2901 ~x4592 ~x367 ~x2057 ~x3748 
324.82/326.09	v ~x5439 ~x1211 ~x2902 ~x4593 ~x368 ~x2058 ~x3749 ~x5440 ~x1212 ~x2903 
324.82/326.09	v ~x4594 ~x369 ~x2059 ~x3750 ~x5441 ~x1213 ~x2904 ~x4595 ~x370 ~x2060 
324.82/326.09	v ~x3751 ~x5442 ~x1214 ~x2905 ~x4596 ~x371 x2061 ~x3752 ~x5443 ~x1215 
324.82/326.09	v ~x2906 ~x4597 ~x372 ~x2062 ~x3753 ~x5444 ~x1216 ~x2907 ~x4598 ~x373 
324.82/326.09	v ~x2063 ~x3754 ~x5445 ~x1217 ~x2908 ~x4599 ~x374 ~x2064 ~x3755 ~x5446 
324.82/326.09	v ~x1218 ~x2909 ~x4600 ~x375 ~x2065 ~x3756 ~x5447 ~x1219 ~x2910 ~x4601 
324.82/326.09	v ~x376 ~x2066 ~x3757 ~x5448 ~x1220 x2911 ~x4602 ~x377 ~x2067 ~x3758 
324.82/326.09	v ~x5449 ~x1221 ~x2912 ~x4603 ~x378 ~x2068 ~x3759 ~x5450 ~x1222 ~x2913 
324.82/326.09	v ~x4604 ~x379 ~x2069 ~x3760 ~x5451 ~x1223 ~x2914 ~x4605 ~x380 ~x2070 
324.82/326.09	v ~x3761 ~x5452 ~x1224 ~x2915 ~x4606 ~x381 ~x2071 ~x3762 ~x5453 ~x1225 
324.82/326.09	v ~x2916 ~x4607 ~x382 ~x2072 ~x3763 x5454 ~x1226 ~x2917 ~x4608 ~x383 
324.82/326.09	v ~x2073 ~x3764 ~x5455 ~x1227 ~x2918 ~x4609 ~x384 ~x2074 ~x3765 ~x5456 
324.82/326.09	v ~x1228 ~x2919 ~x4610 ~x385 ~x2075 ~x3766 ~x5457 ~x1229 ~x2920 ~x4611 
324.82/326.09	v ~x386 ~x2076 ~x3767 ~x5458 ~x1230 ~x2921 ~x4612 ~x387 ~x2077 ~x3768 
324.82/326.09	v ~x5459 ~x1231 ~x2922 ~x4613 ~x388 ~x2078 ~x3769 ~x5460 ~x1232 ~x2923 
324.82/326.09	v ~x4614 ~x389 ~x2079 ~x3770 ~x5461 ~x1233 x2924 ~x4615 ~x390 ~x2080 
324.82/326.09	v ~x3771 ~x5462 ~x1234 ~x2925 ~x4616 ~x391 ~x2081 ~x3772 ~x5463 ~x1235 
324.82/326.09	v ~x2926 ~x4617 ~x392 ~x2082 ~x3773 ~x5464 ~x1236 ~x2927 ~x4618 ~x393 
324.82/326.09	v ~x2083 ~x3774 ~x5465 ~x1237 ~x2928 ~x4619 ~x394 ~x2084 ~x3775 ~x5466 
324.82/326.09	v ~x1238 ~x2929 ~x4620 ~x395 ~x2085 ~x3776 ~x5467 ~x1239 ~x2930 ~x4621 
324.82/326.09	v ~x396 ~x2086 ~x3777 ~x5468 ~x1240 ~x2931 ~x4622 ~x397 ~x2087 ~x3778 
324.82/326.09	v ~x5469 ~x1241 ~x2932 ~x4623 ~x398 ~x2088 ~x3779 ~x5470 ~x1242 ~x2933 
324.82/326.09	v ~x4624 ~x399 ~x2089 ~x3780 ~x5471 x1243 ~x2934 ~x4625 ~x400 ~x2090 
324.82/326.09	v ~x3781 ~x5472 ~x1244 ~x2935 ~x4626 ~x401 ~x2091 ~x3782 ~x5473 ~x1245 
324.82/326.09	v ~x2936 ~x4627 ~x402 ~x2092 ~x3783 ~x5474 ~x1246 ~x2937 ~x4628 ~x403 
324.82/326.09	v ~x2093 ~x3784 ~x5475 ~x1247 ~x2938 ~x4629 ~x404 ~x2094 ~x3785 ~x5476 
324.82/326.09	v ~x1248 ~x2939 ~x4630 ~x405 ~x2095 ~x3786 ~x5477 ~x1249 ~x2940 ~x4631 
324.82/326.09	v ~x406 ~x2096 ~x3787 ~x5478 ~x1250 ~x2941 ~x4632 ~x407 ~x2097 ~x3788 
324.82/326.09	v ~x5479 ~x1251 ~x2942 ~x4633 ~x408 ~x2098 ~x3789 ~x5480 ~x1252 ~x2943 
324.82/326.09	v ~x4634 ~x409 ~x2099 ~x3790 ~x5481 ~x1253 ~x2944 ~x4635 ~x410 ~x2100 
324.82/326.09	v ~x3791 ~x5482 ~x1254 ~x2945 ~x4636 ~x411 ~x2101 ~x3792 ~x5483 ~x1255 
324.82/326.09	v ~x2946 ~x4637 ~x412 ~x2102 ~x3793 ~x5484 ~x1256 ~x2947 ~x4638 ~x413 
324.82/326.09	v ~x2103 ~x3794 ~x5485 ~x1257 ~x2948 ~x4639 ~x414 ~x2104 ~x3795 ~x5486 
324.82/326.09	v ~x1258 ~x2949 ~x4640 ~x415 ~x2105 ~x3796 ~x5487 ~x1259 ~x2950 ~x4641 
324.82/326.09	v ~x416 ~x2106 ~x3797 ~x5488 ~x1260 ~x2951 ~x4642 ~x417 ~x2107 ~x3798 
324.82/326.09	v ~x5489 ~x1261 ~x2952 ~x4643 ~x418 ~x2108 ~x3799 ~x5490 ~x1262 ~x2953 
324.82/326.09	v ~x4644 ~x419 ~x2109 ~x3800 ~x5491 ~x1263 ~x2954 x4645 ~x420 ~x2110 
324.82/326.09	v ~x3801 ~x5492 ~x1264 ~x2955 ~x4646 ~x421 ~x2111 ~x3802 ~x5493 ~x1265 
324.82/326.09	v ~x2956 x4647 ~x422 ~x2112 ~x3803 ~x5494 ~x1266 ~x2957 ~x4648 ~x423 
324.82/326.09	v ~x2113 x3804 ~x5495 ~x1267 ~x2958 ~x4649 ~x424 ~x2114 ~x3805 ~x5496 
324.82/326.09	v ~x1268 ~x2959 ~x4650 ~x425 ~x2115 ~x3806 ~x5497 ~x1269 ~x2960 ~x4651 
324.82/326.09	v ~x426 ~x2116 ~x3807 ~x5498 ~x1270 ~x2961 ~x4652 ~x427 ~x2117 ~x3808 
324.82/326.09	v ~x5499 ~x1271 ~x2962 ~x4653 ~x428 ~x2118 ~x3809 ~x5500 ~x1272 ~x2963 
324.82/326.09	v ~x4654 ~x429 ~x2119 ~x3810 ~x5501 ~x1273 ~x2964 ~x4655 x430 ~x2120 
324.82/326.09	v ~x3811 ~x5502 ~x1274 ~x2965 ~x4656 ~x431 ~x2121 ~x3812 ~x5503 ~x1275 
324.82/326.09	v ~x2966 ~x4657 ~x432 ~x2122 ~x3813 ~x5504 ~x1276 ~x2967 ~x4658 ~x433 
324.82/326.09	v ~x2123 ~x3814 ~x5505 ~x1277 ~x2968 ~x4659 ~x434 ~x2124 ~x3815 ~x5506 
324.82/326.09	v ~x1278 ~x2969 ~x4660 ~x435 ~x2125 ~x3816 ~x5507 ~x1279 ~x2970 ~x4661 
324.82/326.09	v ~x436 ~x2126 ~x3817 ~x5508 ~x1280 ~x2971 x4662 ~x437 ~x2127 ~x3818 
324.82/326.09	v ~x5509 ~x1281 ~x2972 ~x4663 ~x438 ~x2128 ~x3819 ~x5510 ~x1282 ~x2973 
324.82/326.09	v ~x4664 ~x439 ~x2129 ~x3820 ~x5511 ~x1283 ~x2974 ~x4665 ~x440 ~x2130 
324.82/326.09	v ~x3821 ~x5512 ~x1284 ~x2975 ~x4666 ~x441 ~x2131 ~x3822 ~x5513 ~x1285 
324.82/326.09	v ~x2976 ~x4667 ~x442 ~x2132 ~x3823 ~x5514 ~x1286 ~x2977 ~x4668 ~x443 
324.82/326.09	v ~x2133 ~x3824 ~x5515 ~x1287 ~x2978 ~x4669 ~x444 ~x2134 ~x3825 ~x5516 
324.82/326.09	v ~x1288 ~x2979 ~x4670 ~x445 ~x2135 ~x3826 ~x5517 ~x1289 ~x2980 ~x4671 
324.82/326.09	v ~x446 ~x2136 ~x3827 ~x5518 ~x1290 ~x2981 ~x4672 ~x447 ~x2137 ~x3828 
324.82/326.09	v ~x5519 ~x1291 ~x2982 ~x4673 ~x448 ~x2138 ~x3829 ~x5520 ~x1292 ~x2983 
324.82/326.09	v ~x4674 ~x449 ~x2139 ~x3830 ~x5521 ~x1293 ~x2984 ~x4675 ~x450 ~x2140 
324.82/326.09	v ~x3831 ~x5522 ~x1294 ~x2985 ~x4676 ~x451 ~x2141 ~x3832 ~x5523 ~x1295 
324.82/326.09	v ~x2986 ~x4677 ~x452 ~x2142 ~x3833 ~x5524 ~x1296 ~x2987 ~x4678 ~x453 
324.82/326.09	v ~x2143 ~x3834 ~x5525 ~x1297 ~x2988 ~x4679 ~x454 ~x2144 ~x3835 x5526 
324.82/326.09	v ~x1298 ~x2989 ~x4680 ~x455 ~x2145 ~x3836 ~x5527 ~x1299 ~x2990 ~x4681 
324.82/326.09	v ~x456 ~x2146 ~x3837 x5528 ~x1300 ~x2991 ~x4682 ~x457 ~x2147 ~x3838 
324.82/326.10	v ~x5529 ~x1301 ~x2992 ~x4683 ~x458 ~x2148 ~x3839 ~x5530 ~x1302 ~x2993 
324.82/326.10	v ~x4684 ~x459 ~x2149 ~x3840 ~x5531 ~x1303 ~x2994 ~x4685 ~x460 ~x2150 
324.82/326.10	v ~x3841 ~x5532 ~x1304 ~x2995 ~x4686 ~x461 ~x2151 ~x3842 ~x5533 ~x1305 
324.82/326.10	v ~x2996 ~x4687 ~x462 x2152 ~x3843 ~x5534 ~x1306 ~x2997 ~x4688 ~x463 
324.82/326.10	v ~x2153 ~x3844 ~x5535 ~x1307 ~x2998 ~x4689 ~x464 ~x2154 ~x3845 ~x5536 
324.82/326.10	v ~x1308 ~x2999 ~x4690 ~x465 ~x2155 ~x3846 ~x5537 ~x1309 ~x3000 ~x4691 
324.82/326.10	v ~x466 ~x2156 ~x3847 ~x5538 ~x1310 ~x3001 ~x4692 ~x467 ~x2157 ~x3848 
324.82/326.10	v ~x5539 ~x1311 ~x3002 ~x4693 ~x468 ~x2158 ~x3849 ~x5540 ~x1312 ~x3003 
324.82/326.10	v ~x4694 ~x469 ~x2159 ~x3850 ~x5541 ~x1313 ~x3004 ~x4695 ~x470 ~x2160 
324.82/326.10	v ~x3851 ~x5542 ~x1314 ~x3005 ~x4696 ~x471 ~x3852 ~x5543 ~x1315 ~x3006 
324.82/326.10	v ~x4697 ~x472 ~x3853 ~x5544 ~x1316 ~x3007 ~x4698 ~x2161 ~x473 ~x3854 
324.82/326.10	v ~x5545 ~x1317 ~x3008 ~x4699 ~x2162 ~x474 ~x3855 ~x5546 ~x1318 ~x3009 
324.82/326.10	v ~x4700 ~x2163 ~x475 ~x3856 ~x5547 ~x1319 ~x3010 ~x4701 ~x2164 ~x476 
324.82/326.10	v ~x3857 ~x5548 ~x1320 ~x3011 ~x4702 ~x2165 ~x477 ~x3858 ~x5549 ~x1321 
324.82/326.10	v ~x3012 ~x4703 ~x2166 ~x478 ~x3859 ~x5550 ~x1322 ~x3013 ~x4704 ~x2167 
324.82/326.10	v ~x479 ~x3860 ~x5551 ~x1323 ~x3014 ~x4705 ~x2168 ~x480 ~x3861 ~x5552 
324.82/326.10	v ~x1324 x3015 ~x4706 ~x2169 ~x481 ~x3862 ~x5553 ~x1325 ~x3016 ~x4707 
324.82/326.10	v ~x2170 ~x482 ~x3863 ~x5554 ~x1326 ~x3017 ~x4708 ~x2171 ~x483 ~x3864 
324.82/326.10	v ~x5555 ~x1327 ~x3018 ~x4709 ~x2172 ~x484 ~x3865 ~x5556 ~x1328 ~x3019 
324.82/326.10	v ~x4710 ~x2173 ~x485 ~x3866 ~x5557 ~x1329 ~x3020 ~x4711 ~x2174 ~x486 
324.82/326.10	v ~x3867 ~x5558 ~x1330 ~x3021 ~x4712 ~x2175 ~x487 ~x3868 ~x5559 ~x1331 
324.82/326.10	v ~x3022 x4713 ~x2176 ~x488 ~x3869 ~x5560 ~x1332 ~x3023 ~x4714 ~x2177 
324.82/326.10	v ~x489 ~x3870 ~x5561 ~x1333 ~x3024 ~x4715 ~x2178 ~x490 ~x3871 ~x5562 
324.82/326.10	v x1334 ~x3025 ~x4716 ~x2179 ~x491 ~x3872 ~x5563 ~x1335 ~x3026 ~x4717 
324.82/326.10	v ~x2180 ~x492 ~x3873 ~x5564 ~x1336 ~x3027 ~x4718 ~x2181 ~x493 ~x3874 
324.82/326.10	v ~x5565 ~x1337 ~x3028 ~x4719 ~x2182 ~x494 ~x3875 ~x5566 ~x1338 ~x3029 
324.82/326.10	v ~x4720 ~x2183 ~x495 ~x3876 ~x5567 ~x1339 ~x3030 ~x4721 ~x2184 ~x496 
324.82/326.10	v ~x3877 ~x5568 ~x1340 ~x3031 ~x4722 ~x2185 ~x497 ~x3878 ~x5569 ~x1341 
324.82/326.10	v ~x3032 ~x4723 ~x2186 ~x498 ~x3879 ~x5570 ~x1342 ~x3033 ~x4724 ~x2187 
324.82/326.10	v ~x499 ~x3880 ~x5571 ~x1343 ~x3034 ~x4725 ~x2188 ~x500 ~x3881 ~x5572 
324.82/326.10	v ~x1344 ~x3035 ~x4726 ~x2189 ~x501 ~x3882 ~x5573 ~x1345 ~x3036 ~x4727 
324.82/326.10	v ~x2190 ~x502 ~x3883 ~x5574 ~x1346 ~x3037 ~x4728 ~x2191 ~x503 ~x3884 
324.82/326.10	v ~x5575 ~x1347 ~x3038 ~x4729 ~x2192 ~x504 x3885 ~x5576 ~x1348 ~x3039 
324.82/326.10	v ~x4730 ~x2193 ~x505 ~x3886 ~x5577 ~x1349 ~x3040 ~x4731 ~x2194 ~x506 
324.82/326.10	v x3887 ~x5578 ~x1350 ~x3041 ~x4732 ~x2195 ~x507 ~x3888 ~x5579 ~x1351 
324.82/326.10	v ~x3042 ~x4733 ~x2196 ~x508 ~x3889 ~x5580 ~x1352 ~x3043 ~x4734 ~x2197 
324.82/326.10	v ~x509 ~x3890 ~x5581 ~x1353 ~x3044 ~x4735 ~x2198 ~x510 ~x3891 ~x5582 
324.82/326.10	v ~x1354 ~x3045 ~x4736 ~x2199 ~x511 ~x3892 ~x5583 ~x1355 ~x3046 ~x4737 
324.82/326.10	v ~x2200 ~x512 x3893 ~x5584 ~x1356 ~x3047 ~x4738 ~x2201 ~x513 ~x3894 
324.82/326.10	v ~x5585 ~x1357 ~x3048 ~x4739 ~x2202 ~x514 x3895 ~x5586 ~x1358 ~x3049 
324.82/326.10	v ~x4740 ~x2203 ~x515 ~x3896 ~x5587 ~x1359 ~x3050 ~x4741 ~x2204 ~x516 
324.82/326.10	v x3897 ~x5588 ~x1360 ~x3051 ~x4742 ~x2205 ~x517 ~x3898 ~x5589 ~x1361 
324.82/326.10	v ~x3052 ~x4743 ~x2206 x518 x3899 ~x5590 ~x1362 ~x3053 ~x4744 ~x2207 
324.82/326.10	v ~x519 ~x3900 ~x5591 ~x1363 ~x3054 ~x4745 ~x2208 ~x520 ~x3901 ~x5592 
324.82/326.10	v ~x1364 ~x3055 ~x4746 ~x2209 ~x521 ~x3902 ~x5593 ~x1365 ~x3056 ~x4747 
324.82/326.10	v ~x2210 ~x522 ~x3903 ~x5594 ~x1366 ~x3057 ~x4748 ~x2211 ~x523 ~x3904 
324.82/326.10	v ~x5595 ~x1367 ~x3058 ~x4749 ~x2212 ~x524 ~x3905 ~x5596 ~x1368 ~x3059 
324.82/326.10	v ~x4750 ~x2213 ~x525 ~x3906 ~x5597 ~x1369 ~x3060 ~x4751 ~x2214 ~x526 
324.82/326.10	v ~x3907 ~x5598 ~x1370 ~x3061 ~x4752 ~x2215 ~x527 ~x3908 ~x5599 ~x1371 
324.82/326.10	v ~x3062 ~x4753 ~x2216 ~x528 ~x3909 ~x5600 ~x1372 ~x3063 ~x4754 ~x2217 
324.82/326.10	v ~x529 ~x3910 ~x5601 ~x1373 ~x3064 ~x4755 ~x2218 ~x530 ~x3911 ~x5602 
324.82/326.10	v ~x1374 ~x3065 ~x4756 ~x2219 ~x531 ~x3912 ~x5603 ~x1375 ~x3066 ~x4757 
324.82/326.10	v ~x2220 ~x532 ~x3913 ~x5604 ~x1376 ~x3067 ~x4758 ~x2221 ~x533 ~x3914 
324.82/326.10	v ~x5605 ~x1377 ~x3068 ~x4759 ~x2222 ~x534 ~x3915 ~x5606 ~x1378 ~x3069 
324.82/326.10	v ~x4760 ~x2223 ~x535 ~x3916 ~x5607 ~x1379 ~x3070 ~x4761 ~x2224 ~x536 
324.82/326.10	v ~x3917 ~x5608 ~x1380 ~x3071 ~x4762 ~x2225 ~x537 ~x3918 ~x5609 ~x1381 
324.82/326.10	v ~x3072 ~x4763 ~x2226 ~x538 ~x3919 ~x5610 ~x1382 ~x3073 ~x4764 ~x2227 
324.82/326.10	v ~x539 ~x3920 ~x5611 ~x1383 ~x3074 ~x4765 ~x2228 ~x540 ~x3921 ~x5612 
324.82/326.10	v ~x1384 ~x3075 ~x4766 ~x2229 ~x3922 ~x5613 ~x1385 ~x3076 ~x4767 ~x2230 
324.82/326.10	v ~x541 ~x3923 x5614 ~x1386 ~x3077 ~x4768 ~x2231 ~x542 ~x3924 ~x5615 
324.82/326.10	v ~x1387 ~x3078 x4769 ~x2232 ~x543 ~x3925 ~x5616 ~x1388 ~x3079 ~x4770 
324.82/326.10	v ~x2233 ~x544 ~x3926 ~x5617 ~x1389 ~x3080 ~x4771 ~x2234 ~x545 ~x3927 
324.82/326.10	v ~x5618 ~x1390 ~x3081 ~x4772 ~x2235 ~x546 ~x3928 ~x5619 ~x1391 ~x3082 
324.82/326.10	v ~x4773 ~x2236 ~x547 ~x3929 ~x5620 ~x1392 ~x3083 ~x4774 ~x2237 ~x548 
324.82/326.10	v ~x3930 ~x5621 ~x1393 ~x3084 ~x4775 ~x2238 ~x549 ~x3931 x5622 ~x1394 
324.82/326.10	v ~x3085 ~x4776 ~x2239 ~x550 ~x3932 ~x5623 ~x1395 ~x3086 ~x4777 ~x2240 
324.82/326.10	v ~x551 ~x3933 ~x5624 ~x1396 ~x3087 ~x4778 ~x2241 ~x552 ~x3934 ~x5625 
324.82/326.10	v ~x1397 ~x3088 ~x4779 ~x2242 ~x553 ~x3935 ~x5626 ~x1398 ~x3089 ~x4780 
324.82/326.10	v x2243 ~x554 ~x3936 ~x5627 ~x1399 ~x3090 ~x4781 ~x2244 ~x555 ~x3937 
324.82/326.10	v ~x5628 ~x1400 ~x3091 ~x4782 ~x2245 ~x556 ~x3938 ~x5629 ~x1401 ~x3092 
324.82/326.10	v ~x4783 ~x2246 ~x557 ~x3939 ~x5630 ~x1402 ~x3093 ~x4784 ~x2247 ~x558 
324.82/326.10	v ~x3940 ~x5631 ~x1403 ~x3094 ~x4785 ~x2248 ~x559 ~x3941 ~x5632 ~x1404 
324.82/326.10	v ~x3095 ~x4786 ~x2249 ~x560 ~x3942 ~x5633 ~x1405 ~x3096 ~x4787 ~x2250 
324.82/326.10	v ~x561 ~x3943 ~x5634 ~x1406 ~x3097 ~x4788 ~x2251 ~x562 ~x3944 ~x5635 
324.82/326.10	v ~x1407 ~x3098 ~x4789 ~x2252 ~x563 ~x3945 ~x5636 ~x1408 ~x3099 ~x4790 
324.82/326.10	v ~x2253 ~x564 ~x3946 ~x5637 ~x1409 ~x3100 ~x4791 ~x2254 ~x565 ~x3947 
324.82/326.10	v ~x5638 ~x1410 ~x3101 ~x4792 ~x2255 ~x566 ~x3948 ~x5639 ~x1411 ~x3102 
324.82/326.10	v ~x4793 ~x2256 ~x567 ~x3949 ~x5640 ~x1412 ~x3103 ~x4794 ~x2257 ~x568 
324.82/326.10	v ~x3950 ~x5641 ~x1413 ~x3104 ~x4795 ~x2258 ~x569 ~x3951 ~x5642 ~x1414 
324.82/326.10	v ~x3105 ~x4796 ~x2259 ~x570 ~x3952 ~x5643 ~x1415 x3106 ~x4797 ~x2260 
324.82/326.10	v ~x571 ~x3953 ~x5644 ~x1416 ~x3107 ~x4798 ~x2261 ~x572 ~x3954 ~x5645 
324.82/326.10	v ~x1417 ~x3108 ~x4799 ~x2262 ~x573 ~x3955 ~x5646 ~x1418 ~x3109 ~x4800 
324.82/326.10	v ~x2263 ~x574 ~x3956 ~x5647 ~x1419 ~x3110 ~x4801 ~x2264 ~x575 ~x3957 
324.82/326.10	v ~x5648 ~x1420 ~x3111 x4802 ~x2265 ~x576 ~x3958 ~x5649 ~x1421 ~x3112 
324.82/326.10	v ~x4803 ~x2266 ~x577 ~x3959 ~x5650 ~x1422 ~x3113 ~x4804 ~x2267 ~x578 
324.82/326.10	v ~x3960 ~x5651 ~x1423 ~x3114 ~x4805 ~x2268 ~x579 ~x3961 ~x5652 ~x1424 
324.82/326.10	v ~x3115 ~x4806 ~x2269 ~x580 ~x3962 ~x5653 x1425 ~x3116 ~x4807 ~x2270 
324.82/326.10	v ~x581 ~x3963 ~x5654 ~x1426 ~x3117 ~x4808 ~x2271 ~x582 ~x3964 ~x5655 
324.82/326.10	v ~x1427 ~x3118 ~x4809 ~x2272 ~x583 ~x3965 ~x5656 ~x1428 ~x3119 ~x4810 
324.82/326.10	v ~x2273 ~x584 ~x3966 ~x5657 ~x1429 ~x3120 ~x4811 ~x2274 ~x585 ~x3967 
324.82/326.10	v ~x5658 ~x1430 ~x3121 ~x4812 ~x2275 ~x586 ~x3968 ~x5659 ~x1431 ~x3122 
324.82/326.10	v ~x4813 ~x2276 ~x587 ~x3969 ~x5660 ~x1432 ~x3123 ~x4814 ~x2277 ~x588 
324.82/326.10	v ~x3970 ~x5661 ~x1433 ~x3124 ~x4815 ~x2278 ~x589 ~x3971 ~x5662 ~x1434 
324.82/326.10	v ~x3125 ~x4816 ~x2279 ~x590 ~x3972 ~x5663 ~x1435 ~x3126 ~x4817 ~x2280 

Verifier Data

OK	0

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 (60330 MiB free)
  memory of node 1: 64510 MiB (59980 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446922-1721333773/watcher-4446922-1721333773 -o /tmp/evaluation-result-4446922-1721333773/solver-4446922-1721333773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992560 --watchdog 3760 pb_picat HOME/instance-4446922-1721333773.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=995367, runsolver pid=995364

[startup+0.100709 s]*
/proc/loadavg: 4.08 4.09 4.09 5/254 995368
/proc/meminfo: memFree=123162096/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2033608 memory=37980 CPUtime=0.09 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 1001 0 0 0 8 1 0 0 20 0 1 0 185547063 2082414592 9495 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 508402 9495 1508 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37980 KiB

[startup+0.205708 s]*
/proc/loadavg: 4.08 4.09 4.09 5/254 995368
/proc/meminfo: memFree=123155420/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2037572 memory=43836 CPUtime=0.19 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 1974 0 0 0 18 1 0 0 20 0 1 0 185547063 2086473728 10959 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 509393 10959 1634 439 0 504822 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2037572 KiB
Current children cumulated memory: 43836 KiB

[startup+0.305707 s]*
/proc/loadavg: 4.08 4.09 4.09 5/254 995368
/proc/meminfo: memFree=123152836/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2036548 memory=43080 CPUtime=0.29 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 2790 0 0 0 28 1 0 0 20 0 1 0 185547063 2085425152 10770 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 509137 10770 1634 439 0 504566 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2036548 KiB
Current children cumulated memory: 43080 KiB

[startup+0.700176 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 995368
/proc/meminfo: memFree=123142244/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2039512 memory=44340 CPUtime=0.67 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 4715 0 0 0 66 1 0 0 20 0 1 0 185547063 2088460288 11085 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 509878 11085 1634 439 0 505307 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2039512 KiB
Current children cumulated memory: 44340 KiB

[startup+1.50018 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 995368
/proc/meminfo: memFree=123130244/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2042584 memory=46156 CPUtime=1.47 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 7923 0 0 0 145 2 0 0 20 0 1 0 185547063 2091606016 11539 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 510646 11539 1634 439 0 506075 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2042584 KiB
Current children cumulated memory: 46156 KiB

[startup+3.10543 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 995368
/proc/meminfo: memFree=123047332/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2050264 memory=53792 CPUtime=3.07 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 13252 0 0 0 304 3 0 0 20 0 1 0 185547063 2099470336 13448 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 512566 13448 1634 439 0 507995 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2050264 KiB
Current children cumulated memory: 53792 KiB

[startup+6.30019 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 995368
/proc/meminfo: memFree=122953772/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2050264 memory=51112 CPUtime=6.26 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 22506 0 0 0 621 5 0 0 20 0 1 0 185547063 2099470336 12778 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 512566 12778 1634 439 0 507995 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2050264 KiB
Current children cumulated memory: 51112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.08 5/254 995370
/proc/meminfo: memFree=123088280/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2056408 memory=53672 CPUtime=12.63 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 37946 0 0 0 1254 9 0 0 20 0 1 0 185547063 2105761792 13418 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 514102 13418 1634 439 0 509531 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2056408 KiB
Current children cumulated memory: 53672 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.08 5/254 995371
/proc/meminfo: memFree=123007268/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2078936 memory=67128 CPUtime=25.38 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 62458 0 0 0 2522 16 0 0 20 0 1 0 185547063 2128830464 16782 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 519734 16782 1634 439 0 515163 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2078936 KiB
Current children cumulated memory: 67128 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 995376
/proc/meminfo: memFree=122998192/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2062552 memory=62384 CPUtime=50.9 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 101438 0 0 0 5060 30 0 0 20 0 1 0 185547063 2112053248 15596 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 515638 15596 1634 439 0 511067 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2062552 KiB
Current children cumulated memory: 62384 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 995431
/proc/meminfo: memFree=123232892/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2058456 memory=57504 CPUtime=101.91 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 162883 0 0 0 10138 53 0 0 20 0 1 0 185547063 2107858944 14376 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 514614 14376 1634 439 0 510043 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2058456 KiB
Current children cumulated memory: 57504 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/254 995441
/proc/meminfo: memFree=123275500/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2090712 memory=84528 CPUtime=161.71 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 226106 0 0 0 16091 80 0 0 20 0 1 0 185547063 2140889088 21132 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 522678 21132 1634 439 0 518107 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2090712 KiB
Current children cumulated memory: 84528 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 995451
/proc/meminfo: memFree=123234348/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2066136 memory=68824 CPUtime=221.49 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 284658 0 0 0 22044 105 0 0 20 0 1 0 185547063 2115723264 17206 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 516534 17206 1634 439 0 511963 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 2066136 KiB
Current children cumulated memory: 68824 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 995466
/proc/meminfo: memFree=123201572/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2088664 memory=73412 CPUtime=281.27 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 337499 0 0 0 28000 127 0 0 20 0 1 0 185547063 2138791936 18353 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 522166 18353 1634 439 0 517595 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 2088664 KiB
Current children cumulated memory: 73412 KiB

[startup+326.103 s]
# the end of solver process 995367 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=323.505 s, system=1.42989 s

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

[startup+307.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 995469
/proc/meminfo: memFree=123133760/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2088664 memory=73468 CPUtime=306.09 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 361158 0 0 0 30473 136 0 0 20 0 1 0 185547063 2138791936 18367 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 522166 18367 1634 439 0 517595 0
Current children cumulated CPU time: 306.09 s
Current children cumulated vsize: 2088664 KiB
Current children cumulated memory: 73468 KiB

[startup+313.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 995471
/proc/meminfo: memFree=123177776/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2068184 memory=66720 CPUtime=312.47 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 366228 0 0 0 31108 139 0 0 20 0 1 0 185547063 2117820416 16680 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 517046 16680 1634 439 0 512475 0
Current children cumulated CPU time: 312.47 s
Current children cumulated vsize: 2068184 KiB
Current children cumulated memory: 66720 KiB

[startup+320 s]*
/proc/loadavg: 4.10 4.11 4.09 5/256 995472
/proc/meminfo: memFree=123147500/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2121432 memory=98828 CPUtime=318.85 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 370063 0 0 0 31745 140 0 0 20 0 1 0 185547063 2172346368 24707 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 530358 24707 1634 439 0 525787 0
Current children cumulated CPU time: 318.85 s
Current children cumulated vsize: 2121432 KiB
Current children cumulated memory: 98828 KiB

[startup+323.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 995472
/proc/meminfo: memFree=123132492/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2121432 memory=92688 CPUtime=322.04 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 371991 0 0 0 32063 141 0 0 20 0 1 0 185547063 2172346368 23172 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 530358 23172 1634 439 0 525787 0
Current children cumulated CPU time: 322.04 s
Current children cumulated vsize: 2121432 KiB
Current children cumulated memory: 92688 KiB

[startup+324.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 995472
/proc/meminfo: memFree=123099000/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2068184 memory=68760 CPUtime=323.63 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 372583 0 0 0 32222 141 0 0 20 0 1 0 185547063 2117820416 17190 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 517046 17190 1634 439 0 512475 0
Current children cumulated CPU time: 323.63 s
Current children cumulated vsize: 2068184 KiB
Current children cumulated memory: 68760 KiB

[startup+325.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 995473
/proc/meminfo: memFree=123107696/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2088664 memory=78052 CPUtime=324.42 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 373350 0 0 0 32301 141 0 0 20 0 1 0 185547063 2138791936 19513 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 522166 19513 1634 439 0 517595 0
Current children cumulated CPU time: 324.42 s
Current children cumulated vsize: 2088664 KiB
Current children cumulated memory: 78052 KiB

[startup+326 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 995473
/proc/meminfo: memFree=123074148/131524600 swapFree=131071996/131071996
[pid=995367] ppid=995364 vsize=2088664 memory=86500 CPUtime=324.82 cores=0,2
/proc/995367/stat : 995367 (pb_picat) R 995364 995367 992550 0 -1 4194304 373408 0 0 0 32341 141 0 0 20 0 1 0 185547063 2138791936 21625 134679101440 4194304 5989780 140720798423776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 47202304 140720798430232 140720798430308 140720798430308 140720798437324 0
/proc/995367/statm: 522166 21625 1634 439 0 517595 0
Current children cumulated CPU time: 324.82 s
Current children cumulated vsize: 2088664 KiB
Current children cumulated memory: 86500 KiB

Child status: 0

Real time (s): 326.103
CPU time (s): 324.935
CPU user time (s): 323.505
CPU system time (s): 1.42989
CPU usage (%): 99.6417
Max. virtual memory (cumulated for all children) (KiB): 2189016
Max. memory (cumulated for all children) (KiB): 133456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 323.505
system time used= 1.42989
maximum resident set size= 133456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373422
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= 4
involuntary context switches= 2321


# summary of solver processes directly reported to runsolver:
#   pid: 995367
#   total CPU time (s): 324.935
#   total CPU user time (s): 323.505
#   total CPU system time (s): 1.42989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.624232 second user time and 1.46897 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-18 22:16:26
IDJOB=4446922
IDBENCH=158339
IDSOLVER=3068
FILE ID=nodeC033/4446922-1721333773
RUNJOBID= nodeC033-1721329244-992560
SLURM_JOB_ID= 7542695
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446922-1721333773/watcher-4446922-1721333773 -o /tmp/evaluation-result-4446922-1721333773/solver-4446922-1721333773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992560 --watchdog 3760  pb_picat HOME/instance-4446922-1721333773.opb

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

MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=1902244607

nodeC033.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		: 3652.450
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.50
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		: 3671.223
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123201332 kB
MemAvailable:   129122388 kB
Buffers:          533628 kB
Cached:          6158444 kB
SwapCached:            0 kB
Active:           980368 kB
Inactive:        6571376 kB
Active(anon):       1580 kB
Inactive(anon):   904024 kB
Active(file):     978788 kB
Inactive(file):  5667352 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4040 kB
Writeback:             0 kB
AnonPages:        855892 kB
Mapped:           116144 kB
Shmem:             45908 kB
KReclaimable:     229128 kB
Slab:             356028 kB
SReclaimable:     229128 kB
SUnreclaim:       126900 kB
KernelStack:        4124 kB
PageTables:        11148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7144904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    782336 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:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-18 22:21:52