Trace number 4527985

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 25.2606 25.337

General information on the benchmark

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

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: 63708 MiB (61596 MiB free)
  memory of node 1: 64465 MiB (63203 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527985-1752245169/watcher-4527985-1752245169 -o /tmp/evaluation-result-4527985-1752245169/solver-4527985-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752245169-119631 --watchdog 3760 pb_picat HOME/instance-4527985-1752245169.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=119687, runsolver pid=119680

[startup+0.100062 s]*
/proc/loadavg: 2.14 2.12 2.20 6/263 119688
/proc/meminfo: memFree=127712072/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2027148 memory=38452 CPUtime=0.09 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 1031 0 0 0 8 1 0 0 20 0 1 0 140194390 2075799552 9613 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 506787 9613 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38452 KiB

[startup+0.205465 s]*
/proc/loadavg: 2.14 2.12 2.20 5/263 119688
/proc/meminfo: memFree=127698828/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2031508 memory=45864 CPUtime=0.19 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 1991 0 0 0 18 1 0 0 20 0 1 0 140194390 2080264192 11466 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 507877 11466 1664 343 0 504941 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2031508 KiB
Current children cumulated memory: 45864 KiB

[startup+0.304867 s]*
/proc/loadavg: 2.14 2.12 2.20 5/263 119688
/proc/meminfo: memFree=127695804/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2030996 memory=46096 CPUtime=0.29 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 3141 0 0 0 28 1 0 0 20 0 1 0 140194390 2079739904 11524 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 507749 11524 1664 343 0 504813 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2030996 KiB
Current children cumulated memory: 46096 KiB

[startup+0.70012 s]
/proc/loadavg: 2.14 2.12 2.20 6/263 119688
/proc/meminfo: memFree=127695056/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2035524 memory=47824 CPUtime=0.68 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 4965 0 0 0 66 2 0 0 20 0 1 0 140194390 2084376576 11956 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 508881 11956 1664 343 0 505945 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2035524 KiB
Current children cumulated memory: 47824 KiB

[startup+1.50012 s]
/proc/loadavg: 2.14 2.12 2.20 5/263 119688
/proc/meminfo: memFree=127694300/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2035524 memory=48324 CPUtime=1.48 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 7854 0 0 0 145 3 0 0 20 0 1 0 140194390 2084376576 12081 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 508881 12081 1664 343 0 505945 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2035524 KiB
Current children cumulated memory: 48324 KiB

[startup+3.10516 s]
/proc/loadavg: 2.29 2.15 2.20 4/259 119696
/proc/meminfo: memFree=127725016/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2041668 memory=51268 CPUtime=3.07 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 13426 0 0 0 304 3 0 0 20 0 1 0 140194390 2090668032 12785 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 510417 12817 1664 343 0 507481 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2041668 KiB
Current children cumulated memory: 51268 KiB

[startup+6.30017 s]
/proc/loadavg: 2.29 2.15 2.20 5/263 119733
/proc/meminfo: memFree=127582340/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2035524 memory=48700 CPUtime=6.26 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 22315 0 0 0 621 5 0 0 20 0 1 0 140194390 2084376576 12175 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 508881 12175 1664 343 0 505945 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2035524 KiB
Current children cumulated memory: 48700 KiB

[startup+12.7001 s]
/proc/loadavg: 2.55 2.21 2.22 5/263 119733
/proc/meminfo: memFree=127556696/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2052932 memory=59252 CPUtime=12.65 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 38539 0 0 0 1255 10 0 0 20 0 1 0 140194390 2102202368 14813 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 513233 14813 1664 343 0 510297 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2052932 KiB
Current children cumulated memory: 59252 KiB

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

# cumulated CPU time of all completed processes:  user=25.0672 s, system=0.193434 s

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

[startup+12.8002 s]
/proc/loadavg: 2.55 2.21 2.22 5/263 119733
/proc/meminfo: memFree=127556696/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2052932 memory=62240 CPUtime=12.75 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 38780 0 0 0 1265 10 0 0 20 0 1 0 140194390 2102202368 15560 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 513233 15560 1664 343 0 510297 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 2052932 KiB
Current children cumulated memory: 62240 KiB

[startup+19.2002 s]
/proc/loadavg: 2.67 2.24 2.23 6/263 119733
/proc/meminfo: memFree=127511700/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2042692 memory=55928 CPUtime=19.13 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 51465 0 0 0 1899 14 0 0 20 0 1 0 140194390 2091716608 13982 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 510673 13982 1664 343 0 507737 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 2042692 KiB
Current children cumulated memory: 55928 KiB

[startup+22.4002 s]
/proc/loadavg: 2.77 2.27 2.24 6/263 119734
/proc/meminfo: memFree=127508660/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2044740 memory=53188 CPUtime=22.32 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 57604 0 0 0 2217 15 0 0 20 0 1 0 140194390 2093813760 13297 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 511185 13297 1664 343 0 508249 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 2044740 KiB
Current children cumulated memory: 53188 KiB

[startup+24.0001 s]*
/proc/loadavg: 2.77 2.27 2.24 6/263 119734
/proc/meminfo: memFree=127514176/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2052932 memory=66040 CPUtime=23.92 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 61504 0 0 0 2375 17 0 0 20 0 1 0 140194390 2102202368 16510 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 513233 16510 1664 343 0 510297 0
Current children cumulated CPU time: 23.92 s
Current children cumulated vsize: 2052932 KiB
Current children cumulated memory: 66040 KiB

[startup+24.8001 s]
/proc/loadavg: 2.77 2.27 2.24 6/263 119734
/proc/meminfo: memFree=127514176/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2042692 memory=53332 CPUtime=24.71 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 63516 0 0 0 2454 17 0 0 20 0 1 0 140194390 2091716608 13333 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 510673 13333 1664 343 0 507737 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 2042692 KiB
Current children cumulated memory: 53332 KiB

[startup+25.2002 s]
/proc/loadavg: 2.77 2.27 2.24 6/263 119734
/proc/meminfo: memFree=127536892/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2052932 memory=60540 CPUtime=25.12 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 64304 0 0 0 2494 18 0 0 20 0 1 0 140194390 2102202368 15135 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 513233 15135 1664 343 0 510297 0
Current children cumulated CPU time: 25.12 s
Current children cumulated vsize: 2052932 KiB
Current children cumulated memory: 60540 KiB

[startup+25.3002 s]
/proc/loadavg: 2.77 2.27 2.24 6/263 119734
/proc/meminfo: memFree=127536892/131250000 swapFree=33008100/33010684
[pid=119687] ppid=119680 vsize=2052932 memory=60668 CPUtime=25.22 cores=1,3
/proc/119687/stat : 119687 (pb_picat) R 119680 119687 119619 0 -1 4194304 64330 0 0 0 2504 18 0 0 20 0 1 0 140194390 2102202368 15167 18446744073709551615 94287122059264 94287123460845 140735381798688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94287123732272 94287125606512 94287141015552 140735381801372 140735381801448 140735381801448 140735381807052 0
/proc/119687/statm: 513233 15167 1664 343 0 510297 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 2052932 KiB
Current children cumulated memory: 60668 KiB

Child status: 0

Real time (s): 25.337
CPU time (s): 25.2606
CPU user time (s): 25.0672
CPU system time (s): 0.193434
CPU usage (%): 99.6985
Max. virtual memory (cumulated for all children) (KiB): 2073412
Max. memory (cumulated for all children) (KiB): 76760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0672
system time used= 0.193434
maximum resident set size= 76760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64353
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= 66
involuntary context switches= 59


# summary of solver processes directly reported to runsolver:
#   pid: 119687
#   total CPU time (s): 25.2606
#   total CPU user time (s): 25.0672
#   total CPU system time (s): 0.193434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057711 second user time and 0.142521 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-11 16:46:09
IDJOB=4527985
IDBENCH=158353
IDSOLVER=3385
FILE ID=nodeC019/4527985-1752245169
RUNJOBID= nodeC019-1752245169-119631
SLURM_JOB_ID= 9682569
Free space on /tmp= 431608 MiB

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

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

MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926
RANDOM SEED=1561136521

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127823276 kB
MemAvailable:   129748076 kB
Buffers:             904 kB
Cached:          2724396 kB
SwapCached:          568 kB
Active:           231352 kB
Inactive:        2562508 kB
Active(anon):      58164 kB
Inactive(anon):    27356 kB
Active(file):     173188 kB
Inactive(file):  2535152 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16028 kB
Writeback:             0 kB
AnonPages:         70796 kB
Mapped:           106608 kB
Shmem:             16960 kB
KReclaimable:     111400 kB
Slab:             203816 kB
SReclaimable:     111400 kB
SUnreclaim:        92416 kB
KernelStack:        4112 kB
PageTables:         2864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431592 MiB
End job on nodeC019 at 2025-07-11 16:46:34