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