Trace number 4500405

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2025-06-16OPT10818283609 350.598 351.598

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
MD5SUMcecbea88197e96b895758f934fbddac6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10818283609
Best CPU time to get the best result obtained on this benchmark0.205387
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6548
Total number of constraints27308
Number of constraints which are clauses27024
Number of constraints which are cardinality constraints (but not clauses)284
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3042
Biggest coefficient in the objective function 3532642667
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1950014114096
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3532642667
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1950014114096
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	10818283609

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: 63665 MiB (61838 MiB free)
  memory of node 1: 64507 MiB (50874 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4500405-1751400992/watcher-4500405-1751400992 -o /tmp/evaluation-result-4500405-1751400992/solver-4500405-1751400992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59618 --watchdog 3760 pb_picat HOME/instance-4500405-1751400992.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=61639, runsolver pid=61636

[startup+0.100062 s]*
/proc/loadavg: 4.23 4.21 4.14 5/264 61640
/proc/meminfo: memFree=115393500/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2027148 memory=36412 CPUtime=0.08 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 1124 0 0 0 8 0 0 0 20 0 1 0 55779469 2075799552 9103 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 506787 9103 1504 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36412 KiB

[startup+0.205737 s]*
/proc/loadavg: 4.23 4.21 4.14 5/264 61640
/proc/meminfo: memFree=115381244/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2034964 memory=52940 CPUtime=0.19 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 1163 0 0 0 18 1 0 0 20 0 1 0 55779469 2083803136 13235 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 508741 13235 1536 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 52940 KiB

[startup+0.305635 s]*
/proc/loadavg: 4.23 4.21 4.14 5/264 61640
/proc/meminfo: memFree=115360764/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2039940 memory=73632 CPUtime=0.29 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 2224 0 0 0 28 1 0 0 20 0 1 0 55779469 2088898560 18408 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 509985 18408 1696 343 0 507049 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2039940 KiB
Current children cumulated memory: 73632 KiB

[startup+0.700188 s]
/proc/loadavg: 4.23 4.21 4.14 5/264 61640
/proc/meminfo: memFree=115352572/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051900 memory=86532 CPUtime=0.68 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 8160 0 0 0 65 3 0 0 20 0 1 0 55779469 2101145600 21633 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512975 21633 1696 343 0 510039 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2051900 KiB
Current children cumulated memory: 86532 KiB

[startup+1.50018 s]
/proc/loadavg: 4.23 4.21 4.14 5/264 61640
/proc/meminfo: memFree=115297560/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2047800 memory=83892 CPUtime=1.47 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 12523 0 0 0 143 4 0 0 20 0 1 0 55779469 2096947200 20973 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 511950 20973 1696 343 0 509014 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 83892 KiB

[startup+3.10576 s]
/proc/loadavg: 4.21 4.20 4.14 5/264 61640
/proc/meminfo: memFree=115154316/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2047800 memory=83380 CPUtime=3.08 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 17424 0 0 0 302 6 0 0 20 0 1 0 55779469 2096947200 20845 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 511950 20845 1696 343 0 509014 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 83380 KiB

[startup+6.30018 s]
/proc/loadavg: 4.21 4.20 4.14 5/264 61640
/proc/meminfo: memFree=115240556/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2047800 memory=82996 CPUtime=6.27 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 38836 0 0 0 615 12 0 0 20 0 1 0 55779469 2096947200 20749 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 511950 20749 1696 343 0 509014 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 82996 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.21 4.14 5/264 61640
/proc/meminfo: memFree=115189356/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2047800 memory=84788 CPUtime=12.64 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 41618 0 0 0 1252 12 0 0 20 0 1 0 55779469 2096947200 21197 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 511950 21197 1696 343 0 509014 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 84788 KiB

[startup+25.5001 s]
/proc/loadavg: 4.21 4.21 4.14 5/264 61640
/proc/meminfo: memFree=116010532/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051900 memory=88772 CPUtime=25.42 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 42826 0 0 0 2529 13 0 0 20 0 1 0 55779469 2101145600 22193 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512975 22193 1696 343 0 510039 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2051900 KiB
Current children cumulated memory: 88772 KiB

[startup+51.1055 s]
/proc/loadavg: 4.20 4.20 4.14 5/264 61641
/proc/meminfo: memFree=115677924/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2045760 memory=82104 CPUtime=50.96 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 52367 0 0 0 5080 16 0 0 20 0 1 0 55779469 2094858240 20526 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 511440 20526 1696 343 0 508504 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2045760 KiB
Current children cumulated memory: 82104 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.20 4.14 5/264 61644
/proc/meminfo: memFree=115300080/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2045760 memory=83100 CPUtime=102.02 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 105816 0 0 0 10169 33 0 0 20 0 1 0 55779469 2094858240 20775 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 511440 20775 1696 343 0 508504 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2045760 KiB
Current children cumulated memory: 83100 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 61737
/proc/meminfo: memFree=128438188/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2045760 memory=82744 CPUtime=161.86 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 161212 0 0 0 16136 50 0 0 20 0 1 0 55779469 2094858240 20686 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 511440 20686 1696 343 0 508504 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2045760 KiB
Current children cumulated memory: 82744 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/265 61874
/proc/meminfo: memFree=128245020/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051904 memory=87640 CPUtime=221.67 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 218558 0 0 0 22099 68 0 0 20 0 1 0 55779469 2101149696 21910 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512976 21910 1696 343 0 510040 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2051904 KiB
Current children cumulated memory: 87640 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/265 61876
/proc/meminfo: memFree=128261720/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051904 memory=86884 CPUtime=281.5 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 263114 0 0 0 28070 80 0 0 20 0 1 0 55779469 2101149696 21721 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512976 21721 1696 343 0 510040 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2051904 KiB
Current children cumulated memory: 86884 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 61878
/proc/meminfo: memFree=128257796/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051896 memory=88368 CPUtime=341.32 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 305990 0 0 0 34040 92 0 0 20 0 1 0 55779469 2101141504 22092 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512974 22092 1696 343 0 510038 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 88368 KiB

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

# cumulated CPU time of all completed processes:  user=349.662 s, system=0.936294 s

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

[startup+345.6 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 61878
/proc/meminfo: memFree=128249604/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051896 memory=88368 CPUtime=344.61 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 305992 0 0 0 34369 92 0 0 20 0 1 0 55779469 2101141504 22092 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512974 22092 1696 343 0 510038 0
Current children cumulated CPU time: 344.61 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 88368 KiB

[startup+348.8 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 61878
/proc/meminfo: memFree=128245508/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051896 memory=88496 CPUtime=347.8 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 306021 0 0 0 34688 92 0 0 20 0 1 0 55779469 2101141504 22124 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512974 22124 1696 343 0 510038 0
Current children cumulated CPU time: 347.8 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 88496 KiB

[startup+350.4 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 61878
/proc/meminfo: memFree=128241412/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051896 memory=88496 CPUtime=349.39 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 306021 0 0 0 34847 92 0 0 20 0 1 0 55779469 2101141504 22124 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512974 22124 1696 343 0 510038 0
Current children cumulated CPU time: 349.39 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 88496 KiB

[startup+351.2 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 61878
/proc/meminfo: memFree=128241160/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051896 memory=88496 CPUtime=350.19 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 306022 0 0 0 34927 92 0 0 20 0 1 0 55779469 2101141504 22124 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512974 22124 1696 343 0 510038 0
Current children cumulated CPU time: 350.19 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 88496 KiB

[startup+351.4 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 61878
/proc/meminfo: memFree=128241160/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051896 memory=88496 CPUtime=350.39 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 306022 0 0 0 34947 92 0 0 20 0 1 0 55779469 2101141504 22124 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512974 22124 1696 343 0 510038 0
Current children cumulated CPU time: 350.39 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 88496 KiB

[startup+351.5 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 61878
/proc/meminfo: memFree=128241160/131250000 swapFree=33010684/33010684
[pid=61639] ppid=61636 vsize=2051896 memory=88496 CPUtime=350.49 cores=1,3
/proc/61639/stat : 61639 (pb_picat) R 61636 61639 59606 0 -1 4194304 306022 0 0 0 34957 92 0 0 20 0 1 0 55779469 2101141504 22124 18446744073709551615 94187771129856 94187772531437 140725716868912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94187772802864 94187774677168 94187792183296 140725716871582 140725716871658 140725716871658 140725716877260 0
/proc/61639/statm: 512974 22124 1696 343 0 510038 0
Current children cumulated CPU time: 350.49 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 88496 KiB

Child status: 0

Real time (s): 351.598
CPU time (s): 350.598
CPU user time (s): 349.662
CPU system time (s): 0.936294
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 2060096
Max. memory (cumulated for all children) (KiB): 92028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.662
system time used= 0.936294
maximum resident set size= 96488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306027
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= 796


# summary of solver processes directly reported to runsolver:
#   pid: 61639
#   total CPU time (s): 350.598
#   total CPU user time (s): 349.662
#   total CPU system time (s): 0.936294

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.629933 second user time and 1.67042 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-01 22:16:32
IDJOB=4500405
IDBENCH=150894
IDSOLVER=3346
FILE ID=nodeC013/4500405-1751400992
RUNJOBID= nodeC013-1751393420-59618
SLURM_JOB_ID= 9598258
Free space on /tmp= 432848 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4500405-1751400992/watcher-4500405-1751400992 -o /tmp/evaluation-result-4500405-1751400992/solver-4500405-1751400992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59618 --watchdog 3760  pb_picat HOME/instance-4500405-1751400992.opb

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

MD5SUM BENCH= cecbea88197e96b895758f934fbddac6
RANDOM SEED=1445229764

nodeC013 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.891
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.67
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		: 3658.645
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.67
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		: 3600.613
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.67
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.839
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.67
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.749
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.67
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		: 3600.334
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.67
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		: 3601.149
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.167
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115417772 kB
MemAvailable:   115796372 kB
Buffers:            3280 kB
Cached:          1178500 kB
SwapCached:            0 kB
Active:         14301236 kB
Inactive:         933692 kB
Active(anon):   14066432 kB
Inactive(anon):        0 kB
Active(file):     234804 kB
Inactive(file):   933692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4440 kB
Writeback:             0 kB
AnonPages:      14050944 kB
Mapped:           109904 kB
Shmem:             13284 kB
KReclaimable:      98284 kB
Slab:             186320 kB
SReclaimable:      98284 kB
SUnreclaim:        88036 kB
KernelStack:        4288 kB
PageTables:        30704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   23562708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12290048 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC013 at 2025-07-01 22:22:24