Trace number 4527991

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pb_picat 2025-07-11SAT 335.13 336.205

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62841 MiB free)
  memory of node 1: 64465 MiB (63360 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527991-1752245156/watcher-4527991-1752245156 -o /tmp/evaluation-result-4527991-1752245156/solver-4527991-1752245156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752245108-117027 --watchdog 3760 pb_picat HOME/instance-4527991-1752245156.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=117129, runsolver pid=117126

[startup+0.100068 s]*
/proc/loadavg: 3.07 2.28 2.42 5/251 117130
/proc/meminfo: memFree=129214672/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2027148 memory=23868 CPUtime=0.08 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 995 0 0 0 8 0 0 0 20 0 1 0 140194329 2075799552 5967 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 506787 5967 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 23868 KiB

[startup+0.213047 s]*
/proc/loadavg: 3.07 2.28 2.42 5/251 117130
/proc/meminfo: memFree=129206480/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2027148 memory=32060 CPUtime=0.19 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 999 0 0 0 18 1 0 0 20 0 1 0 140194329 2075799552 8015 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 506787 8015 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32060 KiB

[startup+0.312872 s]*
/proc/loadavg: 3.07 2.28 2.42 5/251 117130
/proc/meminfo: memFree=129202384/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2027148 memory=38468 CPUtime=0.27 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 1073 0 0 0 26 1 0 0 20 0 1 0 140194329 2075799552 9617 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 506787 9617 1568 343 0 503851 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38468 KiB

[startup+0.70019 s]
/proc/loadavg: 3.07 2.28 2.42 5/251 117130
/proc/meminfo: memFree=129196304/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2029572 memory=43008 CPUtime=0.63 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 2765 0 0 0 61 2 0 0 20 0 1 0 140194329 2078281728 10752 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 507393 10752 1664 343 0 504457 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 2029572 KiB
Current children cumulated memory: 43008 KiB

[startup+1.50015 s]
/proc/loadavg: 3.07 2.28 2.42 5/251 117130
/proc/meminfo: memFree=129191768/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2036632 memory=47348 CPUtime=1.41 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 5455 0 0 0 139 2 0 0 20 0 1 0 140194329 2085511168 11837 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 509158 11837 1664 343 0 506222 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 2036632 KiB
Current children cumulated memory: 47348 KiB

[startup+3.10502 s]
/proc/loadavg: 3.15 2.31 2.42 5/251 117130
/proc/meminfo: memFree=129158372/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2033048 memory=44900 CPUtime=3 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 10199 0 0 0 296 4 0 0 20 0 1 0 140194329 2081841152 11225 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 508262 11225 1664 343 0 505326 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 2033048 KiB
Current children cumulated memory: 44900 KiB

[startup+6.30025 s]
/proc/loadavg: 3.15 2.31 2.42 5/251 117130
/proc/meminfo: memFree=129120532/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2035608 memory=46504 CPUtime=6.18 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 17618 0 0 0 612 6 0 0 20 0 1 0 140194329 2084462592 11626 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 508902 11626 1664 343 0 505966 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 2035608 KiB
Current children cumulated memory: 46504 KiB

[startup+12.7002 s]
/proc/loadavg: 3.22 2.34 2.43 5/251 117130
/proc/meminfo: memFree=129173536/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2049944 memory=57552 CPUtime=12.57 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 33340 0 0 0 1247 10 0 0 20 0 1 0 140194329 2099142656 14388 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 512486 14388 1664 343 0 509550 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 2049944 KiB
Current children cumulated memory: 57552 KiB

[startup+25.5003 s]
/proc/loadavg: 3.39 2.42 2.46 5/251 117131
/proc/meminfo: memFree=129153900/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2051992 memory=61008 CPUtime=25.33 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 56591 0 0 0 2515 18 0 0 20 0 1 0 140194329 2101239808 15252 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 512998 15252 1664 343 0 510062 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 2051992 KiB
Current children cumulated memory: 61008 KiB

[startup+51.1129 s]
/proc/loadavg: 3.67 2.56 2.51 5/252 117177
/proc/meminfo: memFree=129184128/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2056088 memory=63716 CPUtime=50.87 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 93704 0 0 0 5056 31 0 0 20 0 1 0 140194329 2105434112 15929 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 514022 15929 1664 343 0 511086 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 2056088 KiB
Current children cumulated memory: 63716 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 2.80 2.59 5/252 117179
/proc/meminfo: memFree=129179528/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2072472 memory=76424 CPUtime=101.9 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 150698 0 0 0 10140 50 0 0 20 0 1 0 140194329 2122211328 19106 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 518118 19106 1664 343 0 515182 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 2072472 KiB
Current children cumulated memory: 76424 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 3.04 2.69 5/252 117181
/proc/meminfo: memFree=129234744/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2076056 memory=72632 CPUtime=161.72 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 204373 0 0 0 16101 71 0 0 20 0 1 0 140194329 2125881344 18158 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 519014 18158 1664 343 0 516078 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2076056 KiB
Current children cumulated memory: 72632 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.25 2.78 5/252 117183
/proc/meminfo: memFree=129117880/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2059672 memory=66488 CPUtime=221.56 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 253863 0 0 0 22061 95 0 0 20 0 1 0 140194329 2109104128 16622 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 514918 16622 1664 343 0 511982 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 2059672 KiB
Current children cumulated memory: 66488 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.40 2.87 5/251 117185
/proc/meminfo: memFree=129213176/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2053528 memory=59328 CPUtime=281.37 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 297444 0 0 0 28023 114 0 0 20 0 1 0 140194329 2102812672 14832 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 513382 14832 1664 343 0 510446 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 2053528 KiB
Current children cumulated memory: 59328 KiB

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

# cumulated CPU time of all completed processes:  user=333.797 s, system=1.3327 s

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

[startup+307.2 s]
/proc/loadavg: 4.13 3.47 2.91 5/251 117185
/proc/meminfo: memFree=129132196/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2057624 memory=64616 CPUtime=306.2 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 322148 0 0 0 30498 122 0 0 20 0 1 0 140194329 2107006976 16154 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 514406 16154 1664 343 0 511470 0
Current children cumulated CPU time: 306.2 s
Current children cumulated vsize: 2057624 KiB
Current children cumulated memory: 64616 KiB

[startup+320 s]*
/proc/loadavg: 4.10 3.49 2.92 5/251 117185
/proc/meminfo: memFree=129145256/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2082200 memory=79260 CPUtime=318.97 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 330682 0 0 0 31771 126 0 0 20 0 1 0 140194329 2132172800 19815 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 520550 19815 1664 343 0 517614 0
Current children cumulated CPU time: 318.97 s
Current children cumulated vsize: 2082200 KiB
Current children cumulated memory: 79260 KiB

[startup+326.4 s]
/proc/loadavg: 4.10 3.50 2.93 5/251 117186
/proc/meminfo: memFree=129177872/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2106776 memory=93596 CPUtime=325.34 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 334707 0 0 0 32406 128 0 0 20 0 1 0 140194329 2157338624 23399 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 526694 23399 1664 343 0 523758 0
Current children cumulated CPU time: 325.34 s
Current children cumulated vsize: 2106776 KiB
Current children cumulated memory: 93596 KiB

[startup+332.8 s]
/proc/loadavg: 4.09 3.51 2.93 5/247 117194
/proc/meminfo: memFree=129344084/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2082200 memory=87672 CPUtime=331.73 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 337729 0 0 0 33042 131 0 0 20 0 1 0 140194329 2132172800 21918 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 520550 21918 1664 343 0 517614 0
Current children cumulated CPU time: 331.73 s
Current children cumulated vsize: 2082200 KiB
Current children cumulated memory: 87672 KiB

[startup+334.4 s]
/proc/loadavg: 4.08 3.52 2.94 5/250 117200
/proc/meminfo: memFree=129306052/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2053528 memory=61004 CPUtime=333.32 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 338404 0 0 0 33201 131 0 0 20 0 1 0 140194329 2102812672 15251 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 513382 15251 1664 343 0 510446 0
Current children cumulated CPU time: 333.32 s
Current children cumulated vsize: 2053528 KiB
Current children cumulated memory: 61004 KiB

[startup+335.2 s]
/proc/loadavg: 4.08 3.52 2.94 5/251 117231
/proc/meminfo: memFree=129309048/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2082200 memory=70656 CPUtime=334.12 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 339278 0 0 0 33281 131 0 0 20 0 1 0 140194329 2132172800 17664 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 520550 17664 1664 343 0 517614 0
Current children cumulated CPU time: 334.12 s
Current children cumulated vsize: 2082200 KiB
Current children cumulated memory: 70656 KiB

[startup+335.6 s]
/proc/loadavg: 4.08 3.52 2.94 5/251 117231
/proc/meminfo: memFree=129309048/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2082200 memory=79272 CPUtime=334.51 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 339376 0 0 0 33320 131 0 0 20 0 1 0 140194329 2132172800 19818 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 520550 19818 1664 343 0 517614 0
Current children cumulated CPU time: 334.51 s
Current children cumulated vsize: 2082200 KiB
Current children cumulated memory: 79272 KiB

[startup+336 s]*
/proc/loadavg: 4.08 3.52 2.94 5/250 117231
/proc/meminfo: memFree=129292720/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2082200 memory=83368 CPUtime=334.92 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 339378 0 0 0 33361 131 0 0 20 0 1 0 140194329 2132172800 20842 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 520550 20842 1664 343 0 517614 0
Current children cumulated CPU time: 334.92 s
Current children cumulated vsize: 2082200 KiB
Current children cumulated memory: 83368 KiB

[startup+336.113 s]
/proc/loadavg: 4.08 3.52 2.94 5/250 117231
/proc/meminfo: memFree=129292720/131382120 swapFree=33010416/33010684
[pid=117129] ppid=117126 vsize=2082200 memory=85416 CPUtime=335.02 cores=5,7
/proc/117129/stat : 117129 (pb_picat) R 117126 117129 117007 0 -1 4194304 339379 0 0 0 33371 131 0 0 20 0 1 0 140194329 2132172800 21354 18446744073709551615 94458857807872 94458859209453 140734807602288 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94458859480880 94458861355120 94458896998400 140734807603612 140734807603688 140734807603688 140734807609292 0
/proc/117129/statm: 520550 21354 1664 343 0 517614 0
Current children cumulated CPU time: 335.02 s
Current children cumulated vsize: 2082200 KiB
Current children cumulated memory: 85416 KiB

Child status: 0

Real time (s): 336.205
CPU time (s): 335.13
CPU user time (s): 333.797
CPU system time (s): 1.3327
CPU usage (%): 99.6802
Max. virtual memory (cumulated for all children) (KiB): 2182552
Max. memory (cumulated for all children) (KiB): 132024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 333.797
system time used= 1.3327
maximum resident set size= 132024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339395
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= 518


# summary of solver processes directly reported to runsolver:
#   pid: 117129
#   total CPU time (s): 335.13
#   total CPU user time (s): 333.797
#   total CPU system time (s): 1.3327

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57944 second user time and 3.22561 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-11 16:45:57
IDJOB=4527991
IDBENCH=158339
IDSOLVER=3385
FILE ID=nodeC003/4527991-1752245156
RUNJOBID= nodeC003-1752245108-117027
SLURM_JOB_ID= 9682564
Free space on /tmp= 432016 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527991-1752245156/watcher-4527991-1752245156 -o /tmp/evaluation-result-4527991-1752245156/solver-4527991-1752245156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752245108-117027 --watchdog 3760  pb_picat HOME/instance-4527991-1752245156.opb

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

MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=34934973

nodeC003 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		: 3662.367
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.44
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		: 3662.081
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.44
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.343
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.44
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		: 1197.628
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.44
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		: 3662.160
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.44
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		: 1197.729
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.44
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.508
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.44
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.171
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129231244 kB
MemAvailable:   129563988 kB
Buffers:            2736 kB
Cached:          1125760 kB
SwapCached:           36 kB
Active:           907604 kB
Inactive:         629888 kB
Active(anon):     419316 kB
Inactive(anon):     7604 kB
Active(file):     488288 kB
Inactive(file):   622284 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:        412040 kB
Mapped:           115432 kB
Shmem:             17924 kB
KReclaimable:     123596 kB
Slab:             211912 kB
SReclaimable:     123596 kB
SUnreclaim:        88316 kB
KernelStack:        4048 kB
PageTables:         4016 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6538224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    286720 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432016 MiB
End job on nodeC003 at 2025-07-11 16:51:33